🏛️ The Logic in CS Crypt

🔮 🔮 The Ethereal

Designing a semantic model for a wide-spectrum language with concurrency

Robert J. Colvin, Ian J. Hayes, Larissa A. Meinicke

cs.LO 🏛 Formal Aspects of Computing 📚 30 cites 9 years ago

🔮 🔮 The Ethereal

Formalization of Quantum Protocols using Coq

Jaap Boender, Florian Kammüller, Rajagopal Nagarajan

cs.LO 🏛 QPL 📚 30 cites 10 years ago

🌅 💤 Eternal Rest

Complex Logical Reasoning over Knowledge Graphs using Large Language Models

Nurendra Choudhary, Chandan K. Reddy

cs.LO 🏛 arXiv 📚 30 cites 2 years ago

🔮 🔮 The Ethereal

Relatively Complete Verification of Probabilistic Programs

Kevin Batz, Benjamin Lucien Kaminski, ... (+2 more)

cs.LO 🏛 PACMPL 📚 29 cites 5 years ago

🔮 🔮 The Ethereal

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity

Dan Frumin, Robbert Krebbers, Lars Birkedal

cs.LO 🏛 Log. Methods Comput. Sci. 📚 29 cites 5 years ago

🔮 🔮 The Ethereal

Computer-aided proofs for multiparty computation with active security

Helene Haagh, Aleksandr Karbyshev, ... (+3 more)

cs.LO 🏛 CSF 📚 29 cites 7 years ago

🔮 🔮 The Ethereal

On the specification and verification of atomic swap smart contracts

Ron van der Meyden

cs.LO 🏛 arXiv 📚 29 cites 7 years ago

🔮 🔮 The Ethereal

Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)

Ichiro Hasuo, Shunsuke Shimizu, Corina Cirstea

cs.LO 🏛 ACM-SIGACT Symposium on Principles of Programming Languages 📚 29 cites 10 years ago

🔮 🔮 The Ethereal

Verifying Tight Logic Programs with anthem and Vampire

Jorge Fandinno, Vladimir Lifschitz, ... (+2 more)

cs.LO 🏛 TPLP 📚 28 cites 5 years ago

🔮 🔮 The Ethereal

Temporal Logics Over Finite Traces with Uncertainty (Technical Report)

Fabrizio M. Maggi, Marco Montali, Rafael Peñaloza

cs.LO 🏛 AAAI 📚 28 cites 7 years ago

🔮 🔮 The Ethereal

Understanding and Extending Incremental Determinization for 2QBF

Markus N. Rabe, Leander Tentrup, ... (+2 more)

cs.LO 🏛 CAV 📚 28 cites 6 years ago

🔮 🔮 The Ethereal

Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report)

Ondrej Lengal, Anthony W. Lin, ... (+2 more)

cs.LO 🏛 ICTACAS 📚 28 cites 8 years ago

🔮 🔮 The Ethereal

Towards Formal Fault Tree Analysis using Theorem Proving

Waqar Ahmed, Osman Hasan

cs.LO 🏛 ICICM 📚 28 cites 10 years ago

🔮 🔮 The Ethereal

Quantitative information flow under generic leakage functions and adaptive adversaries

M. Boreale, Francesca Pampaloni

cs.LO 🏛 Log. Methods Comput. Sci. 📚 28 cites 10 years ago

🔮 🔮 The Ethereal

On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems

Ian Cassar, Adrian Francalanza

cs.LO 🏛 FOCLASA 📚 28 cites 11 years ago

🔮 🔮 The Ethereal

UTxO- vs account-based smart contract blockchain programming paradigms

Lars Brunjes, Murdoch J. Gabbay

cs.LO 🏛 FM 📚 27 cites 6 years ago

🔮 🔮 The Ethereal

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems

Meng Wu, Jingbo Wang, ... (+2 more)

cs.LO 🏛 FM 📚 27 cites 6 years ago

🔮 🔮 The Ethereal

Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams

Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev

cs.LO 🏛 Logic in Computer Science 📚 27 cites 8 years ago

🔮 🔮 The Ethereal

lpopt: A Rule Optimization Tool for Answer Set Programming

Manuel Bichler, Michael Morak, Stefan Woltran

cs.LO 🏛 International Workshop/Symposium on Logic-based Program Synthesis and Transformation 📚 27 cites 9 years ago

🔮 🔮 The Ethereal

Learning Regular Languages over Large Ordered Alphabets

Irini-Eleftheria Mens, Oded Maler

cs.LO 🏛 Log. Methods Comput. Sci. 📚 27 cites 10 years ago

🔮 🔮 The Ethereal

Type-based Self-stabilisation for Computational Fields

Ferruccio Damiani, Mirko Viroli

cs.LO 🏛 Log. Methods Comput. Sci. 📚 27 cites 10 years ago

🔮 🔮 The Ethereal

NTCCRT: A concurrent constraint framework for real-time interaction (extended version)

Mauricio Toro, Camilo Rueda, ... (+2 more)

cs.LO 🏛 ICMC 📚 27 cites 10 years ago

🔮 🔮 The Ethereal

Generalizing inference systems by coaxioms

Francesco Dagnino

cs.LO 🏛 European Symposium on Programming 📚 26 cites 8 years ago

🔮 🔮 The Ethereal

A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations

Benjamin Lucien Kaminski, Joost-Pieter Katoen

cs.LO 🏛 Logic in Computer Science 📚 26 cites 9 years ago