Iliano Cervesato
Orcid: 0000-0001-6329-3400Affiliations:
- Carnegie Mellon University, Doha, Qatar
According to our database1,
Iliano Cervesato
authored at least 78 papers
between 1992 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on andrej.com
On csauthors.net:
Bibliography
2019
2018
Math. Struct. Comput. Sci., 2018
Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018
2017
Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017
2016
ACM Trans. Archit. Code Optim., 2016
Proceedings of the 30th International Workshop on Unification, 2016
Proceedings of the 30th International Workshop on Unification, 2016
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016
2015
Programmable orchestration of time-synchronized events across decentralized Android ensembles.
Proceedings of the 11th IEEE International Conference on Wireless and Mobile Computing, 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the Coordination Models and Languages, 2015
2014
Fundam. Informaticae, 2014
How people do relational reasoning? Role of problem complexity and domain familiarity.
Comput. Hum. Behav., 2014
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014
Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014
2013
Cognitive Technologies, Springer, ISBN: 978-3-642-37746-4, 2013
Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013
2012
Theory Pract. Log. Program., 2012
Proceedings of the Proceedings 2nd International Workshop on Linearity, 2012
Proceedings of the Principles and Practice of Declarative Programming, 2012
2011
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011
2010
Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010
2009
Relating state-based and process-based concurrency through linear logic (full-version).
Inf. Comput., 2009
2007
One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements.
IEEE Trans. Dependable Secur. Comput., 2007
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.
High. Order Symb. Comput., 2007
2006
Proceedings of the Quality of Protection - Security Measurements and Metrics, 2006
IACR Cryptol. ePrint Arch., 2006
Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006
Proceedings of the Integrating Reasoning into Everyday Applications, 2006
2005
A comparison between strand spaces and multiset rewriting for security protocol analysis.
J. Comput. Secur., 2005
J. Comput. Secur., 2005
Int. J. Inf. Sec., 2005
Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005
Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005
2004
Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer.
J. Comput. Secur., 2004
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004
2003
Proceedings of the Types for Proofs and Programs, International Workshop, 2003
Proceedings of the Computer Network Security, 2003
Proceedings of the Software Security, 2003
Proceedings of the Computer Aided Systems Theory, 2003
2002
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.
Proceedings of the Software Security -- Theories and Systems, 2002
Proceedings of the Software Security -- Theories and Systems, 2002
Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002
2001
Proceedings of the Information Assurance in Computer Networks: Methods, 2001
2000
Theor. Comput. Sci., 2000
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000
Proceedings of the Foundations of Security Analysis and Design, 2000
Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000
1999
A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants.
J. Log. Program., 1999
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999
1998
Electron. Trans. Artif. Intell., 1998
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998
Proof-Theoretic Foundation of Compilation in Logic Programming.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998
1997
Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997
The Complexity of Model Checking in Modal Event Calculi.
Proceedings of the Logic Programming, 1997
1996
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996
1995
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework.
Proceedings of the Logic Programming, 1995
Petri Nets and Linear Logic: a Case Study for Logic Programming.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995
1994
Modal Event Calculus.
Proceedings of the Logic Programming, 1994
Lollipops Taste of Vanilla too.
Proceedings of the ICLP 1994, 1994
What the Event Calculus actually does, and how to do it efficiently.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Expression and Enforcement of Dynamic Integrity Constraints.
Proceedings of the Convegno SEBD'93, 1993
A WAM Implementation for the Logic Meta Programming Language 'Log.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
1992
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992