2020 export record
dblp key:
journals/acta/BispingNP20 share record
persistent URL:
Benjamin Bisping , Uwe Nestmann , Kirstin Peters : Coupled similarity: the first 32 years. Acta Informatica 57 (3-5 ) : 439-463 (2020 )share record
persistent URL:
Kirstin Peters , Simone Tini : Preface to special issue: EXPRESS/SOS 2016 + 2017. Acta Informatica 57 (6 ) : 759-760 (2020 )export record
dblp key:
journals/firai/WilsonCHP20 share record
persistent URL:
Nialah Wilson , Steven Ceron , Logan Horowitz , Kirstin Petersen : Scalable and Robust Fabrication, Operation, and Control of Compliant Modular Robots. Frontiers Robotics AI 7 : 44 (2020 )share record
persistent URL:
Kirstin Peters , Uwe Nestmann : Distributability of mobile ambients. Inf. Comput. 275 : 104608 (2020 )share record
persistent URL:
Danna Ma , Steven Ceron , Gregory Kaiser , Kirstin Petersen : Simple, Low-Cost Fabrication of Soft Sensors for Shape Reconstruction. IEEE Robotics Autom. Lett. 5 (3 ) : 4049-4054 (2020 )2019 share record
persistent URL:
Yawen Deng , Yiwen Hua , Nils Napp , Kirstin Petersen : A Compiler for Scalable Construction by the TERMES Robot Collective. Robotics Auton. Syst. 121 (2019 )export record
dblp key:
journals/scirobotics/PetersenNSRK19 share record
persistent URL:
Kirstin H. Petersen , Nils Napp , Robert Stuart-Smith , Daniela Rus , Mirko Kovac : A review of collective robotic construction. Sci. Robotics 4 (28 ) (2019 )share record
persistent URL:
Kirstin Peters , Christoph Wagner , Uwe Nestmann : Taming Concurrency for Verification Using Multiparty Session Types. ICTAC 2019 : 196-215 share record
persistent URL:
Steven Ceron , Logan Horowitz , Nialah Wilson , Claire Chen , Daniel Kim , Kirstin Petersen : Towards a Scalable, Self-Reconfigurable Robot with Compliant Modules. MRS 2019 : 47-49 share record
persistent URL:
Steven Ceron , Nialah Wilson , Logan Horowitz , Kirstin Petersen : Comparative Analysis of Sensors in Rigid and Deformable Modular Robots for Shape Estimation. MRS 2019 : 252-258 export record
dblp key:
conf/robosoft/DugganHUBP19 share record
persistent URL:
Timothy Duggan , Logan Horowitz , Asena Ulug , Emilie Baker , Kirstin Petersen : Inchworm-Inspired Locomotion in Untethered Soft Robots. RoboSoft 2019 : 200-205 export record
dblp key:
journals/corr/abs-1908-08633 share record
persistent URL:
Kirstin Peters : Comparing Process Calculi Using Encodings. EXPRESS/SOS 2019 : 19-38 export record
dblp key:
journals/corr/abs-1908-06510 share record
persistent URL:
Kirstin Peters , Christoph Wagner , Uwe Nestmann : Taming Concurrency for Verification Using Multiparty Session Types (Technical Report). CoRR abs/1908.06510 (2019 )2018 export record
dblp key:
journals/bmcbi/Matey-Hernandez18 share record
persistent URL:
Maria Luisa Matey-Hernandez , Lasse Maretty , Jacob Malte Jensen , Bent Petersen , Jonas Andreas Sibbesen , Siyang Liu , Palle Villesen , Laurits Skov , Kirstine Belling , Christian Theil Have , José M. G. Izarzugaza , Marie Grosjean , Jette Bork-Jensen , Jakob Grove , Thomas D. Als , Shujia Huang , Yuqi Chang , Ruiqi Xu , Weijian Ye , Junhua Rao , Xiaosen Guo , Jihua Sun , Hongzhi Cao , Chen Ye , John van Beusekom , Thomas Espeseth , Esben N. Flindt , Rune M. Friborg , Anders E. Halager , Stephanie Le Hellard , Christina M. Hultman , Francesco Lescai , Shengting Li , Ole Lund , Peter Løngreen , Thomas Mailund , Ole Mors , Christian N. S. Pedersen , Thomas Sicheritz-Pontén , Patrick F. Sullivan , Ali Syed , David Westergaard , Rachita Yadav , Ning Li , Xun Xu , Torben Hansen , Anders Krogh , Lars Bolund , Thorkild I. A. Sørensen , Oluf Pedersen , Ramneek Gupta , Simon Rasmussen , Søren Besenbacher , Anders D. Børglum , Jun Wang , Hans Eiberg , Karsten Kristiansen , Mikkel Heide Schierup , Søren Brunak : Benchmarking the HLA typing performance of Polysolver and Optitype in 50 Danish parental trios. BMC Bioinform. 19 (1 ) : 239:1-239:12 (2018 )export record
dblp key:
journals/lmcs/ArbachKPN18 share record
persistent URL:
Youssef Arbach , David S. Karcher , Kirstin Peters , Uwe Nestmann : Dynamic Causality in Event Structures. Log. Methods Comput. Sci. 14 (1 ) (2018 )share record
persistent URL:
Yawen Deng , Yiwen Hua , Nils Napp , Kirstin Petersen : Scalable Compiler for the TERMES Distributed Assembly System. DARS 2018 : 125-138 share record
persistent URL:
Steven Ceron , Aleena Kurumunda , Eashan Garg , Mira Kim , Tosin Yeku , Kirstin Petersen : Popcorn-Driven Robotic Actuators. ICRA 2018 : 1-6 export record
dblp key:
conf/robosoft/FutranCMSP18 share record
persistent URL:
Chaim C. Futran , Steven Ceron , Benjamin C. Mac Murray , Robert F. Shepherd , Kirstin H. Petersen : Leveraging fluid resistance in soft robots. RoboSoft 2018 : 473-478 share record
persistent URL:
Yiwen Hua , Yawen Deng , Kirstin Petersen : Robots Building Bridges, Not Walls. FAS*W@SASO/ICAC 2018 : 154-159 export record
dblp key:
journals/corr/abs-1808-09361 share record
persistent URL:
Kirstin Peters , Uwe Nestmann : On the Distributability of Mobile Ambients. EXPRESS/SOS 2018 : 104-121 export record
dblp key:
journals/corr/abs-1801-02857 share record
persistent URL:
Youssef Arbach , David S. Karcher , Kirstin Peters , Uwe Nestmann : Dynamic Causality in Event Structures. CoRR abs/1801.02857 (2018 )export record
dblp key:
journals/corr/abs-1808-01599 share record
persistent URL:
Kirstin Peters , Uwe Nestmann : On the Distributability of Mobile Ambients (Technical Report). CoRR abs/1808.01599 (2018 )2017 export record
dblp key:
journals/nature/MarettyJPSLVSBH17 share record
persistent URL:
Lasse Maretty , Jacob Malte Jensen , Bent Petersen , Jonas Andreas Sibbesen , Siyang Liu , Palle Villesen , Laurits Skov , Kirstine Belling , Christian Theil Have , José M. G. Izarzugaza , Marie Grosjean , Jette Bork-Jensen , Jakob Grove , Thomas D. Als , Shujia Huang , Yuqi Chang , Ruiqi Xu , Weijian Ye , Junhua Rao , Xiaosen Guo , Jihua Sun , Hongzhi Cao , Chen Ye , John van Beusekom , Thomas Espeseth , Esben N. Flindt , Rune M. Friborg , Anders E. Halager , Stephanie Le Hellard , Christina M. Hultman , Francesco Lescai , Shengting Li , Ole Lund , Peter Løngreen , Thomas Mailund , Maria Luisa Matey-Hernandez , Ole Mors , Christian N. S. Pedersen , Thomas Sicheritz-Pontén , Patrick F. Sullivan , Ali Syed , David Westergaard , Rachita Yadav , Ning Li , Xun Xu , Torben Hansen , Anders Krogh , Lars Bolund , Thorkild I. A. Sørensen , Oluf Pedersen , Ramneek Gupta , Simon Rasmussen , Søren Besenbacher , Anders D. Børglum , Jun Wang , Hans Eiberg , Karsten Kristiansen , Søren Brunak , Mikkel Heide Schierup : Sequencing and de novo assembly of 150 genomes from Denmark as a population reference. Nat. 548 (7665 ) : 87-91 (2017 )share record
persistent URL:
Manuel Adameit , Kirstin Peters , Uwe Nestmann : Session Types for Link Failures. FORTE 2017 : 1-16 share record
persistent URL:
Lindsey L. Hines , Kirstin Petersen , Metin Sitti : Asymmetric stable deformations in inflated dielectric elastomer actuators. ICRA 2017 : 4326-4331 export record
dblp key:
conf/icra/SprowitzGSCOPS17 share record
persistent URL:
Alexander Spröwitz , Chantal Gottler , Ayush Sinha , Corentin Caer , Mehmet Ugur Ooztekin , Kirstin Petersen , Metin Sitti : Scalable pneumatic and tendon driven robotic joint inspired by jumping spiders. ICRA 2017 : 64-70 export record
dblp key:
journals/corr/abs-1709-00049 share record
persistent URL:
Kirstin Peters , Simone Tini : Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017. EPTCS 255, 2017 [contents] 2016 export record
dblp key:
journals/afp/BispingBJRSSWPN16 share record
persistent URL:
Benjamin Bisping , Paul-David Brodmann , Tim Jungnickel , Christina Rickmann , Henning Seidler , Anke Stüber , Arno Wilhelm-Weidner , Kirstin Peters , Uwe Nestmann : A Constructive Proof for FLP. Arch. Formal Proofs 2016 (2016 )share record
persistent URL:
Kirstin Peters , Uwe Nestmann : Breaking symmetries. Math. Struct. Comput. Sci. 26 (6 ) : 1054-1106 (2016 )export record
dblp key:
journals/mscs/PetersSGN16 share record
persistent URL:
Kirstin Peters , Jens-Wolfhard Schicke-Uffmann , Ursula Goltz , Uwe Nestmann : Synchrony versus causality in distributed systems. Math. Struct. Comput. Sci. 26 (8 ) : 1459-1498 (2016 )