Concepedia

Kamal Lodaya

KL

Statistics

Publications

7

Citations

282

H-Index

7

Active since

1992

Affiliations

Institute of Mathematical Sciences(Current)

Université de Bordeaux

Kamal Lodaya is an author at Institute of Mathematical Sciences specializing in computer science, computing, and distributed systems.

Publications per year

1992–2023

7

Publications

7

Series–parallel languages and the bounded-width property

Kamal Lodaya, Pascal Weil · Theoretical Computer Science · 2000 · 104 citations

Computing, Computer Engineering, Computer Science +7

Rationality in Algebras with a Series Operation

Kamal Lodaya, Pascal Weil · Information and Computation · 2001 · 47 citations

Natural Sciences, Mathematics, Algebra +5

A Logical Study of Distributed Transition Systems

Kamal Lodaya, R. Parikh, R. Ramanujam et al. · Information and Computation · 1995 · 47 citations

Computing, Computer Engineering, Computer Science +14

TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I

Kamal Lodaya, R. Ramanujam, P. S. Thiagarajan · International Journal of Foundations of Computer Science · 1992 · 43 citations

Computing, Communication, Computer Science +11

Models and logics for true concurrency

Kamal Lodaya, Madhavan Mukund, R. Ramanujam et al. · Sadhana · 1992 · 18 citations

Computing, Computer Science, Computer Systems +11

1–5 of 7