Name Card

Full name Familienname, Vorname
Chatterjee, Krishnendu
 

Own Publications Eigene Publikationen

Results 1-15 of 15 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Zeiner, Martin ; Schmid, Ulrich ; Chatterjee, Krishnendu Optimal strategies for selecting coordinatorsArtikel Article 2021
2Chatterjee, Krishnendu ; Dvořák, Wolfgang ; Henzinger, Monika ; Svozil, Alexander Algorithms and conditional lower bounds for planning problemsArtikel Article 2021
3Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander Symbolic Time and Space Tradeoffs for Probabilistic VerificationKonferenzbeitrag Inproceedings 2021
4Pavlogiannis, Andreas ; Schaumberger, Nico ; Schmid, Ulrich ; Chatterjee, Krishnendu Precedence-Aware Automated Competitive Analysis of Real-Time SchedulingArtikel Article 2020
5Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPsKonferenzbeitrag Inproceedings 2019
6Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Loitzenbauer, Veronika Expressive Power of Collective AttacksPräsentation Presentation2018
7Brázdil, Tomáš ; Chatterjee, Krishnendu ; Kučera, Antonín ; Novotný, Petr ; Velan, Dominik ; Zuleger, Florian Efficient Algorithms for Asymptotic Bounds on Termination Time in VASSKonferenzbeitrag Inproceedings 2018
8Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Loitzenbauer, Veronika Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and DiameterKonferenzbeitrag Inproceedings 2018
9Arming, Sebastian ; Bartocci, Ezio ; Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Sokolova, Ana Parameter-Independent Strategies for pMDPs via POMDPsKonferenzbeitrag Inproceedings 2018
10Chatterjee, Krishnendu ; Pavlogiannis, Andreas ; Kößler, Alexander ; Schmid, Ulrich Automated Competitive Analysis of Real-time Scheduling with Graph GamesArtikel Article 2018
11Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Svozil, Alexander Algorithms and Conditional Lower bounds for Planning ProblemsKonferenzbeitrag Inproceedings 2018
12Svozil, Alexander ; Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika Quasipolynomial Set-Based Symbolic Algorithms for Parity GamesKonferenzbeitrag Inproceedings 2018
13Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Loitzenbauer, Veronika Improved Set-based Symbolic Algorithms for Parity GamesKonferenzbeitrag Inproceedings2017
14Pavlogiannis, Andreas ; Chatterjee, Krishnendu ; Schmid, Ulrich ; Kößler, Alexander A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline TasksKonferenzbeitrag Inproceedings 2014
15Chatterjee, Krishnendu ; Kößler, Alexander ; Schmid, Ulrich Automated Analysis of Real-Time Scheduling using Graph GamesKonferenzbeitrag Inproceedings 2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei Getting Saturated with InductionBook Contribution Buchbeitrag29-Dec-2022
2Függer, Matthias ; Lenzen, Christoph ; Schmid, Ulrich On Specifications and Proofs of Timed CircuitsBook Contribution Buchbeitrag 2022
3Ganian, Robert ; Slivovsky, Friedrich ; Szeider, Stefan Meta-kernelization with Structural ParametersKonferenzbeitrag Inproceedings 2013
4Müller, Moritz ; Szeider, Stefan Revisiting Space in Proof Complexity: Treewidth and PathwidthKonferenzbeitrag Inproceedings 2013