Jan Schwinghammer

发表

M. Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, 2008 .
Jan Schwinghammer, Christian Doczkal, 2007 .
Jan Schwinghammer, Jan Schwinghammer, 2009, Journal of Functional Programming.
Joachim Niehren, Jan Schwinghammer, Manfred Schmidt-Schauß, 2015, Theor. Comput. Sci..
Rasmus Ejlers Møgelberg, Lars Birkedal, Jan Schwinghammer, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Lars Birkedal, Jan Schwinghammer, Kristian Støvring, 2010, FICS.
Jan Schwinghammer, Catalin Hritcu, Catalin Hritcu, 2009, Log. Methods Comput. Sci..
Jan Schwinghammer, Jan Schwinghammer, 2005, ICTCS.
Joachim Niehren, Jan Schwinghammer, Manfred Schmidt-Schauß, 2008, IFIP TCS.
Jan Schwinghammer, Bernhard Reus, Jan Schwinghammer, 2006, Mathematical Structures in Computer Science.
Gert Smolka, Jan Schwinghammer, G. Smolka, 2010 .
Jan Schwinghammer, Manuel Bodirsky, Timo von Oertzen, 2004, LATIN.
Hongseok Yang, Lars Birkedal, Jan Schwinghammer, 2011, POPL '11.
Hongseok Yang, Lars Birkedal, Jan Schwinghammer, 2009, CSL.
Jan Schwinghammer, Bernhard Reus, Jan Schwinghammer, 2006, CSL.
Jan Schwinghammer, Bernhard Reus, Jan Schwinghammer, 2005, ESOP.
L. Birkedal, Jan Schwinghammer, Bernhard Reus, 2009 .
Joachim Niehren, Jan Schwinghammer, Manfred Schmidt-Schauß, 2007, MFPS.
Joachim Niehren, Jan Schwinghammer, Manfred Schmidt-Schauß, 2009 .
Joachim Niehren, Gert Smolka, Jan Schwinghammer, 2005, Theor. Comput. Sci..