Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
87 | Anna Hac, Kelei Zhou |
A new heuristic algorithm for finding minimum-cost multicast trees with bounded path delay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Manag. ![In: Int. J. Netw. Manag. 9(4), pp. 265-278, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
68 | Thomas Eiter, David Sands 0001, Geoff Sutcliffe, Andrei Voronkov (eds.) |
IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![EasyChair The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
68 | David Toman 0001, Grant E. Weddell |
An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 1-10, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
68 | Alexander Steen, Max Wisniewski, Christoph Benzmüller |
Going Polymorphic - TH1 Reasoning for Leo-III. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 100-112, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
68 | Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato 0001 |
Reasoning with Concept Diagrams about Antipatterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 27-42, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
68 | Krzysztof R. Apt, Dominik Wojtczak |
Decidability of Fair Termination of Gossip Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 73-85, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
68 | Giles Reger, Martin Suda 0001 |
Set of Support for Theory Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 124-134, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
68 | Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller |
Capability Discovery for Automated Reasoning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 113-118, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
68 | Christoph Benzmüller, Alexander Steen, Max Wisniewski |
Leo-III Version 1.1 (System description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 11-26, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
68 | Nikolaj S. Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf |
Abduction by Non-Experts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 58-72, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
68 | Abhishek Kr Singh |
Formalization of some central theorems in combinatorics of finite sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 43-57, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
68 | Julio César López-Hernández, Konstantin Korovin |
Towards an Abstraction-Refinement Framework for Reasoning with Large Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWIL@LPAR ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 119-123, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
68 | Olli Saarikivi, Margus Veanes |
Translating C# to Branching Symbolic Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Short Presentations) ![In: IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017, pp. 86-99, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
65 | Ching-Farn Eric Wu, William P. Horn |
An Advanced Accounting Service for AIX Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2005 IEEE International Conference on Services Computing (SCC 2005), 11-15 July 2005, Orlando, FL, USA, pp. 159-167, 2005, IEEE Computer Society, 0-7695-2408-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
58 | Joachim von Buttlar, Wilhelm G. Spruth |
Forschungs- und Entwicklungsprojekte: Virtuelle Maschinen: zSeries- und S/390-Partitionierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 19(1), pp. 41-54, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Intelligent Resource Director, IRD, Interpretive Execution Facility, LPAR, LIC, OS/390, Parallel Sysplex, Partitionierung, PR/SM, Shadow Page Table, S/390, SIE, Start Interpretive Execution, zSeries, z/OS, z/VM, Virtual Machine, Hypervisor, VMM |
44 | Mehran Abolhasan, Tadeusz A. Wysocki |
GPS-Based Route Discovery Algorithms for On-Demand Routing Protocols in MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WONS ![In: Wireless On-Demand Network Systems, First IFIP TC6 Working Conference, WONS 2004, Madonna di Campiglio, Italy, January 21-23, 2004, Proceedings, pp. 144-157, 2004, Springer, 3-540-20790-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Anna Hac, Chunlei Mo |
Dynamic channel assignment in wireless communication networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Manag. ![In: Int. J. Netw. Manag. 9(1), pp. 44-66, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Wayne Fuller |
Network management using expert diagnostics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Manag. ![In: Int. J. Netw. Manag. 9(4), pp. 199-208, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Audrey Biloon |
Caveat emptor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Manag. ![In: Int. J. Netw. Manag. 9(4), pp. 209-211, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
42 | Ruzica Piskac, Andrei Voronkov (eds.) |
LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![EasyChair The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
42 | Albert Oliveras, Enric Rodríguez-Carbonell, Rui Zhao |
Analyzing Multiple Conflicts in SAT: An Experimental Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 306-316, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Alexander Pluska, Florian Zuleger |
Embedding Intuitionistic into Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 329-349, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Bernardo Subercaseaux, Marijn Heule |
Toward Optimal Radio Colorings of Hypercubes via SAT-solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 386-404, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Rodrigo Raya, Jad Hamza, Viktor Kuncak |
On the Complexity of Convex and Reverse Convex Prequadratic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 350-368, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Martin Bromberger, Simon Schwarz, Christoph Weidenbach |
Exploring Partial Models with SCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 48-72, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz |
Tighter Abstract Queries in Neural Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 124-143, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown |
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 369-385, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino |
Formalization of Algebraic Theorems in PVS (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 1-10, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta |
Trace-based Deductive Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 73-95, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban |
A Mathematical Benchmark for Inductive Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 224-237, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich |
Collaborative Inference of Combined Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 288-305, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Omar Ettarguy, Ahlame Begdouri, Salem Benferhat, Carole Delenne |
Syntactic computation of Fagin-Halpern conditioning in possibility theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 164-180, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart 0001, Kathrin Stark |
Logic of Differentiable Logics: Towards a Uniform Semantics of DL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 473-493, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Bernd Finkbeiner, Julian Siber |
Counterfactuals Modulo Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 181-204, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Luís Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen |
Keep me out of the loop: a more flexible choreographic projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 144-163, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Thomas Hader, Daniela Kaufmann, Laura Kovács |
SMT Solving over Finite Field Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 238-256, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Haniel Barbosa, Chantal Keller, Andrew Reynolds 0001, Arjun Viswanathan, Cesare Tinelli, Clark W. Barrett |
An Interactive SMT Tactic in Coq using Abductive Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 11-22, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh |
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 257-269, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Filip Bártek, Martin Suda 0001 |
How Much Should This Symbol Weigh? A GNN-Advised Clause Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 96-111, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Karel Chvalovský, Konstantin Korovin, Jelle Piepenbrock, Josef Urban |
Guiding an Instantiation Prover with Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 112-123, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Mohimenul Kabir, Kuldeep S. Meel |
A Fast and Accurate ASP Counting Based Network Reliability Estimator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 270-287, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Oskar Fiuk, Emanuel Kieronski |
An excursion to the border of decidability: between two- and three-variable logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 205-223, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Suwei Yang, Victor C. Liang, Kuldeep S. Meel |
Scalable Probabilistic Routes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 457-472, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Raven Beutner, Bernd Finkbeiner |
Model Checking Omega-Regular Hyperproperties with AutoHyperQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 23-35, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Jan Tusil, Traian Serbanuta, Jan Obdrzálek |
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 405-456, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk |
Experiments on Infinite Model Finding in SMT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 317-328, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl |
Refining Unification with Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023., pp. 36-47, 2023, EasyChair. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
42 | Elvira Albert, Laura Kovács (eds.) |
LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![EasyChair The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
42 | Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco |
A typed parallel lambda-calculus via 1-depth intermediate proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 68-89, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
Finding Small Proofs for Description Logic Entailments: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 32-67, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Jarkko Savela, Emilia Oikarinen, Matti Järvisalo |
Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 465-482, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Bartosz Piotrowski, Josef Urban |
Stateful Premise Selection by Recurrent Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 409-422, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Emanuel Kieronski, Adam Malinowski |
The Triguarded Fragment with Transitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 334-353, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Jan H. Boockmann, Gerald Lüttgen |
Learning Data Structure Shapes from Memory Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 151-168, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Tarek Khaled, Belaid Benhamou |
An ASP-based Approach for Boolean Networks Representation and Attractor Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 317-333, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Lasse Blaauwbroek, Josef Urban, Herman Geuvers |
Tactic Learning and Proving for the Coq Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 138-150, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 191-211, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Alexandra Silva 0001 |
Models of Concurrent Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 516, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Jens Katelaan, Florian Zuleger |
Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 390-408, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Adrián Rebola-Pardo, Georg Weissenbacher |
RAT Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 423-448, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras, Enric Rodríguez-Carbonell |
Decision levels are stable: towards better SAT heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 1-11, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Yakoub Salhi |
On Reasoning about Access to Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 449-464, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Ben Goldberger, Guy Katz, Yossi Adi, Joseph Keshet |
Minimal Modifications of Deep Neural Networks using Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 260-278, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Mathias Fleury, Christoph Weidenbach |
A Verified SAT Solver Framework including Optimization and Partial Valuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 212-229, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Raúl E. Monti, Carlos E. Budde, Pedro R. D'Argenio |
A compositional semantics for Repairable Fault Trees with general distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 354-372, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | A. Dileep, Kuldeep S. Meel, Ammar Fathin Sabili |
Induction Models on N. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 169-190, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Marcel Hark, Florian Frohn, Jürgen Giesl |
Polynomial Loops: Beyond Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 279-297, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Jaroslav Bendík, Ivana Cerna |
Rotation Based MSS/MCS Enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 120-137, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Joseph Sweeney, Marijn Heule, Lawrence T. Pileggi |
Sensitivity Analysis of Locked Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 483-497, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Vojtech Havlena, Lukás Holík, Ondrej Lengál, Ondrej Vales, Tomás Vojnar |
Antiprenexing for WSkS: A Little Goes a Long Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 298-316, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Alexandru Baltag, Sonja Smets |
Learning What Others Know. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 90-119, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre |
NACRE - A Nogood And Clause Reasoning Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 249-259, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Thibault Gauthier |
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 230-248, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Peter Oostema, Ruben Martins, Marijn Heule |
Coloring Unit-Distance Strips using SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 373-389, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe |
Parameter Synthesis for Probabilistic Hyperproperties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 12-31, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Johannes Åman Pohjola, Arve Gengelbach |
A Mechanised Semantics for HOL with Ad-hoc Overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., pp. 498-515, 2020, EasyChair. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Gilles Barthe, Konstantin Korovin, Stephan Schulz 0001, Martin Suda 0001, Geoff Sutcliffe, Margus Veanes (eds.) |
LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Workshop and Short Papers) ![EasyChair The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
42 | Gilles Barthe, Geoff Sutcliffe, Margus Veanes (eds.) |
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![EasyChair The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
42 | Paventhan Vivekanandan |
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Workshop and Short Papers) ![In: LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018, pp. 75-90, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Przemyslaw Andrzej Walega |
On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Workshop and Short Papers) ![In: LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018, pp. 91-106, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Jens Katelaan, Christoph Matheja, Thomas Noll 0001, Florian Zuleger |
Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Workshop and Short Papers) ![In: LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018, pp. 23-36, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Tarek Khaled, Belaid Benhamou |
Symmetry breaking in a new stable model search method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Workshop and Short Papers) ![In: LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018, pp. 58-74, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban |
ProofWatch Meets ENIGMA: First Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Workshop and Short Papers) ![In: LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018, pp. 15-22, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | René Thiemann |
Extending a Verified Simplex Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Workshop and Short Papers) ![In: LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018, pp. 37-48, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Tamar Bash, Rachel Ben-Eliyahu-Zohary |
Towards Efficient Metaquery Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Workshop and Short Papers) ![In: LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018, pp. 49-57, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Madalina Erascu, Flavia Micota, Daniela Zaharie |
Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Workshop and Short Papers) ![In: LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018, pp. 1-14, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Rachel Faran, Orna Kupferman |
LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 343-362, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Udi Boker |
Why These Automata Types? ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 143-163, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais |
Efficient SAT-Based Encodings of Conditional Cardinality Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 181-195, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Yue Niu, Jan Hoffmann 0002 |
Automatic Space Bound Analysis for Functional Programs with Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 543-563, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Orna Kupferman, Tami Tamir |
Alternating Reachability Games with Behavioral and Revenue Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 498-514, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Orna Kupferman |
Playing with the Maximum-Flow Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 18-25, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Matthias Baaz, Anela Lolic |
Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 95-110, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina |
SMTS: Distributed, Visualized Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 534-542, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Martin Jonás, Jan Strejcek |
Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 488-497, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Chuan Jiang, Gianfranco Ciardo |
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 471-487, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski |
Rewriting Environment for Arithmetic Circuit Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 656-666, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Bernhard Gleiss, Laura Kovács, Simon Robillard |
Loop Analysis by Quantification over Iterations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 381-399, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Vincent Rahli, Liron Cohen 0001, Mark Bickford |
A Verified Theorem Prover Backend Supported by a Monotonic Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 564-582, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 400-417, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|