default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatteo Pradella
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
[e3]André Platzer
, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi:
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14933, Springer 2025, ISBN 978-3-031-71161-9 [contents]- [e2]André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi:
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14934, Springer 2025, ISBN 978-3-031-71176-3 [contents] - 2024
- [j29]Matteo Pradella:
Review on Verified Functional Programming in Agda: By Aaron Stump ACM, ISBN: 978-1-97000-126-6, 246 pages, 2016. Formal Aspects Comput. 36(1): 7:1-7:2 (2024) - [c56]Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella:
SMT-Based Symbolic Model-Checking for Operator Precedence Languages. CAV (1) 2024: 387-408 - [c55]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Cyclic Operator Precedence Grammars for Improved Parallel Parsing. DLT 2024: 98-113 - [e1]Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi, James Cheney:
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024. ACM 2024, ISBN 979-8-4007-0969-2 [contents] - [i22]Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella:
SMT-based Symbolic Model-Checking for Operator Precedence Languages. CoRR abs/2405.11327 (2024) - 2023
- [j28]Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi:
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages. Log. Methods Comput. Sci. 19(4) (2023) - [j27]Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella:
A Model Checker for Operator Precedence Languages. ACM Trans. Program. Lang. Syst. 45(3): 19:1-19:66 (2023) - [i21]Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, Matteo Rossi:
Lecture Notes on Monadic First- and Second-Order Logic on Strings. CoRR abs/2301.10519 (2023) - [i20]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Cyclic Operator Precedence Grammars for Parallel Parsing. CoRR abs/2309.04200 (2023) - 2022
- [j26]Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella:
Weighted operator precedence languages. Inf. Comput. 282: 104658 (2022) - [j25]Michele Chiari, Dino Mandrioli, Matteo Pradella:
A First-Order Complete Temporal Logic for Structured Context-Free Languages. Log. Methods Comput. Sci. 18(3) (2022) - [c54]Michele Chiari, Michele De Pascalis, Matteo Pradella:
Static Analysis of Infrastructure as Code: a Survey. ICSA Companion 2022: 218-225 - [i19]Michele Chiari, Michele De Pascalis, Matteo Pradella:
Static Analysis of Infrastructure as Code: a Survey. CoRR abs/2206.10344 (2022) - 2021
- [c53]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Model-Checking Structured Context-Free Languages. CAV (2) 2021: 387-410 - [c52]Francesco Pontiggia, Michele Chiari, Matteo Pradella:
Verification of Programs with Exceptions Through Operator Precedence Automata. SEFM 2021: 293-311 - [i18]Michele Chiari, Dino Mandrioli, Matteo Pradella:
A First-Order Complete Temporal Logic for Structured Context-Free Languages. CoRR abs/2105.10740 (2021) - 2020
- [j24]Stefano Crespi-Reghizzi, Matteo Pradella:
Beyond operator-precedence grammars and languages. J. Comput. Syst. Sci. 113: 18-41 (2020) - [j23]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Operator precedence temporal logic and model checking. Theor. Comput. Sci. 848: 47-81 (2020) - [c51]Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi:
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. ICTAC 2020: 161-180 - [c50]Michele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella:
Linear Temporal Logics for Structured Context-Free Languages. ICTCS 2020: 115-121 - [i17]Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi:
Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages. CoRR abs/2006.01236 (2020)
2010 – 2019
- 2019
- [c49]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Word- and Tree-based Temporal Logics for Operator Precedence Languages. ICTCS 2019: 222-228 - [i16]Michele Chiari, Dino Mandrioli, Matteo Pradella:
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages. CoRR abs/1910.09327 (2019) - 2018
- [j22]Dino Mandrioli, Matteo Pradella:
Generalizing input-driven languages: Theoretical and practical benefits. Comput. Sci. Rev. 27: 61-87 (2018) - [c48]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Temporal Logic and Model Checking for Operator Precedence Languages. GandALF 2018: 161-175 - 2017
- [j21]Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella:
Toward a theory of input-driven locally parsable languages. Theor. Comput. Sci. 658: 105-121 (2017) - [c47]Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella:
Weighted Operator Precedence Languages. MFCS 2017: 31:1-31:15 - [c46]Stefano Crespi-Reghizzi, Matteo Pradella:
Higher-order Operator Precedence Languages. AFL 2017: 86-100 - [i15]Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella:
Weighted Operator Precedence Languages. CoRR abs/1702.04597 (2017) - [i14]Dino Mandrioli, Matteo Pradella:
Generalizing input-driven languages: theoretical and practical benefits. CoRR abs/1705.00984 (2017) - 2015
- [j20]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
ContextErlang: A language for distributed context-aware self-adaptive applications. Sci. Comput. Program. 102: 20-43 (2015) - [j19]Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella:
Parallel parsing made practical. Sci. Comput. Program. 112: 195-226 (2015) - [j18]Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella:
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization. SIAM J. Comput. 44(4): 1026-1088 (2015) - [j17]Dino Mandrioli, Matteo Pradella:
Programming Languages shouldn't be "too Natural". ACM SIGSOFT Softw. Eng. Notes 40(1): 1-4 (2015) - [c45]Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella:
First-Order Logic Definability of Free Languages. CSR 2015: 310-324 - [c44]Gianpaolo Cugola, Alessandro Margara, Mauro Pezzè, Matteo Pradella:
Efficient analysis of event processing applications. DEBS 2015: 10-21 - [c43]Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella:
Locally Chain-Parsable Languages. MFCS (1) 2015: 154-166 - 2014
- [j16]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Constraint LTL satisfiability checking without automata. J. Appl. Log. 12(4): 522-557 (2014) - [c42]Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella:
The PAPAGENO Parallel-Parser Generator. CC 2014: 192-196 - 2013
- [j15]Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella:
Parallel parsing of operator precedence grammars. Inf. Process. Lett. 113(7): 245-249 (2013) - [j14]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
An Analysis of Language-Level Support for Self-Adaptive Software. ACM Trans. Auton. Adapt. Syst. 8(2): 7:1-7:29 (2013) - [j13]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
Bounded satisfiability checking of metric temporal logic specifications. ACM Trans. Softw. Eng. Methodol. 22(3): 20:1-20:54 (2013) - [c41]Federica Panella, Matteo Pradella, Violetta Lonati, Dino Mandrioli:
Operator Precedence ω-Languages. Developments in Language Theory 2013: 396-408 - [c40]Violetta Lonati, Dino Mandrioli, Matteo Pradella:
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages. SOFSEM 2013: 307-318 - [i13]Federica Panella, Matteo Pradella, Dino Mandrioli, Violetta Lonati:
Operator Precedence ω-languages. CoRR abs/1301.2476 (2013) - 2012
- [j12]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
Context-oriented programming: A software engineering perspective. J. Syst. Softw. 85(8): 1801-1817 (2012) - [c39]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
ContextErlang: introducing context-oriented programming in the actor model. AOSD 2012: 191-202 - [c38]Alessandro Barenghi, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella:
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars. SLE 2012: 264-274 - [i12]Violetta Lonati, Dino Mandrioli, Matteo Pradella:
Logic Characterization of Floyd Languages. CoRR abs/1204.4639 (2012) - [i11]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Constraint LTL Satisfiability Checking without Automata. CoRR abs/1205.0946 (2012) - 2011
- [j11]Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi:
A unifying approach to picture grammars. Inf. Comput. 209(9): 1246-1267 (2011) - [j10]Violetta Lonati, Matteo Pradella:
Strategies to scan pictures with automata based on Wang tiles. RAIRO Theor. Informatics Appl. 45(1): 163-180 (2011) - [c37]Violetta Lonati, Dino Mandrioli, Matteo Pradella:
Precedence Automata and Languages. CSR 2011: 291-304 - [c36]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
JavaCtx: seamless toolchain integration for context-oriented programming. COP@ECOOP 2011: 4:1-4:6 - [c35]Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi:
An evaluation of the adaptation capabilities in programming languages. SEAMS 2011: 50-59 - [c34]Violetta Lonati, Matteo Pradella:
Towards More Expressive 2D Deterministic Automata. CIAA 2011: 225-237 - [i10]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming. CoRR abs/1104.1351 (2011) - [i9]Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella:
Context-Oriented Programming: A Programming Paradigm for Autonomic Systems. CoRR abs/1105.0069 (2011) - 2010
- [j9]Violetta Lonati, Matteo Pradella:
Deterministic recognizability of picture languages with Wang automata. Discret. Math. Theor. Comput. Sci. 12(4): 73-94 (2010) - [c33]Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi:
Context oriented programming in highly concurrent systems. COP@ECOOP 2010: 1:1-1:3 - [c32]Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella:
A Tile-Based Approach for Self-Assembling Service Compositions. ICECCS 2010: 43-52 - [c31]Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi:
Programming language support to context-aware adaptation: a case-study with Erlang. SEAMS 2010: 59-68 - [c30]Luca Cavallaro, Elisabetta Di Nitto, Patrizio Pelliccione, Matteo Pradella, Massimo Tivoli:
Synthesizing adapters for conversational web-services from their WSDL interface. SEAMS 2010: 104-113 - [c29]Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi:
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. SEFM 2010: 244-254 - [c28]Violetta Lonati, Matteo Pradella:
Picture Recognizability with Automata Based on Wang Tiles. SOFSEM 2010: 576-587 - [c27]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Bounded Reachability for Temporal Logic over Constraint Systems. TIME 2010: 43-50 - [i8]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Bounded Reachability for Temporal Logic over Constraint Systems. CoRR abs/1004.1077 (2010) - [i7]Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi:
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability. CoRR abs/1004.2873 (2010) - [i6]Violetta Lonati, Dino Mandrioli, Matteo Pradella:
Precedence Automata and Languages. CoRR abs/1012.2321 (2010)
2000 – 2009
- 2009
- [j8]Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Comments on temporal logics for real-time system specification. ACM Comput. Surv. 41(2): 13:1-13:5 (2009) - [c26]Alessandra Cherubini, Matteo Pradella:
Picture Languages: From Wang Tiles to 2D Grammars. CAI 2009: 13-46 - [c25]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
A Metric Encoding for Bounded Model Checking. FM 2009: 741-756 - [c24]Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradella:
An Automatic Approach to Enable Replacement of Conversational Services. ICSOC/ServiceWave 2009: 159-174 - [c23]Violetta Lonati, Matteo Pradella:
Deterministic recognizability of picture languages by Wang automata. ICTCS 2009: 150-154 - [c22]Violetta Lonati, Matteo Pradella:
Snake-Deterministic Tiling Systems. MFCS 2009: 549-560 - [c21]Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. SEFM 2009: 13-22 - [i5]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
A Metric Encoding for Bounded Model Checking (extended version). CoRR abs/0907.3085 (2009) - [i4]Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. CoRR abs/0907.5074 (2009) - [i3]Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi:
A unifying approach to picture grammars. CoRR abs/0910.2829 (2009) - [i2]Matteo Pradella:
A User's Guide to Zot. CoRR abs/0912.5014 (2009) - 2008
- [j7]Stefano Crespi-Reghizzi, Matteo Pradella:
A CKY parser for picture grammars. Inf. Process. Lett. 105(6): 213-217 (2008) - [j6]Matteo Pradella, Stefano Crespi-Reghizzi:
A SAT-based parser and completer for pictures specified by tiling. Pattern Recognit. 41(2): 555-566 (2008) - [c20]Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. FM 2008: 132-147 - [c19]Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Practical Automated Partial Verification of Multi-paradigm Real-Time Models. ICFEM 2008: 298-317 - [c18]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. ICTAC 2008: 290-304 - [c17]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. ASE 2008: 119-127 - [c16]Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella:
Regional Languages and Tiling: A Unifying Approach to Picture Grammars. MFCS 2008: 253-264 - [i1]Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models. CoRR abs/0804.4383 (2008) - 2007
- [c15]Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395 - [c14]Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini:
Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62 - [c13]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. ESEC/SIGSOFT FSE 2007: 312-320 - 2006
- [j5]Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro:
Picture languages: Tiling systems versus tile rewriting grammars. Theor. Comput. Sci. 356(1-2): 90-103 (2006) - [j4]Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi:
Comments on "An Interval Logic for Real-Time System Specification'. IEEE Trans. Software Eng. 32(6): 424-427 (2006) - [c12]Pietro Colombo, Matteo Pradella, Matteo Rossi:
A UML 2-compatible language and tool for formal modeling real-time system architectures. SAC 2006: 1785-1790 - 2005
- [j3]Stefano Crespi-Reghizzi, Matteo Pradella:
Tile rewriting grammars and picture languages. Theor. Comput. Sci. 340(1): 257-272 (2005) - [c11]Matteo Pradella, Matteo Rossi, Dino Mandrioli:
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. FORTE 2005: 381-395 - [c10]Matteo Pradella, Matteo Rossi, Dino Mandrioli:
A UML-Compatible Formal Language for System Architecture Description. SDL Forum 2005: 234-246 - 2003
- [j2]Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli:
A formal approach for designing CORBA-based applications. ACM Trans. Softw. Eng. Methodol. 12(2): 107-151 (2003) - [c9]Myla Archer, Elizabeth I. Leonard, Matteo Pradella:
Modeling Security-Enhanced Linux Policy Specifications for Analysis. DISCEX (2) 2003: 164-169 - [c8]Stefano Crespi-Reghizzi, Matteo Pradella:
Tile Rewriting Grammars. Developments in Language Theory 2003: 206-217 - [c7]Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini:
Model-Checking TRIO Specifications in SPIN. FME 2003: 542-561 - [c6]Myla Archer, Elizabeth I. Leonard, Matteo Pradella:
Analyzing Security-Enhanced Linux Policy Specifications. POLICY 2003: 158- - 2002
- [c5]Umberto Foschi, Mauro Giuliani, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro:
Software procurement and methods for specification and validation in the railway transportation industry. SMC 2002: 6 - 2000
- [j1]Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro:
Associative definition of programming languages. Comput. Lang. 26(2-4): 105-123 (2000) - [c4]Matteo Pradella, Marco Colombetti:
A Formal Description of a Practical Agent for E-Commerce. AMEC 2000: 84-95 - [c3]Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini:
A formal approach for designing CORBA based applications. ICSE 2000: 188-197
1990 – 1999
- 1999
- [c2]Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio:
A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. PDSE 1999: 217-223 - 1998
- [c1]Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro:
A Finite-Domain Semantics for Testing Temporal Logic Specifications. FTRTFT 1998: 41-54
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-16 21:22 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:
