default search action
Pedro Merino 0001
Pedro Merino Gómez
Person information
- affiliation: University of Málaga, Spain
Other persons with the same name
- Pedro Merino 0002
— Escuela Politénica Nacional, Quito, Ecuador
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c74]Pedro Merino Gómez, Bruno García, Carlos Andreo, David Artuñedo, Jesus Macias:
On-demand Trial Networks over 6G-SANDBOX infrastructure. EuCNC/6G Summit 2024: 1021-1026 - [c73]Chafika Benzaïd, Fahim Muhtasim Hossain, Tarik Taleb, Pedro Merino Gómez, Michael Dieudonne:
A Federated Continual Learning Framework for Sustainable Network Anomaly Detection in O-RAN. WCNC 2024: 1-6 - 2023
- [j45]Francisco Luque-Schempp
AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extended for Time-Sensitive Networking. IEEE Access 11: 82960-82977 (2023) - [j44]Delia Rico
Verification of a multi-connectivity protocol for Tactile Internet applications. Comput. Commun. 212: 390-406 (2023) - [j43]Delia Rico
Performance Analysis of the Multi-connection Tactile Internet Protocol over 5G. J. Netw. Syst. Manag. 31(3): 49 (2023) - [c72]María-del-Mar Gallardo
The Role of Abstraction in Model Checking. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 151-169 - 2022
- [j42]Erik Aumayr
Service-based Analytics for 5G open experimentation platforms. Comput. Networks 205: 108740 (2022) - [j41]Francisco Luque-Schempp
Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking. IEEE Netw. 36(2): 50-56 (2022) - [c71]Harilaos Koumaras, Dimitris Tsolkas, Javier Garcia, David Artuñedo, Bruno García, Ricardo Marco, Apostolis K. Salkintzis, Dimitrios Fragkos, George Makropoulos, Fotini Setaki, Almudena Díaz, Pedro Merino
A network programmability framework for vertical applications in the beyond 5G era. EuCNC 2022: 375-380 - [c70]Delia Rico
Implementation and evaluation of the Multi-connection Tactile Internet Protocol and API. NOMS 2022: 1-6 - 2021
- [j40]Barbara Valera-Muros
An Architecture for Creating Slices to Experiment on Wireless Networks. J. Netw. Syst. Manag. 29(1): 1 (2021) - [c69]Lambros Sarakis, Panagiotis Trakadas, Josep Martrat, S. Prior, Óscar Trullols-Cruces, Estefanía Coronado
Cost-Efficient 5G Non-Public Network Roll-Out: The Affordable5G Approach. MeditCom 2021: 221-227 - [c68]Delia Rico
Modeling and verification of the Multi-connection Tactile Internet Protocol. Q2SWinet 2021: 105-114 - 2020
- [j39]Delia Rico
A Survey of End-to-End Solutions for Reliable Low-Latency Communications in 5G Networks. IEEE Access 8: 192808-192834 (2020) - [j38]Almudena Díaz-Zayas
A Modular Experimentation Methodology for 5G Deployments: The 5GENESIS Approach. Sensors 20(22): 6652 (2020) - [j37]María-del-Mar Gallardo, Pedro Merino
Introduction to the Special Issue devoted to SPIN 2018. Int. J. Softw. Tools Technol. Transf. 22(2): 103-104 (2020)
2010 – 2019
- 2019
- [j36]Almudena Díaz-Zayas
An End-to-End Automation Framework for Mobile Network Testbeds. Mob. Inf. Syst. 2019: 2563917:1-2563917:8 (2019) - [j35]Alvaro Rios
Expanding GÉANT Testbeds Service to Support Pan-European 5G Network Slices for Research in the EuWireless Project. Mob. Inf. Syst. 2019: 6249247:1-6249247:13 (2019) - [j34]Ana Rosario Espada
A formal approach to automatically analyse extra-functional properties in mobile applications. Softw. Test. Verification Reliab. 29(4-5) (2019) - [c67]Barbara Valera-Muros
Is GAÉNT Testbeds Service compliant with ETSI MANO? 5G World Forum 2019: 502-507 - [c66]María-del-Mar Gallardo, Francisco Luque-Schempp
How Formal Methods Can Contribute to 5G Networks. From Software Engineering to Formal Methods and Tools, and Back 2019: 548-571 - [c65]Iván González Muriel, Álvaro Martín Heredia, Pedro Merino Gómez
Testbed to experiment with LTE WiFi Aggregation. EuCNC 2019: 506-511 - [c64]Almudena Díaz-Zayas
A Coordination Framework for Experimentation in 5G Testbeds: URLLC as Use Case. MobiWac 2019: 71-79 - 2018
- [j33]Cesar A. García-Pérez
Experimental evaluation of fog computing techniques to reduce latency in LTE networks. Trans. Emerg. Telecommun. Technol. 29(4) (2018) - [j32]María-del-Mar Gallardo, Pedro Merino
Integrating river basin DSSs with model checking. Int. J. Softw. Tools Technol. Transf. 20(5): 499-514 (2018) - [c63]Almudena Díaz-Zayas
TRIANGLE: a Platform to Validate 5G KPIs in End to End scenarios. CAMAD 2018: 1-7 - [c62]Harilaos Koumaras
5GENESIS: The Genesis of a flexible 5G Facility. CAMAD 2018: 1-6 - [c61]Almudena Díaz-Zayas
TRIANGLE Portal: An User-Friendly Web Interface for Remote Experimentation. REV 2018: 110-117 - [e2]María-del-Mar Gallardo, Pedro Merino:
Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science 10869, Springer 2018, ISBN 978-3-319-94110-3 [contents] - 2017
- [j31]Leticia Lavado
A characterisation of verification tools for software defined networks. J. Reliab. Intell. Environ. 3(3): 189-207 (2017) - [j30]Ana Rosario Espada
Performance Analysis of Spotify® for Android with Model-Based Testing. Mob. Inf. Syst. 2017: 2012696:1-2012696:14 (2017) - [j29]Cesar A. García-Pérez, Almudena Díaz
Improving the efficiency and reliability of wearable based mobile eHealth applications. Pervasive Mob. Comput. 40: 674-691 (2017) - [c60]Almudena Díaz-Zayas
The 3GPP NB-IoT system architecture for the Internet of Things. ICC Workshops 2017: 277-282 - [c59]Almudena Díaz-Zayas
Advanced testing of mobile applications and devices. IM 2017: 801-804 - [c58]F. Javier Rivas Tocado, Almudena Díaz-Zayas
A methodology and test environment for QoS measurements in mobile networks. IM 2017: 823-828 - [c57]Alberto Salmerón, Leticia Lavado, María-del-Mar Gallardo, Pedro Merino Gómez
Adding Correctness Checking to Test Automation Platform. ISSRE Workshops 2017: 132-138 - [c56]Laura Panizo
Guided test case generation for mobile apps in the TRIANGLE project: work in progress. SPIN 2017: 192-195 - 2016
- [j28]F. Javier Rivas Tocado, Almudena Díaz-Zayas, Pedro Merino:
Innovative Tools and Processes for Mobile Communications Research and Education. Int. J. Online Eng. 12(9): 40-46 (2016) - [j27]Almudena Díaz-Zayas
Extending TestelDroid to support remote control and large-scale testing in mobile networks. EAI Endorsed Trans. Mob. Commun. Appl. 2(9): e4 (2016) - [j26]Álvaro M. Recio-Pérez
Characterizing Radio and Networking Power Consumption in LTE Networks. Mob. Inf. Syst. 2016: 2752961:1-2752961:10 (2016) - [c55]Cesar A. García-Pérez, Alvaro Rios
Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack. EuCNC 2016: 64-68 - [c54]Andrea F. Cattoni, Germán Corrales Madueño, Michael Dieudonne
An end-to-end testing ecosystem for 5G. EuCNC 2016: 307-312 - [c53]Almudena Díaz-Zayas
3GPP Standards to Deliver LTE Connectivity for IoT. IoTDI 2016: 283-288 - [c52]Cesar A. García-Pérez
Enabling Low Latency Services on LTE Networks. FAS*W@SASO/ICCAC 2016: 248-255 - [c51]María-del-Mar Gallardo, Pedro Merino
River Basin Management with Spin. SPIN 2016: 78-96 - 2015
- [j25]Alberto Salmerón
Integrating model checking and simulation for protocol optimization. Simul. 91(1): 3-25 (2015) - [c50]Ana Rosario Espada
Runtime Verification of Expected Energy Consumption in Smartphones. SPIN 2015: 132-149 - [c49]Almudena Díaz-Zayas, Álvaro M. Recio-Pérez, Cesar A. García-Pérez, Pedro Merino:
Extending TestelDroid to support remote control and large-scale testing in mobile networks. VALUETOOLS 2015: 269-272 - [c48]Almudena Díaz-Zayas
PerformLTE: A Testbed for LTE Testing in the Future Internet. WWIC 2015: 46-59 - [c47]Ana Rosario Espada
Using Model Checking to Generate Test Cases for Android Applications. MBT 2015: 7-21 - 2014
- [j24]F. Javier Rivas Tocado
Characterizing Traffic Performance in Cellular Networks. IEEE Internet Comput. 18(1): 12-19 (2014) - [j23]Damián Adalid, Alberto Salmerón
Using SPIN for automated debugging of infinite executions of Java programs. J. Syst. Softw. 90: 61-75 (2014) - [j22]Almudena Díaz-Zayas
Third-Generation Partnership Project Standards: For Delivery of Critical Communications for Railways. IEEE Veh. Technol. Mag. 9(2): 58-68 (2014) - 2013
- [j21]F. Javier Rivas
Obtaining More Realistic Cross-Layer QoS Measurements: A VoIP over LTE Use Case. J. Comput. Networks Commun. 2013: 405858:1-405858:10 (2013) - [j20]Pedro Merino
Improving QoS and QoE for Mobile Communications. J. Comput. Networks Commun. 2013: 645174:1-645174:2 (2013) - [c46]Alberto Salmerón
On-the-fly VoIP call quality evaluation with improved E-model. PM2HW2N@MSWiM 2013: 145-152 - [c45]F. Javier Rivas
Performance study of Internet traffic on high speed railways. WOWMOM 2013: 1-9 - 2012
- [j19]María-del-Mar Gallardo, Christophe Joubert
A model-extraction approach to verifying concurrent C programs with CADP. Sci. Comput. Program. 77(3): 375-392 (2012) - [c44]Andres Alvarez, Almudena Díaz
Mobile application profiling with TestelDroid. CCNC 2012: 36-37 - [c43]Andres Alvarez, Almudena Díaz
Field measurements of mobile services with Android smartphones. CCNC 2012: 105-109 - [c42]Almudena Díaz
Test environment for QoS testing of VoIP over LTE. NOMS 2012: 780-794 - [c41]Almudena Díaz-Zayas
UMA Testing Facility. TRIDENTCOM 2012: 9-10 - [c40]Francisco Javier Rivas
Testing of LTE Configurations and Applications. TRIDENTCOM 2012: 417-418 - 2011
- [j18]Almudena Díaz
Obtaining Models for Realistic Mobile Network Simulations using Real Traces. IEEE Commun. Lett. 15(7): 782-784 (2011) - [j17]Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Sci. Comput. Program. 76(2): 63-64 (2011) - [j16]María-del-Mar Gallardo, Pedro Merino
A practical use of model checking for synthesis: generating a dam controller for flood management. Softw. Pract. Exp. 41(11): 1329-1347 (2011) - [j15]Pedro de la Cámara, J. Raúl Castro, María-del-Mar Gallardo, Pedro Merino
Verification support for ARINC-653-based avionics software. Softw. Test. Verification Reliab. 21(4): 267-298 (2011) - [c39]Almudena Díaz-Zayas
Testing and Profiling Internet Services in Mobile Devices. ServiceWave 2011: 329-330 - 2010
- [j14]Almudena Díaz
QoS analysis of video streaming service in live cellular networks. Comput. Commun. 33(3): 322-335 (2010) - [j13]Almudena Díaz-Zayas
A Testbed for Energy Profile Characterization of IP Services in Smartphones over Live Networks. Mob. Networks Appl. 15(3): 330-343 (2010) - [j12]Almudena Díaz
Mobile Application Profiling for Connected Mobile Devices. IEEE Pervasive Comput. 9(1): 54-61 (2010) - [c38]Almudena Díaz-Zayas
Evaluation of Handover Implementations in Commercial GPRS/UMTS/HSDPA Networks. GLOBECOM 2010: 1-5 - [c37]Pedro Merino
Combining SPIN with ns-2 for Protocol Optimization. SPIN 2010: 40-57 - [r1]José M. Alvarez, Pedro Merino, Laura Panizo, Francisco C. Perez, Andrés Sanz:
Communication Software: Design and Testing. Encyclopedia of Software Engineering 2010: 153-169
2000 – 2009
- 2009
- [j11]María-del-Mar Gallardo, Pedro Merino
Model Checking Dynamic Memory Allocation in Operating Systems. J. Autom. Reason. 42(2-4): 229-264 (2009) - [j10]Jesús Martínez, Pedro Merino
UML-Based Model-Driven Development for HSDPA Design. IEEE Softw. 26(3): 26-33 (2009) - [j9]Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino
Checking the reliability of socket based communication software. Int. J. Softw. Tools Technol. Transf. 11(5): 359-374 (2009) - [c36]María-del-Mar Gallardo, Pedro Merino
Developing a Decision Support Tool for Dam Management with SPIN. FMICS 2009: 210-212 - [c35]Almudena Díaz-Zayas
SymPa: a measurement tool for evaluating the performance of IP services in mobile networks. Q2SWinet 2009: 103-106 - [c34]María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares:
Using SCADE for Decision Support in Dam Management. MSVVEIS 2009: 125-131 - [i4]Almudena Díaz, Pedro Merino:
Testing Mobile Data Applications on Smartphones with SymPA. ERCIM News 2009(77) (2009) - 2008
- [c33]María-del-Mar Gallardo, Pedro Merino
Model Checking C Programs with Dynamic Memory Allocation. COMPSAC 2008: 219-226 - [c32]Almudena Díaz
Towards a lightweight middleware for mobile multimedia communication awareness. MobiMedia 2008 - [e1]Stefan Leue, Pedro Merino:
Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4916, Springer 2008, ISBN 978-3-540-79706-7 [contents] - [i3]María-del-Mar Gallardo, Christophe Joubert
Web Services for Accessing Explicit State Space Verification Tools. ERCIM News 2008(73) (2008) - [i2]Pedro Merino, Erwin Schoitsch:
Introduction to the Special Theme "Safety-Critical Software". ERCIM News 2008(75) (2008) - 2007
- [j8]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
PiXL: Applying xml standards to support the integration of analysis tools for protocols. Sci. Comput. Program. 65(1): 57-69 (2007) - [c31]Almudena Díaz-Zayas
Experimental analysis of peer-to-peer streaming in cellular networks. AINA 2007: 784-791 - [c30]Jesús Martínez, Pedro Merino
Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. CISIS 2007: 185-190 - [c29]María-del-Mar Gallardo, Pedro Merino
On-the-fly model checking for C programs with extended CADP in FMICS-jETI. ICECCS 2007: 321-329 - [c28]Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino:
Model Extraction for ARINC 653 Based Avionics Software. SPIN 2007: 243-262 - [c27]María-del-Mar Gallardo, Christophe Joubert
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. SPIN 2007: 268-273 - [c26]Almudena Díaz-Zayas
Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case. VTC Spring 2007: 624-628 - [c25]María-del-Mar Gallardo, Pedro Merino, David Sanán:
Extending CADP for Analyzing C Code. MSVVEIS 2007: 104-113 - [c24]María-del-Mar Gallardo, Christophe Joubert
On-the-Fly Data Flow Analysis Based on Verification Technology. COCV@ETAPS 2007: 33-48 - 2006
- [j7]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
On the Evolution of reliability Methods for Critical Software. Trans. SDPS 10(4): 55-67 (2006) - [j6]Anthony D. Joseph, Almudena Díaz, Pedro Merino, F. Javier Rivas, Umakanth P. Kulkarni, J. V. Vadavi, G. S. Thyagaraju, S. M. Joshi, Anil R. Yardi:
Mobile and Ubiquitous Objects. IEEE Pervasive Comput. 5(3): 57-59 (2006) - [c23]Almudena Díaz, Pedro Merino, F. Javier Rivas:
Performance Monitoring and Analysis of Wireless Communication Protocols for Mobile Devices. ICUC 2006 - [c22]José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. ISoLA 2006: 397-401 - [c21]María-del-Mar Gallardo, Christophe Joubert
Implementing Influence Analysis Using Parameterised Boolean Equation Systems. ISoLA 2006: 416-424 - [c20]Almudena Díaz
x-AppMonitor μAgent: a tool for QoS measurements in cellular networks. ISWCS 2006: 343-347 - [c19]Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino:
Abstract Matching for Software Model Checking. SPIN 2006: 182-200 - [c18]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel:
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. MSVVEIS 2006: 57-66 - [c17]María-del-Mar Gallardo, Pedro Merino, David Sanán:
Towards Model Checking C Code with OPEN/CÆSAR. MSVVEIS 2006: 198-201 - [i1]María-del-Mar Gallardo, Christophe Joubert
Static Analysis using Parameterised Boolean Equation Systems. CoRR abs/cs/0606092 (2006) - 2005
- [j5]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
Model checking active networks with SPIN. Comput. Commun. 28(6): 609-622 (2005) - [c16]Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán:
Model checking software with well-defined APIs: the socket case. FMICS 2005: 17-26 - 2004
- [j4]María-del-Mar Gallardo, Pedro Merino
A generalized semantics of PROMELA for abstract model checking. Formal Aspects Comput. 16(3): 166-193 (2004) - [j3]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
aSPIN: A tool for abstract model checking. Int. J. Softw. Tools Technol. Transf. 5(2-3): 165-184 (2004) - [c15]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
Integration of Reliability and Performance Analyses for Active Network Services. FMICS 2004: 217-236 - 2003
- [c14]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
Abstract Model Checking and Refinement of Temporal Logic in aSPIN. ACSD 2003: 245-246 - [c13]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
Applying Data Abstraction to XML Formal Designs. SNPD 2003: 315-321 - 2002
- [j2]Guillermo Rodríguez, Pedro Merino
An extension of the ns simulator for active network research. Comput. Commun. 25(3): 189-197 (2002) - [j1]María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel:
Debugging UML Designs with Model Checking. J. Object Technol. 1(2): 101-117 (2002) - [c12]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales:
Using XML to implement abstraction for Model Checking. SAC 2002: 1021-1025 - [c11]María-del-Mar Gallardo, Pedro Merino
Refinement of LTL Formulas for Abstract Model Checking. SAS 2002: 395-410 - [c10]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258 - [c9]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
A Tool for Abstraction in Model Checking. FMICS 2002: 17-32 - [c8]María-del-Mar Gallardo, Pedro Merino
Comparing Under and Over-Approximations of LTL Properties for Model Checking. WFLP 2002: 131-144 - 2000
- [c7]Guillermo Rodríguez, Pedro Merino:
Modelling and Simulation of Active Network Protocols. ICDCS Workshop on Internet 2000: A43-A50 - [c6]María-del-Mar Gallardo, Pedro Merino:
Verifying Distributed Systems with Model Checking and Static Analysis. ICDCS Workshop on Distributed System Validation and Verification 2000: E87-E90
1990 – 1999
- 1999
- [c5]María-del-Mar Gallardo, Pedro Merino
A Framework for Automatic Construction of Abstract Promela Models. SPIN 1999: 184-199 - 1998
- [c4]Pedro Merino, Margarida F. Jacome, Juan Carlos López
A Methodology for Task Based Partitioning and Scheduling of Dynamically Reconfigurable Systems. FCCM 1998: 324-325 - [c3]Pedro Merino, Juan Carlos López, Margarida F. Jacome:
A Hardwar Operating System for Dynamic Reconfiguration of FPGAs. FPL 1998: 431-435 - 1996
- [c2]Pedro Merino
EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. CAV 1996: 406-410 - [c1]Pedro Merino, José María Troya Linero:
Modelling and verification of the MCS layer with Spin. The Spin Verification System 1996: 101-110
Coauthor Index
Almudena Díaz
aka: Almudena Díaz-Zayas
aka: Almudena Díaz-Zayas
[j45] [j44] [c72] [j41] [c68] [j37] [j34] [c66] [j32] [e2] [j31] [j30] [c57] [c56] [c51] [c50] [c47] [j23] [j19] [j16] [j15] [j11] [j9] [c36] [c34] [c33] [i3] [j8] [c29] [c28] [c27] [c25] [c24] [j7] [c21] [c19] [c18] [c17] [i1] [j5] [c16] [j4] [j3] [c15] [c14] [c13] [j2] [j1] [c12] [c11] [c10] [c9] [c8] [c6] [c5]
Alberto Salmerón
aka: Alberto Salmerón Moreno
aka: Alberto Salmerón Moreno
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-07-30 20:47 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: