default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDClaude Jard
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[c72]Hélène Coullon, Claude Jard, Didier Lime:
Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning. IFM 2019: 120-137- 2017
- [j33]Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime
, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha:
Towards energy-proportional clouds partially powered by renewable energy. Computing 99(1): 3-22 (2017) - [j32]Achour Mostéfaoui, Matoula Petrolia, Michel Raynal, Claude Jard:
Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems. Theory Comput. Syst. 60(4): 677-694 (2017) - [c71]Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
Coverability Synthesis in Parametric Petri Nets. CONCUR 2017: 14:1-14:16 - 2016
- [j31]S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier:
Robustness of Time Petri Nets under Guard Enlargement. Fundam. Informaticae 143(3-4): 207-234 (2016) - [c70]Matthieu Perrin, Achour Mostéfaoui, Claude Jard:
Causal consistency: beyond memory. PPoPP 2016: 26:1-26:12 - [c69]Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard:
On Composition and Implementation of Sequential Consistency. DISC 2016: 284-297 - [i7]Matthieu Perrin, Achour Mostéfaoui, Claude Jard:
Causal Consistency: Beyond Memory. CoRR abs/1603.04199 (2016) - [i6]Achour Mostéfaoui, Matoula Petrolia, Michel Raynal, Claude Jard:
Atomic Read/Write Memory in Signature-free Byzantine Asynchronous Message-passing Systems. CoRR abs/1604.08161 (2016) - [i5]Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard:
On Composition and Implementation of Sequential Consistency (Extended Version). CoRR abs/1607.05596 (2016) - [i4]Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard:
On Composition and Implementation of Sequential Consistency. CoRR abs/1607.06258 (2016) - 2015
- [j30]Rouwaida Abdallah, Loïc Hélouët, Claude Jard:
Distributed implementation of message sequence charts. Softw. Syst. Model. 14(2): 1029-1048 (2015) - [c68]Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
Discrete Parameters in Petri Nets. Petri Nets 2015: 137-156 - [c67]Matthieu Perrin, Achour Mostéfaoui, Claude Jard:
Update Consistency for Wait-Free Concurrent Objects. IPDPS 2015: 219-228 - [c66]Matthieu Perrin, Claude Jard, Achour Mostéfaoui:
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. NETYS 2015: 382-396 - [c65]Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha:
The EPOC Project - Energy Proportional and Opportunistic Computing System. SMARTGREENS 2015: 388-394 - [c64]Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
Discrete Parameters in Petri Nets (Informal Presentation). SynCoP 2015: 103-103 - [i3]Matthieu Perrin, Achour Mostéfaoui, Claude Jard:
Update Consistency for Wait-free Concurrent Objects. CoRR abs/1501.02165 (2015) - [i2]Matthieu Perrin, Achour Mostéfaoui, Claude Jard:
Brief Announcement: Update Consistency in Partitionable Systems. CoRR abs/1501.02175 (2015) - [i1]Matthieu Perrin, Claude Jard, Achour Mostéfaoui:
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. CoRR abs/1505.06299 (2015) - 2014
- [j29]Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen:
QoS-aware management of monotonic service orchestrations. Formal Methods Syst. Des. 44(1): 1-43 (2014) - [j28]Claude Jard, Didier Lime, Olivier H. Roux:
Blending Timed Formal Models with Clock Transition Systems. Fundam. Informaticae 129(1-2): 85-100 (2014) - [j27]Albert Benveniste, Claude Jard, Samy Abbes:
Foreword in honor of Glynn Winskel. Theor. Comput. Sci. 546: 30-31 (2014) - [j26]Albert Benveniste, Claude Jard, Samy Abbes:
Application of branching cells to QoS aware service orchestrations. Theor. Comput. Sci. 546: 52-62 (2014) - [c63]Matthieu Perrin, Achour Mostéfaoui, Claude Jard:
Update Consistency in Partitionable Systems. DISC 2014: 546-549 - 2013
- [j25]Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez:
Symbolic unfolding of parametric stopwatch Petri nets. Formal Methods Syst. Des. 43(3): 493-519 (2013) - [c62]Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard:
Scenario Realizability with Constraint Optimization. FASE 2013: 194-209 - [c61]Thomas Chatain, Claude Jard:
Back in Time Petri Nets. FORMATS 2013: 91-105 - [c60]Anne Bouillard, Claude Jard, Aurore Junier:
Some Synchronization Issues in OSPF Routing. DCNET/ICE-B/OPTICS 2013: 5-14 - [c59]Anne Bouillard, Claude Jard, Aurore Junier:
The Impact of Initial Delays in OSPF Routing. ICETE (Selected Papers) 2013: 37-57 - [e3]Claude Jard, Olivier H. Roux:
Communicating Embedded Systems. Wiley 2013, ISBN 978-1-84821-143-8 [contents] - 2012
- [c58]Didier Lime, Olivier H. Roux, Claude Jard:
Clock Transition Systems. CS&P 2012: 227-238 - [c57]S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux:
Robustness of Time Petri Nets under Architectural Constraints. FORMATS 2012: 11-26 - [c56]Ajay Kattepur, Albert Benveniste, Claude Jard:
Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations. ICWS 2012: 106-113 - [c55]S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier:
Robustness of Time Petri Nets under Guard Enlargement. RP 2012: 92-106 - 2011
- [c54]Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard:
Pairwise testing of dynamic composite services. SEAMS 2011: 138-147 - [c53]Ajay Kattepur, Albert Benveniste, Claude Jard:
Optimizing Decisions in Web Services Orchestrations. ICSOC 2011: 77-91 - [c52]Rouwaida Abdallah, Claude Jard:
An Experiment in Automatic Generation of Protocols from HMSCs. NOTERE 2011: 1-8 - 2010
- [j24]Sidney Rosario, Albert Benveniste, Claude Jard:
Flexible Probabilistic QoS Management of Orchestrations. Int. J. Web Serv. Res. 7(2): 21-42 (2010) - [c51]Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux:
Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA 2010: 291-305 - [c50]Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux:
Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS 2010: 137-151 - [c49]Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard:
Variability Modeling and QoS Analysis of Web Services Orchestrations. ICWS 2010: 99-106
2000 – 2009
- 2009
- [c48]Sidney Rosario, Albert Benveniste, Claude Jard:
Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. ICWS 2009: 107-114 - [c47]Sidney Rosario, Albert Benveniste, Claude Jard:
Monitoring probabilistic SLAs in Web service orchestrations. Integrated Network Management 2009: 474-481 - 2008
- [j23]Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard:
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. IEEE Trans. Serv. Comput. 1(4): 187-200 (2008) - [c46]Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan:
Testing Systems Specified as Partial Order Input/Output Automata. TestCom/FATES 2008: 169-183 - [e2]Franck Cassez, Claude Jard:
Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Lecture Notes in Computer Science 5215, Springer 2008, ISBN 978-3-540-85777-8 [contents] - 2007
- [j22]Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon:
Test Synthesis from UML Models of Distributed Software. IEEE Trans. Software Eng. 33(4): 252-269 (2007) - [c45]Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard:
Probabilistic QoS and soft contracts for transaction based Web services. ICWS 2007: 126-133 - [c44]Stefan Haar, Claude Jard, Guy-Vincent Jourdan:
Testing Input/Output Partial Order Automata. TestCom/FATES 2007: 171-185 - [c43]Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard:
Event Structure Semantics of Orc. WS-FM 2007: 154-168 - 2006
- [c42]Thomas Chatain, Claude Jard:
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. ICATPN 2006: 125-145 - [c41]Franck Cassez, Thomas Chatain, Claude Jard:
Symbolic Unfoldings for Networks of Timed Automata. ATVA 2006: 307-321 - [c40]Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard:
Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. ISoLA 2006: 309-316 - [c39]Emmanuel de Rosière, Claude Jard, Benoit Parreaux:
LaTe, a Non-fully Deterministic Testing Language. TestCom 2006: 71-86 - 2005
- [j21]Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard:
Distributed Monitoring of Concurrent and Asynchronous Systems*. Discret. Event Dyn. Syst. 15(1): 33-84 (2005) - [j20]Claude Jard, Thierry Jéron:
TGV: theory, principles and algorithms. Int. J. Softw. Tools Technol. Transf. 7(4): 297-315 (2005) - [c38]Thomas Chatain, Claude Jard:
Models for the Supervision of Web Services Orchestration with Dynamic Changes. AICT/SAPIR/ELETE 2005: 446-451 - [c37]Thomas Chatain, Claude Jard:
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. FORMATS 2005: 196-210 - [c36]Thomas Chatain, Loïc Hélouët, Claude Jard:
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. FORTE 2005: 489-502 - 2004
- [c35]Thomas Chatain, Claude Jard:
Symbolic Diagnosis of Partially Observable Concurrent Systems. FORTE 2004: 326-342 - [c34]Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan:
Algorithms for Distributed Fault Management in Telecommunications Networks. ICT 2004: 820-825 - [c33]Armen Aghasaryan, Claude Jard, Julien Thomas:
UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks. ICT 2004: 841-847 - 2003
- [j19]Claude Jard:
Synthesis of distributed testers from true-concurrency models of reactive systems. Inf. Softw. Technol. 45(12): 805-814 (2003) - [j18]Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard:
Diagnosis of asynchronous discrete-event systems: a net unfolding approach. IEEE Trans. Autom. Control. 48(5): 714-727 (2003) - [c32]Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard:
Distributed and asynchronous discrete event systems diagnosis. CDC 2003: 3742-3747 - [c31]Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard:
Partial order diagnosability of discrete event systems using petri net unfoldings. CDC 2003: 3748-3753 - [c30]Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard:
Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR 2003: 1-26 - 2002
- [j17]Loïc Hélouët, Claude Jard, Benoît Caillaud:
An Event Structure Based Semantics for High-Level Message Sequence Charts. Math. Struct. Comput. Sci. 12(4): 377-402 (2002) - [c29]Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec:
System Test Synthesis from UML Models of Distributed Software. FORTE 2002: 97-113 - [c28]Claude Jard:
Principles of Distributed Test Synthesis based on True-concurrency Models. TestCom 2002: 301-316 - 2001
- [c27]Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray:
A UML-integrated Test Description Language for Component Testing. pUML 2001: 208-223 - [e1]Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan:
Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Lecture Notes in Computer Science 2067, Springer 2001, ISBN 3-540-42787-2 [contents] - 2000
- [j16]Claude Jard, Thierry Jéron:
An Educational Case Study in Protocol Verification and Distributed Observation. Comput. Sci. Educ. 10(3): 203-224 (2000) - [j15]Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier:
Verification and test generation for the SSCOP protocol. Sci. Comput. Program. 36(1): 27-52 (2000) - [c26]Eric Fabre, Albert Benveniste, Claude Jard, Laurie Ricker, Mark Smith:
Distributed state reconstruction for discrete event systems. CDC 2000: 2252-2257 - [c25]Lénaick Tanguy, César Viho, Claude Jard:
Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. ICDCS Workshop on Distributed System Validation and Verification 2000: E67-E74 - [c24]Claude Jard, Thierry Jéron, Pierre Morel:
Verification of Test Suites. TestCom 2000: 3-18
1990 – 1999
- 1999
- [j14]Claude Jard, Jean-Marc Jézéquel, Alain Le Guennec, Benoît Caillaud:
Protocol engineering using UML. Ann. des Télécommunications 54(11-12): 526-538 (1999) - [c23]Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho:
Remote testin can be as powerful as local testing. FORTE 1999: 25-40 - 1998
- [j13]Armen Aghasaryan, Eric Fabre, Albert Benveniste, Renée Boubour, Claude Jard:
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets. Discret. Event Dyn. Syst. 8(2): 203-231 (1998) - [c22]Albert Benveniste, Claude Jard, Stephane Gaubert:
Algebraic Techniques for Timed Systems. CONCUR 1998: 373-388 - [c21]Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho:
Towards Automatic Distribution of Testers for Distributed Conformance Testing. FORTE 1998: 353-368 - [c20]Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon:
BDL, A Language of Distributed Reactive Objects. ISORC 1998: 196-205 - 1997
- [j12]Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho:
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Sci. Comput. Program. 29(1-2): 123-146 (1997) - [c19]Renée Boubour, Claude Jard:
Fault Detection in Telecommunication Networks Based on a Petri Net Representation of Alarm Propagation. ICATPN 1997: 367-386 - 1996
- [j11]Jean-Marc Jézéquel, Claude Jard:
Building a global clock for observing computations in distributed memory parallel computers. Concurr. Pract. Exp. 8(1): 71-89 (1996) - [j10]Claude Jard, Guy-Vincent Jourdan:
Incremental Transitive Dependency Tracking in Distributed Computations. Parallel Process. Lett. 6(3): 427-435 (1996) - [c18]Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho:
Using On-The-Fly Verification Techniques for the Generation of test Suites. CAV 1996: 348-359 - 1995
- [j9]Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal:
On-The-Fly Analysis of Distributed Computations. Inf. Process. Lett. 54(5): 267-274 (1995) - [j8]Claude Jard, Guy-Vincent Jourdan, Jean-Xavier Rampon:
On-Line Computations of the Ideal Lattice of Posets. RAIRO Theor. Informatics Appl. 29(3): 227-244 (1995) - [c17]Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal:
Recognition of Patterns on Control Flows for Debugging Distributed Executions. AADEBUG 1995: 221-232 - [c16]Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval:
Measuring Concurrency of Regular Distributed Computations. TAPSOFT 1995: 711-725 - 1994
- [c15]Thierry Jéron, Claude Jard:
3D Layout of Reachability Graphs of Communicating Processes. GD 1994: 25-32 - [c14]Claude Jard, Thierry Jéron, Guy-Vincent Jourdan, Jean-Xavier Rampon:
A General Approach to Trace-Checking in Distributed Computing Systems. ICDCS 1994: 396-403 - [c13]Claude Jard, Guy-Vincent Jourdan:
On the Coding of Dependencies in Distributed Computations (Abstract). PODC 1994: 377 - 1993
- [j7]Thierry Jéron, Claude Jard:
Testing for Unboundedness of FIFO Channels. Theor. Comput. Sci. 113(1): 93-117 (1993) - [c12]Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval:
Correctness of Automated Distribution of Sequential Programs. PARLE 1993: 517-528 - [c11]Claire Diehl, Claude Jard, Jean-Xavier Rampon:
Reachability Analysis on Distributed Executions. TAPSOFT 1993: 629-643 - 1992
- [j6]Claude Jard, Jean-Marc Jézéquel:
Echidna, an estelle compiler to prototype protocols on distributed computers. Concurr. Pract. Exp. 4(5): 377-397 (1992) - [j5]Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron:
On-the-fly Verification of Finite Transition Systems. Formal Methods Syst. Des. 1(2/3): 251-273 (1992) - [c10]Marc Andreu, Michèle Haziza, Claude Jard, Jean-Marc Jézéquel:
Analyzing a space-protocol: from specification, simulation to experimentation. FORTE 1992: 187-198 - [c9]Claire Diehl, Claude Jard:
Interval Approximations of Message Causality in Distributed Executions. STACS 1992: 363-374 - 1991
- [c8]Claude Jard, Thierry Jéron:
Bounded-memory Algorithms for Verification On-the-fly. CAV 1991: 192-202
1980 – 1989
- 1989
- [c7]Claude Jard, Thierry Jéron:
On-Line Model Checking for Finite Linear Temporal Logic Specifications. Automatic Verification Methods for Finite State Systems 1989: 189-196 - [c6]Claude Jard, Jean-Marc Jézéquel:
A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines. PSTV 1989: 161-174 - 1988
- [j4]Claude Jard, Jean-François Monin, Roland Groz:
Development of Véda, a Prototyping Tool for Distributed Algorithms. IEEE Trans. Software Eng. 14(3): 339-352 (1988) - 1987
- [c5]Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal:
Detection of Stable Properties in Distributed Applications. PODC 1987: 125-136 - 1986
- [j3]Roland Groz, Claude Jard, Claire Lassudrie:
Attacking a Complex Distributed Algorithm from Different Sides: an Experience with Complementary Validation Tools. Comput. Networks 10: 245-257 (1986) - 1985
- [c4]Claude Jard, Jean-François Monin, Roland Groz:
Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. PSTV 1985: 315-331 - 1984
- [c3]Roland Groz, Claude Jard, Claire Lassudrie:
Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools. PSTV 1984: 3-17 - 1983
- [j2]Claude Jard, Gregor von Bochmann:
An approach to testing specifications. J. Syst. Softw. 3(4): 315-323 (1983) - [c2]Claude Jard, Gregor von Bochmann:
An approach to testing specifications. SIGSOFT 1983: 53-59 - 1982
- [j1]Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya:
Experience with Formal Specifications Using an Extended State Transition Model. IEEE Trans. Commun. 30(12): 2506-2513 (1982) - [c1]Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya:
Some Experience with the Use of Formal Specifications. PSTV 1982: 171-185
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 2024-04-24 23:11 CEST 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:
