Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jan-Georg Smaus
@article{DBLP:journals/corr/abs-2301-03667, author = {Jan{-}Georg Smaus and Christian Schilling and Fabian Wenzelmann}, title = {Implementations of two Algorithms for the Threshold Synthesis Problem}, journal = {CoRR}, volume = {abs/2301.03667}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.03667}, doi = {10.48550/ARXIV.2301.03667}, eprinttype = {arXiv}, eprint = {2301.03667}, timestamp = {Thu, 19 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-03667.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1709-02096, author = {St{\'{e}}phane Le Roux and {\'{E}}rik Martin{-}Dorel and Jan{-}Georg Smaus}, editor = {Patricia Bouyer and Andrea Orlandini and Pierluigi San Pietro}, title = {An Existence Theorem of Nash Equilibrium in Coq and Isabelle}, booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017}, series = {{EPTCS}}, volume = {256}, pages = {46--60}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.256.4}, doi = {10.4204/EPTCS.256.4}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1709-02096.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icla/SchimpfS15, author = {Alexander Schimpf and Jan{-}Georg Smaus}, editor = {Mohua Banerjee and Shankara Narayanan Krishna}, title = {B{\"{u}}chi Automata Optimisations Formalised in Isabelle/HOL}, booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai, India, January 8-10, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8923}, pages = {158--169}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-45824-2\_11}, doi = {10.1007/978-3-662-45824-2\_11}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/icla/SchimpfS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icteri/BaklanovaRSS15a, author = {Nadezhda Baklanova and Wilmer Ricciotti and Jan{-}Georg Smaus and Martin Strecker}, editor = {Vitaliy Yakovyna and Heinrich C. Mayr and Mykola S. Nikitchenko and Grygoriy Zholtkevych and Aleksander Spivakovsky and Sotiris Batsakis}, title = {Abstracting an Operational Semantics to Finite Automata}, booktitle = {Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, {ICTERI} 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {594}, pages = {109--123}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-30246-1\_7}, doi = {10.1007/978-3-319-30246-1\_7}, timestamp = {Tue, 16 Aug 2022 23:04:36 +0200}, biburl = {https://dblp.org/rec/conf/icteri/BaklanovaRSS15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icteri/BaklanovaRSS15, author = {Nadezhda Baklanova and Wilmer Ricciotti and Jan{-}Georg Smaus and Martin Strecker}, editor = {Sotiris Batsakis and Heinrich C. Mayr and Vitaliy Yakovyna and Mykola S. Nikitchenko and Grygoriy Zholtkevych and Vyacheslav S. Kharchenko and Hennadiy Kravtsov and Vitaliy Kobets and Vladimir S. Peschanenko and Vadim Ermolayev and Yuriy Bobalo and Aleksander Spivakovsky}, title = {Abstracting an Operational Semantics to Finite Automata}, booktitle = {Proceedings of the 11th International Conference on {ICT} in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1356}, pages = {354--365}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1356/paper\_76.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:15 +0100}, biburl = {https://dblp.org/rec/conf/icteri/BaklanovaRSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/EsparzaLNNSS14, author = {Javier Esparza and Peter Lammich and Ren{\'{e}} Neumann and Tobias Nipkow and Alexander Schimpf and Jan{-}Georg Smaus}, title = {A Fully Verified Executable {LTL} Model Checker}, journal = {Arch. Formal Proofs}, volume = {2014}, year = {2014}, url = {https://www.isa-afp.org/entries/CAVA\_LTL\_Modelchecker.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/EsparzaLNNSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BaklanovaRSS14, author = {Nadezhda Baklanova and Wilmer Ricciotti and Jan{-}Georg Smaus and Martin Strecker}, title = {Abstracting an operational semantics to finite automata}, journal = {CoRR}, volume = {abs/1409.7841}, year = {2014}, url = {http://arxiv.org/abs/1409.7841}, eprinttype = {arXiv}, eprint = {1409.7841}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BaklanovaRSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/EsparzaLNNSS13, author = {Javier Esparza and Peter Lammich and Ren{\'{e}} Neumann and Tobias Nipkow and Alexander Schimpf and Jan{-}Georg Smaus}, editor = {Natasha Sharygina and Helmut Veith}, title = {A Fully Verified Executable {LTL} Model Checker}, booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8044}, pages = {463--478}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39799-8\_31}, doi = {10.1007/978-3-642-39799-8\_31}, timestamp = {Wed, 07 Dec 2022 23:12:58 +0100}, biburl = {https://dblp.org/rec/conf/cav/EsparzaLNNSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwoca/SchillingSW13, author = {Christian Schilling and Jan{-}Georg Smaus and Fabian Wenzelmann}, editor = {Thierry Lecroq and Laurent Mouchard}, title = {A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem}, booktitle = {Combinatorial Algorithms - 24th International Workshop, {IWOCA} 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8288}, pages = {458--462}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-45278-9\_43}, doi = {10.1007/978-3-642-45278-9\_43}, timestamp = {Sat, 04 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iwoca/SchillingSW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isaim/SmausSW12, author = {Jan{-}Georg Smaus and Christian Schilling and Fabian Wenzelmann}, title = {Implementations of two algorithms for the threshold synthesis problem}, booktitle = {International Symposium on Artificial Intelligence and Mathematics, {ISAIM} 2012, Fort Lauderdale, Florida, USA, January 9-11, 2012}, year = {2012}, url = {http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012\_Boolean\_Schilling\_etal.pdf}, timestamp = {Wed, 20 Mar 2024 17:48:48 +0100}, biburl = {https://dblp.org/rec/conf/isaim/SmausSW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mochart/2010, editor = {Ron van der Meyden and Jan{-}Georg Smaus}, title = {Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {6572}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20674-0}, doi = {10.1007/978-3-642-20674-0}, isbn = {978-3-642-20673-3}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mochart/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/AhaBBGDEGGGHIJKKKLMMNPRRRRSSSTMHMN10, author = {David W. Aha and Mark S. Boddy and Vadim Bulitko and Artur S. d'Avila Garcez and Prashant Doshi and Stefan Edelkamp and Christopher W. Geib and Piotr J. Gmytrasiewicz and Robert P. Goldman and Pascal Hitzler and Charles L. Isbell Jr. and Darsana P. Josyula and Leslie Pack Kaelbling and Kristian Kersting and Maithilee Kunda and Lu{\'{\i}}s C. Lamb and Bhaskara Marthi and Keith McGreggor and Vivi Nastase and Gregory M. Provan and Anita Raja and Ashwin Ram and Mark O. Riedl and Stuart Russell and Ashish Sabharwal and Jan{-}Georg Smaus and Gita Sukthankar and Karl Tuyls and Ron van der Meyden and Alon Y. Halevy and Lilyana Mihalkova and Sriraam Natarajan}, title = {Reports of the {AAAI} 2010 Conference Workshops}, journal = {{AI} Mag.}, volume = {31}, number = {4}, pages = {95--108}, year = {2010}, url = {https://doi.org/10.1609/aimag.v31i4.2318}, doi = {10.1609/AIMAG.V31I4.2318}, timestamp = {Thu, 07 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aim/AhaBBGDEGGGHIJKKKLMMNPRRRRSSSTMHMN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BadbanLS10, author = {Bahareh Badban and Stefan Leue and Jan{-}Georg Smaus}, editor = {Andrei Voronkov and Laura Kov{\'{a}}cs and Nikolaj S. Bj{\o}rner}, title = {Automated Invariant Generation for the Verification of Real-Time Systems}, booktitle = {Second International Workshop on Invariant Generation, {WING} 2009, York, UK, March 29, 2009 and Third International Workshop on Invariant Generation, {WING} 2010, Edinburgh, UK, July 21, 2010}, series = {EPiC Series in Computing}, volume = {1}, pages = {44--58}, publisher = {EasyChair}, year = {2010}, url = {https://doi.org/10.29007/npn7}, doi = {10.29007/NPN7}, timestamp = {Thu, 14 Apr 2022 20:26:15 +0200}, biburl = {https://dblp.org/rec/conf/cade/BadbanLS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tap/RatschanS09, author = {Stefan Ratschan and Jan{-}Georg Smaus}, editor = {Catherine Dubois}, title = {Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate}, booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5668}, pages = {153--168}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02949-3\_12}, doi = {10.1007/978-3-642-02949-3\_12}, timestamp = {Tue, 23 Jun 2020 17:37:39 +0200}, biburl = {https://dblp.org/rec/conf/tap/RatschanS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tphol/SchimpfMS09, author = {Alexander Schimpf and Stephan Merz and Jan{-}Georg Smaus}, editor = {Stefan Berghofer and Tobias Nipkow and Christian Urban and Makarius Wenzel}, title = {Construction of B{\"{u}}chi Automata for {LTL} Model Checking Verified in Isabelle/HOL}, booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5674}, pages = {424--439}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03359-9\_29}, doi = {10.1007/978-3-642-03359-9\_29}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/tphol/SchimpfMS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-0911-3277, author = {Bahareh Badban and Stefan Leue and Jan{-}Georg Smaus}, editor = {Axel Legay}, title = {Automated Predicate Abstraction for Real-Time Models}, booktitle = {Proceedings International Workshop on Verification of Infinite-State Systems, {INFINITY} 2009, Bologna, Italy, 31th August 2009}, series = {{EPTCS}}, volume = {10}, pages = {36--43}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.10.3}, doi = {10.4204/EPTCS.10.3}, timestamp = {Wed, 12 Sep 2018 01:05:13 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0911-3277.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mochart/SmausH08, author = {Jan{-}Georg Smaus and J{\"{o}}rg Hoffmann}, editor = {Doron A. Peled and Michael J. Wooldridge}, title = {Relaxation Refinement: {A} New Method to Generate Heuristic Functions}, booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {5348}, pages = {147--165}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00431-5\_10}, doi = {10.1007/978-3-642-00431-5\_10}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/mochart/SmausH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/Smaus07, author = {Jan{-}Georg Smaus}, editor = {Pascal Van Hentenryck and Laurence A. Wolsey}, title = {On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, {CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4510}, pages = {288--302}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72397-4\_21}, doi = {10.1007/978-3-540-72397-4\_21}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/Smaus07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adhs/RatschanS06, author = {Stefan Ratschan and Jan{-}Georg Smaus}, editor = {Christos G. Cassandras and Alessandro Giua and Carla Seatzu and Janan Zaytoon}, title = {Verification-Integrated Falsification of non-Deterministic Hybrid Systems}, booktitle = {2nd {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS} 2006, Alghero, Italy, June 7-9, 2006}, series = {{IFAC} Proceedings Volumes}, volume = {39}, number = {5}, pages = {371--376}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.3182/20060607-3-IT-3902.00068}, doi = {10.3182/20060607-3-IT-3902.00068}, timestamp = {Fri, 12 Oct 2018 12:38:52 +0200}, biburl = {https://dblp.org/rec/conf/adhs/RatschanS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mochart/HoffmannSRKP06, author = {J{\"{o}}rg Hoffmann and Jan{-}Georg Smaus and Andrey Rybalchenko and Sebastian Kupferschmid and Andreas Podelski}, editor = {Stefan Edelkamp and Alessio Lomuscio}, title = {Using Predicate Abstraction to Generate Heuristic Functions in {UPPAAL}}, booktitle = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {4428}, pages = {51--66}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-74128-2\_4}, doi = {10.1007/978-3-540-74128-2\_4}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/mochart/HoffmannSRKP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BossiERS04, author = {Annalisa Bossi and Sandro Etalle and Sabina Rossi and Jan{-}Georg Smaus}, title = {Termination of simply moded logic programs with dynamic scheduling}, journal = {{ACM} Trans. Comput. Log.}, volume = {5}, number = {3}, pages = {470--507}, year = {2004}, url = {https://doi.org/10.1145/1013560.1013564}, doi = {10.1145/1013560.1013564}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/BossiERS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Smaus04, author = {Jan{-}Georg Smaus}, editor = {Bart Demoen and Vladimir Lifschitz}, title = {Termination of Logic Programs Using Various Dynamic Selection Rules}, booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo, France, September 6-10, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3132}, pages = {43--57}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27775-0\_4}, doi = {10.1007/978-3-540-27775-0\_4}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Smaus04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/lopstr/PedreschiRS04, author = {Dino Pedreschi and Salvatore Ruggieri and Jan{-}Georg Smaus}, editor = {Maurice Bruynooghe and Kung{-}Kiu Lau}, title = {Characterisations of Termination in Logic Programming}, booktitle = {Program Development in Computational Logic: {A} Decade of Research Advances in Logic-Based Program Development}, series = {Lecture Notes in Computer Science}, volume = {3049}, pages = {376--431}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25951-0\_12}, doi = {10.1007/978-3-540-25951-0\_12}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/PedreschiRS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Smaus03, author = {Jan{-}Georg Smaus}, editor = {Catuscia Palamidessi}, title = {Is There an Optimal Generic Semantics for First-Order Equations?}, booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai, India, December 9-13, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2916}, pages = {438--450}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24599-5\_30}, doi = {10.1007/978-3-540-24599-5\_30}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Smaus03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Smaus03a, author = {Jan{-}Georg Smaus}, editor = {Catuscia Palamidessi}, title = {Termination of Logic Programs for Various Dynamic Selection Rules}, booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai, India, December 9-13, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2916}, pages = {511--512}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24599-5\_47}, doi = {10.1007/978-3-540-24599-5\_47}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Smaus03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jflp/DeransartS02, author = {Pierre Deransart and Jan{-}Georg Smaus}, title = {Subject Reduction of Logic Programs as Proof-Theoretic Property}, journal = {J. Funct. Log. Program.}, volume = {2002}, year = {2002}, url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-A02-02.pdf}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jflp/DeransartS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/PedreschiRS02, author = {Dino Pedreschi and Salvatore Ruggieri and Jan{-}Georg Smaus}, title = {Classes of terminating logic programs}, journal = {Theory Pract. Log. Program.}, volume = {2}, number = {3}, pages = {369--418}, year = {2002}, url = {https://doi.org/10.1017/S1471068402001400}, doi = {10.1017/S1471068402001400}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/PedreschiRS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/Smaus02, author = {Jan{-}Georg Smaus}, editor = {Zhenjiang Hu and Mario Rodr{\'{\i}}guez{-}Artalejo}, title = {The Head Condition and Polymorphic Recursion}, booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS} 2002, Aizu, Japan, September 15-17, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2441}, pages = {259--274}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45788-7\_16}, doi = {10.1007/3-540-45788-7\_16}, timestamp = {Sun, 02 Jun 2019 21:12:36 +0200}, biburl = {https://dblp.org/rec/conf/flops/Smaus02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/Krieg-BrucknerHLLMMMPRRSW02, author = {Bernd Krieg{-}Br{\"{u}}ckner and Dieter Hutter and Arne Lindow and Christoph L{\"{u}}th and Achim Mahnke and Erica Melis and Philipp Meier and Arnd Poetzsch{-}Heffter and Markus Roggenbach and George Russell and Jan{-}Georg Smaus and Martin Wirsing}, editor = {Martin Wirsing and Dirk Pattinson and Rolf Hennicker}, title = {MultiMedia Instruction in Safe and Secure Systems}, booktitle = {Recent Trends in Algebraic Development Techniques, 16th International Workshop, {WADT} 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2755}, pages = {82--117}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-40020-2\_4}, doi = {10.1007/978-3-540-40020-2\_4}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wadt/Krieg-BrucknerHLLMMMPRRSW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/SmausHK01, author = {Jan{-}Georg Smaus and Patricia M. Hill and Andy King}, title = {Verifying Termination and Error-Freedom of Logic Programs with \texttt{block} Declarations}, journal = {Theory Pract. Log. Program.}, volume = {1}, number = {4}, pages = {447--486}, year = {2001}, url = {https://doi.org/10.1017/S1471068401001107}, doi = {10.1017/S1471068401001107}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/SmausHK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/BossiERS01, author = {Annalisa Bossi and Sandro Etalle and Sabina Rossi and Jan{-}Georg Smaus}, editor = {David Sands}, title = {Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling}, booktitle = {Programming Languages and Systems, 10th European Symposium on Programming, {ESOP} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2028}, pages = {402--416}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45309-1\_27}, doi = {10.1007/3-540-45309-1\_27}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/BossiERS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/DeransartS01, author = {Pierre Deransart and Jan{-}Georg Smaus}, editor = {Herbert Kuchen and Kazunori Ueda}, title = {Well-Typed Logic Programs Are not Wrong}, booktitle = {Functional and Logic Programming, 5th International Symposium, {FLOPS} 2001, Tokyo, Japan, March 7-9, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2024}, pages = {280--295}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44716-4\_18}, doi = {10.1007/3-540-44716-4\_18}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/flops/DeransartS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/Smaus01, author = {Jan{-}Georg Smaus}, editor = {Robert Nieuwenhuis and Andrei Voronkov}, title = {Analysis of Polymorphically Typed Logic Programs Using ACI-Unification}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, {LPAR} 2001, Havana, Cuba, December 3-7, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2250}, pages = {282--298}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45653-8\_19}, doi = {10.1007/3-540-45653-8\_19}, timestamp = {Sun, 02 Oct 2022 16:11:18 +0200}, biburl = {https://dblp.org/rec/conf/lpar/Smaus01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0101022, author = {Annalisa Bossi and Sandro Etalle and Sabina Rossi and Jan{-}Georg Smaus}, title = {Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling}, journal = {CoRR}, volume = {cs.LO/0101022}, year = {2001}, url = {https://arxiv.org/abs/cs/0101022}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0101022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0105007, author = {Jan{-}Georg Smaus}, title = {Analysis of Polymorphically Typed Logic Programs Using ACI-Unification}, journal = {CoRR}, volume = {cs.LO/0105007}, year = {2001}, url = {https://arxiv.org/abs/cs/0105007}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0105007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0106050, author = {Dino Pedreschi and Salvatore Ruggieri and Jan{-}Georg Smaus}, title = {Classes of Terminating Logic Programs}, journal = {CoRR}, volume = {cs.LO/0106050}, year = {2001}, url = {https://arxiv.org/abs/cs/0106050}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0106050.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/SmausFD00, author = {Jan{-}Georg Smaus and Fran{\c{c}}ois Fages and Pierre Deransart}, editor = {Sanjiv Kapoor and Sanjiva Prasad}, title = {Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, 20th Conference, {FST} {TCS} 2000 New Delhi, India, December 13-15, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1974}, pages = {214--226}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44450-5\_17}, doi = {10.1007/3-540-44450-5\_17}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/SmausFD00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/DeransartS00, author = {Pierre Deransart and Jan{-}Georg Smaus}, editor = {Toura{\"{\i}}vane}, title = {Les programmes bien typ{\'{e}}s ont tout bon}, booktitle = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin 2000, Marseille, France}, pages = {49--66}, publisher = {Hermes}, year = {2000}, timestamp = {Mon, 24 May 2004 15:53:50 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/DeransartS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0006033, author = {Jan{-}Georg Smaus and Patricia M. Hill and Andy King}, title = {Verifying Termination and Error-Freedom of Logic Programs with block Declarations}, journal = {CoRR}, volume = {cs.LO/0006033}, year = {2000}, url = {https://arxiv.org/abs/cs/0006033}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0006033.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0010029, author = {Jan{-}Georg Smaus and Fran{\c{c}}ois Fages and Pierre Deransart}, title = {Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping}, journal = {CoRR}, volume = {cs.LO/0010029}, year = {2000}, url = {https://arxiv.org/abs/cs/0010029}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0010029.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0012015, author = {Pierre Deransart and Jan{-}Georg Smaus}, title = {Well-Typed Logic Programs Are not Wrong}, journal = {CoRR}, volume = {cs.LO/0012015}, year = {2000}, url = {https://arxiv.org/abs/cs/0012015}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0012015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Smaus99, author = {Jan{-}Georg Smaus}, title = {Modes and types in logic programming}, school = {University of Kent, {UK}}, year = {1999}, url = {http://kar.kent.ac.uk/21739/}, timestamp = {Tue, 05 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Smaus99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/KingSH99, author = {Andy King and Jan{-}Georg Smaus and Patricia M. Hill}, editor = {S. Doaitse Swierstra}, title = {Quotienting \emph{Share} for Dependency Analysis}, booktitle = {Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1576}, pages = {59--73}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-49099-X\_5}, doi = {10.1007/3-540-49099-X\_5}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/KingSH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Smaus99, author = {Jan{-}Georg Smaus}, editor = {Danny De Schreye}, title = {Proving Termination of Input-Consuming Logic Programs}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {335--349}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 17:40:45 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Smaus99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/SmausHK99, author = {Jan{-}Georg Smaus and Patricia M. Hill and Andy King}, editor = {Annalisa Bossi}, title = {Mode Analysis Domains for Typed Logic Programs}, booktitle = {Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1817}, pages = {82--101}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/10720327\_6}, doi = {10.1007/10720327\_6}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/SmausHK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/tcs/EtalleS99, author = {Sandro Etalle and Jan{-}Georg Smaus}, editor = {Sandro Etalle and Jan{-}Georg Smaus}, title = {Preface - Workshop on Verification of Logic Programs}, booktitle = {Workshop on Verification of Logic Programs 1999, in connection with the International Conference on Logic Programming, {ICLP} 1999, Las Cruces, New Mexico, USA, December 1, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {30}, number = {1}, pages = {125}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80568-7}, doi = {10.1016/S1571-0661(05)80568-7}, timestamp = {Wed, 23 Nov 2022 16:35:22 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EtalleS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iclp/1999vlp, editor = {Sandro Etalle and Jan{-}Georg Smaus}, title = {Workshop on Verification of Logic Programs 1999, in connection with the International Conference on Logic Programming, {ICLP} 1999, Las Cruces, New Mexico, USA, December 1, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {30}, number = {1}, publisher = {Elsevier}, year = {1999}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/30/issue/1}, timestamp = {Wed, 23 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/1999vlp.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/SmausHK98, author = {Jan{-}Georg Smaus and Patricia M. Hill and Andy King}, editor = {Pierre Flener}, title = {Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations}, booktitle = {Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1559}, pages = {289--307}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-48958-4\_16}, doi = {10.1007/3-540-48958-4\_16}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/SmausHK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/SmausHK98, author = {Jan{-}Georg Smaus and Patricia M. Hill and Andy King}, editor = {Catuscia Palamidessi and Hugh Glaser and Karl Meinke}, title = {Termination of Logic Programs with block Declarations Running in Several Modes}, booktitle = {Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1490}, pages = {73--88}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0056608}, doi = {10.1007/BFB0056608}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/plilp/SmausHK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/SmausHK97, author = {Jan{-}Georg Smaus and Patricia M. Hill and Andy King}, editor = {Lee Naish}, title = {Domain Construction for Mode Analysis of Typed Logic Programs}, booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997}, pages = {418}, publisher = {{MIT} Press}, year = {1997}, timestamp = {Mon, 02 Dec 2013 17:40:44 +0100}, biburl = {https://dblp.org/rec/conf/iclp/SmausHK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.