Kamal Lodaya
According to our database^{1},
Kamal Lodaya
authored at least 38 papers
between 1985 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at imsc.res.in
On csauthors.net:
Bibliography
2019
Twovariable logics with some betweenness relations: Expressiveness, satisfiability and membership.
CoRR, 2019
2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
2017
Proceedings of the Ninth Workshop on Methods for Modalities, 2017
Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finitestate Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp.
Bull. Symb. Log., 2017
Proceedings of the Developments in Language Theory  21st International Conference, 2017
2016
CoRR, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
2015
Trans. Petri Nets Other Model. Concurr., 2015
2014
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014
2012
Proceedings of the Modern Applications of Automata Theory., 2012
2011
J. Philos. Log., 2011
Proceedings of the Descriptional Complexity of Formal Systems, 2011
Proceedings of the CONCUR 2011  Concurrency Theory  22nd International Conference, 2011
2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
Proceedings of the Developments in Language Theory, 14th International Conference, 2010
Proceedings of the Automated Technology for Verification and Analysis, 2010
2009
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009
2008
Electron. Notes Theor. Comput. Sci., 2008
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008
2007
Proceedings of the Formal Models, 2007
2006
Acta Cybern., 2006
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006
2003
Proceedings of the Advances in Computing Science, 2003
2001
Inf. Comput., 2001
2000
Theor. Comput. Sci., 2000
Proceedings of the Implementation and Application of Automata, 2000
Proceedings of the Advances in Computing Science, 2000
1998
Proceedings of the STACS 98, 1998
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998
1995
Inf. Comput., May, 1995
1993
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993
1992
Int. J. Found. Comput. Sci., 1992
1991
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1991
1990
Acta Informatica, 1990
1988
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988
1987
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987
1985
Proceedings of the Logics of Programs, 1985