default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPascale Le Gall
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j19]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall
:
Efficient interaction-based offline runtime verification of distributed systems with lifeline removal. Sci. Comput. Program. 241: 103230 (2025)- 2024
- [j18]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation. J. Object Technol. 23(2): 2 (2024) - [j17]Erwan Mahe, Christophe Gaston, Pascale Le Gall:
Denotational and operational semantics for interaction languages: Application to trace analysis. Sci. Comput. Program. 232: 103034 (2024) - [c70]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Finite Automata synthesis from Interactions. FormaliSE@ICSE 2024: 12-22 - [c69]Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall:
High-Level Program Properties in Frama-C: Definition, Verification and Deduction. ISoLA (3) 2024: 159-177 - [c68]Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall:
A Framework for Optimisation Based Stochastic Process Discovery. QEST+FORMATS 2024: 34-51 - [i15]Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall:
An Efficient VCGen-based Modular Verification of Relational Properties. CoRR abs/2401.08385 (2024) - [i14]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall:
Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal. CoRR abs/2403.03057 (2024) - [i13]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation. CoRR abs/2403.03083 (2024) - [i12]Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall:
A framework for optimisation based stochastic process discovery. CoRR abs/2406.10817 (2024) - 2023
- [j16]Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall:
Efficient computation of arbitrary control dependencies. Theor. Comput. Sci. 969: 114029 (2023) - [c67]Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen:
Symbolic Path-Guided Test Cases for Models with Data and Time. FACS 2023: 3-22 - [c66]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Interaction-Based Offline Runtime Verification of Distributed Systems. FSEN 2023: 88-103 - [i11]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
A Term-based Approach for Generating Finite Automata from Interaction Diagrams. CoRR abs/2306.02983 (2023) - [i10]Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen:
Symbolic Path-guided Test Cases for Models with Data and Time. CoRR abs/2309.06840 (2023) - 2022
- [j15]Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall:
Inferring topological operations on generalized maps: Application to subdivision schemes. Graph. Vis. Comput. 6: 200049 (2022) - [j14]Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual:
Preserving consistency in geometric modeling with graph transformations. Math. Struct. Comput. Sci. 32(3): 300-347 (2022) - [j13]Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari:
Topological consistency preservation with graph transformation schemes. Sci. Comput. Program. 214: 102728 (2022) - [j12]Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall:
Editorial. Softw. Qual. J. 30(1): 1-2 (2022) - [c65]Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall:
Certified Verification of Relational Properties. IFM 2022: 86-105 - [c64]Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall:
An Efficient VCGen-Based Modular Verification of Relational Properties. ISoLA (1) 2022: 498-516 - [c63]Erwan Mahe, Christophe Gaston, Pascale Le Gall:
Equivalence of Denotational and Operational Semantics for Interaction Languages. TASE 2022: 113-130 - [i9]Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall:
Certified Verification of Relational Properties. CoRR abs/2202.10349 (2022) - [i8]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems. CoRR abs/2212.09324 (2022) - 2021
- [c62]Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall:
Methodology for Specification and Verification of High-Level Requirements with MetAcsl. FormaliSE@ICSE 2021: 54-67 - [c61]Boutheina Bannour, Arnault Lapitre, Pascale Le Gall:
Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. MEDI Workshops 2021: 46-60 - [c60]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
A small-step approach to multi-trace checking against interactions. SAC 2021: 1815-1822 - [i7]Erwan Mahe, Christophe Gaston, Pascale Le Gall:
A structural operational semantics for interactions with a look at loops. CoRR abs/2105.00208 (2021) - 2020
- [c59]Erwan Mahe, Christophe Gaston, Pascale Le Gall:
Revisiting Semantics of Interactions for Trace Validity Analysis. FASE 2020: 482-501 - [c58]Boutheina Bannour, Arnault Lapitre, Pascale Le Gall:
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution. NETYS 2020: 94-111 - [i6]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
A small-step approach to multi-trace checking against interactions. CoRR abs/2009.01777 (2020)
2010 – 2019
- 2019
- [c57]A. Joëlle Compaoré, Pascale Le Gall:
A Proposal for a Language Combining Biochemical Rules and Topological Structure for Systems Biology. BIOINFORMATICS 2019: 310-317 - [c56]Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall:
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks. ICST Workshops 2019: 168-175 - [c55]Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall:
MetAcsl: Specification and Verification of High-Level Properties. TACAS (1) 2019: 358-364 - [c54]Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall:
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. TAP@FM 2019: 167-185 - [e2]Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall:
Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings. Lecture Notes in Computer Science 11812, Springer 2019, ISBN 978-3-030-31279-4 [contents] - [i5]Erwan Mahe, Christophe Gaston, Pascale Le Gall:
Revisiting Semantics of Interactions for Trace Validity Analysis. CoRR abs/1911.03094 (2019) - 2018
- [j11]Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall:
Cut branches before looking for bugs: certifiably sound verification on relaxed slices. Formal Aspects Comput. 30(1): 107-131 (2018) - [c53]Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall:
Fast Computation of Arbitrary Control Dependencies. FASE 2018: 207-224 - [c52]Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot:
Static and Dynamic Verification of Relational Properties on Self-composed C Code. TAP@STAF 2018: 44-62 - [i4]Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto:
Self-composition to Prove Relational Properties in Annotated C Program. CoRR abs/1801.06876 (2018) - [i3]Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall:
MetAcsl: Specification and Verification of High-Level Properties. CoRR abs/1811.10509 (2018) - 2017
- [c51]Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall:
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions. ICGT 2017: 36-53 - [c50]Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall:
Constraint-Based Oracles for Timed Distributed Systems. ICTSS 2017: 276-292 - [c49]Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto:
RPP: Automatic Proof of Relational Properties by Self-composition. TACAS (1) 2017: 391-397 - [c48]Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto:
Symbolic Execution of Transition Systems with Function Summaries. TAP@STAF 2017: 41-58 - 2016
- [j10]Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet:
Exhaustive test sets for algebraic specifications. Softw. Test. Verification Reliab. 26(4): 294-317 (2016) - [c47]Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall:
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices. FASE 2016: 179-196 - [c46]Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey:
Timed-Model-Based Method for Security Analysis and Testing of Smart Grid Systems. ISORC 2016: 35-42 - [e1]Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko:
1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015. Electronic Notes in Theoretical Computer Science 320, Elsevier 2016 [contents] - [i2]Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto:
Deductive Verification with Relational Properties. CoRR abs/1606.00678 (2016) - 2015
- [j9]Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini:
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. Tech. Sci. Informatiques 34(5): 575-600 (2015) - [c45]Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto:
Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. ICTSS 2015: 35-51 - [c44]Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko:
Preface. USE@FM 2015: 1-2 - 2014
- [c43]Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza:
Security Weaknesses Detection by Symbolic Analysis of Scenarios. APSEC (1) 2014: 367-374 - [c42]Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet:
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling. ICGT 2014: 269-284 - [c41]Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini:
An LTL Model Checking Approach for Biological Parameter Inference. ICFEM 2014: 155-170 - [c40]Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza:
Designing Sequence Diagram Models for Robustness to Attacks. ICST Workshops 2014: 26-33 - [c39]Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny:
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. ISoLA (2) 2014: 193-207 - 2013
- [c38]Christophe Gaston, Robert M. Hierons, Pascale Le Gall:
An Implementation Relation and Test Framework for Timed Distributed Systems. ICTSS 2013: 82-97 - 2012
- [c37]Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall:
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. ICTSS 2012: 119-135 - 2011
- [j8]Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard:
Embedding of Biological Regulatory Networks and Property Preservation. Math. Comput. Sci. 5(3): 263-288 (2011) - [c36]Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall:
Timed Conformance Testing for Orchestrated Service Discovery. FACS 2011: 133-150 - [c35]Thomas Bellet, Agnès Arnould, Pascale Le Gall:
Rule-based transformations for geometric modelling. TERMGRAPH 2011: 20-37 - 2010
- [j7]Delphine Longuet, Marc Aiguier, Pascale Le Gall:
Proof-Guided Test Selection from First-Order Specifications with Equality. J. Autom. Reason. 45(4): 437-473 (2010) - [c34]Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli:
Testing Web Service Orchestrators in Context: A Symbolic Approach. SEFM 2010: 257-267 - [c33]Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall:
Designing a Topological Modeler Kernel: A Rule-Based Approach. Shape Modeling International 2010: 100-112 - [c32]Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu:
Handling State-Machines Specifications with GATeL. MBT@ETAPS 2010: 3-17
2000 – 2009
- 2009
- [c31]Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès:
Spatial Information and Boolean Genetic Regulatory Networks. BICoB 2009: 270-281 - [c30]Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli:
Observability and Controllability Issues in Conformance Testing of Web Service Compositions. TestCom/FATES 2009: 217-222 - 2008
- [j6]Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall, Philippe Meseure, François Képès:
Topology-based abstraction of complex biological systems: application to the Golgi apparatus. Theory Biosci. 127(2): 79-88 (2008) - [c29]Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall:
Property Preservation along Embedding of Biological Regulatory Networks. AB 2008: 125-138 - [c28]Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki:
Emergent Properties in Reactive Systems. APSEC 2008: 273-280 - [c27]Marie-Claude Gaudel, Pascale Le Gall:
Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing 2008: 209-239 - [c26]Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall:
Graph Transformation for Topology Modelling. ICGT 2008: 147-161 - [c25]Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki:
A Formal Definition of Complex Software. ICSEA 2008: 415-420 - [c24]Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall:
Generation of All-Paths Unit Test with Function Calls. ICST 2008: 32-41 - [c23]Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil:
Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES 2008: 184-199 - [i1]Marie-Claude Gaudel, Pascale Le Gall:
Testing data types implementations from algebraic specifications. CoRR abs/0804.0970 (2008) - 2007
- [j5]Daniel Mateus, Jean-Paul Comet, Jean-Pierre Gallois, Pascale Le Gall:
Modelling genetic regulatory networks from specified behaviours. BMC Syst. Biol. 1(S-1): S4 (2007) - [j4]Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall:
Symbolic Modeling of Genetic Regulatory Networks. J. Bioinform. Comput. Biol. 5(2b): 627-640 (2007) - [c22]Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet:
Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN 2007: 144-159 - [c21]Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure:
Topology-based Geometric Modelling for Biological Cellular Processes. LATA 2007: 497-508 - [c20]Alain Faivre, Christophe Gaston, Pascale Le Gall:
Symbolic Model Based Testing for Component Oriented Systems. TestCom/FATES 2007: 90-106 - [c19]Pascale Le Gall, Nicolas Rapin, Assia Touil:
Symbolic Execution Techniques for Refinement Testing. TAP 2007: 131-148 - 2006
- [c18]Marc Aiguier, Karim Berkani, Pascale Le Gall:
Feature Specification and Static Analysis for Interaction Resolution. FM 2006: 364-379 - [c17]Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil:
Symbolic Execution Techniques for Test Purpose Definition. TestCom 2006: 1-18 - 2005
- [c16]Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil:
A Temporal Logic for Input Output Symbolic Transition Systems. APSEC 2005: 43-50 - [c15]Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre:
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. FATES 2005: 203-217 - [c14]Helene Jouve, Pascale Le Gall, Sophie Coudert:
An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications. FIW 2005: 131-146 - 2003
- [c13]Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier:
An Environment for Interactive Service Specification. FIW 2003: 25-41 - 2002
- [j3]Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand:
Spécifications formelles du chanfreinage. Tech. Sci. Informatiques 21(8): 1073-1098 (2002) - [j2]Agnès Arnould, Pascale Le Gall:
Test de conformité : une approche algébrique. Tech. Sci. Informatiques 21(9): 1219-1242 (2002) - [c12]Marc Aiguier, Christophe Gaston, Pascale Le Gall:
Feature Logics and Refinement. APSEC 2002: 385- - 2001
- [c11]Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand:
Geometric Modelling with CASL. WADT 2001: 176-200 - 2000
- [c10]Sophie Coudert, Pascale Le Gall:
A Reuse-Oriented Framework for Hierarchical Specifications. AMAST 2000: 438-453 - [c9]Karim Berkani, Pascale Le Gall, Francis Klay:
An incremental method for the design of feature-oriented systems. FIREworks 2000: 45-64 - [c8]Christophe Gaston, Marc Aiguier, Pascale Le Gall:
Algebraic Treatment of Feature-oriented Systems. FIREworks 2000: 105-124
1990 – 1999
- 1998
- [c7]Sophie Coudert, Gilles Bernot, Pascale Le Gall:
Hierarchical Heterogeneous Specifications. WADT 1998: 107-121 - 1997
- [c6]Gilles Bernot, Laurent Bouaziz, Pascale Le Gall:
A Theory of Probabilistic Functional Testing. ICSE 1997: 216-226 - 1996
- [c5]Gilles Bernot, Sophie Coudert, Pascale Le Gall:
Towards Heterogeneous Formal Specification. AMAST 1996: 458-472 - [c4]Agnès Arnould, Pascale Le Gall, Bruno Marre:
Dynamic Testing from Bounded Data Type Specifications. EDCC 1996: 285-302 - 1995
- [c3]Pascale Le Gall, Agnès Arnould:
Formal Specifications and Test: Correctness and Oracle. COMPASS/ADT 1995: 342-358 - 1994
- [j1]Gilles Bernot, Pascale Le Gall, Marc Aiguier:
Label Algebras and Exception Handling. Sci. Comput. Program. 23(2-3): 227-286 (1994) - 1993
- [c2]Gilles Bernot, Pascale Le Gall:
Exception Handling and Term Labelling. TAPSOFT 1993: 421-436 - 1991
- [c1]Gilles Bernot, Pascale Le Gall:
Label Algebras: A Systematic Use of Terms. COMPASS/ADT 1991: 144-163
Coauthor Index
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.
last updated on 2025-01-09 12:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
