Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Majumdar, Rupak"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Unary pushdown automata and straight-line programs
Dmitry Chistikov
,
Rupak Majumdar
Lecture Notes in Computer Science
8573
, 2014, pp. 146-157
A theory of partitioned global address spaces
Georgel Calin
,
Egor Derevenetc
,
Rupak Majumdar
,
Roland Meyer
Leibniz International Proceedings in Informatics (LIPIcs)
24
, 2013, pp. 127-139
The complexity of coverage
Krishnendu Chatterjee
,
Luca de Alfaro
,
Rupak Majumdar
International Journal of Foundations of Computer Science
24
(2), 2013, pp. 165-185
Provenance verification
Rupak Majumdar
,
Roland Meyer
,
Zilong Wang
Lecture Notes in Computer Science
8169
, 2013, pp. 21-22
Discounting and averaging in games across time scales
Krishnendu Chatterjee
,
Rupak Majumdar
International Journal of Foundations of Computer Science
23
(3), 2012, pp. 609-625
Algorithms for game metrics
Krishnendu Chatterjee
,
Luca de Alfaro
,
Rupak Majumdar
,
Vishwanath Raman
Leibniz International Proceedings in Informatics (LIPIcs)
2
, 2008
Markov decision processes with multiple objectives
Krishnendu Chatterjee
,
Rupak Majumdar
,
Thomas A. Henzinger
Lecture Notes in Computer Science
3884
, 2006, pp. 325-336
On the universal and existential fragments of the
\mu
-calculus
Thomas A. Henzinger
,
Orna Kupferman
,
Rupak Majumdar
Theoretical Computer Science
354
(2), 2006, pp. 173-186
Model checking discounted temporal properties
Luca de Alfaro
,
Marco Faella
,
Thomas A. Henzinger
,
Rupak Majumdar
,
Mariƫlle Stoelinga
Theoretical Computer Science
345
(1), 2005, pp. 139-170
Stack size analysis for interrupt-driven programs
Krishnendu Chatterjee
,
Di Ma
,
Rupak Majumdar
,
Tian Zhao
,
Thomas A. Henzinger
,
Jens Palsberg
Information and Computation
194
(2), 2004, pp. 144-174
Quantitative solution of omega-regular games
Luca de Alfaro
,
Rupak Majumdar
Journal of Computer and System Sciences
68
(2), 2004, pp. 374-397
Counterexample-guided control
Thomas A. Henzinger
,
Ranjit Jhala
,
Rupak Majumdar
Lecture Notes in Computer Science
2719
, 2003, pp. 886-902
On the universal and existential fragments of the
\mu
-calculus
Thomas A. Henzinger
,
Orna Kupferman
,
Rupak Majumdar
Technical Report (2003-42), 2003
Discounting the future in systems theory
Luca de Alfaro
,
Thomas A. Henzinger
,
Rupak Majumdar
Lecture Notes in Computer Science
2719
, 2003, pp. 1022-1037
Quantitative solution of omega-regular games
Luca de Alfaro
,
Rupak Majumdar
Proceedings of the 33rd Annual ACM Symposium on Theory of Computing, STOC'2001 (Hersonissos, Crete, Greece, July 6-8, 2001)
, 2001, pp. 675-683
A classification of symbolic transition systems
Thomas A. Henzinger
,
Rupak Majumdar
Lecture Notes in Computer Science
1770
, 2000, pp. 13-34