C. R. Ramakrishnan
Affiliations: Stony Brook University, Department of Computer Science, ony Brook, NY, USA
According to our database^{1},
C. R. Ramakrishnan
authored at least 101 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on linkedin.com
On csauthors.net:
Bibliography
2024
Distributed Quantum Computation with Minimum Circuit Execution Time over Quantum Networks.
CoRR, 2024
CoRR, 2024
2023
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
2022
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022
2021
Efficient Quantum Network Communication using Optimized EntanglementSwapping Trees.
CoRR, 2021
Proceedings of the 35th International Symposium on Distributed Computing, 2021
2019
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019
2018
Theory Pract. Log. Program., 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018
2017
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017
2016
Preface of the special issue on Model Checking of Software  Selected papers of the 20th International SPIN Symposium on Model Checking of Software.
Int. J. Softw. Tools Technol. Transf., 2016
CoRR, 2016
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016
2015
Proceedings of the 2nd International Workshop on Probabilistic Logic Programming colocated with 31st International Conference on Logic Programming (ICLP 2015), 2015
2014
CoRR, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
2012
Theory Pract. Log. Program., 2012
Theory Pract. Log. Program., 2012
CoRR, 2012
2011
Theor. Comput. Sci., 2011
Symbolic reachability analysis for parameterized administrative rolebased access control.
Comput. Secur., 2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
2010
Sci. Comput. Program., 2010
2009
Automated construction of web accessibility models from transaction clickstreams.
Proceedings of the 18th International Conference on World Wide Web, 2009
Proceedings of the CONCUR 2009  Concurrency Theory, 20th International Conference, 2009
2008
Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
2007
Knowl. Eng. Rev., 2007
J. Appl. Log., 2007
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007
Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007
Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007
2006
Theor. Comput. Sci., 2006
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
2005
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005
Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation.
Proceedings of the Logic Programming, 21st International Conference, 2005
2004
Theory Pract. Log. Program., 2004
ACM Trans. Program. Lang. Syst., 2004
A logical encoding of the picalculus: model checking mobile processes using tabled resolution.
Int. J. Softw. Tools Technol. Transf., 2004
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in LogicBased Program Development, 2004
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming.
Proceedings of the Declarative Agent Languages and Technologies II, 2004
2003
Proceedings of the Logic Programming, 19th International Conference, 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
Proceedings of the Formal Methods and Software Engineering, 2003
Proceedings of the 10th IEEE International Conference on Engineering of ComputerBased Systems (ECBS 2003), 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
J. Comput. Secur., 2002
Int. J. Found. Comput. Sci., 2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
Efficient RealTime Model Checking Using Tabled Logic Programming and Constraints.
Proceedings of the Logic Programming, 18th International Conference, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
Proceedings of the Practical Aspects of Declarative Languages, 2001
Proceedings of the New Security Paradigms Workshop 2001, 2001
Proceedings of the Logic Programming, 17th International Conference, 2001
Proceedings of the Logic Programming, 17th International Conference, 2001
Proceedings of the Logic Programming, 17th International Conference, 2001
2000
ACM SIGSOFT Softw. Eng. Notes, 2000
ACM SIGSOFT Softw. Eng. Notes, 2000
Proceedings of the International Workshop on Models for TimeCritical Systems, 2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Proceedings of the 21st IEEE RealTime Systems Symposium (RTSS 2000), 2000
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000
Proceedings of the CONCUR 2000, 2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999
Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises, 1999
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999
An Optimizing Compiler for Efficient Model Checking.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999
A Space Efficient Engine for SubsumptionBased Tabled Evaluation of Logic Programs.
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999
1998
Comput. Lang., 1998
Tabulationbased Induction Proofs with Application to Automated Verification.
Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract).
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998
Proceedings of the Seventeenth ACM SIGACTSIGMODSIGART Symposium on Principles of Database Systems, 1998
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998
On the Optimality of Scheduling Strategies in Subsumptionbased Tabled Resolution.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998
Proceedings of the 1998 International Conference on Computer Languages, 1998
1997
J. Funct. Program., 1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
1996
ACM Trans. Program. Lang. Syst., 1996
Practical Program Analysis Using General Purpose Logic Programming Systems  A Case Study.
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996
Proceedings of the Logic Programming, 1996
Proceedings of the Trees in Algebra and Programming, 1996
1995
Proceedings of the Logic Programming, 1995
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 1995
Proceedings of the Programming Languages: Implementations, 1995
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and SemanticsBased Program Manipulation, 1995
1994
A High Performance Runtime System for Parallel Evaluation of Lazy Languages.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994
Modelling techniques for evolving distributed applications.
Proceedings of the Formal Description Techniques VII, 1994
1993
LOPLAS, 1993
Extracting Determinacy in Logic Programs.
Proceedings of the Logic Programming, 1993
1992
Proceedings of the Conference on Lisp and Functional Programming, 1992