Reiner Hähnle

发表

Peter H. Schmitt, Thomas Baar, Reiner Hähnle, 2000, GI Jahrestagung.
Reiner Hähnle, Einar Broch Johnsen, Crystal Chang Din, 2019, SEFM.
Reiner Hähnle, Davide Sangiorgi, Einar Broch Johnsen, 2011, FMCO.
Reiner Hähnle, 1996, J. Appl. Non Class. Logics.
Bernhard Beckert, Reiner Hähnle, Reiner Hähnle, 1996 .
Bernhard Beckert, Reiner Hähnle, Stefan Gerberding, 1992, CADE.
Reiner Hähnle, Einar Broch Johnsen, Dave Clarke, 2010, SPLC Workshops.
Frank S. de Boer, Marcello M. Bonsangue, Reiner Hähnle, 2012, Lecture Notes in Computer Science.
Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, 2020, ISoLA.
Reiner Hähnle, Antonio Flores-Montoya, Reiner Hähnle, 2014, APLAS.
Mira Mezini, Reiner Hähnle, Reiner Anderl, 2020 .
Reiner Hähnle, Richard Bubel, Séverine Maingaud, 2010, FoVeOOS.
Reiner Hähnle, Richard Bubel, Antonio Flores-Montoya, 2014, SFM.
Bernhard Beckert, Vladimir Klebanov, Peter H. Schmitt, 2007, CADE.
Maritta Heisel, Reiner Hähnle, Wolfgang Reif, 1986, CADE.
Reiner Hähnle, David Sands, Ádám Darvas, 2005, SPC.
Peter H. Schmitt, Thomas Baar, Reiner Hähnle, 2000, Softwaretechnik-Trends.
Reiner Hähnle, Richard Bubel, Ran Ji, 2009, FMCO.
Frank S. de Boer, Reiner Hähnle, Justine Rochas, 2017, ACM Comput. Surv..
Reiner Hähnle, Dominic Steinhöfel, 2018, ISoLA.
Reiner Hähnle, Tobias Gedell, Reiner Hähnle, 2006, Algebraic and Proof-theoretic Aspects of Non-classical Logics.
Reiner Hähnle, Nathan Wasser, Richard Bubel, 2016, Theory and Practice of Formal Methods.
Reiner Hähnle, Eduard Kamburjan, 2016, FTSCS.
Reiner Hähnle, Reiner Hähnle, 1994, Annals of Mathematics and Artificial Intelligence.
Reiner Hähnle, Stefan Klingenbeck, 1994, CADE.
Reiner Hähnle, Christian Pape, Reiner Hähnle, 1997, TABLEAUX.
Peter Baumgartner, Reiner Hähnle, Joachim Posegga, 1996, Lecture Notes in Computer Science.
Peter Baumgartner, Reiner Hähnle, Joachim Posegga, 1995, Lecture Notes in Computer Science.
Reiner Hähnle, Gonzalo Escalada Imaz, 1997 .
Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, 2012, ESOCC.
Bernhard Beckert, Reiner Hähnle, 2010 .
Reiner Hähnle, 2007, The KeY Approach.
Reiner Hähnle, Einar Broch Johnsen, 2015, Computer.
Reiner Hähnle, Gonzalo Escalada-Imaz, 1997 .
Reiner Hähnle, Jing Pan, Philipp Rümmer, 2006, TGC.
Reiner Hähnle, Richard Bubel, Quoc Huy Do, 2017, ICTAC.
Reiner Hähnle, Einar Broch Johnsen, Martin Steffen, 2010, FMCO.
Bernhard Beckert, Peter H. Schmitt, Thomas Baar, 2002, FASE.
Reiner Hähnle, Antonio Flores-Montoya, 2015 .
Reiner Hähnle, Jing Pan, Philipp Rümmer, 2006, Theor. Comput. Sci..
Reiner Hähnle, Ina Schaefer, Reiner Hähnle, 2018, Software Technology: 10 Years of Innovation in IEEE Computer.
Bernhard Beckert, Reiner Hähnle, Reiner Hähnle, 2014, IEEE Intelligent Systems.
Reiner Hähnle, Erik Rosenthal, Neil Murray, 2002 .
Christoph Weidenbach, Reiner Hähnle, Manfred Kerber, 1996 .
Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, 2020, 20 Years of KeY.
Bernhard Beckert, Reiner Hähnle, Martin Sulzmann, 1996, CADE.
Reiner Hähnle, Reiner Hähnle, 2001 .
Peter H. Schmitt, Reiner Hähnle, Wolfgang Reif, 1999, J. Univers. Comput. Sci..
Bernhard Beckert, Reiner Hähnle, Felip Manyà, 1999, Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329).
Reiner Hähnle, Einar Broch Johnsen, Crystal Chang Din, 2020, 20 Years of KeY.
Reiner Hähnle, Reiner Hähnle, 1990, IWBS Report.
Bernhard Beckert, Peter H. Schmitt, Thomas Baar, 2005, Software & Systems Modeling.
Reiner Hähnle, Einar Broch Johnsen, 2014, ISoLA.
Reiner Hähnle, Einar Broch Johnsen, Marco Bernardo, 2014, Lecture Notes in Computer Science.
Reiner Hähnle, Daniel Larsson, Reiner Hähnle, 2007, VERIFY.
Reiner Hähnle, Richard Bubel, Maria Pelevina, 2014, ISoLA.
Peter H. Schmitt, Reiner Hähnle, 2004, Journal of Automated Reasoning.
Reiner Hähnle, Richard Bubel, Ran Ji, 2013, SEFM.
Reiner Hähnle, Reiner Hähnle, 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.
Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle, 2016, Deductive Software Verification.
Frank S. de Boer, Jurriaan Rot, Reiner Hähnle, 2017, Journal of Automated Reasoning.
Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle, 2007, The KeY Approach.
Reiner Hähnle, Richard Bubel, 2008, FM'08 2008.
Reiner Hähnle, Richard Bubel, Martin Hentschel, 2016, IFM.
Reiner Hähnle, Richard Bubel, Martin Hentschel, 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Reiner Hähnle, Dominic Steinhöfel, Reiner Hähnle, 2019, DaLí.
Reiner Hähnle, Reiner Hähnle, 1996, Stud Logica.
Peter H. Schmitt, Reiner Hähnle, Wolfram Menzel, 1998, Künstliche Intell..
Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, 2018, Principled Software Development.
Reiner Hähnle, Richard Bubel, Reiner Hähnle, 2003 .
Tobias Nipkow, Jürgen Giesl, Reiner Hähnle, 2009, Interaction versus Automation: The two Faces of Deduction.
Reiner Hähnle, Stefan Dillmann, 2019, RSSRail.
Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle, 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
Bernhard Beckert, Reiner Hähnle, Neil V. Murray, 2004, Journal of Automated Reasoning.
Reiner Hähnle, Einar Broch Johnsen, Crystal Chang Din, 2015 .
Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, 2018, SPLC.
Reiner Hähnle, Radu Muschevici, Reiner Hähnle, 2016, ISoLA.
Reiner Hähnle, Daniel Larsson, Oleg Myrk, 2007 .
Reiner Hähnle, Eduard Kamburjan, Reiner Hähnle, 2018, ICE.
Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz, 1998, J. Log. Comput..
Bernhard Beckert, Reiner Hähnle, 2010, Journal of Automated Reasoning.
Reiner Hähnle, Ran Ji, Reiner Hähnle, 2014 .
Reiner Hähnle, Richard Bubel, Martin Hentschel, 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Reiner Hähnle, Angela Wallenburg, 2003, FATES.
Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle, 1993, Kurt Gödel Colloquium.
Reiner Hähnle, Tobias Gedell, Reiner Hähnle, 2006, LPAR.
Reiner Hähnle, Ran Ji, 2014 .
Frank S. de Boer, Jurriaan Rot, Reiner Hähnle, 2015, CAV.
Reiner Hähnle, Marieke Huisman, Reiner Hähnle, 2019, Computing and Software Science.
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2019, VORTEX@ECOOP/ISSTA.
Bernhard Beckert, Peter H. Schmitt, Thomas Baar, 2007 .
Bernhard Beckert, Reiner Hähnle, Felip Manyà, 2000, Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000).
Reiner Hähnle, Gonzalo Escalada Imaz, Reiner Hähnle, 1997 .
Reiner Hähnle, Richard Bubel, Martin Hentschel, 2019, International Journal on Software Tools for Technology Transfer.
Reiner Hähnle, Richard Bubel, Quoc Huy Do, 2015, SEC.
Bernhard Beckert, Reiner Hähnle, 1999, TABLEAUX.
Reiner Hähnle, Reiner Hähnle, 1991, ISMVL.
Reiner Hähnle, Dimitra Giannakopoulou, Karl Meinke, 2016, Dagstuhl Reports.
Reiner Hähnle, Ramón Béjar, Felip Manyà, 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.
Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle, 2007, FMOODS.
Peter H. Schmitt, Reiner Hähnle, Richard Bubel, 2008, VERIFY.
Reiner Hähnle, 2016, Deductive Software Verification.
Tobias Nipkow, Jürgen Giesl, Reiner Hähnle, 2009, Interaction versus Automation: The two Faces of Deduction.
Bernhard Beckert, Peter H. Schmitt, Thomas Baar, 2007 .
Bernhard Beckert, Peter H. Schmitt, Mattias Ulbrich, 2016, Lecture Notes in Computer Science.
Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, 2016, LNCS Trans. Found. Mastering Chang..
Reiner Hähnle, Marieke Huisman, 2017, ARCADE@CADE.
Reiner Hähnle, Reiner Hähnle, 1999 .
Reiner Hähnle, Elvira Albert, Samir Genaim, 2011, PEPM '11.
Martin A. Giese, Bernhard Beckert, Peter H. Schmitt, 2005 .
Reiner Hähnle, Neil V. Murray, Erik Rosenthal, 2005, ISMIS.
Reiner Hähnle, Niklas Sörensson, Reiner Hähnle, 2003, TABLEAUX.
Reiner Hähnle, Neil V. Murray, Erik Rosenthal, 1997, ISMIS.
Reiner Hähnle, Nathan Wasser, Richard Bubel, 2016, Deductive Software Verification.
Aarne Ranta, Reiner Hähnle, 2001 .
C. A. R. Hoare, Cesare Tinelli, Bernhard Beckert, 2006, IEEE Intelligent Systems.
Reiner Hähnle, Michael Lienhardt, Ferruccio Damiani, 2017, TAP@STAF.
Reiner Hähnle, Wojciech Mostowski, Reiner Hähnle, 2004, CASSIS.
Reiner Hähnle, Eduard Kamburjan, Sebastian Schön, 2018, Sci. Comput. Program..
Tobias Nipkow, Christoph Weidenbach, Nikolaj Bjørner, 2013, Dagstuhl Reports.
Reiner Hähnle, Eduard Kamburjan, 2017, RSSRail.
Reiner Hähnle, Maurice H. ter Beek, Ina Schaefer, 2016, ISoLA.
Serge Demeyer, Reiner Hähnle, Heiko Mantel, 2020, ISoLA.
Reiner Hähnle, Crystal Chang Din, Keiko Nakata, 2015, TABLEAUX.
Frank S. de Boer, Reiner Hähnle, Miguel Gómez-Zamalloa, 2015, International Journal on Software Tools for Technology Transfer.
Reiner Hähnle, Richard Bubel, Martin Hentschel, 2014, RV.
Reiner Hähnle, Richard Bubel, Martin Hentschel, 2014, TAP@STAF.
Bernhard Beckert, Reiner Hähnle, 1995, CSL.
Reiner Hähnle, Ortrun Ibens, 1994, ICTL.
Reiner Hähnle, Crystal Chang Din, Richard Bubel, 2010 .
Reiner Hähnle, Reiner Hähnle, 2001 .
Reiner Hähnle, Reiner Hähnle, 1994, J. Log. Comput..
Reiner Hähnle, Stefan Klingenbeck, Reiner Hähnle, 1996, J. Log. Comput..
Martin A. Giese, Reiner Hähnle, Daniel Larsson, 2004 .
Reiner Hähnle, Daniel Larsson, Oleg Mürk, 2007, CADE.
Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.
Reiner Hähnle, Richard Bubel, Dominic Scheurer, 2016, ICFEM.
Reiner Hähnle, Mohamed Nadif, Gérard Govaert, 2006, Soft Computing - A Fusion of Foundations, Methodologies and Applications.
Thomas Baar, Reiner Hähnle, Reiner Hähnle, 2000 .
Bernhard Beckert, Vladimir Klebanov, Christoph Scheben, 2014, VSTTE.
Reiner Hähnle, Richard Bubel, Martin Hentschel, 2014, IFM.
Reiner Hähnle, Wolfgang Ahrendt, Richard Bubel, 2009, TFM.
Reiner Hähnle, Eduard Kamburjan, Stefan Mitsch, 2019, ArXiv.
Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle, 2006, FMCO.
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2016, ESOCC 2016.
Tobias Nipkow, Jürgen Giesl, Reiner Hähnle, 2009, Interaction versus Automation: The two Faces of Deduction.
Reiner Hähnle, Elvira Albert, Samir Genaim, 2015, Software & Systems Modeling.
Cosimo Laneve, Frank S. de Boer, Reiner Hähnle, 2013, NordiCloud '13.
Reiner Hähnle, Richard Bubel, Asmae Heydari Tabar, 2019, IFM.
Aarne Ranta, Reiner Hähnle, Kristofer Johannisson, 2002, FASE.
Reiner Hähnle, Reiner Hähnle, 1993, ISMIS.
Reiner Hähnle, Neil V. Murray, Erik Rosenthal, 2001, IJCAR.
Reiner Hähnle, Reiner Hähnle, 1993, International series of monographs on computer science.
Reiner Hähnle, Ina Schaefer, Richard Bubel, 2013, CADE.
Reiner Hähnle, Wil M. P. van der Aalst, 2020 .
Reiner Hähnle, Crystal Chang Din, Richard Bubel, 2015, CADE.
Reiner Hähnle, Ina Schaefer, 2011, Computer.
Reiner Hähnle, Dominic Steinhöfel, Reiner Hähnle, 2019, FM.
Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, 2017, FASE.
Reiner Hähnle, Neil V. Murray, Erik Rosenthal, 1998, TABLEAUX.
Reiner Hähnle, Richard Bubel, Ulrich Geilmann, 2011, SEFM.
Reiner Hähnle, Richard Bubel, Ran Ji, 2010, FMCO.
Reiner Hähnle, Bernhard Steffen, Reiner Hähnle, 2018, Machine Learning for Dynamic Software Analysis.
Jürgen Giesl, Reiner Hähnle, 2011, Journal of Automated Reasoning.
Reiner Hähnle, Richard Bubel, 2004, International Journal on Software Tools for Technology Transfer.
Reiner Hähnle, Richard Bubel, Martin Hentschel, 2016, Deductive Software Verification.
Reiner Hähnle, Christian Pape, 1997, Kurt Gödel Colloquium.
Reiner Hähnle, Richard Bubel, 2007, The KeY Approach.
Bernhard Beckert, Reiner Hähnle, Stefan Gerberding, 1992, IWBS Report.
Reiner Hähnle, Elvira Albert, Samir Genaim, 2012, FASE.
Reiner Hähnle, Werner Kernig, Reiner Hähnle, 1993, LPAR.
Bernhard Beckert, Reiner Hähnle, Neil V. Murray, 1994, LPAR.
Reiner Hähnle, Ina Schaefer, 2012, ISoLA.
Reiner Hähnle, Einar Broch Johnsen, Crystal Chang Din, 2015, ICFEM.
Reiner Hähnle, Einar Broch Johnsen, 2015 .
Reiner Hähnle, Christian Engel, Reiner Hähnle, 2007, TAP.
Reiner Hähnle, Einar Broch Johnsen, Crystal Chang Din, 2017, TABLEAUX.
Reiner Hähnle, Richard Bubel, Benjamin Weiß, 2009, FMCO.
Reiner Hähnle, Reiner Hähnle, 2001, Handbook of Automated Reasoning.
Martin Gogolla, Jean Bézivin, Peter H. Schmitt, 2005 .
Reiner Hähnle, Marcus Baum, Richard Bubel, 2010, ASE '10.
Reiner Hähnle, Nathan Wasser, Asmae Heydari Tabar, 2019, FSEN.
Martin Gogolla, Jean Bézivin, Peter H. Schmitt, 2004, UML Satellite Activities.
Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai, 2000, Computational Logic.
Reiner Hähnle, Neil V. Murray, Erik Rosenthal, 2004, Theor. Comput. Sci..
Reiner Hähnle, 1994, ISMVL.
Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, 2014, Service Oriented Computing and Applications.
Reiner Hähnle, Maya Retno Ayu Setyautami, Reiner Hähnle, 2021, VaMoS.
Reiner Hähnle, Richard Bubel, Dominic Steinhöfel, 2021, GPCE.
Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, 2021, SPLC.
Reiner Hähnle, Nathan Wasser, Asmae Heydari Tabar, 2021, Sci. Comput. Program..
Reiner Hähnle, Elvira Albert, Dominic Steinhöfel, 2021, FASE.
Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, 2004 .
Bernhard Beckert, Reiner Hähnle, Martin Sulzmann, 1996 .
Bernhard Beckert, Reiner Hähnle, 1995 .
Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai, 1995 .
Bernhard Beckert, Reiner Hähnle, Martin Sulzmann, 1996 .
Bernhard Beckert, Reiner Hähnle, Stefan Gerberding, 1992 .
Reiner Hähnle, Reiner Hähnle, 2007 .
Reiner Hähnle, Arnd Poetzsch-Heffter, Ina Schaefer, 2011 .
Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle, 1998 .