ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Book Chapter

Prabhakar, Pavithra and D’Souza, Deepak (2006) On the Expressiveness of MTL with Past Operators. [Book Chapter]

Conference Paper

Chevalier, Fabrice and D'Souza, Deepak and Mohan, M Raj and Prabhakar, Pavithra (2009) Automata and logics over finitely varying functions. In: International Symposium on Logical Foundations of Computer Science (LFCS 2007), JUN 04-07, CUNY, New York, pp. 324-336.

Chevalier, Fabrice and D’Souza, Deepak and Prabhakar, Pavithra (2007) Counter-free input-determined timed automata. In: FORMATS 2007, Salzburg, Austria, October 2007, Salzburg.

Chevalier, Fabrice and D'Souza, Deepak and Prabhakar, Pavithra (2006) On continuous timed automata with input-determined guards. In: Proc. Confernece on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), , 2006, Kolkata.

This list was generated on Thu Aug 13 20:22:59 2020 IST.