Search results for "LPAR"

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.	Int. J. Netw. Manag.	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	LPAR (Short Presentations)	2017	DBLP BibTeX RDF
68	David Toman 0001, Grant E. Weddell	An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report).	LPAR (Short Presentations)	2017	DBLP DOI BibTeX RDF
68	Alexander Steen, Max Wisniewski, Christoph Benzmüller	Going Polymorphic - TH1 Reasoning for Leo-III.	IWIL@LPAR	2017	DBLP DOI BibTeX RDF
68	Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato 0001	Reasoning with Concept Diagrams about Antipatterns.	LPAR (Short Presentations)	2017	DBLP DOI BibTeX RDF
68	Krzysztof R. Apt, Dominik Wojtczak	Decidability of Fair Termination of Gossip Protocols.	LPAR (Short Presentations)	2017	DBLP DOI BibTeX RDF
68	Giles Reger, Martin Suda 0001	Set of Support for Theory Reasoning.	IWIL@LPAR	2017	DBLP DOI BibTeX RDF
68	Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller	Capability Discovery for Automated Reasoning Systems.	IWIL@LPAR	2017	DBLP DOI BibTeX RDF
68	Christoph Benzmüller, Alexander Steen, Max Wisniewski	Leo-III Version 1.1 (System description).	LPAR (Short Presentations)	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.	LPAR (Short Presentations)	2017	DBLP DOI BibTeX RDF
68	Abhishek Kr Singh	Formalization of some central theorems in combinatorics of finite sets.	LPAR (Short Presentations)	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.	IWIL@LPAR	2017	DBLP DOI BibTeX RDF
68	Olli Saarikivi, Margus Veanes	Translating C# to Branching Symbolic Transducers.	LPAR (Short Presentations)	2017	DBLP DOI BibTeX RDF
65	Ching-Farn Eric Wu, William P. Horn	An Advanced Accounting Service for AIX Systems.	IEEE SCC	2005	DBLP DOI BibTeX RDF
58	Joachim von Buttlar, Wilhelm G. Spruth	Forschungs- und Entwicklungsprojekte: Virtuelle Maschinen: zSeries- und S/390-Partitionierung.	Inform. Forsch. Entwickl.	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.	WONS	2004	DBLP DOI BibTeX RDF
44	Anna Hac, Chunlei Mo	Dynamic channel assignment in wireless communication networks.	Int. J. Netw. Manag.	1999	DBLP DOI BibTeX RDF
44	Wayne Fuller	Network management using expert diagnostics.	Int. J. Netw. Manag.	1999	DBLP DOI BibTeX RDF
44	Audrey Biloon	Caveat emptor.	Int. J. Netw. Manag.	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.	LPAR	2023	DBLP BibTeX RDF
42	Albert Oliveras, Enric Rodríguez-Carbonell, Rui Zhao	Analyzing Multiple Conflicts in SAT: An Experimental Evaluation.	LPAR	2023	DBLP DOI BibTeX RDF
42	Alexander Pluska, Florian Zuleger	Embedding Intuitionistic into Classical Logic.	LPAR	2023	DBLP DOI BibTeX RDF
42	Bernardo Subercaseaux, Marijn Heule	Toward Optimal Radio Colorings of Hypercubes via SAT-solving.	LPAR	2023	DBLP DOI BibTeX RDF
42	Rodrigo Raya, Jad Hamza, Viktor Kuncak	On the Complexity of Convex and Reverse Convex Prequadratic Constraints.	LPAR	2023	DBLP DOI BibTeX RDF
42	Martin Bromberger, Simon Schwarz, Christoph Weidenbach	Exploring Partial Models with SCL.	LPAR	2023	DBLP DOI BibTeX RDF
42	Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz	Tighter Abstract Queries in Neural Network Verification.	LPAR	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.	LPAR	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).	LPAR	2023	DBLP DOI BibTeX RDF
42	Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta	Trace-based Deductive Verification.	LPAR	2023	DBLP DOI BibTeX RDF
42	Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban	A Mathematical Benchmark for Inductive Theorem Provers.	LPAR	2023	DBLP DOI BibTeX RDF
42	Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich	Collaborative Inference of Combined Invariants.	LPAR	2023	DBLP DOI BibTeX RDF
42	Omar Ettarguy, Ahlame Begdouri, Salem Benferhat, Carole Delenne	Syntactic computation of Fagin-Halpern conditioning in possibility theory.	LPAR	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.	LPAR	2023	DBLP DOI BibTeX RDF
42	Bernd Finkbeiner, Julian Siber	Counterfactuals Modulo Temporal Logics.	LPAR	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.	LPAR	2023	DBLP DOI BibTeX RDF
42	Thomas Hader, Daniela Kaufmann, Laura Kovács	SMT Solving over Finite Field Arithmetic.	LPAR	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.	LPAR	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.	LPAR	2023	DBLP DOI BibTeX RDF
42	Filip Bártek, Martin Suda 0001	How Much Should This Symbol Weigh? A GNN-Advised Clause Selection.	LPAR	2023	DBLP DOI BibTeX RDF
42	Karel Chvalovský, Konstantin Korovin, Jelle Piepenbrock, Josef Urban	Guiding an Instantiation Prover with Graph Neural Networks.	LPAR	2023	DBLP DOI BibTeX RDF
42	Mohimenul Kabir, Kuldeep S. Meel	A Fast and Accurate ASP Counting Based Network Reliability Estimator.	LPAR	2023	DBLP DOI BibTeX RDF
42	Oskar Fiuk, Emanuel Kieronski	An excursion to the border of decidability: between two- and three-variable logic.	LPAR	2023	DBLP DOI BibTeX RDF
42	Suwei Yang, Victor C. Liang, Kuldeep S. Meel	Scalable Probabilistic Routes.	LPAR	2023	DBLP DOI BibTeX RDF
42	Raven Beutner, Bernd Finkbeiner	Model Checking Omega-Regular Hyperproperties with AutoHyperQ.	LPAR	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.	LPAR	2023	DBLP DOI BibTeX RDF
42	Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk	Experiments on Infinite Model Finding in SMT Solving.	LPAR	2023	DBLP DOI BibTeX RDF
42	Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl	Refining Unification with Abstraction.	LPAR	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.	LPAR	2020	DBLP BibTeX RDF
42	Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco	A typed parallel lambda-calculus via 1-depth intermediate proofs.	LPAR	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.	LPAR	2020	DBLP DOI BibTeX RDF
42	Jarkko Savela, Emilia Oikarinen, Matti Järvisalo	Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation.	LPAR	2020	DBLP DOI BibTeX RDF
42	Bartosz Piotrowski, Josef Urban	Stateful Premise Selection by Recurrent Neural Networks.	LPAR	2020	DBLP DOI BibTeX RDF
42	Emanuel Kieronski, Adam Malinowski	The Triguarded Fragment with Transitivity.	LPAR	2020	DBLP DOI BibTeX RDF
42	Jan H. Boockmann, Gerald Lüttgen	Learning Data Structure Shapes from Memory Graphs.	LPAR	2020	DBLP DOI BibTeX RDF
42	Tarek Khaled, Belaid Benhamou	An ASP-based Approach for Boolean Networks Representation and Attractor Detection.	LPAR	2020	DBLP DOI BibTeX RDF
42	Lasse Blaauwbroek, Josef Urban, Herman Geuvers	Tactic Learning and Proving for the Coq Proof Assistant.	LPAR	2020	DBLP DOI BibTeX RDF
42	Mnacho Echenim, Radu Iosif, Nicolas Peltier	Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard.	LPAR	2020	DBLP DOI BibTeX RDF
42	Alexandra Silva 0001	Models of Concurrent Kleene Algebra.	LPAR	2020	DBLP DOI BibTeX RDF
42	Jens Katelaan, Florian Zuleger	Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions.	LPAR	2020	DBLP DOI BibTeX RDF
42	Adrián Rebola-Pardo, Georg Weissenbacher	RAT Elimination.	LPAR	2020	DBLP DOI BibTeX RDF
42	Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras, Enric Rodríguez-Carbonell	Decision levels are stable: towards better SAT heuristics.	LPAR	2020	DBLP DOI BibTeX RDF
42	Yakoub Salhi	On Reasoning about Access to Knowledge.	LPAR	2020	DBLP DOI BibTeX RDF
42	Ben Goldberger, Guy Katz, Yossi Adi, Joseph Keshet	Minimal Modifications of Deep Neural Networks using Verification.	LPAR	2020	DBLP DOI BibTeX RDF
42	Mathias Fleury, Christoph Weidenbach	A Verified SAT Solver Framework including Optimization and Partial Valuations.	LPAR	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.	LPAR	2020	DBLP DOI BibTeX RDF
42	A. Dileep, Kuldeep S. Meel, Ammar Fathin Sabili	Induction Models on N.	LPAR	2020	DBLP DOI BibTeX RDF
42	Marcel Hark, Florian Frohn, Jürgen Giesl	Polynomial Loops: Beyond Termination.	LPAR	2020	DBLP DOI BibTeX RDF
42	Jaroslav Bendík, Ivana Cerna	Rotation Based MSS/MCS Enumeration.	LPAR	2020	DBLP DOI BibTeX RDF
42	Joseph Sweeney, Marijn Heule, Lawrence T. Pileggi	Sensitivity Analysis of Locked Circuits.	LPAR	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.	LPAR	2020	DBLP DOI BibTeX RDF
42	Alexandru Baltag, Sonja Smets	Learning What Others Know.	LPAR	2020	DBLP DOI BibTeX RDF
42	Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre	NACRE - A Nogood And Clause Reasoning Engine.	LPAR	2020	DBLP DOI BibTeX RDF
42	Thibault Gauthier	Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic.	LPAR	2020	DBLP DOI BibTeX RDF
42	Peter Oostema, Ruben Martins, Marijn Heule	Coloring Unit-Distance Strips using SAT.	LPAR	2020	DBLP DOI BibTeX RDF
42	Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe	Parameter Synthesis for Probabilistic Hyperproperties.	LPAR	2020	DBLP DOI BibTeX RDF
42	Johannes Åman Pohjola, Arve Gengelbach	A Mechanised Semantics for HOL with Ad-hoc Overloading.	LPAR	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	LPAR (Workshop and Short Papers)	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	LPAR	2018	DBLP BibTeX RDF
42	Paventhan Vivekanandan	HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography.	LPAR (Workshop and Short Papers)	2018	DBLP DOI BibTeX RDF
42	Przemyslaw Andrzej Walega	On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic.	LPAR (Workshop and Short Papers)	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.	LPAR (Workshop and Short Papers)	2018	DBLP DOI BibTeX RDF
42	Tarek Khaled, Belaid Benhamou	Symmetry breaking in a new stable model search method.	LPAR (Workshop and Short Papers)	2018	DBLP DOI BibTeX RDF
42	Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban	ProofWatch Meets ENIGMA: First Experiments.	LPAR (Workshop and Short Papers)	2018	DBLP DOI BibTeX RDF
42	René Thiemann	Extending a Verified Simplex Algorithm.	LPAR (Workshop and Short Papers)	2018	DBLP DOI BibTeX RDF
42	Tamar Bash, Rachel Ben-Eliyahu-Zohary	Towards Efficient Metaquery Generator.	LPAR (Workshop and Short Papers)	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.	LPAR (Workshop and Short Papers)	2018	DBLP DOI BibTeX RDF
42	Rachel Faran, Orna Kupferman	LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems.	LPAR	2018	DBLP DOI BibTeX RDF
42	Udi Boker	Why These Automata Types?	LPAR	2018	DBLP DOI BibTeX RDF
42	Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais	Efficient SAT-Based Encodings of Conditional Cardinality Constraints.	LPAR	2018	DBLP DOI BibTeX RDF
42	Yue Niu, Jan Hoffmann 0002	Automatic Space Bound Analysis for Functional Programs with Garbage Collection.	LPAR	2018	DBLP DOI BibTeX RDF
42	Orna Kupferman, Tami Tamir	Alternating Reachability Games with Behavioral and Revenue Objectives.	LPAR	2018	DBLP DOI BibTeX RDF
42	Orna Kupferman	Playing with the Maximum-Flow Problem.	LPAR	2018	DBLP DOI BibTeX RDF
42	Matthias Baaz, Anela Lolic	Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic.	LPAR	2018	DBLP DOI BibTeX RDF
42	Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina	SMTS: Distributed, Visualized Constraint Solving.	LPAR	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).	LPAR	2018	DBLP DOI BibTeX RDF
42	Chuan Jiang, Gianfranco Ciardo	Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse.	LPAR	2018	DBLP DOI BibTeX RDF
42	Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski	Rewriting Environment for Arithmetic Circuit Verification.	LPAR	2018	DBLP DOI BibTeX RDF
42	Bernhard Gleiss, Laura Kovács, Simon Robillard	Loop Analysis by Quantification over Iterations.	LPAR	2018	DBLP DOI BibTeX RDF
42	Vincent Rahli, Liron Cohen 0001, Mark Bickford	A Verified Theorem Prover Backend Supported by a Monotonic Library.	LPAR	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.	LPAR	2018	DBLP DOI BibTeX RDF