Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
The Probabilistic Model Checking Landscape
Katoen, Joost-Pieter
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
Staton, Sam, Yang, Hongseok, Wood, Frank, Heunen, Chris, Kammar, Ohad
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
First-order definability of rational transductions: An algebraic approach
Filiot, Emmanuel, Gauwin, Olivier, Lhote, Nathan
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Proving Differential Privacy via Probabilistic Couplings
Barthe, Gilles, Gaboardi, Marco, Grégoire, Benjamin, Hsu, Justin, Strub, Pierre-Yves
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Quantitative Algebraic Reasoning
Mardare, Radu, Panangaden, Prakash, Plotkin, Gordon
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Reasoning about Recursive Probabilistic Programs
Olmedo, Federico, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems
Barto, Libor, Pinsker, Michael
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Rewriting modulo symmetric monoidal structure
Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobociński, Paweł, Zanasi, Fabio
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Coinduction All the Way Up
Pous, Damien
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Definability equals recognizability for graphs of bounded treewidth
Bojańczyk, Mikołaj, Pilipczuk, Michał
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory
Jeffrey, Alan, Riely, James
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
A categorical approach to open and interconnected dynamical systems
Fong, Brendan, Sobociński, Paweł, Rapisarda, Paolo
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
The Diagonal Problem for Higher-Order Recursion Schemes is Decidable
Clemente, Lorenzo, Parys, Paweł, Salvati, Sylvain, Walukiewicz, Igor
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Interacting Frobenius Algebras are Hopf
Duncan, Ross, Dunne, Kevin
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory
Hou (Favonia), Kuen-Bang, Finster, Eric, Licata, Daniel R., Lumsdaine, Peter LeFanu
Published in LICS 2016 : proceedings of the 31st annual ACM-IEEE Symposium on Logic in Computer Science : July 5-8, 2016, New York City, USA (05.07.2016)
Published in LICS 2016 : proceedings of the 31st annual ACM-IEEE Symposium on Logic in Computer Science : July 5-8, 2016, New York City, USA (05.07.2016)
Get full text
Conference Proceeding
Stochastic mechanics of graph rewriting
Behr, Nicolas, Danos, Vincent, Garnier, Ilias
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Proving Liveness of Parameterized Programs
Farzan, Azadeh, Kincaid, Zachary, Podelski, Andreas
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding