-
1مؤتمر
المؤلفون: Notzli, Andres, Barbosa, Haniel, Niemetz, Aina, Preiner, Mathias, Reynolds, Andrew, Barrett, Clark, Tinelli, Cesare
المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :65-74 Oct, 2022
Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)
-
2كتاب إلكتروني
المؤلفون: Lachnitt, HannaAff9, Fleury, MathiasAff12, Aniva, LeniAff9, Reynolds, AndrewAff10, Barbosa, HanielAff11, Nötzli, AndresAff13, Barrett, ClarkAff9, Tinelli, CesareAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Finkbeiner, Bernd, editorAff7, Kovács, Laura, editorAff8
المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 14570:311-330
-
3مؤتمر
المؤلفون: Janota, Mikolas, Barbosa, Haniel, Fontaine, Pascal, Reynolds, Andrew
المصدر: 2021 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2021 Formal Methods in. :256-260 Oct, 2021
Relation: 2021 Formal Methods in Computer Aided Design (FMCAD)
-
4مؤتمر
المؤلفون: Barbosa, Haniel, Reynolds, Andrew, Larraz, Daniel, Tinelli, Cesare
المصدر: 2019 Formal Methods in Computer Aided Design (FMCAD) Computer Aided Design (FMCAD), 2019 Formal Methods in. :212-220 Oct, 2019
Relation: 2019 Formal Methods in Computer Aided Design (FMCAD)
-
5تقرير
المؤلفون: Schurr, Hans-Jörg, Fleury, Mathias, Barbosa, Haniel, Fontaine, Pascal
المصدر: EPTCS 336, 2021, pp. 49-54
مصطلحات موضوعية: Computer Science - Logic in Computer Science, I.2.3
URL الوصول: http://arxiv.org/abs/2107.02354
-
6كتاب إلكتروني
المؤلفون: Andreotti, BrunoAff9, Lachnitt, HannaAff10, Barbosa, HanielAff9
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Sankaranarayanan, Sriram, editorAff7, Sharygina, Natasha, editorAff8
المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. 13993:367-386
-
7مؤتمر
المؤلفون: Tourret, Sophie, Fontaine, Pascal, El Ouraoui, Daniel, Barbosa, Haniel
المصدر: Satisfiability Modulo Theories, 3--14 (2020); Satisfiability Modulo Theories, from 18-07-2021 to 19-07-2021
مصطلحات موضوعية: Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques
Relation: http://ceur-ws.org/Vol-2854/short1.pdf
URL الوصول: https://orbi.uliege.be/handle/2268/265869
-
8تقرير
المؤلفون: Reis, Giselle, Barbosa, Haniel
المصدر: EPTCS 301, 2019
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1908.08639
-
9تقرير
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1907.10175
-
10دورية أكاديمية
المؤلفون: Abate, Alessandro, Barbosa, Haniel, Barrett, Clark, David, CristinaAff4, IDs10817023096644_cor4, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth, Reynolds, Andrew, Tinelli, Cesare
المصدر: Journal of Automated Reasoning. 67(2)