| Gated Graph Sequence Neural Networks Y Li, D Tarlow, M Brockschmidt, R Zemel International Conference on Learning Representations (ICLR), 2016 | 800 | 2016 |
| DeepCoder: Learning to Write Programs M Balog, AL Gaunt, M Brockschmidt, S Nowozin, D Tarlow International Conference on Learning Representations (ICLR), 2017 | 224 | 2017 |
| Learning to Represent Programs with Graphs M Allamanis, M Brockschmidt, M Khademi International Conference on Learning Representations (ICLR), 2018 | 139 | 2018 |
| Automated termination analysis of Java Bytecode by term rewriting C Otto, M Brockschmidt, C Von Essen, J Giesl Rewriting Techniques and Applications (RTA), 259-276, 2010 | 89 | 2010 |
| Proving termination of programs automatically with AProVE J Giesl, M Brockschmidt, F Emmes, F Frohn, C Fuhs, C Otto, M Plücker, ... International Joint Conference on Automated Reasoning (IJCAR), 184 - 191, 2014 | 86 | 2014 |
| TerpreT: A Probabilistic Programming Language for Program Induction AL Gaunt, M Brockschmidt, R Singh, N Kushman, P Kohli, J Taylor, ... arXiv preprint arXiv:1608.04428, 2016 | 82 | 2016 |
| Better termination proving through cooperation M Brockschmidt, B Cook, C Fuhs International Conference on Computer Aided Verification (CAV), 413-429, 2013 | 82 | 2013 |
| Analyzing program termination and complexity automatically with AProVE J Giesl, C Aschermann, M Brockschmidt, F Emmes, F Frohn, C Fuhs, ... Journal of Automated Reasoning 58 (1), 3-31, 2017 | 71 | 2017 |
| Constrained Graph Variational Autoencoders for Molecule Design Q Liu, M Allamanis, M Brockschmidt, AL Gaunt Conference on Neural Information Processing Systems (NeurIPS), 2018 | 65 | 2018 |
| Alternating runtime and size complexity analysis of integer programs M Brockschmidt, F Emmes, S Falke, C Fuhs, J Giesl Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2014 | 65 | 2014 |
| Analyzing runtime and size complexity of integer programs M Brockschmidt, F Emmes, S Falke, C Fuhs, J Giesl ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (4), 1-50, 2016 | 54 | 2016 |
| Automated detection of nontermination and NullPointerExceptions for Java Bytecode M Brockschmidt, T Ströder, C Otto, J Giesl Formal Verification of Object-Oriented Software (FoVeOOS), 123-141, 2012 | 53 | 2012 |
| Automated Termination Proofs for Java Programs with Cyclic Data. M Brockschmidt, R Musiol, C Otto, J Giesl International Conference on Computer Aided Verification (CAV), 105-122, 2012 | 42 | 2012 |
| T2: Temporal Property Verification M Brockschmidt, B Cook, S Ishtiaq, H Khlaaf, N Piterman Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2016 | 39 | 2016 |
| The COST IC0701 Verification Competition 2011 T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ... Formal Verification of Object-Oriented Software (FoVeOOS), 3-21, 2012 | 35 | 2012 |
| Modular termination proofs of recursive Java Bytecode programs by term rewriting M Brockschmidt, C Otto, J Giesl Rewriting Techniques and Applications (RTA), 155-170, 2011 | 31 | 2011 |
| Termination graphs for Java bytecode M Brockschmidt, C Otto, C Von Essen, J Giesl Verification, Induction, Termination Analysis, 17-37, 2010 | 29 | 2010 |
| Lower Runtime Bounds for Integer Programs F Frohn, M Naaf, J Hensel, M Brockschmidt, J Giesl International Joint Conference on Automated Reasoning, 2016 | 27 | 2016 |
| Generative Code Modeling with Graphs M Brockschmidt, M Allamanis, AL Gaunt, O Polozov International Conference on Learning Representations (ICLR), 2019 | 26 | 2019 |
| Proving Termination and Memory Safety for Programs with Pointer Arithmetic T Ströder, J Giesl, M Brockschmidt, F Frohn, C Fuhs, J Hensel, ... International Joint Conference on Automated Reasoning (IJCAR), 208 - 223, 2014 | 22 | 2014 |
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
