Kamal Lodaya - RankMe

47 papers A* 3A 1B 4C 3Journal 16Unranked 16

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Interval Image Abstraction for Verification of Camera-Based Autonomous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Habeeb P, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar
2023	—	`conf`	Two Ways to Scare a Gruffalo. ICLA Shikha Singh, Kamal Lodaya, Deepak Khemani
2023	J	`jnl`	Verification of Camera-Based Autonomous Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Habeeb P, Nabarun Deka, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar
2022	J	`jnl`	Agent-update Models. CoRR Shikha Singh, Kamal Lodaya, Deepak Khemani
2020	J	`jnl`	Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership. Log. Methods Comput. Sci. Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2019	J	`jnl`	Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership. CoRR Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2018	B	`conf`	An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation. CSL Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2017	—	`conf`	Deterministic Temporal Logics and Interval Constraints. M4M@ICLA Kamal Lodaya, Paritosh K. Pandya
2017	J	`jnl`	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. Bull. Symb. Log. Kamal Lodaya
2017	C	`conf`	Two-Variable First Order Logic with Counting Quantifiers: Complexity Results. DLT Kamal Lodaya, A. V. Sreejith
2016	J	`jnl`	Two-variable Logic with a Between Predicate. CoRR Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2016	A*	`conf`	Two-variable Logic with a Between Relation. LICS Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing
2015	J	`jnl`	Kleene Theorems for Synchronous Products with Matching. Trans. Petri Nets Other Model. Concurr. Ramchandra Phawade, Kamal Lodaya
2014	—	`conf`	Kleene Theorems for Labelled Free Choice Nets. PNSE @ Petri Nets Ramchandra Phawade, Kamal Lodaya
2013	—	`ed.`	Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings ICLA Kamal Lodaya
2012	—	`ch.`	A Language-Theoretic View of Verification. Modern Applications of Automata Theory Kamal Lodaya
2011	J	`jnl`	Fine-grained Concurrency with Separation Logic. J. Philos. Log. Kalpesh Kapoor, Kamal Lodaya, Uday S. Reddy
2011	—	`conf`	Kleene Theorems for Product Systems. DCFS Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade
2011	B	`conf`	Parameterized Complexity Results for 1-safe Petri Nets. CONCUR M. Praveen, Kamal Lodaya
2011	J	`jnl`	Parameterized complexity results for 1-safe Petri nets CoRR M. Praveen, Kamal Lodaya
2010	C	`conf`	Around Dot Depth Two. Developments in Language Theory Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah
2010	—	`conf`	Frontmatter, Table of Contents, Preface, Conference Organization, Author Index. FSTTCS Kamal Lodaya, Meena Mahajan
2010	—	`ed.`	IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, Chennai, India, December 15-18, 2010 FSTTCS Kamal Lodaya, Meena Mahajan
2010	B	`conf`	LTL Can Be More Succinct. ATVA Kamal Lodaya, A. V. Sreejith
2009	—	`conf`	Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE. FSTTCS M. Praveen, Kamal Lodaya
2008	—	`conf`	Analyzing Reachability for Some Petri Nets With Fast Growing Markings. RP M. Praveen, Kamal Lodaya
2008	—	`conf`	Marking the chops: an unambiguous temporal logic. IFIP TCS Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah
2007	—	`conf`	Petri Nets, Event Structures and Algebra. Formal Models, Languages and Applications Kamal Lodaya
2006	—	`conf`	A Dose of Timed Logic, in Guarded Measure. FORMATS Kamal Lodaya, Paritosh K. Pandya
2006	J	`jnl`	A regular viewpoint on processes and algebra. Acta Cybern. Kamal Lodaya
2006	B	`conf`	Product Automata and Process Algebra. SEFM Kamal Lodaya
2004	—	`ed.`	FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings FSTTCS Kamal Lodaya, Meena Mahajan
2003	—	`conf`	Hierarchical Structure of 1-Safe Petri Nets. ASIAN Kamal Lodaya, D. Ranganayakulu, K. Rangarajan
2001	J	`jnl`	Rationality in Algebras with a Series Operation. Inf. Comput. Kamal Lodaya, Pascal Weil
2000	C	`conf`	An Automaton Model of User-Controlled Navigation on the Web. CIAA Kamal Lodaya, Ramaswamy Ramanujam
2000	J	`jnl`	Series-parallel languages and the bounded-width property. Theor. Comput. Sci. Kamal Lodaya, Pascal Weil
2000	—	`conf`	Sharpening the Undecidability of Interval Temporal Logic. ASIAN Kamal Lodaya
1998	—	`conf`	A Kleene Iteration for Parallelism. FSTTCS Kamal Lodaya, Pascal Weil
1998	A	`conf`	Series-Parallel Posets: Algebra, Automata and Languages. STACS Kamal Lodaya, Pascal Weil
1995	J	`jnl`	A Logical Study of Distributed Transition Systems Inf. Comput. Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan
1993	A*	`conf`	Decidability of a Partial Order Based Temporal Logic. ICALP Kamal Lodaya, P. S. Thiagarajan
1992	J	`jnl`	Temporal Logics for Communicating Sequential Agents: I. Int. J. Found. Comput. Sci. Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
1991	—	`conf`	Tense Logics for Local Reasoning in Distributed Systems. FSTTCS Kamal Lodaya, Ramaswamy Ramanujam
1990	J	`jnl`	Proof Theory for Exception Handling in a Tasking Environment. Acta Informatica Kamal Lodaya, R. K. Shyamasundar
1988	—	`conf`	A logic for distributed transition systems. REX Workshop Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
1987	A*	`conf`	A Modal Logic for a Subclass of Event Structures. ICALP Kamal Lodaya, P. S. Thiagarajan
1985	—	`conf`	Proving Fairness of Schedulers. Logic of Programs Ramaswamy Ramanujam, Kamal Lodaya