Paritosh K. Pandya

Available identifiers

zbMath Open pandya.paritosh-kWikidataQ15713163 ScholiaQ15713163MaRDI QIDQ673874

List of research outcomes

Publication	Date of Publication	Type
Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers	2023-04-21	Paper
Specification and optimal reactive synthesis of run-time enforcement shields	2022-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q5079753	2022-05-28	Paper
Specification and optimal reactive synthesis of run-time enforcement shields	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5009457	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q5129940	2020-11-03	Paper
Making Metric Temporal Logic Rational	2020-05-26	Paper
Formalizing Timing Diagram Requirements in Discrete Duration Calculus	2019-09-16	Paper
Two-variable Logic with a Between Relation	2018-04-23	Paper
Metric Temporal Logic with Counting	2016-06-10	Paper
On Unary Fragments of MTL and TPTL over Timed Words	2015-01-13	Paper
Deterministic Logics for UL	2013-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q2848425	2013-09-26	Paper
Interval Duration Logic	2013-08-15	Paper
An Introduction to Timed Automata	2013-02-26	Paper
Chop Expressions and Discrete Duration Calculus	2013-02-26	Paper
The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints	2012-11-21	Paper
On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}$ Using Temporal Projections]	2011-10-07	Paper
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing	2011-09-02	Paper
Unambiguity in Timed Regular Languages: Automata and Logics	2010-09-10	Paper
Around Dot Depth Two	2010-08-31	Paper
All Those Duration Calculi: An Integrated Approach	2010-06-02	Paper
Computer Aided Verification	2010-04-20	Paper
https://portal.mardi4nfdi.de/entity/Q5190786	2009-07-27	Paper
Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions	2009-04-02	Paper
Timed Automata with Integer Resets: Language Inclusion and Expressiveness	2008-12-02	Paper
A Dose of Timed Logic, in Guarded Measure	2008-07-08	Paper
On Sampling Abstraction of Continuous Time Logic with Durations	2007-09-03	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-05-02	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4470508	2004-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q2771065	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4247272	2000-01-12	Paper
Finite divergence	1997-02-28	Paper
Infinitary parallelism without unbounded nondeterminism in CSP	1994-06-02	Paper
P-A logic - a compositional proof system for distributed programs	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3779778	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paritosh K. Pandya