Gerald Lüttgen

发表

Jonathan Ezekiel, Radu I. Siminiceanu, Gerald Lüttgen, 2006 .
Girish Bhat, Rance Cleaveland, Gerald Lüttgen, 1999, Ann. Softw. Eng..
Xi Chen, Herbert Bos, Jan H. Boockmann, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Gerald Lüttgen, David H. White, Gerald Lüttgen, 2013, TACAS.
Xi Chen, Herbert Bos, Gerald Lüttgen, 2016, CCS.
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu, 2001, TACAS.
Gerald Lüttgen, David H. White, 2004, SYNCHRON.
Gerald Lüttgen, Jan Tobias Mühlberg, Gerald Lüttgen, 2010, International Journal on Software Tools for Technology Transfer.
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2007, Inf. Comput..
Jan H. Boockmann, Gerald Lüttgen, Jan Tobias Mühlberg, 2018, ISoLA.
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2012, Log. Methods Comput. Sci..
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu, 2011, J. Log. Comput..
Walter Vogler, Gerald Lüttgen, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2004, Inf. Comput..
Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner, 2007, Formal Methods Syst. Des..
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2006, FoSSaCS.
Rance Cleaveland, Michael Mendler, Gerald Lüttgen, 1997, CONCUR.
Rance Cleaveland, V. Natarajan, Gerald Lüttgen, 1996, CONCUR.
Michael Mendler, Gerald Lüttgen, Michael Mendler, 2000 .
Ivana Cerná, Gerald Lüttgen, 2008, Electron. Notes Theor. Comput. Sci..
Frank Piessens, Gerald Lüttgen, David H. White, 2015, SEFM.
Jan H. Boockmann, Gerald Lüttgen, Gerald Lüttgen, 2020, LPAR.
Michael Mendler, Gerald Lüttgen, Michael Mendler, 2002, SLAP@ETAPS.
Rance Cleaveland, Michael von der Beeck, Gerald Lüttgen, 1999, CONCUR.
Gerald Lüttgen, Jan Tobias Mühlberg, 2010, SPIN.
Andy Galloway, Gerald Lüttgen, Radu Siminiceanu, 2008, VMCAI.
Gerald Lüttgen, Jan Tobias Mühlberg, 2011, Formal Aspects of Computing.
Rance Cleaveland, Gerald Lüttgen, R. Cleaveland, 2000, FSTTCS.
Walter Vogler, Gerald Lüttgen, 2005, FoSSaCS.
Stephan Merz, Gerald Lüttgen, 2012, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Rance Cleaveland, Martin R. Woodward, Mark Harman, 2009, CSUR.
Victor Carreño, Gerald Lüttgen, Gerald Lüttgen, 1999, SPIN.
Antti Siirtola, Gerald Lüttgen, Antti Puhakka, 2012, 2012 12th International Conference on Application of Concurrency to System Design.
Willem P. de Roever, Michael Mendler, Gerald Lüttgen, 2010, Essays in Memory of Amir Pnueli.
Michael Mendler, Gerald Lüttgen, Michael Mendler, 2007, CONCUR.
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu, 2009, International Journal on Software Tools for Technology Transfer.
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2009, Theor. Comput. Sci..
Gerald Lüttgen, Jürgen Mottok, Andreas Sailer, 2017, RTNS.
Michael Mendler, Gerald Lüttgen, Natividad Martínez Madrid, 2005, Electron. Notes Theor. Comput. Sci..
Michael Mendler, Gerald Lüttgen, Michael Mendler, 2010, Inf. Comput..
Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu, 2006, FMICS/PDMC.
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu, 2007, ICATPN.
Gerald Lüttgen, Jürgen Mottok, Andreas Sailer, 2016, 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER).
Milan Ceska, Gerald Lüttgen, Alexander Ditter, 2012, SPIN.
Manfred Broy, Michael Mendler, Gerald Lüttgen, 2003, Formal Aspects of Computing.
Gerald Lüttgen, Jan Tobias Mühlberg, 2006, FMICS/PDMC.
Gerald Lüttgen, Jan Tobias Mühlberg, 2009, SBMF.
Gerald Lüttgen, Eugene Yip, Andreas Sailer, 2019, 2019 IEEE 13th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC).
Rance Cleaveland, Steve Sims, V. Natarajan, 1996, TACAS.
Bernhard Steffen, Gerald Lüttgen, Susanne Graf, 1996, Formal Aspects of Computing.
Rance Cleaveland, Michael von der Beeck, Gerald Lüttgen, 2000, SIGSOFT '00/FSE-8.
Rance Cleaveland, Gerald Lüttgen, V. Natarajan, 2001, Handbook of Process Algebra.
Walter Vogler, Gerald Lüttgen, Ferenc Bujtor, 2015, Theor. Comput. Sci..
Walter Vogler, Gerald Lüttgen, 2004, FoSSaCS.
Walter Vogler, Gerald Lüttgen, 2010, Inf. Comput..
Gerald Lüttgen, David H. White, Gerald Lüttgen, 2008, EURASIP J. Embed. Syst..
Rance Cleaveland, Steve Sims, V. Natarajan, 1996, Softw. Concepts Tools.
Walter Vogler, Gerald Lüttgen, Ayleen Schinko, 2021, Acta Informatica.
Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu, 2000, ICATPN.
Bernhard Steffen, Jens Knoop, Alfons Geser, 1996, CC.
Walter Vogler, Gerald Lüttgen, Ferenc Bujtor, 2015, SOFSEM.
Jonathan Ezekiel, Gerald Lüttgen, Gerald Lüttgen, 2008, PDMC@CAV.
Walter Vogler, Gerald Lüttgen, 2006, Theor. Comput. Sci..
Girish Bhat, Rance Cleaveland, Gerald Lüttgen, 1997, FORTE.
Gerald Lüttgen, 1998, Berichte aus der Informatik.
Walter Vogler, Gerald Lüttgen, Sascha Fendrich, 2014, Acta Informatica.
Joaquín Aguado, Michael Mendler, Gerald Lüttgen, 2004, Electron. Notes Theor. Comput. Sci..
Michael Mendler, Barry Norton, Gerald Lüttgen, 2003, CONCUR.
Gianfranco Ciardo, Jonathan Ezekiel, Gerald Lüttgen, 2007, CAV.
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2004, RAIRO Theor. Informatics Appl..
Gerald Lüttgen, Sascha Fendrich, 2018, Acta Informatica.
Michael Mendler, Gerald Lüttgen, 2002, CONCUR.
Rance Cleaveland, V. Natarajan, Gerald Lüttgen, 1996, Theor. Comput. Sci..
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu, 2007, TACAS.
David de Frutos-Escrig, Gerald Lüttgen, Harald Fecher, 2009, FSEN.
Rance Cleaveland, Gerald Lüttgen, R. Cleaveland, 2002, EXPRESS.
Rance Cleaveland, V. Natarajan, Gerald Lüttgen, 2007, Inf. Comput..
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2001, CONCUR.
Gerald Lüttgen, Gerald Lüttgen, 2018, FMICS.
Stephan Merz, Gerald Lüttgen, 2014, Sci. Comput. Program..
Michael Mendler, Gerald Lüttgen, G. Lüttgen, 2001, GI Jahrestagung.
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2007, Theor. Comput. Sci..
Gerald Lüttgen, Thomas Rupprecht, David H. White, 2016, ISSTA.
Michael Mendler, Gerald Lüttgen, Michael Mendler, 2000, ICALP.
Walter Vogler, Gerald Lüttgen, 2012, IFIP TCS.
Manfred Broy, Michael Mendler, Gerald Lüttgen, 2004, Formal Aspects of Computing.
Walter Vogler, Gerald Lüttgen, 2011, Theor. Comput. Sci..
Walter Vogler, Gerald Lüttgen, Gerald Lüttgen, 2021, Acta Informatica.
Gerald Lüttgen, Gerald Lüttgen, G. Lüttgen, 2006 .