The following pages link to Paritosh K. Pandya (Q673874):
Displaying 36 items.
- Finite divergence (Q673876) (← links)
- P-A logic - a compositional proof system for distributed programs (Q757079) (← links)
- Infinitary parallelism without unbounded nondeterminism in CSP (Q1323355) (← links)
- Specification and optimal reactive synthesis of run-time enforcement shields (Q2672248) (← links)
- (Q2771065) (← links)
- Metric Temporal Logic with Counting (Q2811351) (← links)
- Interval Duration Logic (Q2842590) (← links)
- (Q2848425) (← links)
- Deterministic Logics for UL (Q2851914) (← links)
- On Unary Fragments of MTL and TPTL over Timed Words (Q2938172) (← links)
- On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing (Q3090822) (← links)
- On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}]$ Using Temporal Projections (Q3172853) (← links)
- A Dose of Timed Logic, in Guarded Measure (Q3511241) (← links)
- Timed Automata with Integer Resets: Language Inclusion and Expressiveness (Q3543291) (← links)
- All Those Duration Calculi: An Integrated Approach (Q3564018) (← links)
- Around Dot Depth Two (Q3584902) (← links)
- Unambiguity in Timed Regular Languages: Automata and Logics (Q3588092) (← links)
- Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions (Q3618627) (← links)
- (Q3779778) (← links)
- (Q4247272) (← links)
- (Q4470508) (← links)
- Two-variable Logic with a Between Relation (Q4635866) (← links)
- The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints (Q4649289) (← links)
- An Introduction to Timed Automata (Q4907856) (← links)
- Chop Expressions and Discrete Duration Calculus (Q4907860) (← links)
- (Q5009457) (← links)
- (Q5079753) (← links)
- Making Metric Temporal Logic Rational (Q5111294) (← links)
- (Q5129940) (← links)
- (Q5190786) (← links)
- Formalizing Timing Diagram Requirements in Discrete Duration Calculus (Q5194655) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703768) (← links)
- On Sampling Abstraction of Continuous Time Logic with Durations (Q5758111) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897790) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899054) (← links)
- Computer Aided Verification (Q5900677) (← links)
