🏛️ The Logic in CS Crypt

🔮 🔮 The Ethereal

Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version)

Felipe R. M. Sousa, Lucas C. Cordeiro, Eddie B. de Lima Filho

cs.LO 🏛 Global Conference on Consumer Electronics 📚 15 cites 10 years ago

🔮 🔮 The Ethereal

Computing maximal autarkies with few and simple oracle queries

Oliver Kullmann, Joao Marques-Silva

cs.LO 🏛 ICTAST 📚 15 cites 10 years ago

🔮 🔮 The Ethereal

Dynamic Graph Queries

Pablo Muñoz, Nils Vortmeier, Thomas Zeume

cs.LO 🏛 ICDT 📚 15 cites 10 years ago

🔮 🔮 The Ethereal

Quantitative Strongest Post

Linpeng Zhang, Benjamin Lucien Kaminski

cs.LO 🏛 PACMPL 📚 15 cites 4 years ago

🔮 🔮 The Ethereal

Learning Concepts Described by Weight Aggregation Logic

Steffen van Bergerem, Nicole Schweikardt

cs.LO 🏛 Annual Conference for Computer Science Logic 📚 14 cites 5 years ago

🔮 🔮 The Ethereal

Modular Answer Set Programming as a Formal Specification Language

Pedro Cabalar, Jorge Fandinno, Yuliya Lierler

cs.LO 🏛 TPLP 📚 14 cites 5 years ago

🔮 🔮 The Ethereal

Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints

Adithya Murali, Lucas Peña, ... (+3 more)

cs.LO 🏛 PACMPL 📚 14 cites 5 years ago

🔮 🔮 The Ethereal

Generating Functions for Probabilistic Programs

Lutz Klinkenberg, Kevin Batz, ... (+4 more)

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

🔮 🔮 The Ethereal

Decomposing Probabilistic Lambda-calculi

Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes

cs.LO 🏛 Foundations of Software Science and Computation Structure 📚 14 cites 6 years ago

🔮 🔮 The Ethereal

Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

Tim Lyon, Kees van Berkel

cs.LO 🏛 Prima 📚 14 cites 6 years ago

🔮 🔮 The Ethereal

A Quantitative Understanding of Pattern Matching

Sandra Alves, Delia Kesner, Daniel Ventura

cs.LO 🏛 Types for Proofs and Programs 📚 14 cites 6 years ago

🔮 🔮 The Ethereal

Monitoring Data Minimisation

Srinivas Pinisetty, Thibaud Antignac, ... (+2 more)

cs.LO 🏛 arXiv 📚 14 cites 8 years ago

🔮 🔮 The Ethereal

Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel

Lihao Liang, Paul E. McKenney, ... (+2 more)

cs.LO 🏛 DATE 📚 14 cites 9 years ago

🔮 🔮 The Ethereal

From signatures to monads in UniMath

Benedikt Ahrens, Ralph Matthes, Anders Mörtberg

cs.LO 🏛 Journal of automated reasoning 📚 14 cites 9 years ago

🔮 🔮 The Ethereal

Reasoning about Algebraic Data Types with Abstractions

Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen

cs.LO 🏛 Journal of automated reasoning 📚 14 cites 10 years ago

🔮 🔮 The Ethereal

On the Compositionality of Quantitative Information Flow

Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi

cs.LO 🏛 Log. Methods Comput. Sci. 📚 14 cites 9 years ago

🔮 🔮 The Ethereal

A Case Study on Logical Relations using Contextual Types

Andrew Cave, Brigitte Pientka

cs.LO 🏛 ICLFMTP W 📚 14 cites 10 years ago

🔮 🔮 The Ethereal

veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System

Guy Amir, Ziv Freund, ... (+3 more)

cs.LO 🏛 FM 📚 14 cites 3 years ago

🔮 🔮 The Ethereal

Foundations of Reasoning with Uncertainty via Real-valued Logics

Ronald Fagin, Ryan Riegel, Alexander Gray

cs.LO 🏛 PNAS 📚 13 cites 5 years ago

🔮 🔮 The Ethereal

Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema

Isabela Drămnesc, Tudor Jebelean

cs.LO 🏛 FROM 📚 13 cites 6 years ago

🔮 🔮 The Ethereal

Life is Random, Time is Not: Markov Decision Processes with Window Objectives

Thomas Brihaye, Florent Delgrange, ... (+2 more)

cs.LO 🏛 CONCUR 📚 13 cites 7 years ago

🔮 🔮 The Ethereal

BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion

Ariyam Das, Youfu Li, ... (+3 more)

cs.LO 🏛 ICLP Technical Communications 📚 13 cites 6 years ago

🔮 🔮 The Ethereal

Interaction laws of monads and comonads

Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu

cs.LO 🏛 Logic in Computer Science 📚 13 cites 6 years ago

🔮 🔮 The Ethereal

A Relational Program Logic with Data Abstraction and Dynamic Framing

Anindya Banerjee, Ramana Nagasamudram, ... (+2 more)

cs.LO 🏛 ACM Transactions on Programming Languages and Systems 📚 13 cites 6 years ago