Mika Cohen and Alessio Lomuscio - Free people check

(1 - 12 from 12

)

Ioana Boureanu, Mika Cohen & Alessio Lomuscio, Automatic verification...

philpapers.org

We present a technique for automatically verifying cryptographic protocols specified in the mainstream specification language CAPSL. We define a translation...

Search results for `Mika Cohen` - PhilPapers

philpapers.org

Ioana Boureanu, Mika Cohen & Alessio Lomuscio (2009). Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols. Journal of ...

Automated Technology for Verification and Analysis: 7th International...

books.google.de

69 Mika Cohen, Mads Dam, Alessio Lomuscio, and Hongyang Qu Tools TAPAAL : Editor,Simulatorand Verifier of Timed-Arc PetriNets Joakim Byg ...

CiteSeerX — London, UK

citeseerx.ist.psu.edu

BibTeX @MISC{Cohen_london,uk, author = {Mika Cohen and Mads Dam and Francesco Russo and Alessio Lomuscio}, title = {London, UK}, year = {}}

Abstract | IJCAIwww.ijcai.org › Abstract

www.ijcai.org

... checking time can be dramatic, thereby allowing for the verification of hitherto intractable systems. Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu.

IOS Press Ebooks - Non-elementary speed up for model checking...

ebooks.iospress.nl

IOS Press Ebooks. Your cart is empty. Guest Access? Register | Log in Mika Cohen, Alessio Lomuscio. Pages DOI …

All web results to the name "Mika Cohen"

AAMAS09 - CS - Hujiwww.cs.huji.ac.il › ~jeff › aamas09 › TOC › FP_by_IS

www.cs.huji.ac.il

Mika Cohen, Mads Dam, Alessio Lomuscio How Similarity Helps to Efficiently Compute Kemeny Rankings Nadja Betzler, Michael R. Fellows, Jiong Guo, Rolf ...

Alessio Lomuscio - (Systems verification module)

www.doc.ic.ac.uk

Software Engineering - Systems Verification (303). Lecturer: Dr Alessio Lomuscio Course Support Leader: Dr Mika Cohen Tutorials: Jonathan Ezekiel and Dr ...

CiteSeerX — Active Bibliography: IOS Press LDYIS: a Framework for...

citeseer.uark.edu

CiteSeerX - Document Details (Isaac Councill, Lee Giles): Verification of ... Alessio Lomuscio, Franco Raimondi A Symmetry ... Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu.

AAMAS09

www.ifaamas.org

Mika Cohen, Mads Dam, Alessio Lomuscio Altruism and Agents: An Argumentation Based Approach to Designing Agent Decision Mechanisms

CiteSeerX — Active Bibliography: Categories and Subject Descriptors...

citeseer.uark.edu

London, UK – Mika Cohen, Mads Dam, Francesco Russo, Alessio Lomuscio. IOS Press LDYIS: a Framework for Model Checking Security Protocols – Alessio ...

Proceedings of the Twenty-First International Joint Conference on...

www.ijcai.org

Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu. Abstract Import-by-Query: Ontology Reasoning under Access Limitations Bernardo Cuenca Grau, Boris Motik, Yevgeny

Related search requests for Mika Cohen

Ioana Boureanu
Leonie Rennie
Björn Pelzer

Daniel Oskarsson
Paulino Lopez

Person "Cohen" (14)
Forename "Mika" (3864)
Name "Cohen" (12447)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mika Cohen and Alessio Lomuscio Free People Check