Pavithra Prabhakar Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan: On Convergence of Concurrent Systems under Regular Interactions. CONCUR 2009: 527-541
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud: STORMED Hybrid Games. HSCC 2009: 480-484
2008
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud: A Decidable Class of Planar Linear Hybrid Systems. HSCC 2008: 401-414
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud: STORMED Hybrid Systems. ICALP (2) 2008: 136-147
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Csaba Ölveczky, Pavithra Prabhakar, Xue Liu: Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude. IPDPS 2008: 1-8
2007
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar: Counter-Free Input-Determined Timed Automata. FORMATS 2007: 82-97
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeepak D'Souza, Pavithra Prabhakar: On the expressiveness of MTL in the pointwise and continuous semantics. STTT 9(1): 1-4 (2007)
2006
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavithra Prabhakar, Deepak D'Souza: On the Expressiveness of MTL with Past Operators. FORMATS 2006: 322-336
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar: On Continuous Timed Automata with Input-Determined Guards. FSTTCS 2006: 369-380

Coauthor Index

1Fabrice Chevalier [1] [4]
2Deepak D'Souza [1] [2] [3] [4]
3Geir E. Dullerud [6] [7] [8]
4Xue Liu [5]
5Sayan Mitra [9]
6Peter Csaba Ölveczky [5]
7Mahesh Viswanathan [6] [7] [8] [9]
8Vladimeros Vladimerou [6] [7] [8]

Colors in the list of coauthors

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)