Publikacje
Autorzy:
Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais
Opublikowane w:
Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings, Numer 12699, 2021, Strona(/y) 450-467, ISBN 978-3-030-79875-8
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-79876-5_26
Autorzy:
Pascal Fontaine, Hans-Jörg Schurr
Opublikowane w:
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings, Numer 12941, 2021, Strona(/y) 232-249, ISBN 978-3-030-86204-6
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-86205-3_13
Autorzy:
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
Opublikowane w:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Numer 12166, 2020, Strona(/y) 316-334, ISBN 978-3-030-51073-2
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-51074-9_18
Autorzy:
Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirović
Opublikowane w:
Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings, Numer 12699, 2021, Strona(/y) 378-395, ISBN 978-3-030-79875-8
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-79876-5_22
Autorzy:
Floris van Doorn, Gabriel Ebner, Robert Y. Lewis
Opublikowane w:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Numer 12236, 2020, Strona(/y) 251-267, ISBN 978-3-030-53517-9
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-53518-6_16
Autorzy:
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirović
Opublikowane w:
Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings, Numer 12699, 2021, Strona(/y) 396-412, ISBN 978-3-030-79875-8
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-79876-5_23
Autorzy:
Petar Vukmirović, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz
Opublikowane w:
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I, Numer 11427, 2019, Strona(/y) 192-210, ISBN 978-3-030-17461-3
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-17462-0_11
Autorzy:
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirović, Uwe Waldmann
Opublikowane w:
Automated Deduction – CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings, Numer 11716, 2019, Strona(/y) 55-73, ISBN 978-3-030-29435-9
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-29436-6_4
Autorzy:
Stephan Schulz, Simon Cruanes, Petar Vukmirović
Opublikowane w:
Automated Deduction – CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings, Numer 11716, 2019, Strona(/y) 495-507, ISBN 978-3-030-29435-9
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-29436-6_29
Autorzy:
Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli, Clark Barrett
Opublikowane w:
Automated Deduction – CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings, Numer 11716, 2019, Strona(/y) 35-54, ISBN 978-3-030-29435-9
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-29436-6_3
Autorzy:
Petar Vukmirović, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Opublikowane w:
Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings, Numer 12699, 2021, Strona(/y) 415-432, ISBN 978-3-030-79875-8
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-79876-5_24
Autorzy:
Gabriel Ebner, Jasmin Blanchette, Sophie Tourret
Opublikowane w:
Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings, Numer 12699, 2021, Strona(/y) 344-360, ISBN 978-3-030-79875-8
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-79876-5_20
Autorzy:
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett
Opublikowane w:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Numer 12166, 2020, Strona(/y) 238-255, ISBN 978-3-030-51073-2
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-030-51074-9_14
Autorzy:
Alexander Bentkamp
Opublikowane w:
Journal of Applied Logics, 2021, ISSN 2631-9829
Wydawca:
IfCoLog
Autorzy:
Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann
Opublikowane w:
Logic in Computer Science, Numer 17(2), 2021, ISSN 1860-5974
Wydawca:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-17(2:1)2021
Autorzy:
Anders Schlichtkrull, Jasmin Blanchette, Dmitriy Traytel, Uwe Waldmann
Opublikowane w:
Journal of Automated Reasoning, Numer 64/7, 2020, Strona(/y) 1169-1195, ISSN 0168-7433
Wydawca:
Kluwer Academic Publishers
DOI:
10.1007/s10817-020-09561-0
Autorzy:
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirović, Uwe Waldmann
Opublikowane w:
Journal of Automated Reasoning, Numer 65/7, 2021, Strona(/y) 893-940, ISSN 0168-7433
Wydawca:
Kluwer Academic Publishers
DOI:
10.1007/s10817-021-09595-y
Autorzy:
Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel
Opublikowane w:
Journal of Automated Reasoning, Numer 58/1, 2017, Strona(/y) 149-179, ISSN 0168-7433
Wydawca:
Kluwer Academic Publishers
DOI:
10.1007/s10817-016-9391-3
Autorzy:
Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo
Opublikowane w:
Formal Methods in System Design, Numer 51/3, 2017, Strona(/y) 533-544, ISSN 0925-9856
Wydawca:
Kluwer Academic Publishers
DOI:
10.1007/s10703-017-0283-x
Autorzy:
Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich, Christoph Weidenbach
Opublikowane w:
Journal of Automated Reasoning, Numer 61/1-4, 2018, Strona(/y) 333-365, ISSN 0168-7433
Wydawca:
Kluwer Academic Publishers
DOI:
10.1007/s10817-018-9455-7
Autorzy:
Jasmin Christian Blanchette, Lorenzo Gheri, Andrei Popescu, Dmitriy Traytel
Opublikowane w:
Proceedings of the ACM on Programming Languages, Numer 3/POPL, 2019, Strona(/y) 1-34, ISSN 2475-1421
Wydawca:
ACM
DOI:
10.1145/3290335
Autorzy:
Alexander Bentkamp, Jasmin Christian Blanchette, Dietrich Klakow
Opublikowane w:
Journal of Automated Reasoning, Numer 63/2, 2019, Strona(/y) 347-368, ISSN 0168-7433
Wydawca:
Kluwer Academic Publishers
DOI:
10.1007/s10817-018-9481-5
Autorzy:
Mathias Fleury, Hans-Jörg Schurr
Opublikowane w:
Electronic Proceedings in Theoretical Computer Science, Numer 301, 2019, Strona(/y) 36-50, ISSN 2075-2180
Wydawca:
Open Publishing Association
DOI:
10.4204/EPTCS.301.6
Autorzy:
Paula Chocron, Pascal Fontaine, Christophe Ringeissen
Opublikowane w:
Journal of Automated Reasoning, Numer 64/1, 2020, Strona(/y) 97-134, ISSN 0168-7433
Wydawca:
Kluwer Academic Publishers
DOI:
10.1007/s10817-019-09512-4
Autorzy:
Haniel Barbosa, Jasmin Christian Blanchette, Mathias Fleury, Pascal Fontaine
Opublikowane w:
Journal of Automated Reasoning, Numer 64/3, 2020, Strona(/y) 485-510, ISSN 0168-7433
Wydawca:
Kluwer Academic Publishers
DOI:
10.1007/s10817-018-09502-y
Autorzy:
Sophie Tourret, Jasmin Blanchette
Opublikowane w:
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021, Strona(/y) 224-237, ISBN 9781450382991
Wydawca:
ACM
DOI:
10.1145/3437992.3439912
Autorzy:
Petar Vukmirović, Alexander Bentkamp, Visa Nummelin
Opublikowane w:
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), 2020, Strona(/y) 5:1--5:17, ISBN 978-3-95977-155-9
Wydawca:
Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.fscd.2020.5
Autorzy:
Vukmirovic, Petar; Bentkamp, Alexander; Nummelin, Visa; Ariola, Zena M.
Opublikowane w:
Logical Methods in Computer Science, 2020
Wydawca:
Technical University of Braunschweig
DOI:
10.5281/zenodo.4269591
Autorzy:
Petar Vukmirović, Jasmin Blanchette, Marijn J.H. Heule
Opublikowane w:
21st International Conference on Formal Methods in Computer-Aided Design (FMCAD 2021), 2021
Wydawca:
IEEE
DOI:
10.34727/2021/isbn.978-3-85448-046-4_32
Autorzy:
Johan Commelin, Robert Y. Lewis
Opublikowane w:
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021, Strona(/y) 264-277, ISBN 9781450382991
Wydawca:
ACM
DOI:
10.1145/3437992.3439919
Autorzy:
Jasmin Christian Blanchette, Fabian Meier, Andrei Popescu, Dmitriy Traytel
Opublikowane w:
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Strona(/y) 1-12, ISBN 978-1-5090-3018-7
Wydawca:
IEEE
DOI:
10.1109/lics.2017.8005071
Autorzy:
Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, Dmitriy Traytel
Opublikowane w:
26th European Symposium on Programming (ESOP 2017), 2017, Strona(/y) 111-140
Wydawca:
Springer
Autorzy:
Jasmin Christian Blanchette, Mathias Fleury, Dmitriy Traytel
Opublikowane w:
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), 2017
Wydawca:
Schloss Dagstuhl
Autorzy:
Alexander Bentkamp, Jasmin Christian Blanchette, Dietrich Klakow
Opublikowane w:
8th Conference on Interactive Theorem Proving (ITP 2017), 2017, Strona(/y) 46-64
Wydawca:
Springer
Autorzy:
Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
Opublikowane w:
20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), 2017, Strona(/y) 461-479
Wydawca:
Springer
Autorzy:
Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach
Opublikowane w:
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017, Strona(/y) 4786-4790, ISBN 9780-999241103
Wydawca:
International Joint Conferences on Artificial Intelligence Organization
DOI:
10.24963/ijcai.2017/667
Autorzy:
Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
Opublikowane w:
26th International Conference on Automated Deduction (CADE-26), 2017, Strona(/y) 432-453
Wydawca:
Springer
Autorzy:
Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondřej Kunčar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu, Christian Sternagel, René Thiemann, Dmitriy Traytel
Opublikowane w:
11th International Symposium on Frontiers of Combining Systems (FroCoS 2017), 2017, Strona(/y) 3-21
Wydawca:
Springer
DOI:
10.5281/zenodo.3228084
Autorzy:
Haniel Barbosa, Jasmin Christian Blanchette, Pascal Fontaine
Opublikowane w:
26th International Conference on Automated Deduction (CADE-26), 2017, Strona(/y) 398-412
Wydawca:
Springer
Autorzy:
Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, Pascal Fontaine
Opublikowane w:
5th Workshop on Proof eXchange for Theorem Proving (PxTP 2017), 2017, Strona(/y) 15-22
Wydawca:
Open Publishing Association
Autorzy:
Haniel Barbosa, Pascal Fontaine, Andrew Reynolds
Opublikowane w:
23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017), Part II, 2017, Strona(/y) 214-230
Wydawca:
Springer
Autorzy:
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan Tung Vu
Opublikowane w:
11th International Symposium on Frontiers of Combining Systems (FroCoS 2017), 2017, Strona(/y) 189-206
Wydawca:
Springer
Autorzy:
Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz, Uwe Waldmann
Opublikowane w:
EPiC Series in Computing volume 51, 2017, Strona(/y) 16-7
Wydawca:
EasyChair
DOI:
10.29007/3ngx
Autorzy:
Jasmin Christian Blanchette, Nicolas Peltier, Simon Robillard
Opublikowane w:
9th International Joint Conference on Automated Reasoning (IJCAR 2018), 2018, Strona(/y) 370-387
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-94205-6_25
Autorzy:
Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann
Opublikowane w:
9th International Joint Conference on Automated Reasoning (IJCAR 2018), 2018, Strona(/y) 28-46
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-94205-6_3
Autorzy:
Mathias Fleury, Jasmin Christian Blanchette, Peter Lammich
Opublikowane w:
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018, 2018, Strona(/y) 158-171, ISBN 9781-450355865
Wydawca:
ACM Press
DOI:
10.1145/3167080
Autorzy:
Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel, Uwe Waldmann
Opublikowane w:
9th International Joint Conference on Automated Reasoning (IJCAR 2018), 2018, Strona(/y) 89-107
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-94205-6_7
Autorzy:
Andrew Reynolds, Haniel Barbosa, Pascal Fontaine
Opublikowane w:
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), 2018, Strona(/y) 112-131
Wydawca:
Springer International Publishing
DOI:
10.1007/978-3-319-89963-3_7
Autorzy:
Pascal Fontaine, Mizuhito Ogawa, Van Khanh To, Xuan Tung Vu
Opublikowane w:
SC-square 2018 - Third International Workshop on Satisfiability Checking and Symbolic Computation, Jul 2018, Oxford, United Kingdom, 2018
Wydawca:
http://ceur-ws.org
Autorzy:
Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel
Opublikowane w:
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019, 2019, Strona(/y) 152-165, ISBN 9781-450362221
Wydawca:
ACM Press
DOI:
10.1145/3293880.3294100
Autorzy:
Jasmin Christian Blanchette
Opublikowane w:
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019, 2019, Strona(/y) 1-13, ISBN 9781-450362221
Wydawca:
ACM Press
DOI:
10.1145/3293880.3294087
Autorzy:
Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis
Opublikowane w:
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019, ISBN 978-3-95977-122-1
Wydawca:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.itp.2019.15
Autorzy:
Robert Y. Lewis
Opublikowane w:
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019, 2019, Strona(/y) 15-26, ISBN 9781-450362221
Wydawca:
ACM Press
DOI:
10.1145/3293880.3294089
Autorzy:
Hans-Jörg Schurr; Mathias Fleury; Haniel Barbosa; Pascal Fontaine
Opublikowane w:
Workshop on Proof eXchange for Theorem Proving (PxTP), 2021
Wydawca:
Open Publishing Association
DOI:
10.4204/eptcs.336.6
Autorzy:
The mathlib Community
Opublikowane w:
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Numer 2020, 2020, Strona(/y) 367-381, ISBN 9781450370974
Wydawca:
ACM
DOI:
10.1145/3372885.3373824
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników