Остановите войну!
for scientists:
default search action
Silvio Ghilardi
- > Home > Persons > Silvio Ghilardi
Publications
- 2023
- [j60]Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi:
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras. Ann. Pure Appl. Log. 174(1): 103169 (2023) - [j59]Silvio Ghilardi, Alessandro Gianola, Deepak Kapur, Chiara Naso:
Interpolation Results for Arrays with Length and MaxDiff. ACM Trans. Comput. Log. 24(4): 28:1-28:33 (2023) - [c63]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Safety Verification and Universal Invariants for Relational Action Bases. IJCAI 2023: 3248-3257 - 2022
- [j58]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Petri net-based object-centric processes with read-only data. Inf. Syst. 107: 102011 (2022) - [j57]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combination of Uniform Interpolants via Beth Definability. J. Autom. Reason. 66(3): 409-435 (2022) - [j56]Silvio Ghilardi, Alessandro Gianola, Deepak Kapur:
Uniform Interpolants in EUF: Algorithms using DAG-representations. Log. Methods Comput. Sci. 18(2) (2022) - [j55]Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani:
A Formal Verification of ArpON - A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks. IEEE Trans. Dependable Secur. Comput. 19(6): 4082-4098 (2022) - [i20]Silvio Ghilardi, Alessandro Gianola, Deepak Kapur, Chiara Naso:
General Interpolation and Strong Amalgamation for Contiguous Arrays. CoRR abs/2204.11771 (2022) - [i19]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version). CoRR abs/2208.06377 (2022) - 2021
- [j54]Silvio Ghilardi, Elena Pagani:
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems. J. Autom. Reason. 65(3): 425-460 (2021) - [j53]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. 65(7): 941-969 (2021) - [c62]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. BPM 2021: 179-196 - [c61]Silvio Ghilardi, Alessandro Gianola, Deepak Kapur:
Interpolation and Amalgamation for Arrays with MaxDiff. FoSSaCS 2021: 268-288 - [c60]José Abel Castellanos Joo, Silvio Ghilardi, Alessandro Gianola, Deepak Kapur:
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff. SMT 2021: 40-52 - 2020
- [j52]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
SMT-based verification of data-aware processes: a model-theoretic approach. Math. Struct. Comput. Sci. 30(3): 271-313 (2020) - [c59]Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi:
Model Completeness and Π2-rules: The Case of Contact Algebras. AiML 2020: 115-132 - [c58]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Petri Nets with Parameterised Data - Modelling and Verification. BPM 2020: 55-74 - [c57]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. IJCAR (1) 2020: 181-200 - [c56]Silvio Ghilardi, Alessandro Gianola, Deepak Kapur:
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations. CILC 2020: 67-81 - [i18]Silvio Ghilardi, Alessandro Gianola, Deepak Kapur:
Compactly Representing Uniform Interpolants for EUF using (conditional) DAGS. CoRR abs/2002.09784 (2020) - [i17]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Petri Nets with Parameterised Data: Modelling and Verification (Extended Version). CoRR abs/2006.06630 (2020) - [i16]Silvio Ghilardi, Alessandro Gianola, Deepak Kapur:
Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version). CoRR abs/2010.07082 (2020) - 2019
- [j49]Luca Carai, Silvio Ghilardi:
Existentially closed Brouwerian Semilattices. J. Symb. Log. 84(4): 1544-1575 (2019) - [c55]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
From Model Completeness to Verification of Data Aware Processes. Description Logic, Theory Combination, and All That 2019: 212-239 - [c54]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. BPM 2019: 157-175 - [c53]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition. CADE 2019: 142-160 - [c52]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition (Abridged Version). CILC 2019 - [i14]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. CoRR abs/1905.12991 (2019) - [i13]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). CoRR abs/1906.07811 (2019) - [i12]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. CoRR abs/1911.07774 (2019) - 2018
- [j48]Silvio Ghilardi, Alessandro Gianola:
Modularity results for interpolation, amalgamation and superamalgamation. Ann. Pure Appl. Log. 169(8): 731-754 (2018) - [i9]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Quantifier Elimination for Database Driven Verification. CoRR abs/1806.09686 (2018) - [i8]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Verification of Data-Aware Processes via Array-Based Systems (Extended Version). CoRR abs/1806.11459 (2018) - 2017
- [j47]Francesco Alberti, Silvio Ghilardi, Elena Pagani:
Cardinality constraints for arrays (decidability results and applications). Formal Methods Syst. Des. 51(3): 545-574 (2017) - [j46]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
A Framework for the Verification of Parameterized Infinite-state Systems. Fundam. Informaticae 150(1): 1-24 (2017) - [j45]Silvio Ghilardi, Samuel J. van Gool:
A Model-Theoretic characterization of Monadic second order Logic on Infinite Words. J. Symb. Log. 82(1): 62-76 (2017) - [j44]Nick Bezhanishvili, Silvio Ghilardi, Frederik Möllerström Lauridsen:
One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property. J. Log. Comput. 27(7): 2135-2169 (2017) - [c50]Silvio Ghilardi, Alessandro Gianola:
Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case). FroCoS 2017: 316-332 - [c49]Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani:
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. IFM 2017: 391-406 - [c48]Silvio Ghilardi, Elena Pagani:
Second Order Quantifier Elimination: Towards Verification Applications. SOQE 2017: 36-50 - [c46]Silvio Ghilardi, Elena Pagani:
Counter Simulations via Higher Order Quantifier Elimination: a preliminary report. PxTP 2017: 39-53 - 2016
- [j43]Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze:
Admissible Bases Via Stable Canonical Rules. Stud Logica 104(2): 317-341 (2016) - [c45]Francesco Alberti, Silvio Ghilardi, Elena Pagani:
Counting Constraints in Flat Array Fragments. IJCAR 2016: 65-81 - [c44]Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani:
Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies. CILC 2016: 102-117 - [c42]Silvio Ghilardi, Sam van Gool:
Monadic second order logic as the model companion of temporal logic. LICS 2016: 417-426 - [e3]Silvio Ghilardi, Manfred Schmidt-Schauß:
Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016. 2016 [contents] - [i6]Francesco Alberti, Silvio Ghilardi, Elena Pagani:
Counting Constraints in Flat Array Fragments. CoRR abs/1602.00458 (2016) - [i5]Silvio Ghilardi, Samuel J. van Gool:
Monadic second order logic as the model companion of temporal logic. CoRR abs/1605.01003 (2016) - 2015
- [j42]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Decision Procedures for Flat Array Properties. J. Autom. Reason. 54(4): 327-352 (2015) - [c41]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
A New Acceleration-Based Combination Framework for Array Properties. FroCos 2015: 169-185 - [i4]Silvio Ghilardi, Samuel J. van Gool:
A model-theoretic characterization of monadic second order logic on infinite words. CoRR abs/1503.08936 (2015) - 2014
- [j41]Nick Bezhanishvili, Silvio Ghilardi:
The bounded proof property via step algebras and step frames. Ann. Pure Appl. Log. 165(12): 1832-1863 (2014) - [j40]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
An extension of lazy abstraction with interpolation for programs with arrays. Formal Methods Syst. Des. 45(1): 63-109 (2014) - [j38]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
Quantifier-free interpolation in combinations of equality interpolating theories. ACM Trans. Comput. Log. 15(1): 5:1-5:34 (2014) - [c40]Nick Bezhanishvili, Silvio Ghilardi:
Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. Advances in Modal Logic 2014: 54-73 - [c39]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Booster: An Acceleration-Based Verification Framework for Array Programs. ATVA 2014: 18-23 - [c38]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
A Framework for the Verification of Parameterized Infinite-State Systems. CILC 2014: 303-308 - [c37]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Decision Procedures for Flat Array Properties. SMT 2014: 51 - [c36]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Decision Procedures for Flat Array Properties. TACAS 2014: 15-30 - [c35]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Monotonic Abstraction Techniques: from Parametric to Software Model Checking. MOD* 2014: 1-11 - 2013
- [j37]Alessandro Carioni, Silvio Ghilardi, Silvio Ranise:
Automated Termination in Model-Checking Modulo Theories. Int. J. Found. Comput. Sci. 24(2): 211-232 (2013) - [c34]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Definability of Accelerated Relations in a Theory of Arrays and Its Applications. FroCos 2013: 23-39 - [c33]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Acceleration-based safety decision procedure for programs with arrays. LPAR (short papers) 2013: 1-8 - [c32]Nick Bezhanishvili, Silvio Ghilardi:
Bounded Proofs and Step Frames. TABLEAUX 2013: 44-58 - [i3]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs. CoRR abs/1304.4499 (2013) - 2012
- [j36]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
Quantifier-Free Interpolation of a Theory of Arrays. Log. Methods Comput. Sci. 8(2) (2012) - [j35]Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi:
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. J. Satisf. Boolean Model. Comput. 8(1/2): 29-61 (2012) - [j34]Franz Baader, Silvio Ghilardi, Carsten Lutz:
LTL over description logic axioms. ACM Trans. Comput. Log. 13(3): 21:1-21:32 (2012) - [c30]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
Reachability Modulo Theory Library. SMT@IJCAR 2012: 67-76 - [c29]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation. IJCAR 2012: 118-133 - [c28]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
SAFARI: SMT-Based Abstraction for Arrays with Interpolants. CAV 2012: 679-685 - [c27]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
Lazy Abstraction with Interpolants for Arrays. LPAR 2012: 46-61 - [c26]Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi, Silvio Ranise:
Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms. NASA Formal Methods 2012: 279-294 - [i2]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation. CoRR abs/1203.3730 (2012) - 2011
- [j33]Franz Baader, Silvio Ghilardi:
Unification in modal and description logics. Log. J. IGPL 19(6): 705-730 (2011) - [j32]Guram Bezhanishvili, Silvio Ghilardi, Mamuka Jibladze:
An Algebraic Approach to Subframe Logics. Modal Case. Notre Dame J. Formal Log. 52(2): 187-202 (2011) - [c25]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints. FroCoS 2011: 103-118 - [c24]Alessandro Carioni, Silvio Ghilardi, Silvio Ranise:
Automated Termination in Model Checking Modulo Theories. RP 2011: 110-124 - [c23]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays. RTA 2011: 171-186 - 2010
- [j31]Silvio Ghilardi, Silvio Ranise:
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis. Log. Methods Comput. Sci. 6(4) (2010) - [j30]Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi:
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010) - [j28]Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari:
Special issue on automated deduction: Decidability, complexity, tractability. J. Symb. Comput. 45(2): 151-152 (2010) - [c22]Silvio Ghilardi, Silvio Ranise:
MCMT: A Model Checker Modulo Theories. IJCAR 2010: 22-29 - [c21]Alessandro Carioni, Silvio Ghilardi, Silvio Ranise:
MCMT in the Land of Parametrized Timed Automata. VERIFY@IJCAR 2010: 47-64 - [c20]Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi:
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study. DISC 2010: 392-394 - 2009
- [c18]Silvio Ghilardi, Silvio Ranise:
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories. TABLEAUX 2009: 173-188 - [e1]Silvio Ghilardi, Roberto Sebastiani:
Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings. Lecture Notes in Computer Science 5749, Springer 2009, ISBN 978-3-642-04221-8 [contents] - 2008
- [j26]Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli:
A comprehensive combination framework. ACM Trans. Comput. Log. 9(2): 8:1-8:54 (2008) - [c17]Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Towards SMT Model Checking of Array-Based Systems. IJCAR 2008: 67-82 - [c16]Franz Baader, Silvio Ghilardi, Carsten Lutz:
LTL over Description Logic Axioms. Description Logics 2008 - [c15]Franz Baader, Silvio Ghilardi, Carsten Lutz:
LTL over Description Logic Axioms. KR 2008: 684-694 - [c14]Silvio Ghilardi, Silvio Ranise, Thomas Valsecchi:
Light-Weight SMT-based Model Checking. AVoCS 2008: 85-102 - 2007
- [j25]Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Decision procedures for extensions of the theory of arrays. Ann. Math. Artif. Intell. 50(3-4): 231-254 (2007) - [j24]Guram Bezhanishvili, Silvio Ghilardi:
An algebraic approach to subframe logics. Intuitionistic case. Ann. Pure Appl. Log. 147(1-2): 84-100 (2007) - [j23]Franz Baader, Silvio Ghilardi:
Connecting many-sorted theories. J. Symb. Log. 72(2): 535-583 (2007) - [c13]Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems. CADE 2007: 362-378 - [c12]Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Noetherianity and Combination Problems. FroCoS 2007: 206-220 - [i1]Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli:
From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems. Deduction and Decision Procedures 2007 - 2006
- [j22]Franz Baader, Silvio Ghilardi, Cesare Tinelli:
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Inf. Comput. 204(10): 1413-1452 (2006) - [c11]Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207 - [c10]Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. IJCAR 2006: 513-527 - [c9]Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. JELIA 2006: 177-189 - [c8]Silvio Ghilardi, Carsten Lutz, Frank Wolter:
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR 2006: 187-197 - 2005
- [c7]Franz Baader, Silvio Ghilardi:
Connecting Many-Sorted Theories. CADE 2005: 278-294 - [c6]Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli:
A Comprehensive Framework for Combined Decision Procedures. FroCoS 2005: 1-30 - [c5]Franz Baader, Silvio Ghilardi:
Connecting Many-Sorted Structures and Theories Through Adjoint Functions. FroCoS 2005: 31-47 - 2004
- [c4]Franz Baader, Silvio Ghilardi, Cesare Tinelli:
A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. IJCAR 2004: 183-197 - 2003
- [j18]Silvio Ghilardi, Daniele Mundici:
Foreword. Stud Logica 73(1): 3 (2003) - [j17]Camillo Fiorentini, Silvio Ghilardi:
Combining word problems through rewriting in categories with products. Theor. Comput. Sci. 294(1/2): 103-149 (2003) - 1999
- [j13]Silvio Ghilardi, Pierangelo Miglioli:
On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics. Stud Logica 63(3): 353-385 (1999)
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-21 17:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint