Chatterjee, Krishnendu

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Chatterjee, Krishnendu
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander Symbolic Time and Space Tradeoffs for Probabilistic VerificationKonferenzbeitrag Inproceedings 2021
2Chatterjee, Krishnendu ; Dvořák, Wolfgang ; Henzinger, Monika ; Svozil, Alexander Algorithms and conditional lower bounds for planning problemsArtikel Article 2021
3Zeiner, Martin ; Schmid, Ulrich ; Chatterjee, Krishnendu Optimal strategies for selecting coordinatorsArtikel Article 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
7Chatterjee, Krishnendu ; Pavlogiannis, Andreas ; Kößler, Alexander ; Schmid, Ulrich Automated Competitive Analysis of Real-time Scheduling with Graph GamesArtikel Article2018
8Svozil, Alexander ; Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika Quasipolynomial Set-Based Symbolic Algorithms for Parity GamesKonferenzbeitrag Inproceedings 2018
9Brá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
10Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Loitzenbauer, Veronika Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and DiameterKonferenzbeitrag Inproceedings 2018
11Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Svozil, Alexander Algorithms and Conditional Lower bounds for Planning ProblemsKonferenzbeitrag Inproceedings 2018
12Arming, Sebastian ; Bartocci, Ezio ; Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Sokolova, Ana ; McIver, Annabelle ; Horvath, Andras Parameter-Independent Strategies for pMDPs via POMDPsKonferenzbeitrag Inproceedings 2018
13Dvorak, Wolfgang ; Chatterjee, Krishnendu ; 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-3 of 3 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei ; Raskin, Jean-Francois ; Chatterjee, Krishnendu ; Doyen, Laurent ; Majumdar, Rupak Getting Saturated with InductionBook Contribution Buchbeitrag29-Dec-2022
2Ganian, Robert ; Slivovsky, Friedrich ; Szeider, Stefan ; Chatterjee, Krishnendu ; Sgall, Jiri Meta-kernelization with Structural ParametersKonferenzbeitrag Inproceedings 2013
3Müller, Moritz ; Szeider, Stefan ; Chatterjee, Krishnendu ; Sgall, Jiri Revisiting Space in Proof Complexity: Treewidth and PathwidthKonferenzbeitrag Inproceedings 2013