default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRolf Hennicker
Person information
- affiliation: Ludwig Maximilian University of Munich, Germany
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c87]Maurice H. ter Beek
, Rolf Hennicker, José Proença:
Team Automata: Overview and Roadmap. COORDINATION 2024: 161-198- [c86]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Symbolic Realisation of Epistemic Processes. LPAR 2024: 390-407 - [i4]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs). CoRR abs/2408.01115 (2024) - 2023
- [c85]Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença:
Can We Communicate? Using Dynamic Logic to Verify Team Automata. FM 2023: 122-141 - [c84]Maurice H. ter Beek, Rolf Hennicker, José Proença:
Realisability of Global Models of Interaction. ICTAC 2023: 236-255 - 2022
- [j23]Rolf Hennicker, Alexander Knapp:
Specification of systems with parameterised events: An institution-independent approach. J. Log. Algebraic Methods Program. 128: 100791 (2022) - [c83]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles. ISoLA (3) 2022: 110-126 - [d1]Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença:
Can we Communicate? Using Dynamic Logic to Verify Team Automata. Zenodo, 2022
- 2021
- [j22]Rolf Hennicker, Alexander Knapp, Alexandre Madeira:
Hybrid dynamic logic institutions for event/data-based systems. Formal Aspects Comput. 33(6): 1209-1248 (2021) - [j21]Rolf Hennicker, Alexander Knapp, Alexandre Madeira:
Observational interpretations of hybrid dynamic logic with binders and silent transitions. J. Log. Algebraic Methods Program. 122: 100698 (2021) - [c82]Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença:
Featured Team Automata. FM 2021: 483-502 - [i3]Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença:
Featured Team Automata. CoRR abs/2108.01784 (2021) - 2020
- [c81]Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn:
Team Automata@Work: On Safe Communication. COORDINATION 2020: 77-85 - [c80]Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn:
Compositionality of Safe Communication in Systems of Team Automata. ICTAC 2020: 200-220 - [c79]Rolf Hennicker, Martin Wirsing:
A Dynamic Logic for Systems with Predicate-Based Communication. ISoLA (2) 2020: 224-242
2010 – 2019
- 2019
- [j20]Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker:
Connecting open systems of communicating finite state machines. J. Log. Algebraic Methods Program. 109 (2019) - [c78]Rolf Hennicker, Martin Wirsing:
A Generic Dynamic Logic with Applications to Interaction-Based Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 172-187 - [c77]Martin Wirsing, Rolf Hennicker:
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 367-387 - [c76]Rolf Hennicker, Alexandre Madeira, Alexander Knapp:
A Hybrid Dynamic Logic for Event/Data-Based Systems. FASE 2019: 79-97 - [c75]Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt:
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. DaLí 2019: 19-34 - [i2]Rolf Hennicker, Alexandre Madeira, Alexander Knapp:
A Hybrid Dynamic Logic for Event/Data-based Systems. CoRR abs/1902.03074 (2019) - 2018
- [j19]Rolf Hennicker, Michel Bidoit:
Compatibility Properties of Synchronously and Asynchronously Communicating Components. Log. Methods Comput. Sci. 14(1) (2018) - [j18]Rolf Hennicker, Alexandre Madeira, Martin Wirsing:
Behavioural and abstractor specifications revisited. Theor. Comput. Sci. 741: 32-43 (2018) - [j17]Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744: 78-96 (2018) - [c74]Rolf Hennicker, Martin Wirsing:
Dynamic Logic for Ensembles. ISoLA (3) 2018: 32-47 - [c73]Rolf Hennicker:
Role-Based Development of Dynamically Evolving Esembles. WADT 2018: 3-24 - [c72]Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker:
Global Types for Open Systems. ICE 2018: 4-20 - 2017
- [c71]Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn:
Communication Requirements for Team Automata. COORDINATION 2017: 256-277 - [c70]Rolf Hennicker, Alexandre Madeira:
Institutions for Behavioural Dynamic Logic with Binders. ICTAC 2017: 13-31 - [p6]Dirk Beyer, Rolf Hennicker, Martin Hofmann, Tobias Nipkow, Martin Wirsing:
Software-Verifikation. 50 Jahre Universitäts-Informatik in München 2017: 75-86 - 2016
- [c69]Rolf Hennicker, Michel Bidoit, Thanh-Son Dang:
On Synchronous and Asynchronous Compatibility of Communicating Components. COORDINATION 2016: 138-156 - [c68]Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins:
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. ICTAC 2016: 422-440 - [c67]Rolf Hennicker:
A Calculus for Open Ensembles and Their Composition. ISoLA (1) 2016: 570-588 - [c66]Rolf Hennicker, Alexandre Madeira:
Observational Semantics for Dynamic Logic with Binders. WADT 2016: 135-152 - [i1]Rolf Hennicker, Michel Bidoit:
Compatibility Properties of Synchronously and Asynchronously Communicating Components. CoRR abs/1611.03656 (2016) - 2015
- [j16]Rolf Hennicker, Alexander Knapp:
Moving from interface theories to assembly theories. Acta Informatica 52(2-3): 235-268 (2015) - [j15]Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker:
Refinement in hybridised institutions. Formal Aspects Comput. 27(2): 375-395 (2015) - [c65]Rocco De Nicola, Rolf Hennicker:
A Homage to Martin Wirsing. Software, Services, and Systems 2015: 1-12 - [c64]Rolf Hennicker, Annabelle Klarl, Martin Wirsing:
Model-Checking Helena Ensembles with Spin. Logic, Rewriting, and Concurrency 2015: 331-360 - [c63]Lenz Belzner, Rolf Hennicker, Martin Wirsing:
OnPlan: A Framework for Simulation-Based Online Planning. FACS 2015: 1-30 - [p5]Philip Mayer, José Velasco, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Tomás Bures:
The Autonomic Cloud. The ASCENS Approach 2015: 495-512 - [e2]Rocco De Nicola, Rolf Hennicker:
Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science 8950, Springer 2015, ISBN 978-3-319-15544-9 [contents] - 2014
- [j14]Sebastian S. Bauer, Rolf Hennicker, Axel Legay:
A meta-theory for component interfaces with contracts on ports. Sci. Comput. Program. 91: 70-89 (2014) - [c62]Annabelle Klarl, Rolf Hennicker:
Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework. Australian Software Engineering Conference 2014: 15-24 - [c61]Rolf Hennicker, Annabelle Klarl:
Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures. Specification, Algebra, and Software 2014: 359-381 - [c60]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Assembly Theories for Communication-Safe Component Systems. FPS@ETAPS 2014: 145-160 - [c59]Annabelle Klarl, Lucia Cichella, Rolf Hennicker:
From Helena Ensemble Specifications to Executable Code. FACS 2014: 183-190 - [c58]Annabelle Klarl, Philip Mayer, Rolf Hennicker:
Helena@Work: Modeling the Science Cloud Platform. ISoLA (1) 2014: 99-116 - 2013
- [c57]Serge Haddad, Rolf Hennicker, Mikael H. Møller:
Channel Properties of Asynchronously Composed Petri Nets. Petri Nets 2013: 369-388 - [c56]Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Jaroslav Keznikl, Toma Bure:
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. SASO Workshops 2013: 89-94 - [c55]Serge Haddad, Rolf Hennicker, Mikael H. Møller:
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. TGC 2013: 219-234 - 2012
- [j13]Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker:
Refinement and Asynchronous Composition of Modal Petri Nets. Trans. Petri Nets Other Model. Concurr. 5: 96-120 (2012) - [c54]Sebastian S. Bauer, Rolf Hennicker, Axel Legay:
Component Interfaces with Contracts on Ports. FACS 2012: 19-35 - [c53]Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58 - [c52]Rolf Hennicker, Matthias Ludwig:
View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling. Monterey Workshop 2012: 224-250 - 2011
- [j12]Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing:
Interface theories for concurrency and data. Theor. Comput. Sci. 412(28): 3101-3121 (2011) - [c51]Rolf Hennicker, Alexander Knapp:
Modal Interface Theories for Communication-Safe Component Assemblies. ICTAC 2011: 135-153 - 2010
- [c50]Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker:
Process Refinement and Asynchronous Composition with Modalities. ACSD/Petri Nets Workshops 2010: 385-401 - [c49]Sebastian S. Bauer, Rolf Hennicker, Michel Bidoit:
A Modal Interface Theory with Data Constraints. SBMF 2010: 80-95 - [c48]Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker:
On Weak Modal Compatibility, Refinement, and the MIO Workbench. TACAS 2010: 175-189 - [c47]Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing:
Building a Modal Interface Theory for Concurrency and Data. WADT 2010: 1-12 - [c46]Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch:
Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems. FIT 2010: 1-8
2000 – 2009
- 2009
- [c45]Sebastian S. Bauer, Rolf Hennicker:
Views on Behaviour Protocols and Their Semantic Foundation. CALCO 2009: 367-382 - [c44]Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch:
Behaviour Protocols for Interacting Stateful Components. FACS@FMWeek 2009: 47-66 - 2008
- [c43]Michel Bidoit, Rolf Hennicker:
An Algebraic Semantics for Contract-Based Software Components. AMAST 2008: 216-231 - [c42]M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder:
Service Specification and Matchmaking Using Description Logic. AMAST 2008: 392-406 - [c41]Rolf Hennicker, Stephan Janisch, Alexander Knapp:
Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication. Monterey Workshop 2008: 154-180 - [c40]Rolf Hennicker, Stephan Janisch, Alexander Knapp:
On the Observable Behaviour of Composite Components. FACS 2008: 125-153 - 2007
- [c39]Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing:
Modelling the CoCoME with the Java/AComponent Model. CoCoME 2007: 207-237 - [c38]Rolf Hennicker, Alexander Knapp:
Activity-Driven Synthesis of State Machines. FASE 2007: 87-101 - 2006
- [j11]Michel Bidoit, Rolf Hennicker:
Constructor-based observational logic. J. Log. Algebraic Methods Program. 67(1-2): 3-51 (2006) - [c37]Michel Bidoit, Rolf Hennicker:
Proving Behavioral Refinements of COL-specifications. Essays Dedicated to Joseph A. Goguen 2006: 333-354 - [c36]Rolf Hennicker, Matthias Ludwig:
Design and Implementation of a Coordination Model for Distributed Simulations. Modellierung 2006: 83-97 - 2005
- [c35]Rolf Hennicker, Matthias Ludwig:
Property-Driven Development of a Coordination Model for Distributed Simulations. FMOODS 2005: 290-305 - [c34]Michel Bidoit, Rolf Hennicker:
Externalized and Internalized Notions of Behavioral Refinement. ICTAC 2005: 334-350 - [c33]Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing:
A Component Model for Architectural Programming. FACS 2005: 75-96 - 2004
- [j10]Michael N. Barth, Rolf Hennicker, Andreas Kraus, Matthias Ludwig:
DANUBIA: An Integrative Simulation System for Global Change Research in the Upper Danube Basin. Cybern. Syst. 35(7-8): 639-666 (2004) - [c32]Michel Bidoit, Rolf Hennicker:
Glass Box and Black Box Views of State-Based System Specifications.. AMAST 2004: 19 - [c31]Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister:
Glass-Box and Black-Box Views on Object-Oriented Specifications. SEFM 2004: 208-217 - 2003
- [j9]Michel Bidoit, Rolf Hennicker, Alexander Kurz:
Observational logic, constructor-based logic, and their duality. Theor. Comput. Sci. 298(3): 471-510 (2003) - [c30]Rolf Hennicker, Alexander Knapp, Hubert Baumeister:
Semantics of OCL Operation Specifications. OCL 2.0 @ UML 2003: 111-132 - [e1]Martin Wirsing, Dirk Pattinson, Rolf Hennicker:
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Lecture Notes in Computer Science 2755, Springer 2003, ISBN 3-540-20537-3 [contents] - 2002
- [j8]Alexander Kurz, Rolf Hennicker:
On institutions for modular coalgebraic specifications. Theor. Comput. Sci. 280(1-2): 69-103 (2002) - [c29]Michel Bidoit, Rolf Hennicker:
On the Integration of Observability and Reachability Concepts. FoSSaCS 2002: 21-36 - [p4]Rolf Hennicker, Heinrich Hußmann, Michel Bidoit:
On the Precise Meaning of OCL Constraints. Object Modeling with the OCL 2002: 69-84 - 2001
- [c28]Bernhard Reus, Martin Wirsing, Rolf Hennicker:
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE 2001: 300-317 - [c27]Michel Bidoit, Rolf Hennicker, Alexander Kurz:
On the Duality between Observability and Reachability. FoSSaCS 2001: 72-87 - [c26]Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing:
Specifying Component Invariants with OCL. GI Jahrestagung (1) 2001: 600-607 - [c25]Rolf Hennicker, Nora Koch:
Modeling the User Interface of Web Applications with UML. pUML 2001: 158-172 - [p3]Rolf Hennicker, Nora Koch:
Systematic Design of Web Applications with UML. Unified Modeling Language: Systems Analysis, Design and Development Issues 2001: 1-20 - 2000
- [c24]Rolf Hennicker, Nora Koch:
A UML-based Methodology for Hypermedia Design. UML 2000: 410-424
1990 – 1999
- 1999
- [c23]Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing:
Correct Realization of Interface Constraints with OCL. UML 1999: 399-415 - [c22]Rolf Hennicker, Alexander Kurz:
(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. CMCS 1999: 164-180 - [p2]Michel Bidoit, María Victoria Cengarle, Rolf Hennicker:
Proof Systems for Structured Specifications and Their Refinements. Algebraic Foundations of Systems Specification 1999: 385-433 - 1998
- [j7]Michel Bidoit, Rolf Hennicker:
Modular Correctness Proofs of Behavioural Implementations. Acta Informatica 35(11): 951-1005 (1998) - [c21]Rolf Hennicker, Michel Bidoit:
Observational Logic. AMAST 1998: 263-277 - 1997
- [j6]Rolf Hennicker, Martin Wirsing, Michel Bidoit:
Proof Systems for Structured Specifications with Observability Operators. Theor. Comput. Sci. 173(2): 393-443 (1997) - [c20]Rolf Hennicker, Martin Wirsing:
Proof Systems for Struvtured Algebraic Specifications: An Overview. FCT 1997: 19-37 - 1996
- [j5]Michel Bidoit, Rolf Hennicker:
Behavioural Theories and the Proof of Behavioural Properties. Theor. Comput. Sci. 165(1): 3-55 (1996) - [c19]Rolf Hennicker, Christoph Schmitz:
Object-Oriented Implementation of Abstract Data Type Specifications. AMAST 1996: 163-179 - 1995
- [j4]Michel Bidoit, Rolf Hennicker, Martin Wirsing:
Behavioural and Abstractor Specifications. Sci. Comput. Program. 25(2-3): 149-186 (1995) - [c18]Michel Bidoit, Rolf Hennicker:
Proving the Correctness of Behavioural Implementations. AMAST 1995: 152-168 - [p1]Stefan Gastinger, Rolf Hennicker, Robert Stabl:
Design of Modular Software Systems with Reuse. KORSO Book 1995: 112-127 - 1994
- [c17]Michel Bidoit, Rolf Hennicker:
Proving Behavioural Theorems with Standard First-Order Logic. ALP 1994: 41-58 - [c16]Michel Bidoit, Rolf Hennicker:
Behavioural Theories. COMPASS/ADT 1994: 153-169 - [c15]Michel Bidoit, Rolf Hennicker, Martin Wirsing:
Characterizing Behavioural Semantics and Abstractor Semantics. ESOP 1994: 105-119 - 1993
- [c14]Bernhard Bauer, Rolf Hennicker:
Proving the Correctness of Algebraic Implementations by the ISAR System. DISCO 1993: 2-16 - [c13]Patrick Shicheng Chen, Rolf Hennicker, Matthias Jarke:
On the retrieval of reusable software components. IWSR 1993: 99-108 - [c12]Michel Bidoit, Rolf Hennicker:
A General Framework for Modular Implementations of Modular System Specifications. TAPSOFT 1993: 199-214 - 1992
- [j3]Rolf Hennicker:
A Semi-Algorithm for Algebraic Implementation Proofs. Theor. Comput. Sci. 104(1): 53-87 (1992) - [c11]Rolf Hennicker, Friederike Nickl:
A Behavioural Algebraic Framework for Modular System Design with Reuse. COMPASS/ADT 1992: 220-234 - [c10]Michel Bidoit, Rolf Hennicker:
How to Prove Observational Theorems with LP. Larch 1992: 18-35 - [c9]Bernhard Bauer, Rolf Hennicker:
ISAR: An Interactive System for Algebraic Implementation Proofs. LPAR 1992: 451-453 - 1991
- [j2]Rolf Hennicker:
Observational Implementation of Algebraic Specifications. Acta Informatica 28(3): 187-230 (1991) - [j1]Rolf Hennicker:
Context Induction: A Proof Principle for Behavioural Abstractions and Algebraic Implementations. Formal Aspects Comput. 3(4): 326-345 (1991) - [c8]Rolf Hennicker, Martin Wirsing:
A Formal Method for the Systematic Reuse of Specification Components. Methods of Programming 1991: 49-75 - 1990
- [c7]Rolf Hennicker:
Context Induction: a Proof Principle for Behavioural Abstractions. DISCO 1990: 101-110
1980 – 1989
- 1989
- [c6]Martin Wirsing, Rolf Hennicker, Robert Stabl:
MENU - An Example for the Systematic Reuse of Specifications. ESEC 1989: 20-41 - [c5]Rolf Hennicker:
Observational Implementations. STACS 1989: 59-71 - [c4]Rolf Hennicker:
Implementation of Parameterized Observational Specifications. TAPSOFT, Vol.1 1989: 290-305 - 1988
- [b1]Rolf Hennicker:
Beobachtungsorientierte Spezifikationen. University of Passau, Germany, 1988, pp. 1-161 - [c3]Martin Wirsing, Rolf Hennicker, Ruth Breu:
Reusable Specification Components. MFCS 1988: 121-137 - 1986
- [c2]Rolf Hennicker:
An Implementation Concept for Observational Specifications. ADT 1986 - 1984
- [c1]Rolf Hennicker, Martin Wirsing:
Observational Specification: A Birkhoff Theorem. ADT 1984: 119-135
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-10-30 21:33 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:
