:facetid:toc:\"db/conf/lpar/lpar2015.bht\"OK:facetid:toc:db/conf/lpar/lpar2015.bhtWolfgang AhrendtLaura KovácsSimon RobillardReasoning About Loops Using Vampire in KeY.LPAR434-4432015Conference and Workshop Papersclosedconf/lpar/AhrendtKR1510.1007/978-3-662-48899-7_30https://doi.org/10.1007/978-3-662-48899-7_30https://dblp.org/rec/conf/lpar/AhrendtKR15URL#3619157Benjamin AminofAniello MuranoSasha RubinOn CTL* with Graded Path Modalities.LPAR281-2962015Conference and Workshop Papersclosedconf/lpar/AminofMR1510.1007/978-3-662-48899-7_20https://doi.org/10.1007/978-3-662-48899-7_20https://dblp.org/rec/conf/lpar/AminofMR15URL#3619158Benjamin AminofSasha RubinFlorian ZulegerOn the Expressive Power of Communication Primitives in Parameterised Systems.LPAR313-3282015Conference and Workshop Papersclosedconf/lpar/AminofRZ1510.1007/978-3-662-48899-7_22https://doi.org/10.1007/978-3-662-48899-7_22https://dblp.org/rec/conf/lpar/AminofRZ15URL#3619159Souheib BaarirAlexandre Duret-LutzSAT-Based Minimization of Deterministic \omega -Automata.LPAR79-872015Conference and Workshop Papersclosedconf/lpar/BaarirD1510.1007/978-3-662-48899-7_6https://doi.org/10.1007/978-3-662-48899-7_6https://dblp.org/rec/conf/lpar/BaarirD15URL#3619161Patrick BaillotGilles BartheUgo Dal LagoImplicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs.LPAR203-2182015Conference and Workshop Papersclosedconf/lpar/BaillotBL1510.1007/978-3-662-48899-7_15https://doi.org/10.1007/978-3-662-48899-7_15https://dblp.org/rec/conf/lpar/BaillotBL15URL#3619162Gilles BartheThomas EspitauBenjamin GrégoireJustin HsuLéo StefanescoPierre-Yves StrubRelational Reasoning via Probabilistic Coupling.LPAR387-4012015Conference and Workshop Papersclosedconf/lpar/BartheEGHSS1510.1007/978-3-662-48899-7_27https://doi.org/10.1007/978-3-662-48899-7_27https://dblp.org/rec/conf/lpar/BartheEGHSS15URL#3619163Luciano BelloDaniel HedinAndrei SabelfeldValue Sensitivity and Observable Abstract Values for Information Flow Control.LPAR63-782015Conference and Workshop Papersclosedconf/lpar/BelloHS1510.1007/978-3-662-48899-7_5https://doi.org/10.1007/978-3-662-48899-7_5https://dblp.org/rec/conf/lpar/BelloHS15URL#3619164Fiona BerrebyGauvain BourgneJean-Gabriel GanasciaModelling Moral Reasoning and Ethical Responsibility with Logic Programming.LPAR532-5482015Conference and Workshop Papersclosedconf/lpar/BerrebyBG1510.1007/978-3-662-48899-7_37https://doi.org/10.1007/978-3-662-48899-7_37https://dblp.org/rec/conf/lpar/BerrebyBG15URL#3619165Peter Brottveit BockCarsten Schürmann 0001A Contextual Logical Framework.LPAR402-4172015Conference and Workshop Papersclosedconf/lpar/BockS1510.1007/978-3-662-48899-7_28https://doi.org/10.1007/978-3-662-48899-7_28https://dblp.org/rec/conf/lpar/BockS15URL#3619169Franck CassezFrowin ZieglerVerification of Concurrent Programs Using Trace Abstraction Refinement.LPAR233-2482015Conference and Workshop Papersclosedconf/lpar/CassezZ1510.1007/978-3-662-48899-7_17https://doi.org/10.1007/978-3-662-48899-7_17https://dblp.org/rec/conf/lpar/CassezZ15URL#3619172Iliano CervesatoEdmund S. L. LamModular Multiset Rewriting.LPAR515-5312015Conference and Workshop Papersclosedconf/lpar/CervesatoL1510.1007/978-3-662-48899-7_36https://doi.org/10.1007/978-3-662-48899-7_36https://dblp.org/rec/conf/lpar/CervesatoL15URL#3619173Kaustuv ChaudhuriGiselle ReisAn Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials.LPAR146-1612015Conference and Workshop Papersclosedconf/lpar/ChaudhuriR1510.1007/978-3-662-48899-7_11https://doi.org/10.1007/978-3-662-48899-7_11https://dblp.org/rec/conf/lpar/ChaudhuriR15URL#3619175Petr CintulaDenisa DiaconescuGeorge MetcalfeSkolemization for Substructural Logics.LPAR1-152015Conference and Workshop Papersclosedconf/lpar/CintulaDM1510.1007/978-3-662-48899-7_1https://doi.org/10.1007/978-3-662-48899-7_1https://dblp.org/rec/conf/lpar/CintulaDM15URL#3619176Koen ClaessenDan RosénSAT Modulo Intuitionistic Implications.LPAR622-6372015Conference and Workshop Papersclosedconf/lpar/ClaessenR1510.1007/978-3-662-48899-7_43https://doi.org/10.1007/978-3-662-48899-7_43https://dblp.org/rec/conf/lpar/ClaessenR15URL#3619177Arlen CoxBor-Yuh Evan ChangHuisong LiXavier RivalAbstract Domains and Solvers for Sets Reasoning.LPAR356-3712015Conference and Workshop Papersclosedconf/lpar/CoxCLR1510.1007/978-3-662-48899-7_25https://doi.org/10.1007/978-3-662-48899-7_25https://dblp.org/rec/conf/lpar/CoxCLR15URL#3619178Cristina DavidDaniel KroeningMatt LewisUsing Program Synthesis for Program Analysis.LPAR483-4982015Conference and Workshop Papersclosedconf/lpar/DavidKL1510.1007/978-3-662-48899-7_34https://doi.org/10.1007/978-3-662-48899-7_34https://dblp.org/rec/conf/lpar/DavidKL15URL#3619180Thinh DongChan Le DucPhilippe Bonnot 0002Myriam LamolleTableau-Based Revision over SHIQ TBoxes.LPAR575-5902015Conference and Workshop Papersclosedconf/lpar/DongD0L1510.1007/978-3-662-48899-7_40https://doi.org/10.1007/978-3-662-48899-7_40https://dblp.org/rec/conf/lpar/DongD0L15URL#3619182Gilles DowekYing JiangDecidability, Introduction Rules and Automata.LPAR97-1112015Conference and Workshop Papersclosedconf/lpar/DowekJ1510.1007/978-3-662-48899-7_8https://doi.org/10.1007/978-3-662-48899-7_8https://dblp.org/rec/conf/lpar/DowekJ15URL#3619183Cvetan DunchevFerruccio GuidiClaudio Sacerdoti CoenEnrico TassiELPI: Fast, Embeddable, λProlog Interpreter.LPAR460-4682015Conference and Workshop Papersclosedconf/lpar/DunchevGCT1510.1007/978-3-662-48899-7_32https://doi.org/10.1007/978-3-662-48899-7_32https://dblp.org/rec/conf/lpar/DunchevGCT15URL#3619184Uwe EglyFlorian LonsingJohannes OetschAutomated Benchmarking of Incremental SAT and QBF Solvers.LPAR178-1862015Conference and Workshop Papersclosedconf/lpar/EglyLO1510.1007/978-3-662-48899-7_13https://doi.org/10.1007/978-3-662-48899-7_13https://dblp.org/rec/conf/lpar/EglyLO15URL#3619185Michael D. ErnstAlberto LovatoDamiano MacedonioCiprian SpiridonFausto SpotoBoolean Formulas for the Static Identification of Injection Attacks in Java.LPAR130-1452015Conference and Workshop Papersclosedconf/lpar/ErnstLMSS1510.1007/978-3-662-48899-7_10https://doi.org/10.1007/978-3-662-48899-7_10https://dblp.org/rec/conf/lpar/ErnstLMSS15URL#3619186Daniel FavaJulien SignolesMatthieu LemerreMartin SchäfAshish Tiwari 0001Gamifying Program Analysis.LPAR591-6052015Conference and Workshop Papersclosedconf/lpar/FavaSLST1510.1007/978-3-662-48899-7_41https://doi.org/10.1007/978-3-662-48899-7_41https://dblp.org/rec/conf/lpar/FavaSLST15URL#3619187Grigory FedyukovichArie GurfinkelNatasha SharyginaAutomated Discovery of Simulation Between Programs.LPAR606-6212015Conference and Workshop Papersclosedconf/lpar/FedyukovichGS1510.1007/978-3-662-48899-7_42https://doi.org/10.1007/978-3-662-48899-7_42https://dblp.org/rec/conf/lpar/FedyukovichGS15URL#3619188Vojtech ForejtJan KrcálJan KretínskýController Synthesis for MDPs and Frequency LTL\GU.LPAR162-1772015Conference and Workshop Papersclosedconf/lpar/ForejtKK1510.1007/978-3-662-48899-7_12https://doi.org/10.1007/978-3-662-48899-7_12https://dblp.org/rec/conf/lpar/ForejtKK15URL#3619189Thibault GauthierCezary KaliszykSharing HOL4 and HOL Light Proof Knowledge.LPAR372-3862015Conference and Workshop Papersclosedconf/lpar/GauthierK1510.1007/978-3-662-48899-7_26https://doi.org/10.1007/978-3-662-48899-7_26https://dblp.org/rec/conf/lpar/GauthierK15URL#3619190Gaëtan GilbertOlivier HermantNormalisation by Completeness with Heyting Algebras.LPAR469-4822015Conference and Workshop Papersclosedconf/lpar/GilbertH1510.1007/978-3-662-48899-7_33https://doi.org/10.1007/978-3-662-48899-7_33https://dblp.org/rec/conf/lpar/GilbertH15URL#3619192Éric GrégoireJean-Marie LagniezOn Anti-subsumptive Knowledge Enforcement.LPAR48-622015Conference and Workshop Papersclosedconf/lpar/GregoireL1510.1007/978-3-662-48899-7_4https://doi.org/10.1007/978-3-662-48899-7_4https://dblp.org/rec/conf/lpar/GregoireL15URL#3619193Liana HadareanClark W. BarrettAndrew Reynolds 0001Cesare TinelliMorgan DetersFine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors.LPAR340-3552015Conference and Workshop Papersclosedconf/lpar/HadareanBRTD1510.1007/978-3-662-48899-7_24https://doi.org/10.1007/978-3-662-48899-7_24https://dblp.org/rec/conf/lpar/HadareanBRTD15URL#3619194Miika HannulaReasoning About Embedded Dependencies Using Inclusion Dependencies.LPAR16-302015Conference and Workshop Papersclosedconf/lpar/Hannula1510.1007/978-3-662-48899-7_2https://doi.org/10.1007/978-3-662-48899-7_2https://dblp.org/rec/conf/lpar/Hannula15URL#3619195Marijn J. H. HeuleArmin BiereCompositional Propositional Proofs.LPAR444-4592015Conference and Workshop Papersclosedconf/lpar/HeuleB1510.1007/978-3-662-48899-7_31https://doi.org/10.1007/978-3-662-48899-7_31https://dblp.org/rec/conf/lpar/HeuleB15URL#3619196Temesghen KahsaiJorge A. NavasDejan JovanovicMartin SchäfFinding Inconsistencies in Programs with Loops.LPAR499-5142015Conference and Workshop Papersclosedconf/lpar/KahsaiNJS1510.1007/978-3-662-48899-7_35https://doi.org/10.1007/978-3-662-48899-7_35https://dblp.org/rec/conf/lpar/KahsaiNJS15URL#3619199Cezary KaliszykJosef UrbanFEMaLeCoP: Fairly Efficient Machine Learning Connection Prover.LPAR88-962015Conference and Workshop Papersclosedconf/lpar/KaliszykU1510.1007/978-3-662-48899-7_7https://doi.org/10.1007/978-3-662-48899-7_7https://dblp.org/rec/conf/lpar/KaliszykU15URL#3619200Miroslav KlimosAntonín Kucera 0001Cobra: A Tool for Solving General Deductive Games.LPAR31-472015Conference and Workshop Papersclosedconf/lpar/KlimosK1510.1007/978-3-662-48899-7_3https://doi.org/10.1007/978-3-662-48899-7_3https://dblp.org/rec/conf/lpar/KlimosK15URL#3619202Cynthia KopNaoki Nishida 0001Constrained Term Rewriting tooL.LPAR549-5572015Conference and Workshop Papersclosedconf/lpar/Kop01510.1007/978-3-662-48899-7_38https://doi.org/10.1007/978-3-662-48899-7_38https://dblp.org/rec/conf/lpar/Kop015URL#3619203Björn LellmannElaine PimentelProof Search in Nested Sequent Calculi.LPAR558-5742015Conference and Workshop Papersclosedconf/lpar/LellmannP1510.1007/978-3-662-48899-7_39https://doi.org/10.1007/978-3-662-48899-7_39https://dblp.org/rec/conf/lpar/LellmannP15URL#3619206Chuck C. LiangDale Miller 0001On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control.LPAR297-3122015Conference and Workshop Papersclosedconf/lpar/LiangM1510.1007/978-3-662-48899-7_21https://doi.org/10.1007/978-3-662-48899-7_21https://dblp.org/rec/conf/lpar/LiangM15URL#3619208Florian LonsingFahiem BacchusArmin BiereUwe EglyMartina SeidlEnhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination.LPAR418-4332015Conference and Workshop Papersclosedconf/lpar/LonsingBBES1510.1007/978-3-662-48899-7_29https://doi.org/10.1007/978-3-662-48899-7_29https://dblp.org/rec/conf/lpar/LonsingBBES15URL#3619209Dale Miller 0001Marco Volpe 0001Focused Labeled Proof Systems for Modal Logic.LPAR266-2802015Conference and Workshop Papersclosedconf/lpar/MillerV1510.1007/978-3-662-48899-7_19https://doi.org/10.1007/978-3-662-48899-7_19https://dblp.org/rec/conf/lpar/MillerV15URL#3619211Shoshin NomuraKatsuhiko SanoSatoshi TojoA Labelled Sequent Calculus for Intuitionistic Public Announcement Logic.LPAR187-2022015Conference and Workshop Papersclosedconf/lpar/NomuraST1510.1007/978-3-662-48899-7_14https://doi.org/10.1007/978-3-662-48899-7_14https://dblp.org/rec/conf/lpar/NomuraST15URL#3619212Dan RosénNicholas SmallboneTIP: Tools for Inductive Provers.LPAR219-2322015Conference and Workshop Papersclosedconf/lpar/RosenS1510.1007/978-3-662-48899-7_16https://doi.org/10.1007/978-3-662-48899-7_16https://dblp.org/rec/conf/lpar/RosenS15URL#3619214Adi SosnovichOrna GrumbergGabi NakiblyAnalyzing Internet Routing Security Using Model Checking.LPAR112-1292015Conference and Workshop Papersclosedconf/lpar/SosnovichGN1510.1007/978-3-662-48899-7_9https://doi.org/10.1007/978-3-662-48899-7_9https://dblp.org/rec/conf/lpar/SosnovichGN15URL#3619215Alexander SteenChristoph BenzmüllerThere Is No Best \beta -Normalization Strategy for Higher-Order Reasoners.LPAR329-3392015Conference and Workshop Papersclosedconf/lpar/SteenB1510.1007/978-3-662-48899-7_23https://doi.org/10.1007/978-3-662-48899-7_23https://dblp.org/rec/conf/lpar/SteenB15URL#3619216Yuya UezatoYasuhiko MinamideSynchronized Recursive Timed Automata.LPAR249-2652015Conference and Workshop Papersclosedconf/lpar/UezatoM1510.1007/978-3-662-48899-7_18https://doi.org/10.1007/978-3-662-48899-7_18https://dblp.org/rec/conf/lpar/UezatoM15URL#3619218Martin DavisAnsgar FehnkerAnnabelle McIverAndrei VoronkovLogic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ProceedingsLPARLecture Notes in Computer Science9450Springer2015Editorshipconf/lpar/201510.1007/978-3-662-48899-7https://doi.org/10.1007/978-3-662-48899-7https://dblp.org/rec/conf/lpar/2015URL#3668556