Journal Article Formalization of Automated Trading Systems in a Concurrent Linear Framework 2019 • Electronic Proceedings in Theoretical Computer Science • 1-14 Cervesato I, Khan S, Reis G, Zunic D
Preprint Formalization of Automated Trading Systems in a Concurrent Linear Framework 2019 Cervesato I, Khan S, Reis G, Žunić D
Journal Article Preface to the Special Issue on Linearity 2019 • Journal of Automated Reasoning • 63(4):809-811 Cervesato I, Fernandez M
Journal Article Preface - Special Issue on Logical Frameworks and Meta-Languages 2015 2018 • Mathematical Structures in Computer Science • 28(9):1506-1506 Cervesato I, Chaudhuri K
Journal Article Preface to special issue: LINEARITY 2014 2018 • Mathematical Structures in Computer Science • 28(5):612-613 Alves S, Cervesato I
Conference On the Detection of Kernel-Level Rootkits Using Hardware Performance Counters 2017 • Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security • 483-493 Singh B, Evtyushkin D, Elwell J, Riley R, Cervesato I
Conference Preface 2017 • Electronic Proceedings in Theoretical Computer Science • 238: Cervesato I, Fernández M
Conference Preface 2017 • Electronic Proceedings in Theoretical Computer Science • 238: Cervesato I, Fernández M
Conference Preface 2017 • Electronic Proceedings in Theoretical Computer Science • Cervesato I, Fernandez M
Conference Choreographic Compilation of Decentralized Comprehension Patterns 2016 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9718:113-129 Cervesato I, Lam ESL, Elgazar A
Conference Effective High-level Coordination Programming for Decentralized and Distributed Ensembles 2016 Lam E, Cervesato I
Journal Article Relating reasoning methodologies in linear logic and process algebra 2016 • Mathematical Structures in Computer Science • 26(5):868-906 Deng Y, Simmons RJ, Cervesato I
Journal Article Rethinking Memory Permissions for Protection Against Cross-Layer Attacks 2016 • ACM Transactions on Architecture and Code Optimization (TACO) • 12(4): Elwell J, Riley R, Abu-Ghazaleh N, Ponomarev D, Cervesato I
Conference Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles 2015 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9037:51-66 Lam ESL, Cervesato I, Fatima N
Conference Modular Multiset Rewriting 2015 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9450:515-531 Cervesato I, Lam ESL
Conference Preface 2015 • Electronic Proceedings in Theoretical Computer Science • 176: Alves S, Cervesato I, Chaudhuri K, Fernández M, Florido M, Gay S, Martini S, Paolini L, Della Rocca SR, Schürmann C, Simmons R, Vasconcelos V
Conference Preface 2015 • Electronic Proceedings in Theoretical Computer Science • Cervesato I, Schuermann C
Preprint Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice 2015 Cervesato I, Chaudhuri K
Conference Programmable Orchestration of Time-Synchronized Events Across Decentralized Android Ensembles 2015 • 2015 IEEE 11TH INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB) • 659-666 Lam ESL, Cervesato I, Elgazar A
Journal Article Constraint Handling Rules with Multiset Comprehension Patterns 2014 Lam ESL, Cervesato I
Journal Article How people do relational reasoning? Role of problem complexity and domain familiarity 2014 • Computers in Human Behavior • 41:319-326 Kumar S, Cervesato I, Gonzalez C
Conference How People Do Relational Reasoning? Role Of Problem Complexity And Domain Familiarity 2014 Kumar S, Cervesato I, Gonzalez C
Conference Optimized Compilation of Multiset Rewriting with Comprehensions 2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8858:19-38 Lam ESL, Cervesato I
