Carsten Schürmann

发表

Andrew McCreight, Carsten Schürmann, 2008, Electron. Notes Theor. Comput. Sci..
Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat, 2005, TLCA.
Carsten Schürmann, Stefan Patachi, 2017, E-VOTE-ID.
Christoph Benzmüller, John Harrison, Carsten Schürmann, 2006, ArXiv.
Carsten Schürmann, Alessandro Bruni, Eva Drewsen, 2017, E-VOTE-ID.
Philip Wadler, Fabrizio Montesi, Carsten Schürmann, 2016 .
Carsten Schürmann, Nicolas Guenot, Taus Brock-Nannestad, 2014, LFMTP '14.
Bernhard Beckert, Rajeev Goré, Carsten Schürmann, 2013, VoteID.
Dachuan Yu, Carsten Schürmann, Zhaozhong Ni, 2001, Electron. Notes Theor. Comput. Sci..
Carsten Schürmann, Jeffrey Sarnat, 2005 .
Carsten Schürmann, Anders Schack-Nielsen, C. Schürmann, 2010, IJCAR.
Carsten Schürmann, Alessandro Bruni, Thorvald Sahl Jørgensen, 2018, SSR.
Frank Pfenning, Carsten Schürmann, 1998, Electron. Notes Theor. Comput. Sci..
Carsten Schürmann, Alessandro Bruni, 2019, E-VOTE-ID.
Nobuko Yoshida, Fabrizio Montesi, Carsten Schürmann, 2015, Acta Informatica.
Frank Pfenning, Carsten Schürmann, Joëlle Despeyroux, 1997, Theor. Comput. Sci..
Carsten Schürmann, Serge Autexier, C. Schürmann, 2003, LPAR.
Helge J. Ritter, Carsten Schürmann, Robert Haschke, 2013, 2013 IEEE/ASME International Conference on Advanced Intelligent Mechatronics.
Robert Krimmer, Carsten Schürmann, Sven Heiberg, 2017, E-VOTE-ID.
Carsten Schürmann, Risto Kõiva, 2012 .
Carsten Schürmann, Anders Schack-Nielsen, C. Schürmann, 2010, LFMTP.
Dirk Pattinson, Carsten Schürmann, 2015, Australasian Conference on Artificial Intelligence.
Helge J. Ritter, Carsten Schürmann, Robert Haschke, 2012, 2012 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012).
Helge J. Ritter, Carsten Schürmann, Robert Haschke, 2012, 2012 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012).
Carsten Schürmann, C. Schürmann, 2009, TPHOLs.
Carsten Schürmann, Peter Brottveit Bock, 2015, LPAR.
Carsten Schürmann, R. Krimmer, M. Clouser, 2014 .
Helge J. Ritter, Carsten Schürmann, Robert Haschke, 2011, 2011 IEEE World Haptics Conference.
Michael Pardowitz, Helge Ritter, Carsten Schürmann, 2009, Humanoids 2009.
Frank Pfenning, Carsten Schürmann, Joëlle Despeyroux, 1997, Theoretical Computer Science.
Carsten Schürmann, 2018, E-Vote-ID.
Fabrizio Montesi, Carsten Schürmann, Marco Carbone, 2014, CONCUR.
Carsten Schürmann, 2000, CADE.
Philip Wadler, Fabrizio Montesi, Carsten Schürmann, 2016, CONCUR.
Frank Pfenning, Carsten Schürmann, F. Pfenning, 1998, Proof Search in Type-Theoretic Languages@CADE.
Helge J. Ritter, Carsten Schürmann, Robert Haschke, 2012, Towards Service Robots for Everyday Environments.
Carsten Schürmann, Taus Brock-Nannestad, 2012, IJCAR.
Frank Pfenning, Carsten Schürmann, F. Pfenning, 2003, TPHOLs.
Carsten Schürmann, Henry DeYoung, 2011, VoteID.
Carsten Schürmann, C. Schürmann, 2013 .
Helge J. Ritter, Qiang Li, Carsten Schürmann, 2013, Robotics: Science and Systems.
Rosario Giustolisi, Carsten Schürmann, Alessandro Bruni, 2017, ISC.
Carsten Schürmann, Robert Haschke, Helge Ritter, 2009, Humanoids 2009.
Carsten Schürmann, Jeffrey Sarnat, C. Schürmann, 2010 .
Carsten Schürmann, Jeffrey Sarnat, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Carsten Schürmann, Yu Liao, Richard Fontana, 2002 .
Fabrizio Montesi, Carsten Schürmann, Marco Carbone, 2017, Distributed Computing.
Carsten Schürmann, Adam Poswolsky, C. Schürmann, 2008, ESOP.
Carsten Schürmann, 2011, CACM.
Helge J. Ritter, Carsten Schürmann, Robert Haschke, 2015, Robotics Auton. Syst..
Melanie Volkamer, Robert Krimmer, Carsten Schürmann, 2018, Lecture Notes in Computer Science.
Carsten Schürmann, Dirk Stelder, Klaus Spiekermann, 2002 .
Florian Rabe, Carsten Schürmann, 2009, LFMTP '09.
Geoff Sutcliffe, Christoph Benzmüller, Florian Rabe, 2008, PAAR/ESHOL.
Nobuko Yoshida, Fabrizio Montesi, Carsten Schürmann, 2016, Acta Informatica.
Carsten Schürmann, 2001, CSL.
Carsten Schürmann, Taus Brock-Nannestad, C. Schürmann, 2010, LPAR.
Helge J. Ritter, Michael Pardowitz, Carsten Schürmann, 2010, ISR/ROBOTIK.
Bernhard Beckert, Vladimir Klebanov, Carsten Schürmann, 2016, E-VOTE-ID.
Carsten Schürmann, 2013, ITP.
Carsten Schürmann, Adam Poswolsky, C. Schürmann, 2008, LFMTP@LICS.
Frank Pfenning, Carsten Schürmann, F. Pfenning, 1999, CADE.
Carsten Schürmann, 2008, Electron. Notes Theor. Comput. Sci..
Bernhard Beckert, Thorsten Bormer, Rajeev Goré, 2017 .
Carsten Schürmann, 2016, E-VOTE-ID.
Carsten Schürmann, Jatin Shah, 2005, CSL.
Carsten Schürmann, Serge Autexier, C. Schürmann, 2002, LFM.
Jian Wang, Bernhard Beckert, Thorsten Bormer, 2014, J. Inf. Secur. Appl..
Carsten Schürmann, Maxime Beauquier, C. Schürmann, 2011, LFMTP.
Randi Markussen, Carsten Schürmann, Lorena Ronquillo, 2014, 2014 6th International Conference on Electronic Voting: Verifying the Vote (EVOTE).
Carsten Schürmann, Brigitte Pientka, 2008, Electron. Notes Theor. Comput. Sci..
Jian Wang, Carsten Schürmann, 2016, 2016 Conference for E-Democracy and Open Government (CeDEM).
Carsten Schürmann, Lisa Hartmann Jensen, Rósa María Sigbjörnsdóttir, 2020, E-VOTE-ID.
Carsten Schürmann, C. Schürmann, 1899, 2009 First International Workshop on Requirements Engineering for e-Voting Systems.
Bernhard Beckert, Rajeev Goré, Carsten Schürmann, 2013, CADE.
Carsten Schürmann, Jeffrey Sarnat, C. Schürmann, 2009, TLCA.
Carsten Schürmann, Aaron Stump, 2005, Electron. Notes Theor. Comput. Sci..
Frank Pfenning, Carsten Schürmann, F. Pfenning, 1998, CADE.
Carsten Schürmann, Sonia Marin, Marco Carbone, 2021, ArXiv.
Carsten Schürmann, Sonia Marin, Marco Carbone, 2021, ArXiv.
Carsten Schürmann, Oksana Kulyk, Asmita Dalela, 2021, ArXiv.
Melanie Volkamer, Robert Krimmer, Carsten Schürmann, 2015 .
Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat, 2004 .
Carsten Schürmann, Adam Poswolsky, C. Schürmann, 2003 .
Carsten Schürmann, Jeffrey Sarnat, C. Schürmann, 2006 .
Mark-Oliver Stehr, Carsten Schürmann, 2004 .