Available identifiers
zbMath Open lodaya.kamal MaRDI QID Q229995
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv . We are working on additional sources - please check back here soon!
Publication Date of Publication Type Unary and two-variable interval logics 2024-09-11 Paper Two ways to scare a Gruffalo 2023-08-17 Paper https://portal.mardi4nfdi.de/entity/Q5079753 2022-05-28 Paper https://portal.mardi4nfdi.de/entity/Q5129940 2020-11-03 Paper Decidability of a partial order based temporal logic 2019-03-29 Paper Two-variable Logic with a Between Relation 2018-04-23 Paper Two-variable first order logic with counting quantifiers: complexity results 2017-10-13 Paper Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp. 2017-10-06 Paper Kleene Theorems for Synchronous Products with Matching 2017-06-20 Paper Analyzing Reachability for Some Petri Nets With Fast Growing Markings 2015-03-23 Paper A Language-Theoretic View of Verification 2013-02-26 Paper Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE 2012-10-24 Paper Fine-grained concurrency with separation logic 2012-03-09 Paper Parameterized Complexity Results for 1-safe Petri Nets 2011-09-02 Paper Kleene Theorems for Product Systems 2011-07-29 Paper https://portal.mardi4nfdi.de/entity/Q3000102 2011-05-18 Paper LTL Can Be More Succinct 2010-10-04 Paper Around Dot Depth Two 2010-08-31 Paper Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation 2009-08-11 Paper https://portal.mardi4nfdi.de/entity/Q5190783 2009-07-27 Paper A Dose of Timed Logic, in Guarded Measure 2008-07-08 Paper https://portal.mardi4nfdi.de/entity/Q5422504 2007-10-26 Paper Rationality in algebras with a series operation 2003-01-14 Paper https://portal.mardi4nfdi.de/entity/Q4540969 2002-07-28 Paper https://portal.mardi4nfdi.de/entity/Q2766545 2002-06-25 Paper Models and logics for true concurrency. 2002-02-18 Paper Series-parallel languages and the bounded-width property 2000-06-04 Paper https://portal.mardi4nfdi.de/entity/Q4247275 1999-06-16 Paper https://portal.mardi4nfdi.de/entity/Q4381401 1998-04-01 Paper A logical study of distributed transition systems 1995-08-01 Paper TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I 1993-01-16 Paper Proof theory for exception handling in a tasking environment 1990-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4733416 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3785913 1987-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3680242 1985-01-01 Paper
Research outcomes over time
This page was built for person: Kamal Lodaya
