-
Quentin Carbonneaux, Jan Hoffmann, and Zhong Shao
In Proceedings of the 36th Conference
on Programming Language Design and Implementation
(PLDI'15)
2015
-
Jan Hoffmann and Zhong Shao
In Proceedings of the 24th European Symposium on Programming (ESOP'15)
2015 (forthcoming)
-
Jan Hoffmann and Zhong Shao
In Proceedings of the 12th International Symposium on Functional
and Logic Programming (FLOPS'14)
2014
-
Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro, and Zhong Shao
In Proceedings of the 35th Conference
on Programming Language Design and Implementation
(PLDI'14)
2014
-
Gabriel Scherer and Jan Hoffmann
In Proceedings of the 19th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning (LPAR'13)
2013
-
Hongjin Liang, Jan Hoffmann, Xinyu Feng, and Zhong Shao
In Proceedings of the 24th International Conference on Concurrency Theory (CONCUR'13)
2013
-
Jan Hoffmann, Mike Marmar, and Zhong Shao
In Proceedings of the 28th ACM/IEEE Symposium on Logic in Computer Science (LICS'13)
2013
-
Jan Hoffmann, Klaus Aehlig, and Martin Hofmann
In Proceedings of the 24rd International Conference
on Computer Aided Verification (CAV'12)
2012
-
Neelakantan R. Krishnaswami, Nick Benton, and Jan Hoffmann
In Proceedings of the 39th Symposium
on Principles of Programming Languages (POPL'12)
2012
-
Jan Hoffmann, Klaus Aehlig, and Martin Hofmann
In Proceedings of the 38th Symposium
on Principles of Programming Languages (POPL'11)
2011
-
Jan Hoffmann and Martin Hofmann
In Proceedings of the 8th Asian Symposium
on Programming Languages (APLAS'10)
2010
-
Jan Hoffmann and Martin Hofmann
In Proceedings of the 19th European Symposium on Programming (ESOP'10)
2010
-
Dorothea Baumeister, Felix Brandt, Felix Fischer, Jan Hoffmann, and Jörg Rothe
In Proceedings of the 7th International Conference on
Algorithms and Complexity (CIAC'10)
2010
-
Felix Brandt, Markus Brill, Felix Fischer, and Jan Hoffmann
In Proceedings of the 2nd International Symposium on Algorithmic Game Theory (SAGT'09)
2009