The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Krishnendu Chatterjee" ( http://dblp.L3S.de/Authors/Krishnendu_Chatterjee )

URL (Homepage):  http://pub.ist.ac.at/~kchatterjee/  Author page on DBLP  Author page in RDF  Community of Krishnendu Chatterjee in ASPL-2

Publication years (Num. hits)
2003-2005 (17) 2006-2007 (23) 2008 (24) 2009 (15) 2010 (27) 2011 (32) 2012 (34) 2013 (32) 2014 (41) 2015 (41) 2016 (32) 2017 (38) 2018 (35)
Publication types (Num. hits)
article(202) incollection(1) inproceedings(185) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(129) LICS(16) CONCUR(13) Inf. Comput.(12) CAV(11) CSL(10) MFCS(10) Logical Methods in Computer Sc...(9) HSCC(8) SODA(7) ACM Trans. Comput. Log.(6) FoSSaCS(6) FSTTCS(6) ICALP (2)(6) TACAS(6) ATVA(5) More (+10 of total 87)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 392 publication records. Showing 391 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Krishnendu Chatterjee, Nir Piterman Coverability: Realizability Lower Bounds. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Amir Kafshdar Goharshady, Ali Behrouz, Krishnendu Chatterjee Secure Credit Reporting on the Blockchain. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati Computational Approaches for Stochastic Shortest Path on Succinct MDPs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Nir Piterman Combinations of Qualitative Winning for Stochastic Parity Games. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman Strategy Representation by Decision Trees in Reactive Synthesis. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova Parameter-Independent Strategies for pMDPs via POMDPs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný 0001, Dominik Velan, Florian Zuleger Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Andreas Pavlogiannis, Josef Tkadlec, Krishnendu Chatterjee, Martin A. Nowak Strong Amplifiers of Natural Selection: Proofs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee New Approaches for Almost-Sure Termination of Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001 Graph Planning with Expected Finite Horizon. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil Algorithms and Conditional Lower Bounds for Planning Problems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner Quantitative Analysis of Smart Contracts. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Adrián Elgyütt, Petr Novotný 0001, Owen Rouillé Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-sum Objectives. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid 0001 Automated competitive analysis of real-time scheduling with graph games. Search on Bibsonomy Real-Time Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sheshansh Agrawal, Krishnendu Chatterjee, Petr Novotný 0001 Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marek Chalupa, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, Kapil Vaidya Data-centric dynamic partial order reduction. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Bhavya Choudhary, Andreas Pavlogiannis Optimal Dyck reachability for data-dependence and alias analysis. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Petr Novotný 0001, Rouzbeh Hasheminezhad Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, Andreas Pavlogiannis Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann Graph Games and Reactive Synthesis. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Computing Average Response Time. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. Search on Bibsonomy CONCUR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Viktor Toman Strategy Representation by Decision Trees in Reactive Synthesis. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu Sensor Synthesis for POMDPs with Reachability Objectives. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil Algorithms and Conditional Lower Bounds for Planning Problems. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. Search on Bibsonomy SODA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova Parameter-Independent Strategies for pMDPs via POMDPs. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Karel Horák, Branislav Bosanský, Krishnendu Chatterjee Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Adrián Elgyütt, Petr Novotný 0001, Owen Rouillé Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Nastaran Okati Computational Approaches for Stochastic Shortest Path on Succinct MDPs. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný 0001, Dominik Velan, Florian Zuleger Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Yaron Velner Quantitative Analysis of Smart Contracts. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Rüdiger Ehlers Special issue: Synthesis and SYNT 2014. Search on Bibsonomy Acta Inf. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Georg Osang Pushdown reachability with constant treewidth. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001, Emmanuel Filiot, Jean-François Raskin Doomsday equilibria for omega-regular games. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Yaron Velner Quantitative fair simulation games. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Yaron Velner The Complexity of Mean-Payoff Pushdown Games. Search on Bibsonomy J. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera Trading performance for stability in Markov decision processes. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Yaron Velner Hyperplane separation technique for multidimensional mean-payoff games. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Nir Piterman Obligation Blackwell Games and P-Automata. Search on Bibsonomy J. Symb. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Bidirectional Nested Weighted Automata. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer Value Iteration for Long-run Average Reward in Markov Decision Processes. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný 0001, Dominik Velan Efficient Algorithms for Checking Fast Termination in VASS. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Monika Henzinger, Alexander Svozil Faster Algorithms for Mean-Payoff Parity Games. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis Faster Algorithms for Weighted Recursive State Machines. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu Sensor Synthesis for POMDPs with Reachability Objectives. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Martin A. Nowak Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Sheshansh Agrawal, Krishnendu Chatterjee, Petr Novotný 0001 Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady Non-polynomial Worst-Case Analysis of Recursive Programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer Improved Set-based Symbolic Algorithms for Parity Games. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu Termination of Nondeterministic Recursive Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Nested Weighted Automata. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, Jan Otop Edit Distance for Pushdown Automata. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Zuzana Kretínská, Jan Kretínský Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer Improved Algorithms for Parity and Streett objectives. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger The Cost of Exactness in Quantitative Reachability. Search on Bibsonomy Models, Algorithms, Logics and Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis JTDec: A Tool for Tree Decompositions in Soot. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Petr Novotný 0001, Dorde Zikelic Stochastic invariants for probabilistic termination. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Bidirectional Nested Weighted Automata. Search on Bibsonomy CONCUR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer Value Iteration for Long-Run Average Reward in Markov Decision Processes. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady Non-polynomial Worst-Case Analysis of Recursive Programs. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Petr Novotný 0001, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic Optimizing Expectation with Guarantees in POMDPs. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen Strategy Complexity of Concurrent Safety Games. Search on Bibsonomy MFCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Monika Henzinger, Alexander Svozil Faster Algorithms for Mean-Payoff Parity Games. Search on Bibsonomy MFCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Martin A. Nowak Faster Monte-Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs. Search on Bibsonomy MFCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer Improved Set-Based Symbolic Algorithms for Parity Games. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis Faster Algorithms for Weighted Recursive State Machines. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia Optimal cost almost-sure reachability in POMDPs. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol What is decidable about partially observable Markov decision processes with ω-regular objectives. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady Termination Analysis of Probabilistic Programs through Positivstellensatz's. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Josef Tkadlec Robust Draws in Balanced Knockout Tournaments. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001 Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Quantitative Automata under Probabilistic Semantics. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Danupon Nanongkai Polynomial-Time Algorithms for Energy Games with Special Weight Structures. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001 Computation Tree Logic for Synchronization Properties. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Petr Novotný 0001, Dorde Zikelic Stochastic Invariants for Probabilistic Termination. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Anchit Gupta, Petr Novotný 0001 Stochastic Shortest Path with Energy Constraints in POMDPs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer Conditionally Optimal Algorithms for Generalized Büchi Games. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Petr Novotný 0001, Guillermo A. Pérez, Jean-François Raskin, Dorde Zikelic Optimizing Expectation with Guarantees in POMDPs (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Nested Weighted Limit-Average Automata of Bounded Width. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, Kapil Vaidya Data-centric Dynamic Partial Order Reduction. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis Algorithms for algebraic path properties in concurrent systems of constant treewidth components. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Petr Novotný 0001, Rouzbeh Hasheminezhad Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Quantitative Monitor Automata. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady Termination Analysis of Probabilistic Programs Through Positivstellensatz's. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik Indefinite-Horizon Reachability in Goal-DEC-POMDPs. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Martin Chmelik, Jessica Davies A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Vineet Pandey, Krishnendu Chatterjee Game-theoretic models identify useful principles for peer collaboration in online learning platforms. Search on Bibsonomy CSCW Companion The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001 Computation Tree Logic for Synchronization Properties. Search on Bibsonomy ICALP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop Nested Weighted Limit-Average Automata of Bounded Width. Search on Bibsonomy MFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer Conditionally Optimal Algorithms for Generalized Büchi Games. Search on Bibsonomy MFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs. Search on Bibsonomy ESA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Rasmus Ibsen-Jensen The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 391 (100 per page; Change: )
Pages: [1][2][3][4][>>]
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