Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDBruce H. Krogh
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[c74]Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Robust Software Rejuvenation for CPS with State Estimation and Disturbances. ACC 2020: 1241-1246- [c73]Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Secure Networked Control for Decentralized Systems via Software Rejuvenation. ACC 2020: 1266-1273
2010 – 2019
- 2019
- [c72]Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Design of Software Rejuvenation for CPS Security Using Invariant Sets. ACC 2019: 3740-3745 - [c71]Paul Griffioen, Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Secure Networked Control via Software Rejuvenation. CDC 2019: 3878-3884 - [c70]Raffaele Romagnoli
, Bruce H. Krogh, Bruno Sinopoli:
Safety and Liveness of Software Rejuvenation for Secure Tracking Control. ECC 2019: 2215-2220 - 2018
- [i3]Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Bruno Sinopoli:
Software Rejuvenation for Secure Tracking Control. CoRR abs/1810.10468 (2018) - [i2]Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli:
Design of Software Rejuvenation for CPS Security Using Invariant Sets. CoRR abs/1810.10484 (2018) - 2015
- [j35]Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh:
Numerically-aided Deductive Safety Proof for a Powertrain Control System. Electron. Notes Theor. Comput. Sci. 317: 19-25 (2015) - [c69]Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh:
Forward invariant cuts to simplify proofs of safety. EMSOFT 2015: 227-236 - [i1]Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh:
Forward Invariant Cuts to Simplify Proofs of Safety. CoRR abs/1507.05133 (2015) - 2014
- [j34]Matthias Althoff, Bruce H. Krogh:
Reachability Analysis of Nonlinear Differential-Algebraic Systems. IEEE Trans. Autom. Control. 59(2): 371-383 (2014) - [j33]Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce H. Krogh, David Garlan, André Platzer, Bradley R. Schmerl:
Supporting Heterogeneity in Cyber-Physical Systems Architectures. IEEE Trans. Autom. Control. 59(12): 3178-3193 (2014) - [c68]Clarence Agbi, Bruce H. Krogh:
Decentralized identification of building models. ACC 2014: 1070-1075 - [c67]Nikos Aréchiga, Bruce H. Krogh:
Using verified control envelopes for safe controller design. ACC 2014: 2918-2923 - 2013
- [j32]Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry T. Pileggi:
Formal verification of phase-locked loops using reachability analysis and continuization. Commun. ACM 56(10): 97-104 (2013) - [c66]Akshay Rajhans, Bruce H. Krogh:
Compositional heterogeneous abstraction. HSCC 2013: 253-262 - [c65]Emre Can Kara, J. Zico Kolter, Mario Berges, Bruce H. Krogh, Gabriela Hug, Tugçe Yüksel:
A moving horizon state estimator in the control of thermostatically controlled loads for demand response. SmartGridComm 2013: 253-258 - 2012
- [j31]Luca Parolini, Bruno Sinopoli, Bruce H. Krogh, Zhikui Wang:
A Cyber-Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency. Proc. IEEE 100(1): 254-268 (2012) - [c64]Nikos Aréchiga, Sarah M. Loos, André Platzer, Bruce H. Krogh:
Using theorem provers to guarantee closed-loop system properties. ACC 2012: 3573-3580 - [c63]Clarence Agbi, Zhen Song, Bruce H. Krogh:
Parameter identifiability for multi-zone building models. CDC 2012: 6951-6956 - [c62]Akshay Rajhans, Bruce H. Krogh:
Heterogeneous verification of cyber-physical systems using behavior relations. HSCC 2012: 35-44 - [c61]Matthias Althoff, Bruce H. Krogh:
Avoiding geometric intersection operations in reachability analysis of hybrid systems. HSCC 2012: 45-54 - [c60]Emre Can Kara, Mario Berges, Bruce H. Krogh, Soummya Kar:
Using smart devices for system-level management and control in the smart grid: A reinforcement learning framework. SmartGridComm 2012: 85-90 - 2011
- [j30]Le Xie, Pedro M. S. Carvalho, Luis A. F. M. Ferreira, Juhua Liu, Bruce H. Krogh, Nipun Popli, Marija D. Ilic:
Wind Integration in Power Systems: Operational Challenges and Possible Solutions. Proc. IEEE 99(1): 214-232 (2011) - [c59]Juhua Liu, Bruce H. Krogh, B. Erik Ydstie:
Passivity-based robust control for power systems subject to wind power variability. ACC 2011: 4149-4154 - [c58]Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, David Garlan:
Using parameters in architectural views to support heterogeneous design and verification. CDC-ECE 2011: 2705-2710 - [c57]Matthias Althoff, Bruce H. Krogh:
Zonotope bundles for the efficient computation of reachable sets. CDC-ECE 2011: 6814-6821 - [c56]Matthias Althoff, Colas Le Guernic, Bruce H. Krogh:
Reachable set computation for uncertain time-varying linear systems. HSCC 2011: 93-102 - [c55]Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi:
Formal verification of phase-locked loops using reachability analysis and continuization. ICCAD 2011: 659-666 - [c54]Ajinkya Bhave, Bruce H. Krogh, David Garlan, Bradley R. Schmerl:
View Consistency in Architectures for Cyber-Physical Systems. ICCPS 2011: 151-160 - 2010
- [c53]Luca Parolini, Emanuele Garone, Bruno Sinopoli, Bruce H. Krogh:
A hierarchical approach to energy management in data centers. CDC 2010: 1065-1070 - [c52]Luca Parolini, Niraj Tolia, Bruno Sinopoli, Bruce H. Krogh:
A cyber-physical systems approach to energy management in data centers. ICCPS 2010: 168-177 - [c51]Oded Maler, Kim G. Larsen, Bruce H. Krogh:
On Zone-Based Analysis of Duration Probabilistic Automata. INFINITY 2010: 33-46
2000 – 2009
- 2009
- [j29]Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave:
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009) - [j28]Haotian Zhang, José M. F. Moura, Bruce H. Krogh:
Dynamic field estimation using wireless sensor networks: tradeoffs between estimation error and communication cost. IEEE Trans. Signal Process. 57(6): 2383-2395 (2009) - [c50]Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans:
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. HSCC 2009: 165-179 - [c49]James E. Weimer, Bruno Sinopoli, Bruce H. Krogh:
Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks. RTSS 2009: 333-342 - 2008
- [c48]Juhua Liu, Bruce H. Krogh, Marija D. Ilic:
Saturation-induced instability in electric power systems. ACC 2008: 580-585 - [c47]Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh:
Model checking in-the-loop: Finding counterexamples by systematic simulation. ACC 2008: 2734-2740 - [c46]James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh:
Control software model checking using bisimulation functions for nonlinear systems. CDC 2008: 4024-4029 - [c45]Ajinkya Bhave, Bruce H. Krogh:
Performance bounds on state-feedback controllers with network delay. CDC 2008: 4608-4613 - [c44]Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh:
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC 2008: 187-200 - [c43]Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh:
Verification of Supervisory Control Software Using State Proximity and Merging. HSCC 2008: 344-357 - [c42]James E. Weimer, Bruno Sinopoli, Bruce H. Krogh:
A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks. ICDCS Workshops 2008: 501-506 - 2007
- [c41]Rajesh Kumar, Bruce H. Krogh:
A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems. ACC 2007: 236-241 - [c40]Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm:
Integration of Formal Analysis into a Model-Based Software Development Process. FMICS 2007: 68-84 - [c39]Bruce H. Krogh:
From Analysis to Design. FORMATS 2007: 4 - [c38]Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke:
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. HSCC 2007: 287-300 - [c37]James E. Weimer, Bruce H. Krogh:
Hierarchical modeling of mode-switching systems. SCSC 2007: 567-574 - 2006
- [j27]Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha:
High-Confidence Medical Device Software and Systems. Computer 39(4): 33-38 (2006) - [j26]Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler:
Time Domain Verification of Oscillator Circuit Properties. Electron. Notes Theor. Comput. Sci. 153(3): 9-22 (2006) - [j25]Ansgar Fehnker, Bruce H. Krogh:
Hybrid System Verification Is not a Sinecure - the Electronic Throttle Control Case Study. Int. J. Found. Comput. Sci. 17(4): 885-902 (2006) - [j24]Qianchuan Zhao, Bruce H. Krogh:
Formal verification of statecharts using finite-state model checkers. IEEE Trans. Control. Syst. Technol. 14(5): 943-950 (2006) - [j23]Tian He, Sudha Krishnamurthy, Liqian Luo, Ting Yan, Lin Gu, Radu Stoleru, Gang Zhou, Qing Cao, Pascal Vicaire, John A. Stankovic, Tarek F. Abdelzaher, Jonathan Hui, Bruce H. Krogh:
VigilNet: An integrated sensor network system for energy-efficient surveillance. ACM Trans. Sens. Networks 2(1): 1-38 (2006) - [c36]Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar:
Verifying analog oscillator circuits using forward/backward abstraction refinement. DATE 2006: 257-262 - [c35]Zhi Han, Bruce H. Krogh:
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes. HSCC 2006: 287-301 - [c34]Haotian Zhang, Bruce H. Krogh, José M. F. Moura:
Inner Source Identification for Field Estimation in Wireless Sensor Networks. ICASSP (4) 2006: 853-856 - 2005
- [j22]Zhiyuan Ren, Bruce H. Krogh:
Markov decision Processes with fractional costs. IEEE Trans. Autom. Control. 50(5): 646-650 (2005) - [j21]Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu:
Hierarchical Adaptive Dynamic Power Management. IEEE Trans. Computers 54(4): 409-420 (2005) - [j20]Philip Koopman, Howie Choset, Rajeev Gandhi, Bruce H. Krogh, Diana Marculescu, Priya Narasimhan, JoAnn M. Paul, Ragunathan Rajkumar, Daniel P. Siewiorek, Asim Smailagic, Peter Steenkiste, Donald E. Thomas, Chenxi Wang:
Undergraduate embedded system education at Carnegie Mellon. ACM Trans. Embed. Comput. Syst. 4(3): 500-528 (2005) - [c33]Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh:
Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC 2005: 242-257 - [c32]Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler:
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. HSCC 2005: 370-385 - [c31]Haotian Zhang, José M. F. Moura, Bruce H. Krogh:
Estimation in sensor networks: a graph approach. IPSN 2005: 203-209 - [c30]Lin Gu, Dong Jia, Pascal Vicaire, Ting Yan, Liqian Luo, Ajay Tirumala, Qing Cao, Tian He, John A. Stankovic, Tarek F. Abdelzaher, Bruce H. Krogh:
Lightweight detection and classification for wireless sensor networks in realistic environments. SenSys 2005: 205-217 - 2004
- [c29]Ansgar Fehnker, Bruce H. Krogh:
Hybrid System Verification Is Not a Sinecure: The Electronic Throttle Control Case Study. ATVA 2004: 263-277 - [c28]Zhiyuan Ren, Bruce H. Krogh, Radu Marculescu:
Hierarchical Adaptive Dynamic Power Management. DATE 2004: 136-141 - [c27]Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar:
Towards formal verification of analog designs. ICCAD 2004: 210-217 - [c26]Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar:
Managing Verification Activities Using SVM. ICFEM 2004: 61-75 - [c25]Tian He, Sudha Krishnamurthy, John A. Stankovic, Tarek F. Abdelzaher, Liqian Luo, Radu Stoleru, Ting Yan, Lin Gu, Jonathan Hui, Bruce H. Krogh:
Energy-Efficient Surveillance System Using Wireless Sensor Networks. MobiSys 2004 - 2003
- [j19]Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Joël Ouaknine, Olaf Stursberg, Michael Theobald:
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. Int. J. Found. Comput. Sci. 14(4): 583-604 (2003) - [j18]Alongkrit Chutinan, Bruce H. Krogh:
Computational techniques for hybrid system verification. IEEE Trans. Autom. Control. 48(1): 64-75 (2003) - [c24]Olaf Stursberg, Ansgar Fehnker, Zhi Han, Bruce H. Krogh:
Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods. ADHS 2003: 289-294 - [c23]James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg:
On Systematic Simulation of Open Continuous Systems. HSCC 2003: 283-297 - [c22]Olaf Stursberg, Bruce H. Krogh:
Efficient Representation and Computation of Reachable Sets for Hybrid Systems. HSCC 2003: 482-497 - [c21]Jonathan Hui, Zhiyuan Ren, Bruce H. Krogh:
Sentry-Based Power Management in Wireless Sensor Networks. IPSN 2003: 458-472 - [c20]Edmund M. Clarke, Ansgar Fehnker, Zhi Han, Bruce H. Krogh, Olaf Stursberg, Michael Theobald:
Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. TACAS 2003: 192-207 - 2002
- [c19]Oded Maler, Bruce H. Krogh, Moez Mahfoudh:
On Control with Bounded Computational Resources. FTRTFT 2002: 147-164 - 2001
- [j17]Zhiyuan Ren, Bruce H. Krogh:
Adaptive control of Markov chains with average cost. IEEE Trans. Autom. Control. 46(4): 613-617 (2001) - [j16]Alongkrit Chutinan, Bruce H. Krogh:
Verification of infinite-state dynamic systems using approximate quotient transition systems. IEEE Trans. Autom. Control. 46(9): 1401-1410 (2001) - [j15]Xu Cheng, Bruce H. Krogh:
Stability-constrained model predictive control. IEEE Trans. Autom. Control. 46(11): 1816-1820 (2001) - [c18]Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis:
Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6 - [c17]José M. E. González, Antonio Eduardo Carrilho da Cunha, José E. R. Cury, Bruce H. Krogh:
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. HSCC 2001: 247-260 - 2000
- [e1]Nancy A. Lynch, Bruce H. Krogh:
Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings. Lecture Notes in Computer Science 1790, Springer 2000, ISBN 3-540-67259-1 [contents]
1990 – 1999
- 1999
- [j14]José Eduardo Ribeiro Cury, Bruce H. Krogh:
Robustness of supervisors for discrete-event systems. IEEE Trans. Autom. Control. 44(2): 376-379 (1999) - [c16]Bruce H. Krogh:
Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract). ICATPN 1999: 106 - [c15]Bruce H. Krogh:
Approximating Hybrid System Dynamics for Analysis and Control (Abstract). HSCC 1999: 2 - [c14]Alongkrit Chutinan, Bruce H. Krogh:
Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. HSCC 1999: 76-90 - 1998
- [j13]Archana S. Sathaye, Bruce H. Krogh:
Supervisor Synthesis for Real-Time Discrete Event Systems. Discret. Event Dyn. Syst. 8(1): 5-35 (1998) - [c13]Enrique D. Ferreira, Bruce H. Krogh:
Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance. HSCC 1998: 126-142 - 1997
- [j12]Lawrence E. Holloway, Bruce H. Krogh, Alessandro Giua:
A Survey of Petri Net Methods for Controlled Discrete Event Systems. Discret. Event Dyn. Syst. 7(2): 151-190 (1997) - [c12]Alongkrit Chutinan, Bruce H. Krogh:
Computing Approximating Automata for a Class of Linear Hybrid Systems. Hybrid Systems 1997: 16-37 - [c11]Enrique D. Ferreira, Bruce H. Krogh:
Controller Scheduling Using Neural Networks: Implementation and Experimental Results. Hybrid Systems 1997: 86-99 - 1995
- [c10]Sebastian Engell, Stefan Kowalewski, Bruce H. Krogh, Jörg Preußig:
Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems. EUROSIM 1995: 421-426 - [c9]Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury:
Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems. Hybrid Systems 1995: 475-484 - 1992
- [j11]Timothy J. Graettinger, Bruce H. Krogh:
On the computation of reference signal constraints for guaranteed tracking performance. Autom. 28(6): 1125-1141 (1992) - 1991
- [j10]Bruce H. Krogh, Lawrence E. Holloway:
Synthesis of feedback control logic for discrete manufacturing systems. Autom. 27(4): 641-651 (1991) - [j9]R. S. Sreenivas, Bruce H. Krogh:
On condition/event systems with discrete state realizations. Discret. Event Dyn. Syst. 1(2): 209-236 (1991) - [j8]Dai Feng, Bruce H. Krogh:
Dynamic steering control of conventionally steered mobile robots. J. Field Robotics 8(5): 699-721 (1991) - [j7]Wayne F. Carriker, Pradeep K. Khosla, Bruce H. Krogh:
Path planning for mobile manipulators for multiple task execution. IEEE Trans. Robotics Autom. 7(3): 403-408 (1991) - 1990
- [j6]Ramakrishna Akella, Bruce H. Krogh, Medini R. Singh:
Efficient computation of coordinating controls in hierarchical structures for failure-prone multicell flexible assembly systems. IEEE Trans. Robotics Autom. 6(6): 659-672 (1990) - [j5]Zbigniew Antoni Banaszak, Bruce H. Krogh:
Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. Robotics Autom. 6(6): 724-734 (1990) - [j4]Reg G. Willson, Bruce H. Krogh:
Petri Net Tools for the Specification and Analysis of Discrete Controllers. IEEE Trans. Software Eng. 16(1): 39-50 (1990) - [j3]Dai Feng, Bruce H. Krogh:
Satisficing feedback strategies for local navigation of autonomous mobile robots. IEEE Trans. Syst. Man Cybern. 20(6): 1383-1395 (1990) - [c8]Wayne F. Carriker, Pradeep K. Khosla, Bruce H. Krogh:
The use of simulated annealing to solve the mobile manipulator path planning problem. ICRA 1990: 204-209 - [c7]Dai Feng, Bruce H. Krogh:
Dynamic steering control of conventionally-steered mobile robots. ICRA 1990: 390-395
1980 – 1989
- 1989
- [c6]Dai Feng, Mark B. Friedman, Bruce H. Krogh:
The servo-control system for an omnidirectional mobile robot. ICRA 1989: 1566-1571 - 1988
- [j2]Timothy J. Graettinger, Bruce H. Krogh:
The acceleration radius: a global performance measure for robotic manipulators. IEEE J. Robotics Autom. 4(1): 60-69 (1988) - 1987
- [c5]Ram Akella, Bruce H. Krogh:
Hierarchical control structures for multi-cell flexible assembly system co-ordination. ICRA 1987: 295-301 - [c4]Bruce H. Krogh, Ramavarapu S. Sreenivas:
Essentially decision free Petri nets for real-time resource allocation. ICRA 1987: 1005-1011 - 1986
- [c3]Carolyn L. Beck, Bruce H. Krogh:
Models for simulation and discrete control of manufacturing systems. ICRA 1986: 305-310 - [c2]Bruce H. Krogh, Charles E. Thorpe:
Integrated path planning and dynamic steering control for autonomous vehicles. ICRA 1986: 1664-1669 - 1985
- [c1]David J. Daniel, Bruce H. Krogh, Mark B. Friedman:
Kinematics and open-loop control of an ilonator-based mobile platform. ICRA 1985: 346-351 - 1982
- [j1]Bruce H. Krogh, H. Vincent Poor:
The segment method as an alternative to minimax in hypothesis testing. Inf. Sci. 27(1): 9-37 (1982)
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, 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.
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-10-27 00:26 CET 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:
