default search action
Dino Mandrioli
Person information
- affiliation: Polytechnic University of Milan, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c51]Michele Chiari
, Dino Mandrioli
Cyclic Operator Precedence Grammars for Improved Parallel Parsing. DLT 2024: 98-113 - 2023
- [j55]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) - [j54]Michele Chiari
A Model Checker for Operator Precedence Languages. ACM Trans. Program. Lang. Syst. 45(3): 19:1-19:66 (2023) - [i15]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) - [i14]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Cyclic Operator Precedence Grammars for Parallel Parsing. CoRR abs/2309.04200 (2023) - 2022
- [j53]Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella:
Weighted operator precedence languages. Inf. Comput. 282: 104658 (2022) - [j52]Michele Chiari, Dino Mandrioli, Matteo Pradella:
A First-Order Complete Temporal Logic for Structured Context-Free Languages. Log. Methods Comput. Sci. 18(3) (2022) - 2021
- [c50]Michele Chiari
Model-Checking Structured Context-Free Languages. CAV (2) 2021: 387-410 - [i13]Michele Chiari, Dino Mandrioli, Matteo Pradella:
A First-Order Complete Temporal Logic for Structured Context-Free Languages. CoRR abs/2105.10740 (2021) - 2020
- [j51]Michele Chiari
Operator precedence temporal logic and model checking. Theor. Comput. Sci. 848: 47-81 (2020) - [j50]Federico Vicentini
Safety Assessment of Collaborative Robotics Through Automated Formal Verification. IEEE Trans. Robotics 36(1): 42-61 (2020) - [c49]Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi:
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. ICTAC 2020: 161-180 - [c48]Michele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella:
Linear Temporal Logics for Structured Context-Free Languages. ICTCS 2020: 115-121 - [i12]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
- [c47]Mehrnoosh Askarpour
Formal Methods in Designing Critical Cyber-Physical Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 110-130 - [c46]Michele Chiari, Dino Mandrioli, Matteo Pradella:
Word- and Tree-based Temporal Logics for Operator Precedence Languages. ICTCS 2019: 222-228 - [i11]Michele Chiari, Dino Mandrioli, Matteo Pradella:
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages. CoRR abs/1910.09327 (2019) - 2018
- [j49]Dino Mandrioli, Matteo Pradella
Generalizing input-driven languages: Theoretical and practical benefits. Comput. Sci. Rev. 27: 61-87 (2018) - [c45]Michele Chiari
Temporal Logic and Model Checking for Operator Precedence Languages. GandALF 2018: 161-175 - 2017
- [j48]Stefano Crespi-Reghizzi, Violetta Lonati
Toward a theory of input-driven locally parsable languages. Theor. Comput. Sci. 658: 105-121 (2017) - [c44]Mehrnoosh Askarpour
A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications. Ershov Informatics Conference 2017: 12-27 - [c43]Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Weighted Operator Precedence Languages. MFCS 2017: 31:1-31:15 - [c42]Mehrnoosh Askarpour
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. SAFECOMP 2017: 89-104 - [i10]Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella:
Weighted Operator Precedence Languages. CoRR abs/1702.04597 (2017) - [i9]Dino Mandrioli, Matteo Pradella:
Generalizing input-driven languages: theoretical and practical benefits. CoRR abs/1705.00984 (2017) - 2016
- [j47]Matteo Rossi
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications. Theor. Comput. Sci. 643: 38-64 (2016) - [c41]Mehrnoosh Askarpour
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. SAFECOMP 2016: 283-295 - 2015
- [j46]Domenico Bianculli
Syntactic-semantic incrementality for agile verification. Sci. Comput. Program. 97: 47-54 (2015) - [j45]Alessandro Barenghi
Parallel parsing made practical. Sci. Comput. Program. 112: 195-226 (2015) - [j44]Violetta Lonati
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization. SIAM J. Comput. 44(4): 1026-1088 (2015) - [j43]Dino Mandrioli, Matteo Pradella:
Programming Languages shouldn't be "too Natural". ACM SIGSOFT Softw. Eng. Notes 40(1): 1-4 (2015) - [c40]Violetta Lonati
First-Order Logic Definability of Free Languages. CSR 2015: 310-324 - [c39]Dino Mandrioli:
On the Heroism of Really Pursuing Formal Methods. FormaliSE@ICSE 2015: 1-5 - [c38]Domenico Bianculli
Syntax-Driven Program Verification of Matching Logic Properties. FormaliSE@ICSE 2015: 68-74 - [c37]Stefano Crespi-Reghizzi, Violetta Lonati
Locally Chain-Parsable Languages. MFCS (1) 2015: 154-166 - 2014
- [j42]Emanuele Carpanzano
Automated formal verification for flexible manufacturing systems. J. Intell. Manuf. 25(5): 1181-1195 (2014) - [c36]Alessandro Barenghi
The PAPAGENO Parallel-Parser Generator. CC 2014: 192-196 - [c35]Domenico Bianculli, Antonio Filieri
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. ISoLA (1) 2014: 41-55 - 2013
- [j41]Alessandro Barenghi
Parallel parsing of operator precedence grammars. Inf. Process. Lett. 113(7): 245-249 (2013) - [c34]Federica Panella, Matteo Pradella
Operator Precedence ω-Languages. Developments in Language Theory 2013: 396-408 - [c33]Violetta Lonati
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages. SOFSEM 2013: 307-318 - [i8]Federica Panella, Matteo Pradella, Dino Mandrioli, Violetta Lonati:
Operator Precedence ω-languages. CoRR abs/1301.2476 (2013) - [i7]Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli:
A Syntactic-Semantic Approach to Incremental Verification. CoRR abs/1304.8034 (2013) - 2012
- [b3]Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modeling Time in Computing. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2012, ISBN 978-3-642-32331-7, pp. I-XVI, 1-423 - [j40]Stefano Crespi-Reghizzi, Dino Mandrioli:
Operator precedence and the visibly pushdown property. J. Comput. Syst. Sci. 78(6): 1837-1867 (2012) - [c32]Luca Ferrucci
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. FMICS 2012: 162-176 - [c31]Alessandro Barenghi
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars. SLE 2012: 264-274 - [c30]Luca Ferrucci
A Metric Temporal Logic for Dealing with Zero-Time Transitions. TIME 2012: 81-88 - [i6]Violetta Lonati, Dino Mandrioli, Matteo Pradella:
Logic Characterization of Floyd Languages. CoRR abs/1204.4639 (2012) - [i5]Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach. CoRR abs/1206.0911 (2012) - 2011
- [c29]Violetta Lonati
Precedence Automata and Languages. CSR 2011: 291-304 - 2010
- [j39]Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modeling time in computing: A taxonomy and a comparative survey. ACM Comput. Surv. 42(2): 6:1-6:59 (2010) - [j38]Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young:
SCORE: the first student contest on software engineering. ACM SIGSOFT Softw. Eng. Notes 35(4): 24-30 (2010) - [c28]Dino Mandrioli, Aldo Torrebruno, Luisa Marini:
Computers Foster Education and Education Fosters Computer Science - The Politecnico's Approach. CSEDU (2) 2010: 289-296 - [c27]Stefano Crespi-Reghizzi, Dino Mandrioli:
Operator Precedence and the Visibly Pushdown Property. LATA 2010: 214-226 - [i4]Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli:
Refinement and Verification of Real-Time Systems. CoRR abs/1002.1796 (2010) - [i3]Violetta Lonati, Dino Mandrioli, Matteo Pradella:
Precedence Automata and Languages. CoRR abs/1012.2321 (2010)
2000 – 2009
- 2009
- [c26]Mehdi Jazayeri, Dino Mandrioli:
SCORE: The first student Contest in Software Engineering. ICSE Companion 2009: 487-488 - [i2]Stefano Crespi-Reghizzi, Dino Mandrioli:
Algebraic properties of structured context-free languages: old approaches and novel developments. CoRR abs/0907.2130 (2009) - 2008
- [i1]Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modeling Time in Computing: A Taxonomy and a Comparative Survey. CoRR abs/0807.4132 (2008) - 2007
- [j37]Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti:
Automated compositional proofs for real-time systems. Theor. Comput. Sci. 376(3): 164-184 (2007) - [c25]Carlo A. Furia, Matteo Rossi, Dino Mandrioli:
Modeling the Environment in Software-Intensive Systems. MiSE@ICSE 2007: 11 - [c24]Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio:
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. ICTAC 2007: 366-380 - 2006
- [j36]John S. Fitzgerald
The industrialization of formal methods. Int. J. Softw. Tools Technol. Transf. 8(4-5): 301-302 (2006) - [c23]Marco Rolando, Matteo Rossi, Niccolò Sanarico, Dino Mandrioli:
A formal approach to sensor placement and configuration in a network intrusion detection system. SESS@ICSE 2006: 65-71 - 2005
- [c22]Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti:
Automated Compositional Proofs for Real-Time Systems. FASE 2005: 326-340 - [c21]Matteo Pradella
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. FORTE 2005: 381-395 - [c20]Carlo Ghezzi, Dino Mandrioli:
The Challenges of Software Engineering Education. Software Education and Training Sessions @ ICSE 2005: 115-127 - [c19]Carlo Ghezzi, Dino Mandrioli:
The challenges of software engineering education. ICSE 2005: 637-638 - [c18]Matteo Pradella
A UML-Compatible Formal Language for System Architecture Description. SDL Forum 2005: 234-246 - 2004
- [c17]Matteo Rossi, Dino Mandrioli:
A formal approach for modeling and verification of RTCORBA-based applications. ISSTA 2004: 263-273 - [c16]Dino Mandrioli:
Advertising Formal Methods and Organizing Their Teaching: Yes, but .... TFM 2004: 214-224 - 2003
- [b2]Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli:
Fundamentals of software engineering (2. ed.). Prentice Hall 2003, ISBN 978-0-13-305699-0, pp. I-XX, 1-604 - [j35]Alberto Coen-Porisini
A formal approach for designing CORBA-based applications. ACM Trans. Softw. Eng. Methodol. 12(2): 107-151 (2003) - [e1]Keijiro Araki, Stefania Gnesi, Dino Mandrioli:
FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings. Lecture Notes in Computer Science 2805, Springer 2003, ISBN 3-540-40828-2 [contents] - 2002
- [c15]Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi:
Real-Time Synchronised Petri Nets. ICATPN 2002: 142-162 - 2001
- [c14]Fernando Marotta, Angelo Morzenti, Dino Mandrioli:
Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. ICDCS 2001: 567-574 - 2000
- [j34]Alberto Coen-Porisini, Dino Mandrioli:
Using TRIO for designing a CORBA-based application. Concurr. Pract. Exp. 12(10): 981-1015 (2000) - [j33]Riccardo Capobianchi, Alberto Coen-Porisini
A framework architecture for supervision and control systems. ACM Comput. Surv. 32(1es): 26 (2000) - [c13]Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli:
Parallel Refinement Mechanisms for Real-Time Systems. FASE 2000: 35-50 - [c12]Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini
A formal approach for designing CORBA based applications. ICSE 2000: 188-197
1990 – 1999
- 1999
- [j32]Angelo Gargantini
Dealing with Zero-Time Transitions in Axiom Systems. Inf. Comput. 150(2): 119-131 (1999) - [j31]Emanuele Ciapessoni
From Formal Models to Formally Based Methods: An Industrial Experience. ACM Trans. Softw. Eng. Methodol. 8(1): 79-113 (1999) - 1997
- [r1]Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli:
Software Qualities and Principles. The Computer Science and Engineering Handbook 1997: 2278-2301 - 1996
- [c11]Dino Mandrioli:
Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language. AMAST 1996: 33-42 - 1995
- [j30]Dino Mandrioli, Sandro Morasca
Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Trans. Comput. Syst. 13(4): 365-398 (1995) - [c10]Alberto Coen-Porisini
A Formal Framework for ASTRAL Inter-level Proof Obligations. ESEC 1995: 90-108 - 1994
- [j29]Miguel Felder, Dino Mandrioli, Angelo Morzenti:
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. IEEE Trans. Software Eng. 20(2): 127-141 (1994) - [j28]Alberto Coen-Porisini
A Formal Framework for ASTRAL Intralevel Proof Obligations. IEEE Trans. Software Eng. 20(8): 548-561 (1994) - 1993
- [j27]Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti:
Executable Specifications with Data-flow Diagrams. Softw. Pract. Exp. 23(6): 629-653 (1993) - [c9]Alberto Coen-Porisini
A Formal Framework for ASTRAL Intra-Level Proof Obligations. ESEC 1993: 483-500 - [c8]Dino Mandrioli:
The Object-Oriented Specification of Real-Time Systems. TOOLS (10) 1993: 347 - 1992
- [j26]Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi:
A Model Parametric Real-Time Logic. ACM Trans. Program. Lang. Syst. 14(4): 521-573 (1992) - [c7]Dino Mandrioli:
The Object-Oriented Specification of Real-Time Systems. TOOLS (8) 1992: 275 - [c6]Dino Mandrioli:
Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach. TOOLS (8) 1992: 277 - 1991
- [b1]Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli:
Fundamentals of software engineering. Prentice Hall 1991, ISBN 978-0-13-818204-5, pp. I-XV, 1-573 - [j25]Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli:
QRT FIFO Automata, Breath-First Grammars and Their Relations. Theor. Comput. Sci. 85(1): 171-203 (1991) - [j24]Carlo Ghezzi, Dino Mandrioli, Sandro Morasca
A Unified High-Level Petri Net Formalism for Time-Critical Systems. IEEE Trans. Software Eng. 17(2): 160-172 (1991) - [j23]Alberto Coen-Porisini
Software Specialization Via Symbolic Execution. IEEE Trans. Software Eng. 17(9): 884-899 (1991) - [c5]Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto:
Dealing with different time scales in formal specifications. IWSSD 1991: 92-101 - 1990
- [j22]Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli:
Breath and Depth Grammars and Deque Automata. Int. J. Found. Comput. Sci. 1(3): 219-232 (1990) - [j21]Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti:
TRIO: A logic language for executable specifications of real-time systems. J. Syst. Softw. 12(2): 107-123 (1990)
1980 – 1989
- 1989
- [j20]Carlo Ghezzi, Dino Mandrioli, Sandro Morasca
Symbolic Execution of Concurrent Systems Using Petri Nets. Comput. Lang. 14(4): 263-281 (1989) - [j19]Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli:
Some Consideration on Real-Time Bahavior of Concurrent Programs. IEEE Trans. Software Eng. 15(3): 356-359 (1989) - [c4]Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
A general way to put time in Petri nets. IWSSD 1989: 60-67 - 1987
- [c3]Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti:
On the Specification of Real-Time Systems Using Logic Programming. ESEC 1987: 180-190 - 1986
- [j18]Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli:
On Deterministic Multi-Pass Analysis. SIAM J. Comput. 15(3): 668-693 (1986) - 1985
- [j17]Dino Mandrioli, Roberto V. Zicari, Carlo Ghezzi, Francesco Tisato:
Modeling the Ada Task System by Petri Nets. Comput. Lang. 10(1): 43-61 (1985) - [j16]Nicoletta Cocco, Dino Mandrioli, Vitaliano Milanese:
The Ada Task System and Real-Time Applications: An Implementation Schema. Comput. Lang. 10(3/4): 189-209 (1985) - [c2]Carlo Ghezzi, Dino Mandrioli, Antonio Tecchio:
Program Simplification via Symbolic Interpretation. FSTTCS 1985: 116-128 - 1982
- [j15]Daniel M. Berry, Carlo Ghezzi, Dino Mandrioli, Francesco Tisato:
Language Constructs for Real-Time Distributed Systems. Comput. Lang. 7(1): 11-20 (1982) - [j14]Dino Mandrioli:
On teaching theoretical foundations of computer science. SIGACT News 14(3): 36-53 (1982) - [j13]Dino Mandrioli:
On teaching theoretical foundations of Computer Science. SIGACT News 14(4): 58-69 (1982) - 1981
- [j12]Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli:
Operator Precedence Grammars and the Noncounting Property. SIAM J. Comput. 10(1): 174-191 (1981) - 1980
- [j11]Carlo Ghezzi, Dino Mandrioli:
Augmenting Parsers to Support Incrementality. J. ACM 27(3): 564-579 (1980) - [j10]Augusto Celentano
Separate Compilation and Partial Specification in Pascal. IEEE Trans. Software Eng. 6(4): 320-328 (1980)
1970 – 1979
- 1979
- [j9]Carlo Ghezzi, Dino Mandrioli:
Incremental Parsing. ACM Trans. Program. Lang. Syst. 1(1): 58-70 (1979) - 1978
- [j8]Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin:
Algebraic Properties of Operator Precedence Languages. Inf. Control. 37(2): 115-133 (1978) - [j7]Stefano Crespi-Reghizzi, Dino Mandrioli:
A Class of Grammar Generating Non-Counting Languages. Inf. Process. Lett. 7(1): 24-26 (1978) - [j6]Stefano Crespi-Reghizzi, Giovanni Guida
Noncounting Context-Free Languages. J. ACM 25(4): 571-580 (1978) - 1977
- [j5]Dino Mandrioli:
A Note on Petri Net Languages. Inf. Control. 34(2): 169-171 (1977) - [j4]Giovanni Guida
An integrated model of problem solver. Inf. Sci. 13(1): 11-33 (1977) - 1976
- [j3]Dino Mandrioli:
n-Reconstructability of Context-Free Grammars. Inf. Process. Lett. 5(2): 58-62 (1976) - 1975
- [j2]Stefano Crespi-Reghizzi, Dino Mandrioli:
A Decidability Theorem for a Class of Vector-Addition Systems. Inf. Process. Lett. 3(3): 78-80 (1975) - [j1]Stefano Crespi-Reghizzi, Dino Mandrioli:
Erratum: A Decidability Theorem for a Class of Vector-Addition Systems. Inf. Process. Lett. 3(5): 164 (1975) - [c1]Giovanni Guida
An Integrated Theory of Problems as an Algebraic Base for Complexity Understanding and Automatic Problem Solving. Optimization Techniques 1975: 98-129
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-08-23 18:33 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: