default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElena Zucca
Person information
- affiliation: University of Genoa, Italy
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
[j30]Davide Ancona
, Pietro Barbieri, Elena Zucca:
Checking equivalence of corecursive streams: An inductive procedure. Theor. Comput. Sci. 1009: 114680 (2024)- 2023
- [j29]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
Resource-Aware Soundness for Big-Step Semantics. Proc. ACM Program. Lang. 7(OOPSLA2): 1281-1309 (2023) - [j28]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
A Java-like calculus with heterogeneous coeffects. Theor. Comput. Sci. 971: 114063 (2023) - [j27]Davide Ancona, Pietro Barbieri, Elena Zucca:
Checked corecursive streams: Expressivity and completeness. Theor. Comput. Sci. 974: 114081 (2023) - [c84]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
Multi-Graded Featherweight Java. ECOOP 2023: 3:1-3:27 - [i10]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
Multi-graded Featherweight Java. CoRR abs/2302.07782 (2023) - 2022
- [j26]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto:
Coeffects for sharing and mutation. Proc. ACM Program. Lang. 6(OOPSLA2): 870-898 (2022) - [c83]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhancing Expressivity of Checked Corecursive Streams. FLOPS 2022: 1-18 - [c82]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
A Java-Like Calculus with User-Defined Coeffects. ICTCS 2022: 66-78 - [c81]Davide Ancona, Pietro Barbieri, Elena Zucca:
Equality of Corecursive Streams Defined by Finitary Equational Systems. ICTCS 2022: 86-98 - [i9]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhancing expressivity of checked corecursive streams (extended version). CoRR abs/2202.06868 (2022) - [i8]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto:
Coeffects for Sharing and Mutation. CoRR abs/2209.07439 (2022) - 2021
- [c80]Marco Servetto, Elena Zucca:
λ-Based Object-Oriented Programming (Pearl). ECOOP 2021: 21:1-21:16 - [c79]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhanced Regular Corecursion for Data Streams. ICTCS 2021: 266-280 - [c78]Luca Ciccone, Francesco Dagnino, Elena Zucca:
Flexible Coinduction in Agda. ITP 2021: 13:1-13:19 - [i7]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhanced Regular Corecursion for Data Streams. CoRR abs/2108.00281 (2021) - 2020
- [j25]Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca:
A big step from finite to infinite computations. Sci. Comput. Program. 197: 102492 (2020) - [j24]Francesco Dagnino, Davide Ancona, Elena Zucca:
Flexible coinductive logic programming. Theory Pract. Log. Program. 20(6): 818-833 (2020) - [c77]Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca:
Sound Regular Corecursion in coFJ. ECOOP 2020: 1:1-1:28 - [c76]Pietro Barbieri, Francesco Dagnino, Elena Zucca:
An inductive abstract semantics for coFJ. FTfJP@ECOOP 2020: 4-9 - [c75]Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca:
A Big Step from Finite to Infinite Computations (SCICO Journal-first). ECOOP 2020: 32:1-32:2 - [c74]Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness Conditions for Big-Step Semantics. ESOP 2020: 169-196 - [i6]Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness conditions for big-step semantics. CoRR abs/2002.08738 (2020) - [i5]Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca:
Sound Regular Corecursion in coFJ. CoRR abs/2005.14085 (2020) - [i4]Francesco Dagnino, Davide Ancona, Elena Zucca:
Flexible coinductive logic programming. CoRR abs/2008.02140 (2020)
2010 – 2019
- 2019
- [j23]Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca:
Tracing sharing in an imperative pure calculus. Sci. Comput. Program. 172: 180-202 (2019) - [j22]Paola Giannini, Marco Servetto, Elena Zucca, James Cone:
Flexible recovery of uniqueness and immutability. Theor. Comput. Sci. 764: 145-172 (2019) - [c73]Silvia Crafa, Matteo Di Pirro, Elena Zucca:
Is Solidity Solid Enough? Financial Cryptography Workshops 2019: 138-153 - [c72]Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona:
Corecursive Featherweight Java Revisited. ICTCS 2019: 158-170 - [c71]Paola Giannini, Marco Servetto, Elena Zucca:
Tracing and Preventing Sharing and Mutation. ICTCS 2019: 190-203 - 2018
- [c70]Davide Ancona, Francesco Dagnino, Elena Zucca:
Modeling Infinite Behaviour by Corules. ECOOP 2018: 21:1-21:31 - [c69]Paola Giannini, Marco Servetto, Elena Zucca:
A type and effect system for uniqueness and immutability. SAC 2018: 1038-1045 - [c68]Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca:
Semantic Subtyping for Non-Strict Languages. TYPES 2018: 4:1-4:24 - [c67]Paola Giannini, Marco Servetto, Elena Zucca:
A Syntactic Model of Mutation and Aliasing. DCM/ITRS 2018: 39-55 - [i3]Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca:
Tracing sharing in an imperative pure calculus. CoRR abs/1803.05838 (2018) - [i2]Paola Giannini, Marco Servetto, Elena Zucca, James Cone:
Flexible recovery of uniqueness and immutability (Extended Version). CoRR abs/1807.00137 (2018) - [i1]Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca:
Semantic subtyping for non-strict languages. CoRR abs/1810.05555 (2018) - 2017
- [j21]Davide Ancona, Paola Giannini, Elena Zucca:
Type safe incremental rebinding. Math. Struct. Comput. Sci. 27(2): 94-122 (2017) - [j20]Davide Ancona, Francesco Dagnino, Elena Zucca:
Reasoning on divergent computations with coaxioms. Proc. ACM Program. Lang. 1(OOPSLA): 81:1-81:26 (2017) - [c66]Paola Giannini, Marco Servetto, Elena Zucca:
Tracing sharing in an imperative pure calculus: extended abstract. FTfJP@ECOOP 2017: 6:1-6:6 - [c65]Davide Ancona, Francesco Dagnino, Elena Zucca:
Generalizing Inference Systems by Coaxioms. ESOP 2017: 29-55 - [c64]Paola Giannini, Marco Servetto, Elena Zucca:
A type and effect system for sharing. SAC 2017: 1513-1515 - 2016
- [c63]Paola Giannini, Marco Servetto, Elena Zucca:
Coupling catch clauses with local declarations. FTfJP@ECOOP 2016: 6 - [c62]Davide Ancona, Francesco Dagnino, Elena Zucca:
Towards a model of corecursion with default. FTfJP@ECOOP 2016: 9 - [c61]Paola Giannini, Marco Servetto, Elena Zucca:
Types for Immutability and Aliasing Control. ICTCS 2016: 62-74 - [c60]Paola Giannini, Marco Servetto, Elena Zucca:
Runtime Checks as Nominal Types. ICTCS 2016: 75-87 - [c59]Paola Giannini, Marco Servetto, Elena Zucca:
Initialize-and-catch. SAC 2016: 1819-1822 - [c58]Davide Ancona, Francesco Dagnino, Elena Zucca:
Extending Coinductive Logic Programming with Co-Facts. CoALP-Ty 2016: 1-18 - 2015
- [c57]Marco Servetto, Elena Zucca:
Aliasing Control in an Imperative Pure Calculus. APLAS 2015: 208-228 - [c56]Davide Ancona, Paola Giannini, Elena Zucca:
Constrained Polymorphic Types for a Calculus with Name Variables. TYPES 2015: 4:1-4:29 - [c55]Davide Ancona, Paola Giannini, Elena Zucca:
Incremental Rebinding with Name Polymorphism. ICTCS 2015: 19-34 - [c54]Andrea Capriccioli, Marco Servetto, Elena Zucca:
An Imperative Pure Calculus. ICTCS 2015: 87-102 - 2014
- [j19]Marco Servetto, Elena Zucca:
A meta-circular language for active libraries. Sci. Comput. Program. 95: 219-253 (2014) - 2013
- [c53]Davide Ancona, Elena Zucca:
Safe corecursion in coFJ. FTfJP@ECOOP 2013: 2:1-2:7 - [c52]Marco Servetto, Elena Zucca:
A meta-circular language for active libraries. PEPM 2013: 117-126 - 2012
- [j18]Giovanni Lagorio, Marco Servetto, Elena Zucca:
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. Inf. Comput. 214: 86-111 (2012) - [j17]Andrea Corradi, Marco Servetto, Elena Zucca:
DeepFJig - Modular composition of nested classes. J. Object Technol. 11(2): 1: 1-42 (2012) - [c51]Davide Ancona, Elena Zucca:
Corecursive Featherweight Java. FTfJP@ECOOP 2012: 3-10 - [c50]Davide Ancona, Paola Giannini, Elena Zucca:
Reconciling positional and nominal binding. ITRS 2012: 81-93 - 2011
- [j16]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
Extending the lambda-calculus with unbind and rebind. RAIRO Theor. Informatics Appl. 45(1): 143-162 (2011) - [c49]Jonathan Aldrich, Jeremy G. Siek, Elena Zucca:
2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. OOPSLA Companion 2011: 319-320 - [c48]Andrea Corradi, Marco Servetto, Elena Zucca:
DeepFJig: modular composition of nested classes. PPPJ 2011: 101-110 - 2010
- [c47]Marco Servetto, Elena Zucca:
MetaFJig: a meta-circular composition language for Java-like classes. OOPSLA 2010: 464-483 - [c46]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
Intersection types for unbind and rebind. ITRS 2010: 45-58 - [e1]John Hatcliff, Elena Zucca:
Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture Notes in Computer Science 6117, Springer 2010, ISBN 978-3-642-13463-0 [contents]
2000 – 2009
- 2009
- [c45]Giovanni Lagorio, Marco Servetto, Elena Zucca:
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. ECOOP 2009: 244-268 - [c44]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
The essence of static and dynamic bindings. ICTCS 2009: 99-106 - [c43]Giovanni Lagorio, Marco Servetto, Elena Zucca:
Customizable composition operators for Java-like classes. ICTCS 2009: 136-142 - [c42]Giovanni Lagorio, Marco Servetto, Elena Zucca:
A Lightweight Approach to Customizable Composition Operators for Java-like Classes. FACS@FMWeek 2009: 161-177 - 2008
- [c41]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Type Inference by Coinductive Logic Programming. TYPES 2008: 1-18 - 2007
- [j15]Giovanni Lagorio, Elena Zucca:
Just: Safe Unknown Types in Java-like Languages. J. Object Technol. 6(2): 69-98 (2007) - [j14]Sonia Fagorzi, Elena Zucca:
A calculus of open modules: call-by-need strategy and confluence. Math. Struct. Comput. Sci. 17(4): 675-751 (2007) - [j13]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2): 13 (2007) - [c40]Davide Ancona, Elena Zucca:
A formal framework for compositional compilation. ICTCS 2007: 106-117 - [c39]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Type inference for polymorphic methods in Java-like languages. ICTCS 2007: 118-129 - [c38]Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Parametric Calculus for Mobile Open Code. DCM@ICALP 2007: 3-22 - 2006
- [c37]Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58 - [c36]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Flexible Type-Safe Linking of Components for Java-Like Languages. JMLC 2006: 136-154 - [c35]Giovanni Lagorio, Elena Zucca:
Introducing safe unknown types in Java-like languages. SAC 2006: 1429-1434 - [c34]Sonia Fagorzi, Elena Zucca:
A Framework for Type Safe Exchange of Mobile Code. TGC 2006: 319-338 - [c33]Sonia Fagorzi, Elena Zucca:
A Calculus of Components with Dynamic Type-Checking. FACS 2006: 73-90 - 2005
- [c32]Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca:
Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37 - [c31]Davide Ancona, Sonia Fagorzi, Elena Zucca:
Mixin Modules for Dynamic Rebinding. TGC 2005: 279-298 - [c30]Sonia Fagorzi, Elena Zucca:
A Calculus for Reconfiguration: (Extended abstract). DCM@ICALP 2005: 49-59 - 2004
- [j12]Sonia Fagorzi, Elena Zucca:
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders. J. Object Technol. 3(11): 31-54 (2004) - [c29]Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Calculus with Lazy Module Operators. IFIP TCS 2004: 423-436 - [c28]Davide Ancona, Elena Zucca:
Principal typings for Java-like languages. POPL 2004: 306-317 - [c27]Sonia Fagorzi, Elena Zucca, Davide Ancona:
Modeling multiple class loaders by a calculus for dynamic linking. SAC 2004: 1281-1288 - [c26]Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Calculus for Dynamic Reconfiguration with Low Priority Linking. WOOD 2004: 3-35 - 2003
- [j11]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Jam - designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. 25(5): 641-712 (2003) - [c25]Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca:
Mixin Modules and Computational Effects. ICALP 2003: 224-238 - [c24]Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Calculus for Dynamic Linking. ICTCS 2003: 284-301 - 2002
- [j10]Davide Ancona, Elena Zucca:
A calculus of module systems. J. Funct. Program. 12(2): 91-132 (2002) - [j9]Davide Ancona, Elena Zucca:
A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. Math. Struct. Comput. Sci. 12(6): 701-737 (2002) - [c23]Davide Ancona, Giovanni Lagorio, Elena Zucca:
A Formal Framework for Java Separate Compilation. ECOOP 2002: 609-636 - [c22]Davide Ancona, Giovanni Lagorio, Elena Zucca:
True separate compilation of Java classes. PPDP 2002: 189-200 - 2001
- [c21]Davide Ancona, Elena Zucca:
True Modules for Java-like Languages. ECOOP 2001: 354-380 - [c20]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
An Effective Translation of Fickle into Java. ICTCS 2001: 215-234 - [c19]Davide Ancona, Giovanni Lagorio, Elena Zucca:
A Core Calculus for Java Exceptions. OOPSLA 2001: 16-30 - [c18]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
A type preserving translation of Fickle into Java. TOSCA 2001: 69-82 - 2000
- [c17]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Jam - A Smooth Extension of Java with Mixins. ECOOP 2000: 154-178
1990 – 1999
- 1999
- [j8]Philippe Audebaud, Elena Zucca:
Deriving Proof Rules from Continuation Semantics. Formal Aspects Comput. 11(4): 426-447 (1999) - [j7]Egidio Astesiano, Gianna Reggio, Elena Zucca:
Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages. Sci. Comput. Program. 34(3): 163-190 (1999) - [j6]Elena Zucca:
From Static to Dynamic Abstract Data-Types: An Institution Transformation. Theor. Comput. Sci. 216(1-2): 109-157 (1999) - [c16]Davide Ancona, Maura Cerioli, Elena Zucca:
A Formal Framework with Late Binding. FASE 1999: 30-44 - [c15]Davide Ancona, Elena Zucca:
A Primitive Calculus for Module Systems. PPDP 1999: 62-79 - [c14]Davide Ancona, Maura Cerioli, Elena Zucca:
Extending Casl by Late Binding. WADT 1999: 53-72 - 1998
- [j5]Davide Ancona, Elena Zucca:
A Theory of Mixin Modules: Basic and Derived Operators. Math. Struct. Comput. Sci. 8(4): 401-446 (1998) - 1997
- [c13]Davide Ancona, Elena Zucca:
Overriding Operators in a Mixin-Based Framework. PLILP 1997: 47-61 - [c12]Davide Ancona, Elena Zucca:
An algebra of mixin modules. WADT 1997: 92-106 - [c11]Maura Cerioli, Elena Zucca:
Implementation of derived programs (almost) for free. WADT 1997: 141-155 - 1996
- [j4]Ruth Breu, Elena Zucca:
An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract). Formal Aspects Comput. 8(6): 706-715 (1996) - [j3]Egidio Astesiano, Elena Zucca:
A Free Construction of Dynamic Terms. J. Comput. Syst. Sci. 52(1): 143-156 (1996) - [c10]Davide Ancona, Elena Zucca:
An Algebraic Approach to Mixins and Modularity. ALP 1996: 179-193 - [c9]Davide Ancona, Elena Zucca:
A Formal Framework for Modules with State. AMAST 1996: 148-162 - [c8]Elena Zucca:
From Static to Dynamic Abstract Data-Types. MFCS 1996: 579-590 - 1995
- [j2]Egidio Astesiano, Elena Zucca:
D-oids: A Model for Dynamic Data-Types. Math. Struct. Comput. Sci. 5(2): 257-282 (1995) - 1994
- [c7]Elena Zucca:
Implementation of Data Structures in an Imperative Framework. COMPASS/ADT 1994: 483-498 - 1993
- [c6]Egidio Astesiano, Gianna Reggio, Elena Zucca:
Stores as Homomorphisms and their Transformations. MFCS 1993: 242-251 - 1992
- [c5]Egidio Astesiano, Elena Zucca:
A Semantic Model for Dynamic Systems. FMLDO 1992: 63-83
1980 – 1989
- 1989
- [c4]Ruth Breu, Elena Zucca:
An Algebraic Compositional Semantics of an Object Oriented Notation with Concurrency. FSTTCS 1989: 131-142 - 1987
- [c3]Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca:
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. Algebraic Methods 1987: 91-116 - 1984
- [j1]Egidio Astesiano, Elena Zucca:
Parametric Channels via Label Expressions in CCS. Theor. Comput. Sci. 33: 45-63 (1984) - 1981
- [c2]Egidio Astesiano, Elena Zucca:
Semantics of Distributed Processes Derived by Translation. GI Jahrestagung 1981: 78-87 - [c1]Egidio Astesiano, Elena Zucca:
Semantics of CSP via Translation into CCS. MFCS 1981: 172-182
Coauthor Index
[j30] [j27] [c83] [c81] [i9] [c79] [i7] [j25] [j24] [c77] [c75] [i5] [i4] [c72] [c70] [c68] [i1] [j21] [j20] [c65] [c62] [c58] [c56] [c55] [c53] [c51] [c50] [c41] [j13] [c40] [c39] [c38] [c37] [c36] [c32] [c31] [c29] [c28] [c27] [c26] [j11] [c25] [c24] [j10] [j9] [c23] [c22] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [j5] [c13] [c12] [c10] [c9]
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-04 03:35 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:
