Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

75 Publications


2018 | Technical Report | IST-REx-ID: 5457   OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4, Anonymous 5, Anonymous 6. 2018. Cost analysis of nondeterministic probabilistic programs, IST Austria, 27p.
View | Files available
 

2017 | Technical Report | IST-REx-ID: 6426
Henzinger TA, Kragl B, Qadeer S. 2017. Synchronizing the asynchronous, IST Austria, 28p.
View | Files available | DOI
 

2017 | Technical Report | IST-REx-ID: 5455   OA
Chatterjee K, Choudhary B, Pavlogiannis A. 2017. Optimal Dyck reachability for data-dependence and alias analysis, IST Austria, 37p.
View | Files available | DOI
 

2017 | Technical Report | IST-REx-ID: 5456   OA
Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. 2017. Data-centric dynamic partial order reduction, IST Austria, 36p.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5447   OA
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds, IST Austria, 20p.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5448
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2016. Data-centric dynamic partial order reduction, IST Austria, 20p.
View | Files available | arXiv
 

2016 | Technical Report | IST-REx-ID: 5451   OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Strong amplifiers of natural selection, IST Austria, 34p.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5449
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Amplification on undirected population structures: Comets beat stars, IST Austria, 22p.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5445
Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5452
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 32p.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446   OA
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Termination and worst-case analysis of recursive programs, IST Austria, 26p.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5453   OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 34p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2015. Algorithms for algebraic path properties in concurrent systems of constant treewidth components, IST Austria, 22p.
View | Files available
 

2015 | Technical Report | IST-REx-ID: 5430
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2015. Faster algorithms for quantitative verification in constant treewidth graphs, IST Austria, 31p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5435
Chatterjee K, Komarkova Z, Kretinsky J. 2015. Unifying two views on multiple mean-payoff objectives in Markov decision processes, IST Austria, 51p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5431   OA
Chatterjee K, Ibsen-Jensen R, Hansen K. 2015. The patience of concurrent stochastic games with safety and reachability objectives, IST Austria, 25p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5443
Chatterjee K, Chmelik M, Davies J. 2015. A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs, IST Austria, 23p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5429
Chatterjee K, Komarkova Z, Kretinsky J. 2015. Unifying two views on multiple mean-payoff objectives in Markov decision processes, IST Austria, 41p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5436
Chatterjee K, Henzinger TA, Otop J. 2015. Nested weighted automata, IST Austria, 29p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5444   OA
Reiter J, Makohon-Moore A, Gerold J, Bozic I, Chatterjee K, Iacobuzio-Donahue C, Vogelstein B, Nowak M. 2015. Reconstructing robust phylogenies of metastatic cancers, IST Austria, 25p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5432
Chatterjee K, Ibsen-Jensen R, Nowak M. 2015. The complexity of evolutionary games on graphs, IST Austria, 29p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5437
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2015. Faster algorithms for quantitative verification in constant treewidth graphs, IST Austria, 27p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5440   OA
Chatterjee K, Ibsen-Jensen R, Nowak M. 2015. The complexity of evolutionary games on graphs, IST Austria, 18p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5438
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2015. Edit distance for pushdown automata, IST Austria, 15p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5434   OA
Anonymous 1, Anonymous 2. 2015. Optimal cost indefinite-horizon reachability in goal DEC-POMDPs, IST Austria, 16p.
View | Files available
 

2015 | Technical Report | IST-REx-ID: 5441
Chatterjee K, Ibsen-Jensen R, Goharshady A, Pavlogiannis A. 2015. Algorithms for algebraic path properties in concurrent systems of constant treewidth components, IST Austria, 24p.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5439
Boker U, Henzinger TA, Otop J. 2015. The target discounted-sum problem, IST Austria, 20p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5423   OA
Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. 2014. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks, IST Austria, 14p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5411   OA
Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing, IST Austria, 20p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5416   OA
Henzinger TA, Otop J. 2014. Model measuring for hybrid systems, IST Austria, 22p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5428
Chatterjee K, Henzinger TA, Otop J, Velner Y. 2014. Quantitative fair simulation games, IST Austria, 26p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5417   OA
Henzinger TA, Otop J. 2014. From model checking to model measuring, IST Austria, 14p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5424
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 12p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5412
Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 31p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420   OA
Chatterjee K, Ibsen-Jensen R. 2014. The value 1 problem for concurrent mean-payoff games, IST Austria, 49p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5425   OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2014. Optimal cost almost-sure reachability in POMDPs, IST Austria, 22p.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5413
Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5418
Chatterjee K, Doyen L. 2014. Games with a weak adversary, IST Austria, 18p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5419   OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Improved algorithms for reachability and shortest path on low tree-width graphs, IST Austria, 34p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421
Chatterjee K, Ibsen-Jensen R, Nowak M. 2014. The complexity of evolution on graphs, IST Austria, 27p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5426
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 10p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5414
Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5427   OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Optimal tree-decomposition balancing and reachability on low treewidth graphs, IST Austria, 24p.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5415
Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria, 27p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5409   OA
Chatterjee K, Ibsen-Jensen R, Majumdar R. 2013. Edit distance for timed automata, IST Austria, 12p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 6440   OA
Henzinger TA, Payer H, Sezgin A. 2013. Replacing competition with cooperation to achieve scalable lock-free FIFO queues , IST Austria, 23p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5404
Chatterjee K, Ibsen-Jensen R. 2013. The complexity of ergodic games, IST Austria, 29p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5405
Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2013. Perfect-information stochastic mean-payoff parity games, IST Austria, 22p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5400
Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with ω-regular objectives, IST Austria, 41p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL Fragments, IST Austria, 11p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5402   OA
Henzinger TA, Sezgin A. 2013. How free is your linearizable concurrent data structure?, IST Austria, 16p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5399
Reiter J, Bozic I, Chatterjee K, Nowak M. 2013. TTP: Tool for Tumor Progression, IST Austria, 17p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5403   OA
Chatterjee K, Ibsen-Jensen R. 2013. Qualitative analysis of concurrent mean-payoff games, IST Austria, 33p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5410
Ahmed U, Chatterjee K, Gulwani S. 2013. Automatic generation of alternative starting positions for traditional board games, IST Austria, 13p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5408
Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5396   OA
Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization, IST Austria, 13p.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377
Chatterjee K, Velner Y. 2012. Mean-payoff pushdown games, IST Austria, 33p.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378
Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating refinement relations, IST Austria, 21p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5384
Chatterjee K, Tracol M. 2011. Decidable problems for probabilistic automata on infinite words, IST Austria, 30p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5380   OA
Chatterjee K. 2011. Bounded rationality in concurrent parity games, IST Austria, 53p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5385   OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2011. Temporal specifications with accumulative values, IST Austria, 14p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5386   OA
Chen C, Freedman D, Lampert C. 2011. Enforcing topological constraints in random field image segmentation, IST Austria, 69p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5381
Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to win when belief fails, IST Austria, 43p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5379
Chatterjee K, Henzinger M. 2011. An O(n2) time algorithm for alternating Büchi games, IST Austria, 20p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5382
Chatterjee K. 2011. Robustness of structurally equivalent concurrent parity games, IST Austria, 18p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5387
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5383   OA
Wies T, Muñiz M, Kuncak V. 2011. On an efficient decision procedure for imperative tree data structures, IST Austria, 25p.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5391   OA
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations, IST Austria, 27p.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389
Cerny P, Henzinger TA, Radhakrishna A. 2010. Simulation distances, IST Austria, 24p.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390   OA
Chatterjee K, Fijalkow N. 2010. Topological, automata-theoretic and logical characterization of finitary languages, IST Austria, 21p.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5388
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. 2010. Quantitative synthesis for concurrent programs, IST Austria, 17p.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5392   OA
Chatterjee K. 2009. Probabilistic automata on infinite words: Decidability and undecidability results, IST Austria, 17p.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5393   OA
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. 2009. Gist: A solver for probabilistic games, IST Austria, 12p.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394   OA
Chatterjee K, Henzinger TA, Horn F. 2009. Improved lower bounds for request-response and finitary Streett games, IST Austria, 11p.
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395   OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.
View | Files available | DOI
 

Filters and Search Terms

issn=2664-1690

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed