The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Markus N. Rabe" ( http://dblp.L3S.de/Authors/Markus_N._Rabe )

URL (Homepage):  http://react.cs.uni-sb.de/people/rabe.html  Author page on DBLP  Author page in RDF  Community of Markus N. Rabe in ASPL-2

Publication years (Num. hits)
2010-2014 (15) 2015-2019 (23)
Publication types (Num. hits)
article(19) inproceedings(18) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(14) SAT(3) CAV (2)(2) FMCAD(2) AAAI(1) Acta Inf.(1) Archive of Formal Proofs(1) ATVA(1) CAV (1)(1) FSTTCS(1) ICML(1) Inf. Comput.(1) ISoLA (1)(1) it - Information Technology(1) POST(1) QAPL(1) More (+10 of total 20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 39 publication records. Showing 38 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy Learning to Reason in Large Theories without Imitation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version). Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marcell Vazquez-Chanlatte, Markus N. Rabe, Sanjit A. Seshia A Model Counter's Guide to Probabilistic Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Aditya Paliwal, Sarah M. Loos, Markus N. Rabe, Kshitij Bansal, Christian Szegedy Graph Representations for Higher-Order Logic and Theorem Proving. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia Understanding and Extending Incremental Determinization for 2QBF. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Dennis Lee, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Kshitij Bansal Mathematical Reasoning in Latent Space. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Markus N. Rabe Incremental Determinization for Quantifier Elimination and Functional Synthesis. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leander Tentrup, Markus N. Rabe Clausal Abstraction for DQBF. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving. Search on Bibsonomy ICML The full citation details ... 2019 DBLP  BibTeX  RDF
1Markus N. Rabe, Leander Tentrup Synthesis of Boolean Functions with Clausal Abstraction. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup Encodings of Bounded Synthesis. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gil Lederman, Markus N. Rabe, Sanjit A. Seshia Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia Understanding and Extending Incremental Determinization for 2QBF. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia Maximum Model Counting. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Markus N. Rabe A Resolution-Style Proof System for DQBF. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, Leander Tentrup Encodings of Bounded Synthesis. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang 0001 Efficient approximation of optimal control for continuous-time Markov games. Search on Bibsonomy Inf. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Markus N. Rabe, Sanjit A. Seshia Incremental Determinization. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Markus N. Rabe Verifying hyperproperties of hardware systems. Search on Bibsonomy FMCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Markus N. Rabe A temporal logic approach to iInformation-flow control. Search on Bibsonomy 2016   RDF
1Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis What's Decidable about Syntax-Guided Synthesis? Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Bernd Finkbeiner, Markus N. Rabe, César Sánchez Algorithms for Model Checking HyperLTL and HyperCTL ^*. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Markus N. Rabe, Leander Tentrup CAQE: A Certifying QBF Solver. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez Temporal Logics for Hyperproperties. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Markus N. Rabe, Peter Lammich, Andrei Popescu 0001 A shallow embedding of HyperCTL. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2014 DBLP  BibTeX  RDF
1Bernd Finkbeiner, Markus N. Rabe The linear-hyper-branching spectrum of temporal logics. Search on Bibsonomy it - Information Technology The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez Temporal Logics for Hyperproperties. Search on Bibsonomy POST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. Search on Bibsonomy QEST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Markus N. Rabe, Sven Schewe Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bernd Finkbeiner, Markus N. Rabe, César Sánchez A Temporal Logic for Hyperproperties. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe Monitoring Temporal Information Flow. Search on Bibsonomy ISoLA (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sergio Giro, Markus N. Rabe Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl Model Checking Information Flow in Reactive Systems. Search on Bibsonomy VMCAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Markus N. Rabe, Sven Schewe Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games. Search on Bibsonomy Acta Inf. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John Fearnley, Markus N. Rabe, Sven Schewe, Lijun Zhang 0001 Efficient Approximation of Optimal Control for Continuous-Time Markov Games. Search on Bibsonomy FSTTCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Markus N. Rabe, Sven Schewe, Lijun Zhang 0001 Efficient Approximation of Optimal Control for Markov Games Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Markus N. Rabe, Sven Schewe Finite Optimal Control for Time-Bounded Reachability in CTMDPs and Continuous-Time Markov Games Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Markus N. Rabe, Sven Schewe Optimal Time-Abstract Schedulers for CTMDPs and Markov Games Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license