default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 79 matches
- 2024
- Abdelghani Maddi, Emmanuel Monneau, Catherine Guaspare-Cartron, Floriana Gargiulo, Michel Dubois:
Streetlight effect in PubPeer comments: are Open Access publications more scrutinized? Scientometrics 129(7): 4231-4247 (2024) - 2023
- Catherine Dubois, Manfred Kerber:
Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings. Lecture Notes in Computer Science 14101, Springer 2023, ISBN 978-3-031-42752-7 [contents] - Catherine Dubois, Pierluigi San Pietro:
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings. Lecture Notes in Computer Science 13962, Springer 2023, ISBN 978-3-031-27533-3 [contents] - Maximiliano Cristiá, Catherine Dubois:
Comparing EventB, log and Why3 Models of Sparse Sets. CoRR abs/2307.03974 (2023) - Abdelghani Maddi, Emmanuel Monneau, Catherine Gaspare, Floriana Gargiulo, Michel Dubois:
Streetlight Effect in Post-Publication Peer Review: Are Open Access Publications More Scrutinized? CoRR abs/2311.04909 (2023) - Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard:
Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory. CoRR abs/2311.07185 (2023) - Abdelmalek Mouazer, Romain Leguillon, Nada Boudegzdame, Thibaud Levrard, Yoann Le Bars, Christian Simon, Brigitte Séroussi, Julien Grosjean, Romain Lelong, Catherine Letord, Stéfan Jacques Darmoni, Matthieu Schuers, Karima Sedki, Sophie Dubois, Hector Falcoff, Rosy Tsopra, Jean-Baptiste Lamy:
ABiMed: An intelligent and visual clinical decision support system for medication reviews and polypharmacy management. CoRR abs/2312.11526 (2023) - 2022
- Catherine Dubois, Nicolas Magaud, Alain Giorgetti:
Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families. TYPES 2022: 11:1-11:19 - Amélie Ledein, Valentin Blot, Catherine Dubois:
A Semantics of 𝕂 into Dedukti. TYPES 2022: 12:1-12:22 - Mathieu Montin, Amélie Ledein, Catherine Dubois:
LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes. MSFP@ETAPS 2022: 27-44 - Catherine Dubois, Julien Cohen:
STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2nd International Workshop on Foundations and Practice of Visual Modeling (FPVM 2022) and 2nd International Workshop on MDE for Smart IoT Systems (MeSS 2022) (co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2022)), Nantes, France, July 5-8, 2022. CEUR Workshop Proceedings 3250, CEUR-WS.org 2022 [contents] - Ghiles Ziat, Vincent Botbol, Matthieu Dien, Arnaud Gotlieb, Martin Pépin, Catherine Dubois:
Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types. CoRR abs/2208.12747 (2022) - Catherine Dubois, Nicolas Magaud, Alain Giorgetti:
Pragmatic isomorphism proofs between Coq representations: application to lambda-term families. CoRR abs/2212.10453 (2022) - 2021
- Guillaume Gautreau, Adelme Bazin, Mathieu Gachet, Rémi Planel, Laura Burlot, Mathieu Dubois, Amandine Perrin, Claudine Médigue, Alexandra Calteau, Stéphane Cruveiller, Catherine Matias, Christophe Ambroise, Eduardo P. C. Rocha, David Vallenet:
Correction: PPanGGOLiN: Depicting microbial diversity via a partitioned pangenome graph. PLoS Comput. Biol. 17(12) (2021) - Abdelmalek Mouazer, Romain Leguillon, Bertille Leroy, Karima Sedki, Christian Simon, Hector Falcoff, Matthieu Schuers, Sophie Dubois, Cédric Bousquet, Lina Soualmia, Catherine Letord, Stéfan Jacques Darmoni, Jacques Bouaud, Brigitte Séroussi, Rosy Tsopra, Jean-Baptiste Lamy:
ABiMed: Towards an Innovative Clinical Decision Support System for Medication Reviews and Polypharmacy Management. ICIMTH 2021: 61-64 - Catherine Dubois, Steffen Zschaler:
17th Educators Symposium at MODELS 2021. MoDELS (Companion) 2021: 695 - 2020
- Guillaume Gautreau, Adelme Bazin, Mathieu Gachet, Rémi Planel, Laura Burlot, Mathieu Dubois, Amandine Perrin, Claudine Médigue, Alexandra Calteau, Stéphane Cruveiller, Catherine Matias, Christophe Ambroise, Eduardo P. C. Rocha, David Vallenet:
PPanGGOLiN: Depicting microbial diversity via a partitioned pangenome graph. PLoS Comput. Biol. 16(3) (2020) - Ming Jiang, Sunday M. Francis, Angela Tseng, Diksha Srishyla, Megan DuBois, Katie Beard, Christine Conelea, Qi Zhao, Suma Jacob:
Predicting Core Characteristics of ASD Through Facial Emotion Recognition and Eye Tracking in Youth. EMBC 2020: 871-875 - Catherine Dubois:
Formally Verified Transformation of Non-binary Constraints into Binary Constraints. WFLP 2020: 117-128 - Catherine Dubois:
Formally Verified Transformation of Non-binary Constraints into Binary Constraints. CoRR abs/2009.00583 (2020) - 2019
- Manuel Vlach, Nicolas Quesnot, Hélène Dubois-Pot-Schneider, Catherine Ribault, Yann Verres, Kilian Petitjean, Claudine Rauch, Fabrice Morel, Marie-Anne Robin, Anne Corlu, Pascal Loyer:
Cytochrome P450 1A1/2, 2B6 and 3A4 HepaRG Cell-Based Biosensors to Monitor Hepatocyte Differentiation, Drug Metabolism and Toxicity. Sensors 19(10): 2245 (2019) - Catherine Dubois, Virgile Prevosto, Guillaume Burel:
Teaching Formal Methods to Future Engineers. FMTea 2019: 69-80 - 2018
- Catherine Dubois, Alain Giorgetti:
Tests and proofs for custom data generators. Formal Aspects Comput. 30(6): 659-684 (2018) - Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson:
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. SEFM 2018: 239-253 - Catherine Dubois, Sulyvan Weppe:
Towards Coq Formalisation of {log} Set Constraints Resolution. SETS@ABZ 2018: 32-37 - Catherine Dubois, Burkhart Wolff:
Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10889, Springer 2018, ISBN 978-3-319-92993-4 [contents] - Maximiliano Cristiá, David Delahaye, Catherine Dubois:
Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, SETS@ABZ 2018, Southamptom, UK, June 5, 2018. CEUR Workshop Proceedings 2199, CEUR-WS.org 2018 [contents] - 2017
- Raphaël Cauderlier, Catherine Dubois:
FoCaLiZe and Dedukti to the Rescue for Proof Interoperability. ITP 2017: 131-147 - Catherine Dubois, Paolo Masci, Dominique Méry:
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. EPTCS 240, 2017 [contents] - Catherine Dubois, Bruno Woltzenlogel Paleo:
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017. EPTCS 262, 2017 [contents]
skipping 49 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-04 07:17 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint