Gregor Snelting

发表

Gregor Snelting, 2001, Informatik-Spektrum.
Tobias Nipkow, Frank Tip, Gregor Snelting, 2006, OOPSLA '06.
Bernhard Beckert, Alexander Pretschner, Jörn Müller-Quade, 2011, it Inf. Technol..
Gregor Snelting, Jens Krinke, Torsten Robschink, 2006, TSEM.
Gregor Snelting, Daniel Wasserrab, Denis Lohner, 2009, PLAS '09.
Gregor Snelting, Andreas Lochbihler, 2007, SCAM.
Gregor Snelting, 2005, Formal Concept Analysis.
Gregor Snelting, Stefan Kaes, Wolfgang Henhapl, 1991, Software Development Environments and CASE Technology.
Gregor Snelting, Jens Krinke, Torsten Robschink, 1999 .
Tobias Nipkow, Frank Tip, Gregor Snelting, 2007, Software Engineering.
Gregor Snelting, 2000, Proceedings of the Fourth European Conference on Software Maintenance and Reengineering.
Gregor Snelting, 2005, Algorithmic Algebra and Logic.
Gregor Snelting, Martin Hecker, Jürgen Graf, 2016, Sicherheit.
Gregor Snelting, Christian Hammer, Rüdiger Schaade, 2008, PLAS '08.
Gregor Snelting, Maren Krone, G. Snelting, 1994, Proceedings of 16th International Conference on Software Engineering.
Gregor Snelting, Rolf Bahlke, G. Snelting, 1986, Advanced Programming Environments.
Bernhard Rumpe, Gregor Snelting, Ina Schaefer, 2012, 40 Jahre Informatik @ Braunschweig.
Gregor Snelting, Jürgen Graf, Joachim Breitner, 2016, POST.
Gregor Snelting, 2015, Sci. Comput. Program..
Gregor Snelting, Daniel Wasserrab, Denis Lohner, 2009, SIGP.
Gregor Snelting, Torsten Robschink, 2002, ICSE '02.
Andreas Zeller, Gregor Snelting, A. Zeller, 1997, TSEM.
Gregor Snelting, 2008, Informatik-Spektrum.
Gregor Snelting, Thomas Letschert, Wolfgang Henhapl, 1984, Programmierumgebungen und Compiler.
Jürgen Teich, Wolfgang Schröder-Preikschat, Gregor Snelting, 2011, Multiprocessor System-on-Chip.
Gregor Snelting, Denis Lohner, Joachim Breitner, 2018, Principled Software Development.
Andreas Zeller, Gregor Snelting, A. Zeller, 1995, ESEC.
Gregor Snelting, G. Snelting, 1985, TAPSOFT, Vol.2.
Jürgen Teich, Gregor Snelting, Sascha Roloff, 2011, SCOPES.
Frank Tip, Gregor Snelting, F. Tip, 2000, TOPL.
Gregor Snelting, Jens Krinke, J. Krinke, 1998, Inf. Softw. Technol..
Gregor Snelting, Dennis Giffhorn, G. Snelting, 2012 .
Gregor Snelting, Mirko Streckenbach, 2007, WRT.
Gregor Snelting, Andreas Lochbihler, G. Snelting, 2007, Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007).
Gregor Snelting, G. Snelting, 1990, SIGP.
Gregor Snelting, Rolf Bahlke, B. Moritz, 1987, PLDI 1987.
Mana Taghdiri, Gregor Snelting, Carsten Sinz, 2010, Formal Aspects in Security and Trust.
Gregor Snelting, Christian Hammer, Christian Hammer, 2004, PASTE.
Frank Tip, Gregor Snelting, F. Tip, 1998, SIGSOFT '98/FSE-6.
Gregor Snelting, Rolf Bahlke, 1985, ACM SIGPLAN Notices.
Gregor Snelting, Andreas Lochbihler, 2007 .
Gregor Snelting, Jens Krinke, Christian Hammer, 2006 .
Gregor Snelting, Mirko Streckenbach, 2004, OOPSLA '04.
Gregor Snelting, Franz-Josef Grosch, G. Snelting, 1990, PLILP.
Andreas Zeller, Gregor Snelting, Bernd Fischer, 1994, Inform. Forsch. Entwickl..
Gregor Snelting, G. Snelting, 1991, Acta Informatica.
Michael Glaß, Jürgen Teich, Tobias Schwarzer, 2016, it Inf. Technol..
Frank Tip, Gregor Snelting, 2002, ECOOP.
Gregor Snelting, G. Snelting, 1998, PASTE '98.
Michael Glaß, Jürgen Teich, Andreas Weichslgartner, 2016, 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC).
Jürgen Teich, Andreas Weichslgartner, Jörg Henkel, 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).
Gregor Snelting, Christian Lindig, Christian Lindig, 2000 .
Andrei Popescu, Jeremy Avigad, Gregor Snelting, 2018, Journal of Automated Reasoning.
Gregor Snelting, Martin Johns, Martin Hecker, 2020, SAC.
Jürgen Teich, Gregor Snelting, Michael Witterauf, 2015, 2015 NASA/ESA Conference on Adaptive Hardware and Systems (AHS).
Gregor Snelting, 2009, it Inf. Technol..
Gregor Snelting, Dennis Giffhorn, 2014, International Journal of Information Security.
Gregor Snelting, Jürgen Graf, Martin Hecker, 2016, POST.
Gregor Snelting, Wolfgang Henhapl, 1984, Fachtagung über Programmiersprachen.
Gregor Snelting, Franz-Josef Grosch, G. Snelting, 1993, [1993] Proceedings Advances in Software Reuse.
Bastian Katz, Ignaz Rutter, Dorothea Wagner, 2010, SEA.
Gregor Snelting, Rolf Bahlke, Bernhard Moritz, 1987, SIGPLAN '87.
Gregor Snelting, Wolfgang Henhapl, W. Henhapl, 1986, POPL '86.
Gregor Snelting, Jens Krinke, Torsten Robschink, 1999, Informatik Forschung und Entwicklung.
Gregor Snelting, Daniel Wasserrab, G. Snelting, 2008, Arch. Formal Proofs.
Paul Klint, Gregor Snelting, Thomas W. Reps, 1992, SIGP.
Thomas Reps, Gregor Snelting, Hausi Müller, 1998, SOEN.
Gregor Snelting, Rolf Bahlke, G. Snelting, 1992, Int. J. Man Mach. Stud..
Gregor Snelting, Jürgen Graf, Joachim Breitner, 2018, J. Comput. Secur..
Gregor Snelting, Christian Hammer, Christian Hammer, 2009, International Journal of Information Security.
Gregor Snelting, Christian Lindig, Christian Lindig, 1997, Proceedings of the (19th) International Conference on Software Engineering.
Gregor Snelting, Ulrik Schroeder, Franz-Josef Grosch, 1991, ESEC.
Gregor Snelting, G. Snelting, 1998, International Journal on Software Tools for Technology Transfer.
Hans-Joachim Bungartz, Gregor Snelting, Christoph Riesinger, 2013, X10 '13.
Gregor Snelting, Daniel Wasserrab, Jürgen Graf, 2014, it Inf. Technol..
Gregor Snelting, Rolf Bahlke, G. Snelting, 1985, SLIPE '85.
Gregor Snelting, Jürgen Graf, Martin Mohr, 2015 .