Martina Seidl

发表

Armin Biere, Aina Niemetz, Mathias Preiner, 2012, SAT.
Armin Biere, Martina Seidl, Marijn J. H. Heule, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).
Luca Pulina, Martina Seidl, Luca Pulina, 2019, Artif. Intell..
Martin Gogolla, Ileana Ober, Leonel Nóbrega, 2013, MoDeVVa@MoDELS.
Armin Biere, Martina Seidl, Marijn Heule, 2016, Journal of Automated Reasoning.
Petra Kaufmann, Martina Seidl, Martin Kronegger, 2015, Comput. Lang. Syst. Struct..
Peter J. Clarke, Martina Seidl, 2011, Comput. Sci. Educ..
Luca Pulina, Martina Seidl, 2019, J. Satisf. Boolean Model. Comput..
Florian Lonsing, Martina Seidl, Roderick Bloem, 2016, ArXiv.
Florian Lonsing, Martina Seidl, Florian Lonsing, 2018, Handbook of Parallel Constraint Reasoning.
Leonid Ryzhyk, Rüdiger Ehlers, Guillermo A. Pérez, 2015, International Journal on Software Tools for Technology Transfer.
Armin Biere, Martina Seidl, Alexandra Goultiaeva, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Gerti Kappel, Manuel Wimmer, Martina Seidl, 2007, BTW Workshops.
Petra Kaufmann, Martina Seidl, Magdalena Widl, 2013, Softwaretechnik-Trends.
Petra Kaufmann, Martina Seidl, Martin Kronegger, 2013, MoDeVVa@MoDELS.
Christian Huemer, Martina Seidl, Gerti Kappel, 2015 .
Christian Huemer, Gerti Kappel, Martina Seidl, 2015, Undergraduate Topics in Computer Science.
Martina Seidl, M. Seidl, 2015, EduSymp@MoDELS.
Petra Kaufmann, Robert Bill, Sebastian Gabmeyer, 2013, OCL@MoDELS.
Christian Huemer, Martina Seidl, Tanja Mayerhofer, 2012, EduSymp '12.
Armin Biere, Cyrille Artho, Martina Seidl, 2013, TAP@STAF.
Gerti Kappel, Manuel Wimmer, Martina Seidl, 2012, Computer Supported Cooperative Work (CSCW).
Gerti Kappel, Petra Kaufmann, Sebastian Gabmeyer, 2012, SOEN.
Cyrille Artho, Martina Seidl, Rudolf Ramler, 2015, 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Armin Biere, Martina Seidl, Marijn J. H. Heule, 2017, TAP@STAF.
Manuel Kauers, Martina Seidl, M. Kauers, 2018, SAT.
Florian Lonsing, Martina Seidl, Roderick Bloem, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).
Gerti Kappel, Petra Kaufmann, Manuel Wimmer, 2012, Softwaretechnik-Trends.
Gerti Kappel, Petra Kaufmann, Markus Herrmannsdoerfer, 2013, J. Syst. Softw..
Armin Biere, Martina Seidl, Marijn Heule, 2014, IJCAR.
Hans Tompits, Armin Biere, Martina Seidl, 2017, IJCAI.
Petra Kaufmann, Robert Bill, Sebastian Gabmeyer, 2014, VOLT@STAF.
Martina Seidl, Robert Könighofer, Robert Könighofer, 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Petra Kaufmann, Martina Seidl, Konrad Wieland, 2010, SPLASH/OOPSLA Companion.
Martina Seidl, Roderick Bloem, Robert Könighofer, 2014, VMCAI.
Gerti Kappel, Petra Kaufmann, Manuel Wimmer, 2010, MoDELS.
Martina Seidl, Benjamin Kiesl, 2019, SAT.
Gerti Kappel, Petra Kaufmann, Martina Seidl, 2010, SPLASH/OOPSLA Companion.
Petra Kaufmann, Manuel Wimmer, Martina Seidl, 2009, OOPSLA Companion.
Gerti Kappel, Hans Tompits, Petra Kaufmann, 2012, SLE.
Gerti Kappel, Petra Kaufmann, Manuel Wimmer, 2009, TOOLS.
Petra Kaufmann, Robert Bill, Sebastian Gabmeyer, 2014, SLE.
Martina Seidl, Robert Könighofer, 2014 .
Hans Tompits, Armin Biere, Martina Seidl, 2017, Log. Methods Comput. Sci..
Hans Tompits, Armin Biere, Martina Seidl, 2016, IJCAR.
Stefan Woltran, Hans Tompits, Martina Seidl, 2006, JELIA.
Lukasz Kaiser, Florian Lonsing, Martina Seidl, 2014, SAT.
Martina Seidl, 2007, Ausgezeichnete Informatikdissertationen.
Florian Lonsing, Martina Seidl, Allen Van Gelder, 2016, Artif. Intell..
Christian Huemer, Martina Seidl, Gerti Kappel, 2015 .
Manuel Wimmer, Martina Seidl, Philip Langer, 2010, IWMCP '10.
Gerti Kappel, Hans Tompits, Petra Kaufmann, 2011, MoDELS Workshops.
Martina Seidl, Marijn Heule, Benjamin Kiesl, 2017, SAT.
Martina Seidl, Wolfgang Windsteiger, Wolfgang Schreiner, 2020, CSEDU.
Gerti Kappel, Hans Tompits, Petra Kaufmann, 2012, TAP@TOOLS.
Armin Biere, Cyrille Artho, Masami Hagiya, 2013, Haifa Verification Conference.
Manuel Kauers, Martina Seidl, 2018, Inf. Process. Lett..
Peter J. Clarke, Martina Seidl, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Christian Huemer, Gerti Kappel, Martina Seidl, 2012 .
Gerti Kappel, Manuel Wimmer, Martina Seidl, 2009, Datenbank-Spektrum.
Martin Gogolla, Gerti Kappel, Petra Kaufmann, 2017, Software & Systems Modeling.
Hans Tompits, Armin Biere, Martina Seidl, 2017 .
Armin Biere, Martina Seidl, Marijn Heule, 2015, NFM.
Petra Kaufmann, Martina Seidl, Martin Kronegger, 2014, SLE.
Stefan Woltran, Hans Tompits, Martina Seidl, 2007, INAP/WLP.
Peter J. Clarke, Martina Seidl, 2011 .
Manuel Wimmer, Martina Seidl, Philip Langer, 2009, 2009 ICSE Workshop on Comparison and Versioning of Software Models.
Martina Seidl, Nadia Creignou, Uwe Egly, 2012, TAP@TOOLS.
Armin Biere, Florian Lonsing, Martina Seidl, 2011, CADE.
Manuel Wimmer, Martina Seidl, Kerstin Altmanninger, 2009, Int. J. Web Inf. Syst..
Armin Biere, Martina Seidl, Marijn J. H. Heule, 2017, Haifa Verification Conference.
Gerti Kappel, Petra Kaufmann, Manuel Wimmer, 2010, CRIWG.
Armin Biere, Florian Lonsing, Martina Seidl, 2013, PAAR@IJCAR.
Armin Biere, Martina Seidl, Katalin Fazekas, 2016, 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Stefan Woltran, Hans Tompits, Martina Seidl, 2003, SAT.
Christian Huemer, Gerti Kappel, Martina Seidl, 2015 .
Martina Seidl, Charles Jordan, Will Klieber, 2016, AAAI Workshop: Beyond NP.
Gerti Kappel, Werner Retschitzegger, Petra Kaufmann, 2009, MoDELS.
Manuel Kauers, Martina Seidl, Marijn J. H. Heule, 2019, 1905.10192.
Gerti Kappel, Petra Kaufmann, Manuel Wimmer, 2012, SFM.
Peter J. Clarke, Martina Seidl, 2010, MoDELS Workshops.
Peter J. Clarke, Martina Seidl, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Christian Huemer, Gerti Kappel, Martina Seidl, 2015 .
Gerti Kappel, Petra Kaufmann, Manuel Wimmer, 2010, Modellierung.
Doron Zeilberger, Manuel Kauers, Martina Seidl, 2019, ArXiv.
Mikolás Janota, Florian Lonsing, Martina Seidl, 2014, J. Satisf. Boolean Model. Comput..
Martina Seidl, Armin Biere, Luca Pulina, 2019, 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI).
Leonid Ryzhyk, Guillermo A. Pérez, Jean-François Raskin, 2016, SYNT.
Gerti Kappel, Geraldine Fitzpatrick, Manuel Wimmer, 2011, Int. J. People Oriented Program..
Armin Biere, Florian Lonsing, Martina Seidl, 2015, J. Artif. Intell. Res..
Nikolai Tillmann, Martina Seidl, 2014, Lecture Notes in Computer Science.
Manuel Kauers, Martina Seidl, Marijn J. H. Heule, 2019, SAT.
Gerti Kappel, Petra Kaufmann, Manuel Wimmer, 2012, J. Object Technol..
Petra Kaufmann, Manuel Wimmer, Martina Seidl, 2009, ECSCW.
Manuel Wimmer, Martina Seidl, Gerti Kappel, 2012 .
Gerti Kappel, Martina Seidl, Christian Huemer, 2015 .
Armin Biere, Florian Lonsing, Martina Seidl, 2015, LPAR.
Stefan Woltran, Martina Seidl, Uwe Egly, 2009, Constraints.
Florian Lonsing, Martina Seidl, Uwe Egly, 2016, SAT.
Luca Pulina, Martina Seidl, Olaf Beyersdorff, 2021, SAT.
Florian Lonsing, Martina Seidl, Uwe Egly, 2021, Formal Methods in System Design.
Christian Huemer, Christian Pichler, Martina Seidl, 2010 .
Manuel Wimmer, Martina Seidl, Thomas Reiter, 2007 .
Manuel Wimmer, Martina Seidl, Petra Brosch, 2009 .
Gerti Kappel, Werner Retschitzegger, Manuel Wimmer, 2008 .