Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 83 matches
- 2023
- Yoav Matia, Gregory Kaiser, Robert F. Shepherd, Amir D. Gat, Nathan Lazarus, Kirstin H. Petersen:
Harnessing Nonuniform Pressure Distributions in Soft Robotic Actuators. Adv. Intell. Syst. 5(2) (2023) - Yoav Matia, Gregory H. Kaiser, Robert F. Shepherd, Amir D. Gat, Nathan Lazarus, Kirstin H. Petersen:
Harnessing Nonuniform Pressure Distributions in Soft Robotic Actuators. Adv. Intell. Syst. 5(2) (2023) - Kirstin Peters, Uwe Nestmann, Christoph Wagner:
FTMPST: Fault-Tolerant Multiparty Session Types. Log. Methods Comput. Sci. 19(4) (2023) - Anna Schmitt, Kirstin Peters:
Probabilistic Operational Correspondence. CONCUR 2023: 15:1-15:17 - Yuhan Hu, Jin Ryu, David Gundana, Kirstin H. Petersen, Hadas Kress-Gazit, Guy Hoffman:
Nudging or Waiting?: Automatically Synthesized Robot Strategies for Evacuating Noncompliant Users in an Emergency Situation. HRI 2023: 603-611 - Nialah Jenae Wilson-Small, David Goedicke, Kirstin Petersen, Shiri Azenkot:
A Drone Teacher: Designing Physical Human-Drone Interactions for Movement Instruction. HRI 2023: 311-320 - Nialah Jenae Wilson-Small, Louisa Pancoast, Kirstin Petersen, Shiri Azenkot:
Exploring Human-Drone Collaboration Through Contact Improvisation. HRI (Companion) 2023: 97-101 - Heather Jin Hee Kim, Haron Abdel-Raziq, Xinyu Liu, Alexandra Young Siskovic, Shreyas Dilip Patil, Kirstin H. Petersen, Hsin-Liu Cindy Kao:
Robotic Barrier Construction through Weaved, Inflatable Tubes. IROS 2023: 8318-8323 - Anna Schmitt, Kirstin Peters:
Probabilistic Operational Correspondence (Technical Report). CoRR abs/2307.05218 (2023) - Heather Jin Hee Kim, Haron Abdel-Raziq, Xinyu Liu, Alexandra Young Siskovic, Shreyas Dilip Patil, Kirstin H. Petersen, Hsin-Liu Cindy Kao:
Robotic Barrier Construction through Weaved, Inflatable Tubes. CoRR abs/2310.19185 (2023) - 2022
- Jack A. Defay, Jacob M. Peters, Kirstin H. Petersen:
A customizable, low-cost alternative for distributed 2D flow sensing in swarms. Artif. Life Robotics 27(2): 272-277 (2022) - Jingwen Du, Zach Brothers, Leah Valdes, Nils Napp, Kirstin Petersen:
Automated entrance monitoring of managed bumble bees. Artif. Life Robotics 27(2): 278-285 (2022) - Luyang Robby Huang, Alexander Zhu, Kathleen Wang, Daniel I. Goldman, Andy Ruina, Kirstin H. Petersen:
Construction and Excavation by Collaborative Double-Tailed SAW Robots. IEEE Robotics Autom. Lett. 7(2): 3742-3748 (2022) - Kirstin Peters, Uwe Nestmann, Anna Schmitt:
On distributability. Theor. Comput. Sci. 913: 151-173 (2022) - Jack A. Defay, Alexandra Q. Nilles, Kirstin Petersen:
Characterization of the Design Space of Collective Braitenberg Vehicles. DARS 2022: 257-272 - Danna Ma, Jiahe Chen, Sadie Cutler, Kirstin Petersen:
Smarticle 2.0: Design of Scalable, Entangled Smart Matter. DARS 2022: 509-522 - Kirstin Peters, Uwe Nestmann, Christoph Wagner:
Fault-Tolerant Multiparty Session Types. FORTE 2022: 93-113 - Anna Schmitt, Kirstin Peters, Yuxin Deng:
Encodability Criteria for Quantum Based Systems. FORTE 2022: 151-169 - Haron Abdel-Raziq, Kirstin Petersen:
Automated Monitoring of Pollinators With Agricultural Robots. ICARA 2022: 86-90 - Haron Abdel-Raziq, Daniel Palmer, Alyosha C. Molnar, Kirstin Petersen:
Mapping Unknown Environments With Instrumented Honey Bees. ICRA 2022: 2330-2336 - Jiahe Chen, Kirstin Petersen:
Decay-Based Error Correction in Collective Robotic Construction. IROS 2022: 1-7 - Alexandra Q. Nilles, Steven Ceron, Nils Napp, Kirstin Petersen:
Strain-Based Consensus in Soft, Inflatable Robots. RoboSoft 2022: 789-794 - Kirstin Peters, Nobuko Yoshida:
On the Expressiveness of Mixed Choice Sessions. EXPRESS/SOS 2022: 113-130 - Anna Schmitt, Kirstin Peters, Yuxin Deng:
Encodability Criteria for Quantum Based Systems (Technical Report). CoRR abs/2204.06068 (2022) - Kirstin Peters, Uwe Nestmann, Christoph Wagner:
Fault-Tolerant Multiparty Session Types (Technical Report). CoRR abs/2204.07728 (2022) - Kirstin Peters, Nobuko Yoshida:
On the Expressiveness of Mixed Choice Sessions (Technical Report). CoRR abs/2208.07041 (2022) - 2021
- Steven Ceron, Marta An Kimmel, Alexandra Q. Nilles, Kirstin Petersen:
Soft Robotic Oscillators With Strain-Based Coordination. IEEE Robotics Autom. Lett. 6(4): 7557-7563 (2021) - Jiahe Chen, Yifang Liu, Adam Pacheck, Hadas Kress-Gazit, Nils Napp, Kirstin Petersen:
Errors in Collective Robotic Construction. DARS 2021: 269-281 - Jonathan Jaramillo, Andrew Lin, Emma Sung, Isabel Jane Hunt Richter, Kirstin Petersen:
Mobile, Inflatable Interface to Support Human Robot Interaction Studies. UR 2021: 320-325 - Kirstin Peters, Tim A. C. Willemse:
Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings. Lecture Notes in Computer Science 12719, Springer 2021, ISBN 978-3-030-78088-3 [contents]
skipping 53 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-25 11:07 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint