Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarErik P. de Vink
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j40]Keyvan Azadbakht, Frank S. de Boer, Nikolaos Bezirgiannis, Erik P. de Vink:
A formal actor-based model for streaming the future. Sci. Comput. Program. 186 (2020)- [c66]Maurice H. ter Beek
, Sjef van Loo, Erik P. de Vink, Tim A. C. Willemse:
Family-Based SPL Model Checking Using Parity Games with Variability. FASE 2020: 245-265 - [i2]Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink:
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. CoRR abs/2005.05578 (2020)
2010 – 2019
- 2019
- [c65]Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink:
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract). The Art of Modelling Computational Systems 2019: 139-162 - [c64]Jan Friso Groote, Erik P. de Vink:
An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice. From Software Engineering to Formal Methods and Tools, and Back 2019: 449-463 - [c63]Jan Friso Groote, Jeroen J. A. Keiren, Bas Luttik, Erik P. de Vink, Tim A. C. Willemse:
Modelling and Analysing Software in mCRL2. FACS 2019: 25-48 - [c62]Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse:
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) 2019: 21-39 - 2018
- [j39]Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink:
An Efficient Algorithm to Determine Probabilistic Bisimulation. Algorithms 11(9): 131 (2018) - [c61]Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink:
Extending Paradigm with Data. It's All About Coordination 2018: 224-244 - [c60]Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink:
Deadlock Detection for Actor-Based Coroutines. FM 2018: 39-54 - [e7]Klaus Havelund, Jan Peleska, Bill Roscoe, Erik P. de Vink:
Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Lecture Notes in Computer Science 10951, Springer 2018, ISBN 978-3-319-95581-0 [contents] - 2017
- [c59]Jan Friso Groote, Erik P. de Vink:
Problem Solving Using Process Algebra Considered Insightful. ModelEd, TestEd, TrustEd 2017: 48-63 - [c58]Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse:
Family-Based Model Checking with mCRL2. FASE 2017: 387-405 - [c57]Ziad Ben Snaiba, Erik P. de Vink, Tim A. C. Willemse:
Family-Based Model Checking of SPL based on mCRL2. SPLC (B) 2017: 13-16 - [e6]Herbert Wiklicky, Erik P. de Vink:
Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. EPTCS 250, 2017 [contents] - 2016
- [c56]L. P. J. Groenewegen, R. Kuiper, Erik P. de Vink:
Towards a Proof Method for Paradigm. Theory and Practice of Formal Methods 2016: 242-260 - [c55]Maurice H. ter Beek, Michel A. Reniers, Erik P. de Vink:
Supervisory Controller Synthesis for Product Lines Using CIF 3. ISoLA (1) 2016: 856-873 - [c54]Matias David Lee, Erik P. de Vink:
Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions. MFCS 2016: 29:1-29:14 - [c53]Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse:
Towards a Feature mu-Calculus Targeting SPL Verification. FMSPLE 2016: 61-75 - 2015
- [j38]Diego Latella, Mieke Massink, Erik P. de Vink:
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Logical Methods in Computer Science 11(4) (2015) - [c52]Tessa Belder, Maurice H. ter Beek, Erik P. de Vink:
Coherent branching feature bisimulation. FMSPLE 2015: 14-30 - [c51]Diego Latella, Mieke Massink, Erik P. de Vink:
A Definition Scheme for Quantitative Bisimulation. QAPL 2015: 63-78 - [c50]Matias David Lee, Erik P. de Vink:
Rooted branching bisimulation as a congruence for probabilistic transition systems. QAPL 2015: 79-94 - 2014
- [j37]Tessa E. Pronk, Jochem W. van der Veen, Rob J. Vandebriel, Henk van Loveren, Erik P. de Vink, Jeroen L. A. Pennings:
Comparison of the molecular topologies of stress-activated transcription factors HSF1, AP-1, NRF2, and NF-κB in their induction kinetics of HMOX1. Biosyst. 124: 75-85 (2014) - [j36]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic adaptation with distributed control in Paradigm. Sci. Comput. Program. 94: 333-361 (2014) - [c49]Maurice H. ter Beek, Erik P. de Vink:
Using mCRL2 for the analysis of software product lines. FormaliSE 2014: 31-37 - [c48]Maurice H. ter Beek, Erik P. de Vink:
Towards Modular Verification of Software Product Lines with mCRL2. ISoLA (1) 2014: 368-385 - [c47]Maurice H. ter Beek, Erik P. de Vink:
Software product line analysis with mCRL2. SPLC Workshops 2014: 78-85 - [c46]Axel Legay, Erik P. de Vink:
SPLat 2014: First International Workshop on Software Product Line Analysis Tools. SPLC 2014: 353 - 2013
- [j35]Erik P. de Vink, Hans Zantema, Dragan Bosnacki:
RNA-Editing with Combined Insertion and Deletion Preserves Regularity. Sci. Ann. Comp. Sci. 23(1): 39-73 (2013) - [j34]Paola Giannini, Erik P. de Vink:
Preface. Electron. Notes Theor. Comput. Sci. 293: 1-2 (2013) - [j33]Christian Krause, Holger Giese, Erik P. de Vink:
Compositional and behavior-preserving reconfiguration of component connectors in Reo. J. Vis. Lang. Comput. 24(3): 153-168 (2013) - [c45]Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse:
An Overview of the mCRL2 Toolset and Its Recent Advances. TACAS 2013: 199-213 - [e5]Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky:
Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures. Lecture Notes in Computer Science 7938, Springer 2013, ISBN 978-3-642-38873-6 [contents] - 2012
- [j32]Natallia Kokash, Christian Krause, Erik P. de Vink:
Reo + mCRL2: A framework for model-checking dataflow in service compositions. Formal Asp. Comput. 24(2): 187-216 (2012) - [j31]Jasen Markovski, Pedro R. D'Argenio, Jos C. M. Baeten, Erik P. de Vink:
Reconciling real and stochastic time: the need for probabilistic refinement. Formal Asp. Comput. 24(4-6): 497-518 (2012) - [c44]José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Dreams: a framework for distributed synchronous coordination. SAC 2012: 1510-1515 - [c43]Diego Latella, Mieke Massink, Erik P. de Vink:
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages. ACCAT 2012: 23-43 - [c42]Erik P. de Vink, Hans Zantema, Dragan Bosnacki:
Combining Insertion and Deletion in RNA-editing Preserves Regularity. MeCBIC 2012: 48-62 - [e4]Corrado Priami, Ion Petre, Erik P. de Vink:
Transactions on Computational Systems Biology XIV - Special Issue on Computational Models for Cell Processes. Lecture Notes in Computer Science 7625, Springer 2012, ISBN 978-3-642-35523-3 [contents] - 2011
- [j30]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic consistency in process algebra: From Paradigm to ACP. Sci. Comput. Program. 76(8): 711-735 (2011) - [c41]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Towards reduction of Paradigm coordination models. PACO 2011: 1-18 - [c40]José Proença, Dave Clarke, Erik P. de Vink, Farhad Arbab:
Decoupled execution of synchronous coordination models via behavioural automata. FOCLASA 2011: 65-79 - [e3]Ion Petre, Erik P. de Vink:
Proceedings Third International Workshop on Computational Models for Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011. EPTCS 67, 2011 [contents] - [e2]Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink:
Transactions on Computational Systems Biology XIII. Lecture Notes in Computer Science 6575, Springer 2011, ISBN 978-3-642-19747-5 [contents] - 2010
- [c39]Christian Krause, Carola Krause, Erik P. de Vink:
Action-based analysis of discrete regulatory networks with short-term stimuli. CMSB 2010: 66-75 - [c38]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Distributed Adaption of Dining Philosophers. FACS 2010: 125-144 - [c37]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Towards Dynamic Adaptation of Probabilistic Systems. ISoLA (2) 2010: 143-159 - [c36]Natallia Kokash, Christian Krause, Erik P. de Vink:
Data-aware design and verification of service compositions with Reo and mCRL2. SAC 2010: 2406-2413 - [c35]Natallia Kokash, Christian Krause, Erik P. de Vink:
Time and Data-Aware Analysis of Graphical Service Models in Reo. SEFM 2010: 125-134
2000 – 2009
- 2009
- [j29]Ana Sokolova, Erik P. de Vink, Harald Woracek:
Coalgebraic Weak Bisimulation for Action-Type Systems. Sci. Ann. Comp. Sci. 19: 93-144 (2009) - [j28]Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic Consistency in Process Algebra: From Paradigm to ACP. Electron. Notes Theor. Comput. Sci. 229(2): 3-20 (2009) - [j27]Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink:
Formalizing Adaptation On-the-Fly. Electron. Notes Theor. Comput. Sci. 255: 23-44 (2009) - [j26]Jasen Markovski, Erik P. de Vink:
Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra. Fundam. Inform. 95(1): 157-186 (2009) - [j25]Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink:
Compositionality for Markov reward chains with fast and silent transitions. Perform. Evaluation 66(8): 435-452 (2009) - [j24]Dragan Bosnacki, Tessa E. Pronk, Erik P. de Vink:
In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition. Trans. Comp. Sys. Biology 11: 69-89 (2009) - [c34]Natallia Kokash, Christian Krause, Erik P. de Vink:
Verification of Context-Dependent Channel-Based Service Models. FMCO 2009: 21-40 - [e1]Ralph-Johan Back, Ion Petre, Erik P. de Vink:
Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009. EPTCS 6, 2009 [contents] - 2008
- [c33]Jasen Markovski, Erik P. de Vink:
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems. ACSD 2008: 180-189 - [c32]Jasen Markovski, Erik P. de Vink:
Extending Timed Process Algebra with Discrete Stochastic Time. AMAST 2008: 268-283 - [c31]Dragan Bosnacki, Huub M. M. ten Eikelder, Marvin N. Steijaert, Erik P. de Vink:
Stochastic Analysis of Amino Acid Substitution in Protein Synthesis. CMSB 2008: 367-386 - [c30]Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink:
Architecting Security with Paradigm. WADS 2008: 255-283 - [c29]Jing Pan, J. I. den Hartog, Erik P. de Vink:
An Operation-Based Metric for CPA Resistance. SEC 2008: 429-443 - [c28]Christian Koehler, Farhad Arbab, Erik P. de Vink:
Reconfiguring Distributed Reo Connectors. WADT 2008: 221-235 - [i1]Luuk Groenewegen, Erik P. de Vink:
Dynamic System Adaptation by Constraint Orchestration. CoRR abs/0811.3492 (2008) - 2007
- [j23]Sjouke Mauw, Jan Verschuren, Erik P. de Vink:
Data Anonymity in the FOO Voting Scheme. Electron. Notes Theor. Comput. Sci. 168: 5-28 (2007) - [c27]Jasen Markovski, Erik P. de Vink:
Real-Time Process Algebra with Stochastic Delays. ACSD 2007: 177-186 - [c26]Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink:
Compositionality for Markov Reward Chains with Fast Transitions. EPEW 2007: 18-32 - 2006
- [j22]A. W. Stam, Luuk Groenewegen, Erik P. de Vink:
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study. Electron. Notes Theor. Comput. Sci. 150(1): 127-142 (2006) - [j21]Luuk Groenewegen, A. W. Stam, Pieter J. Toussaint, Erik P. de Vink:
Paradigm as Organization-Oriented Coordination Language. Electron. Notes Theor. Comput. Sci. 150(3): 93-113 (2006) - [j20]Simona Orzan, Erik P. de Vink:
Multiparty Contract Signing Over a Reliable Network. Electron. Notes Theor. Comput. Sci. 157(3): 27-41 (2006) - [j19]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface. Electron. Notes Theor. Comput. Sci. 157(4): 1-2 (2006) - [j18]Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink:
Injective synchronisation: An extension of the authentication hierarchy. Theor. Comput. Sci. 367(1-2): 139-161 (2006) - [c25]Luuk Groenewegen, Erik P. de Vink:
Evolution On-the-Fly with Paradigm. COORDINATION 2006: 97-112 - [c24]Jasen Markovski, Erik P. de Vink:
Embedding Real Time in Stochastic Process Algebras. EPEW 2006: 47-62 - [c23]Hugo L. Jonker, Erik P. de Vink:
Formalising Receipt-Freeness. ISC 2006: 476-488 - 2005
- [j17]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface. Electron. Notes Theor. Comput. Sci. 126: 1-2 (2005) - [j16]Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink:
Toward Reasoning about Security Protocols: A Semantic Approach. Electron. Notes Theor. Comput. Sci. 126: 53-75 (2005) - [j15]Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink:
A Syntactic Criterion for Injectivity of Authentication Protocols. Electron. Notes Theor. Comput. Sci. 135(1): 23-38 (2005) - [c22]Luuk Groenewegen, Niels van Kampenhout, Erik P. de Vink:
Delegation Modeling with Paradigm. COORDINATION 2005: 94-108 - 2004
- [j14]Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Preface: Volume 85, Issue 2. Electron. Notes Theor. Comput. Sci. 85(2): 81 (2004) - [j13]Jos C. M. Baeten, Erik P. de Vink:
Axiomatizing GSOS with termination. J. Log. Algebraic Methods Program. 60-61: 323-351 (2004) - [j12]Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink:
Update Semantics of Security Protocols. Synthese 142(2): 229-267 (2004) - [j11]Falk Bartels, Ana Sokolova, Erik P. de Vink:
A hierarchy of probabilistic system types. Theor. Comput. Sci. 327(1-2): 3-22 (2004) - [c21]Sjouke Mauw, Jan Verschuren, Erik P. de Vink:
A Formalization of Anonymity and Onion Routing. ESORICS 2004: 109-124 - [c20]Jerry den Hartog, Erik P. de Vink:
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. Formal Aspects in Security and Trust 2004: 85-98 - [c19]Ana Sokolova, Erik P. de Vink:
Probabilistic Automata: System Types, Parallel Composition and Comparison. Validation of Stochastic Systems 2004: 1-43 - [c18]Ana Sokolova, Erik P. de Vink, Harald Woracek:
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). CTCS 2004: 211-228 - 2003
- [c17]Jerry den Hartog, Jan Verschuren, Erik P. de Vink, Jaap de Vos, W. Wiersma:
PINPAS: A Tool for Power Analysis of Smartcards. SEC 2003: 453-457 - [c16]Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink:
Verification and Improvement of the Sliding Window Protocol. TACAS 2003: 113-127 - [c15]Falk Bartels, Ana Sokolova, Erik P. de Vink:
A hierarchy of probabilistic system types. CMCS 2003: 57-75 - 2002
- [j10]Jerry den Hartog, Erik P. de Vink:
Verifying Probabilistic Programs Using a Hoare Like Logic. Int. J. Found. Comput. Sci. 13(3): 315-340 (2002) - [c14]Luuk Groenewegen, Erik P. de Vink:
Operational Semantics for Coordination in Paradigm. COORDINATION 2002: 191-206 - [c13]Jos C. M. Baeten, Erik P. de Vink:
Axiomatizing GSOS with Termination. STACS 2002: 583-595 - 2001
- [c12]Nesria Agray, Wiebe van der Hoek, Erik P. de Vink:
On BAN Logics for Industrial Security Protocols. CEEMAS 2001: 29-36 - 2000
- [j9]Jerry den Hartog, Erik P. de Vink, J. W. de Bakker:
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice. Electron. Notes Theor. Comput. Sci. 40: 72-99 (2000)
1990 – 1999
- 1999
- [j8]Jerry den Hartog, Erik P. de Vink:
Mixing Up Nondeterminism and Probability: a preliminary report. Electron. Notes Theor. Comput. Sci. 22: 88-110 (1999) - [j7]Jerry den Hartog, Erik P. de Vink, J. W. de Bakker:
Full Abstractness of a Metric Semantics for Action Refinement. Fundam. Inform. 40(4): 335-382 (1999) - [j6]Erik P. de Vink, Jan J. M. M. Rutten:
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. Theor. Comput. Sci. 221(1-2): 271-293 (1999) - 1997
- [c11]Erik P. de Vink, Jan J. M. M. Rutten:
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. ICALP 1997: 460-470 - [c10]Eneia Todoran, Jerry den Hartog, Erik P. de Vink:
Comparative Metric Semantics for Commit in OR-Parallel Logic Programming. ILPS 1997: 101-115 - 1996
- [b2]Jacobus W. de Bakker, Erik P. de Vink:
Control flow semantics. MIT Press 1996, ISBN 978-0-262-04154-6, pp. I-XVII, 1-564 - 1995
- [c9]Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink:
Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. CONCUR 1995: 363-377 - 1994
- [j5]J. W. de Bakker, Erik P. de Vink:
Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. Fundam. Inform. 20(1/2/3): 3-34 (1994) - [c8]Vincent van Oostrom, Erik P. de Vink:
Transition System Specifications in Stalk Formal with Bisimulation as a Congruence. STACS 1994: 569-580 - 1993
- [j4]J. W. de Bakker, Erik P. de Vink:
Rendez-Vous with Metric Semantics. New Gener. Comput. 12(1): 53-90 (1993) - 1992
- [c7]Anton Eliëns, Erik P. de Vink:
Asynchronous Rendez-vous in Distributed Logic Programming. REX Workshop 1992: 174-203 - 1991
- [c6]J. W. de Bakker, Erik P. de Vink:
Rendezvous with Metric Semantics. PARLE (2) 1991: 27-57 - [c5]J. W. de Bakker, Erik P. de Vink:
CCS for OO and LP. TAPSOFT, Vol.2 1991: 1-28 - 1990
- [b1]Erik P. de Vink:
Designing stream based semantics for uniform concurrency and logic programming. Univ. Amsterdam, 1990, pp. 1-167 - [c4]Arie de Bruin, Erik P. de Vink:
Retractions in Comparing Prolog Semantics (Extended Abstract). MFCS 1990: 180-186
1980 – 1989
- 1989
- [j3]John-Jules Ch. Meyer, Erik P. de Vink:
Step Semantics for "True" Concurrency with Recursion. Distributed Comput. 3(3): 130-145 (1989) - [j2]Erik P. de Vink:
Comparative Semantics for PROLOG with Cut. Sci. Comput. Program. 13(1): 237-264 (1989) - [c3]John-Jules Ch. Meyer, Erik P. de Vink:
Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). MFCS 1989: 360-369 - [c2]Arie de Bruin, Erik P. de Vink:
Continuation Semantics for PROLOG with Cut. TAPSOFT, Vol.1 1989: 178-192 - 1988
- [j1]John-Jules Ch. Meyer, Erik P. de Vink:
Applications of Compactness in the Smyth Powerdomain of Streams. Theor. Comput. Sci. 57: 251-282 (1988) - 1987
- [c1]John-Jules Ch. Meyer, Erik P. de Vink:
Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). TAPSOFT, Vol.1 1987: 241-255
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).
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 and opencitations.net 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 Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from 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 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.
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 accout. At the same time, Twitter will persitently 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 2020-05-20 00:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
