Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDCésar Sánchez
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c69]Felipe Gorostiaga, César Sánchez:
Monitorability of Expressive Verdicts. NFM 2022: 693-712- [i19]Montserrat Hermo, Paqui Lucio, César Sánchez:
A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications. CoRR abs/2206.01492 (2022) - [i18]Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez:
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers. CoRR abs/2206.11845 (2022) - 2021
- [j22]Sandro Stucki
, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour:
Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods Syst. Des. 58(1-2): 126-159 (2021) - [j21]Felipe Gorostiaga, César Sánchez:
Stream runtime verification of real-time event streams with the Striver language. Int. J. Softw. Tools Technol. Transf. 23(2): 157-183 (2021) - [c68]Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
A Temporal Logic for Asynchronous Hyperproperties. CAV (1) 2021: 694-717 - [c67]Felipe Gorostiaga, César Sánchez:
HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams. FM 2021: 563-580 - [c66]Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel:
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. ICRA 2021: 6824-6830 - [c65]César Sánchez:
Synchronous and asynchronous stream runtime verification. VORTEX@ISSTA 2021: 5-7 - [c64]Laura Bozzelli, Adriano Peron, César Sánchez:
Asynchronous Extensions of HyperLTL. LICS 2021: 1-13 - [c63]Felipe Gorostiaga, César Sánchez:
Nested Monitors: Monitors as Expressions to Build Monitors. RV 2021: 164-183 - [c62]Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour:
Bounded Model Checking for Hyperproperties. TACAS (1) 2021: 94-112 - [c61]Felipe Gorostiaga, César Sánchez:
HLola: a Very Functional Tool for Extensible Stream Runtime Verification. TACAS (2) 2021: 349-356 - [i17]Laura Bozzelli, Adriano Peron, César Sánchez:
Asynchronous Extensions of HyperLTL. CoRR abs/2104.12886 (2021) - [i16]Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez:
A Temporal Logic for Asynchronous Hyperproperties. CoRR abs/2104.14025 (2021) - [i15]Tzu-Han Hsu, Borzoo Bonakdarpour, César Sánchez:
HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties. CoRR abs/2109.12989 (2021) - 2020
- [j20]Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm:
Runtime verification of real-time event streams under non-synchronized arrival. Softw. Qual. J. 28(2): 745-787 (2020) - [c60]Martín Ceresa, Felipe Gorostiaga, César Sánchez:
Declarative Stream Runtime Verification (hLola). APLAS 2020: 25-43 - [c59]Gordon J. Pace, César Sánchez, Gerardo Schneider:
Reliable Smart Contracts. ISoLA (3) 2020: 3-8 - [c58]Borzoo Bonakdarpour, Pavithra Prabhakar, César Sánchez:
Model Checking Timed Hyperproperties in Discrete-Time Systems. NFM 2020: 311-328 - [c57]Felipe Gorostiaga, Luis Miguel Danielsson, César Sánchez:
Unifying the Time-Event Spectrum for Stream Runtime Verification. RV 2020: 462-481 - [i14]Martín Ceresa, Felipe Gorostiaga, César Sánchez:
Declarative Stream Runtime Verification (hLola). CoRR abs/2003.00032 (2020) - [i13]Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CoRR abs/2005.07425 (2020) - [i12]Tzu-Han Hsu, César Sánchez, Borzoo Bonakdarpour:
Bounded Model Checking for Hyperproperties. CoRR abs/2009.08907 (2020)
2010 – 2019
- 2019
- [j19]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54(3): 279-335 (2019) - [j18]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55(1): 72 (2019) - [c56]Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup:
Verifying Hyperliveness. CAV (1) 2019: 121-139 - [c55]Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour:
Gray-Box Monitoring of Hyperproperties. FM 2019: 406-424 - [c54]Luis Miguel Danielsson, César Sánchez:
Decentralized Stream Runtime Verification. RV 2019: 185-201 - [c53]Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma:
Runtime Verification for Timed Event Streams with Partial Information. RV 2019: 273-291 - [i11]Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz:
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR abs/1902.03776 (2019) - [i10]Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour:
Gray-box Monitoring of Hyperproperties (Extended Version). CoRR abs/1906.08731 (2019) - [i9]Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma:
Runtime Verification For Timed Event Streams With Partial Information. CoRR abs/1907.07761 (2019) - 2018
- [j17]Yliès Falcone, César Sánchez:
Introduction to the special issue on runtime verification. Formal Methods Syst. Des. 53(1): 1-5 (2018) - [j16]Laura Bozzelli, César Sánchez:
Visibly Linear Temporal Logic. J. Autom. Reason. 60(2): 177-220 (2018) - [c52]Raúl Pardo, César Sánchez, Gerardo Schneider:
Timed Epistemic Knowledge Bases for Social Networks. FM 2018: 185-202 - [c51]Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez:
Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications. ICWS 2018: 379-382 - [c50]Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider:
Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. ISoLA (2) 2018: 8-27 - [c49]César Sánchez, Gerardo Schneider, Martin Leucker:
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. ISoLA (4) 2018: 275-279 - [c48]Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz:
COST Action IC1402 Runtime Verification Beyond Monitoring. RV 2018: 18-26 - [c47]César Sánchez:
Online and Offline Stream Runtime Verification of Synchronous Systems. RV 2018: 138-163 - [c46]Felipe Gorostiaga, César Sánchez:
Striver: Stream Runtime Verification for Real-Time Event-Streams. RV 2018: 282-298 - [c45]Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm:
TeSSLa: runtime verification of non-synchronized real-time streams. SAC 2018: 1925-1933 - [c44]Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez:
i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines. WISE (1) 2018: 81-95 - [p1]Adrian Francalanza, Jorge A. Pérez, César Sánchez:
Runtime Verification for Decentralised and Distributed Systems. Lectures on Runtime Verification 2018: 176-210 - [i8]Pablo Chico de Guzmán, Felipe Gorostiaga, César Sánchez:
i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers. CoRR abs/1802.10375 (2018) - [i7]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss:
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR abs/1811.06740 (2018) - 2017
- [j15]Alejandro Sánchez, César Sánchez:
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems. Ann. Math. Artif. Intell. 80(3-4): 249-282 (2017) - [i6]Raúl Pardo, César Sánchez, Gerardo Schneider:
Timed Epistemic Knowledge Bases for Social Networks (Extended Version). CoRR abs/1708.04070 (2017) - 2016
- [j14]César Sánchez, Kristen Brent Venable, Esteban Zimányi:
Special issue on temporal representation and reasoning (TIME'13). Acta Informatica 53(2): 87-88 (2016) - [j13]Bernd Finkbeiner, César Sánchez:
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit. Acta Informatica 53(4): 325-326 (2016) - [j12]Laura Bozzelli, César Sánchez:
Foundations of Boolean stream runtime verification. Theor. Comput. Sci. 631: 118-138 (2016) - [c43]Raúl Pardo, Ivana Kellyerova, César Sánchez, Gerardo Schneider:
Specification of Evolving Privacy Policies for Online Social Networks. TIME 2016: 70-79 - [e2]Yliès Falcone, César Sánchez:
Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. Lecture Notes in Computer Science 10012, Springer 2016, ISBN 978-3-319-46981-2 [contents] - 2015
- [j11]Alejandro Sánchez, César Sánchez:
Parametrized invariance for infinite state processes. Acta Informatica 52(6): 525-557 (2015) - [c42]Bernd Finkbeiner, Markus N. Rabe, César Sánchez:
Algorithms for Model Checking HyperLTL and HyperCTL ^*. CAV (1) 2015: 30-48 - 2014
- [j10]Laura Bozzelli, César Sánchez:
Visibly rational expressions. Acta Informatica 51(1): 25-49 (2014) - [c41]Alejandro Sánchez, César Sánchez:
Formal Verification of Skiplists with Arbitrary Many Levels. ATVA 2014: 314-329 - [c40]Laura Bozzelli, César Sánchez:
Visibly Linear Temporal Logic. IJCAR 2014: 418-433 - [c39]Alejandro Sánchez, César Sánchez:
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes. CAV 2014: 620-627 - [c38]Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez:
Temporal Logics for Hyperproperties. POST 2014: 265-284 - [c37]Laura Bozzelli, César Sánchez:
Foundations of Boolean Stream Runtime Verification. RV 2014: 64-79 - [c36]Alejandro Sánchez, César Sánchez:
Parametrized Verification Diagrams. TIME 2014: 132-141 - [i5]Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez:
Temporal Logics for Hyperproperties. CoRR abs/1401.4492 (2014) - 2013
- [j9]J. Mateo, A. M. Torres, María A. García, César Sánchez, Raquel Cervigón:
Robust Volterra Filter Design for Enhancement of Electroencephalogram Signal Processing. Circuits Syst. Signal Process. 32(1): 233-253 (2013) - [j8]Maria-Cristina V. Marinescu, César Sánchez:
Fusing statecharts and java. ACM Trans. Embed. Comput. Syst. 12(1s): 45:1-45:21 (2013) - [j7]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding. IEEE Trans. Software Eng. 39(6): 774-786 (2013) - [e1]César Sánchez, Kristen Brent Venable, Esteban Zimányi:
2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-2240-6 [contents] - [i4]César Sánchez, Alejandro Sánchez:
A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height. CoRR abs/1301.4372 (2013) - [i3]Bernd Finkbeiner, Markus N. Rabe, César Sánchez:
A Temporal Logic for Hyperproperties. CoRR abs/1306.6657 (2013) - [i2]Alejandro Sánchez, César Sánchez:
Parametrized Invariance for Infinite State Processe. CoRR abs/1312.4043 (2013) - 2012
- [j6]Marina Zapater, César Sánchez, José L. Ayala, José Manuel Moya, José L. Risco-Martín:
Ubiquitous Green Computing Techniques for High Demand Applications in Smart Environments. Sensors 12(8): 10659-10677 (2012) - [c35]Laura Bozzelli, César Sánchez:
Visibly Rational Expressions. FSTTCS 2012: 211-223 - [c34]César Sánchez, Julián Samborski-Forlese:
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. ICTAC 2012: 30-45 - [c33]Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang:
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). SAS 2012: 146-163 - [c32]César Sánchez, Julián Samborski-Forlese:
Efficient Regular Linear Temporal Logic Using Dualization and Stratification. TIME 2012: 13-20 - [i1]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding. CoRR abs/1201.1327 (2012) - 2011
- [c31]Raquel Cervigón, César Sánchez, Javier Moreno, Richard B. Reilly, Francisco Castells:
Morphology quantification of atrial fibrillation under propofol using principal components analysis. EMBC 2011: 6967-6970 - [c30]J. Mateo, A. M. Torres, C. Soria, María A. García, César Sánchez:
EEG Noise Cancellation based on Neural Network. IJCCI (NCTA) 2011: 330-333 - [c29]César Sánchez, Eduardo Romero:
A distributed architecture for a loosely coupled virtual microscopy system. Medical Imaging: Computer-Aided Diagnosis 2011: 79633H - [c28]Alejandro Sánchez, César Sánchez:
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes. NASA Formal Methods 2011: 343-358 - 2010
- [c27]Diego García-Saiz, César Sánchez, Raúl Alcaraz:
Frequency Domain Analysis as Risk Predictor of Sudden Cardiac Death from Long-time ECG Recordings. BIOSIGNALS 2010: 424-427 - [c26]Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez:
Analyzing the Impact of Change in Multi-threaded Programs. FASE 2010: 293-307 - [c25]Alejandro Sánchez, César Sánchez:
Decision Procedures for the Temporal Verification of Concurrent Lists. ICFEM 2010: 74-89 - [c24]Martin Leucker, César Sánchez:
Regular Linear-Time Temporal Logic. TIME 2010: 3-5 - [c23]César Sánchez, Martin Leucker:
Regular Linear Temporal Logic with Past. VMCAI 2010: 295-311
2000 – 2009
- 2009
- [j5]Raquel Cervigón, Javier Moreno, César Sánchez, Richard B. Reilly, Julián Villacastín, José Millet, Francisco Castells:
Atrial fibrillation organization: quantification of propofol effects. Medical Biol. Eng. Comput. 47(3): 333-341 (2009) - 2008
- [j4]Raquel Cervigón, Javier Moreno, Francisco Castells, J. Mateo, César Sánchez, Julián Pérez-Villacastín, José Millet:
Anesthesia with propofol slows atrial fibrillation dominant frequencies. Comput. Biol. Medicine 38(7): 792-798 (2008) - [c22]César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna:
The Reaction Algebra: A Formal Language for Event Correlation. Pillars of Computer Science 2008: 596-619 - [c21]César Sánchez, Edwin Triana, Eduardo Romero:
A flexible web oriented telehealth platform using a RIM-HL7 based model. EATIS 2008 - 2007
- [j3]Raquel Cervigón, César Sánchez, Francisco Castells, J. M. Blas, José Millet:
Wavelet analysis of electrocardiograms to characterize recurrent atrial fibrillation. J. Frankl. Inst. 344(3-4): 196-211 (2007) - [j2]Carlos Vayá, José Joaquín Rieta, César Sánchez, David Moratal:
Convolutive Blind Source Separation Algorithms Applied to the Electrocardiogram of Atrial Fibrillation: Study of Performance. IEEE Trans. Biomed. Eng. 54(8): 1530-1533 (2007) - [c20]César Sánchez, Henny B. Sipma, Zohar Manna:
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. FASE 2007: 155-169 - [c19]Martin Leucker, César Sánchez:
Regular Linear Temporal Logic. ICTAC 2007: 291-305 - [c18]César Sánchez, Henny B. Sipma, Zohar Manna:
Generating Efficient Distributed Deadlock Avoidance Controllers. IPDPS 2007: 1-8 - [c17]Jorge Mateo Sotos, César Sánchez, Carlos Vayá, Raquel Cervigón Abad, José Joaquín Rieta:
A Learning Based Widrow-Hoff Delta Algorithm for Noise Reduction in Biomedical Signals. IWINAC (1) 2007: 377-386 - 2006
- [c16]César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill:
Efficient distributed deadlock avoidance with liveness guarantees. EMSOFT 2006: 12-20 - [c15]Venkita Subramonian, Christopher D. Gill, César Sánchez, Henny B. Sipma:
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. EMSOFT 2006: 252-261 - [c14]José Joaquín Rieta, Fernando Hornero, César Sánchez, Carlos Vayá, David Moratal, Juan Manuel Sanchis:
Derivation of Atrial Surface Reentries Applying ICA to the Standard Electrocardiogram of Patients in Postoperative Atrial Fibrillation. ICA 2006: 478-485 - [c13]César Sánchez, José Joaquín Rieta, Carlos Vayá, David Moratal-Pérez, Roberto Zangróniz, José Millet:
Wavelet Denoising as Preprocessing Stage to Improve ICA Performance in Atrial Fibrillation Analysis. ICA 2006: 486-494 - [c12]Carlos Vayá, José Joaquín Rieta, César Sánchez, David Moratal:
Performance Study of Convolutive BSS Algorithms Applied to the Electrocardiogram of Atrial Fibrillation. ICA 2006: 495-502 - [c11]César Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill:
On efficient distributed deadlock avoidance for real-time and embedded systems. IPDPS 2006 - [c10]César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna:
Distributed Priority Inheritance for Real-Time and Embedded Systems. OPODIS 2006: 110-125 - 2005
- [c9]César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna:
Final Semantics for Event-Pattern Reactive Programs. CALCO 2005: 364-378 - [c8]César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna:
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. FORTE 2005: 159-173 - [c7]César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna:
Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE 2005: 529-532 - [c6]Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna:
LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005: 166-174 - 2004
- [j1]José Joaquín Rieta, Francisco Castells, César Sánchez, Vicente Zarzoso, José Millet:
Atrial activity extraction for atrial fibrillation analysis using blind source separation. IEEE Trans. Biomed. Eng. 51(7): 1176-1186 (2004) - [c5]José Joaquín Rieta, César Sánchez, Juan Manuel Sanchis, Francisco Castells, José Millet:
Mixing Matrix Pseudostationarity and ECG Preprocessing Impact on ICA-Based Atrial Fibrillation Analysis. ICA 2004: 1079-1086 - [c4]César Sánchez, José Joaquín Rieta, Francisco Castells, Raúl Alcaraz, José Millet:
Wavelet Domain Blind Signal Separation to Analyze Supraventricular Arrhythmias from Holter Registers. ICA 2004: 1111-1117 - [c3]Francisco Castells, Cibeles Mora, José Millet, José Joaquín Rieta, César Sánchez, Juan Manuel Sanchis:
Multidimensional ICA for the Separation of Atrial and Ventricular Activities from Single Lead ECGs in Paroxysmal Atrial Fibrillation Episodes. ICA 2004: 1229-1236 - 2003
- [c2]César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna:
Event Correlation: Language and Semantics. EMSOFT 2003: 323-339 - [c1]Francisco Castells, Jorge Igual, José Joaquín Rieta, César Sánchez, José Millet:
Atrial fibrillation analysis based on ICA including statistical and temporal source information. ICASSP (5) 2003: 93-96
Coauthor Index
a service of 
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2022-06-28 22:20 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 has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
