Остановите войну!
for scientists:
default search action
Stefan Mitsch
Person information
- affiliation: DePaul University, Chicago, IL, USA
- affiliation (former): Carnegie Mellon University, Pittsburgh, PA, USA
Other persons with the same name
- Stefan Schmid 0001 — Technical University of Berlin, Department of Internet Architecture and Management, Berlin, Germany (and 9 more)
- Stefan Schmid 0002 — Robert Bosch GmbH, Corporate Research, Germany (and 3 more)
- Stefan Schmid 0003 — Goethe University Frankfurt, Germany
- Stefan Schmid 0004 — FU Berlin, Institut of Computer Science, Germany
- Stefan Schmid 0005 — University of Zurich, Switzerland
- Stefan Schmid 0008 — Brandenburg University of Technology Cottbus-Senftenberg, Cottbus, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j17]Rachel Cleaveland, Stefan Mitsch, André Platzer:
Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X. ACM Trans. Embed. Comput. Syst. 22(1): 10:1-10:30 (2023) - 2022
- [j16]Qin Lin, Stefan Mitsch, André Platzer, John M. Dolan:
Safe and Resilient Practical Waypoint-Following for Autonomous Vehicles. IEEE Control. Syst. Lett. 6: 1574-1579 (2022) - [j15]Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle:
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. Leibniz Trans. Embed. Syst. 8(2): 04:1-04:34 (2022) - [j14]Aditi Kabra, Stefan Mitsch, André Platzer:
Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4409-4420 (2022) - 2021
- [j13]Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer:
Verified Quadratic Virtual Substitution for Real Arithmetic. Arch. Formal Proofs 2021 (2021) - [j12]Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer:
Pegasus: sound continuous invariant generation. Formal Methods Syst. Des. 58(1-2): 5-41 (2021) - [j11]Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer:
Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety. Int. J. Softw. Tools Technol. Transf. 23(5): 827 (2021) - 2019
- [j10]Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer:
A Formal Safety Net for Waypoint-Following in Ground Robots. IEEE Robotics Autom. Lett. 4(3): 2910-2917 (2019) - 2018
- [j9]Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
Tactical contract composition for hybrid system component verification. Int. J. Softw. Tools Technol. Transf. 20(6): 615-643 (2018) - 2017
- [j8]Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer:
Formal verification of obstacle avoidance and navigation of ground robots. Int. J. Robotics Res. 36(12): 1312-1340 (2017) - [j7]Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer:
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. Int. J. Softw. Tools Technol. Transf. 19(6): 717-741 (2017) - 2016
- [j6]Stefan Mitsch, André Platzer:
ModelPlex: verified runtime validation of verified cyber-physical system models. Formal Methods Syst. Des. 49(1-2): 33-74 (2016) - [j5]Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Nikos Aréchiga, André Platzer:
How to model and prove hybrid systems with KeYmaera: a tutorial on safety. Int. J. Softw. Tools Technol. Transf. 18(1): 67-91 (2016) - 2015
- [j4]Stefan Mitsch, André Platzer, Werner Retschitzegger, Wieland Schwinger:
Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems. ACM Comput. Surv. 48(1): 3:1-3:40 (2015) - 2014
- [j3]Norbert Baumgartner, Stefan Mitsch, Andreas Müller, Werner Retschitzegger, Andrea Salfinger, Wieland Schwinger:
A tour of BeAware - A situation awareness framework for control centers. Inf. Fusion 20: 155-173 (2014) - [j2]Stefan Mitsch, Grant Olney Passmore, André Platzer:
Collaborative Verification-Driven Engineering of Hybrid Systems. Math. Comput. Sci. 8(1): 71-97 (2014) - 2010
- [j1]Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
BeAware! - Situation awareness, the ontology-driven way. Data Knowl. Eng. 69(11): 1181-1193 (2010)
Conference and Workshop Papers
- 2024
- [c65]Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer:
CESAR: Control Envelope Synthesis via Angelic Refinements. TACAS (1) 2024: 144-164 - 2023
- [c64]Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang:
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH 2023: 61-88 - [c63]Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster, Jonathan Julián Huerta y Munive:
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving. ARCH 2023: 170-188 - [c62]Marvin Brieger, Stefan Mitsch, André Platzer:
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. CADE 2023: 96-115 - [c61]Marian Qian, Stefan Mitsch:
Reward Shaping from Hybrid Systems Models in Reinforcement Learning. NFM 2023: 122-139 - [c60]Megan Strauss, Stefan Mitsch:
Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars. TAP 2023: 149-167 - 2022
- [c59]Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger:
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP 2022: 86-112 - [c58]Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive:
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. ARCH@SAFECOMP 2022: 185-203 - [c57]James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer:
Implicit Definitions with Differential Equations for KeYmaera X - (System Description). IJCAR 2022: 723-733 - [c56]Yong Kiam Tan, Stefan Mitsch, André Platzer:
Verifying Switched System Stability With Logic. HSCC 2022: 2:1-2:11 - [c55]David Bayani, Stefan Mitsch:
Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems. VMCAI 2022: 43-68 - 2021
- [c54]Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS 2021: 120-132 - [c53]Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren:
Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers. FM 2021: 122-141 - [c52]Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer:
Verified Quadratic Virtual Substitution for Real Arithmetic. FM 2021: 200-217 - [c51]Stefan Mitsch:
Implicit and Explicit Proof Management in KeYmaera X. F-IDE@NFM 2021: 53-67 - 2020
- [c50]Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving. ARCH 2020: 153-174 - [c49]Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
Towards CPS Verification Engineering. iiWAS 2020: 367-371 - 2019
- [c48]Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. ARCH@CPSIoTWeek 2019: 141-161 - [c47]Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer:
Pegasus: A Framework for Sound Continuous Invariant Generation. FM 2019: 138-157 - [c46]Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin:
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. FM 2019: 354-370 - [c45]Luis Garcia, Stefan Mitsch, André Platzer:
HyPLC: hybrid programmable logic controller program translation for verification. ICCPS 2019: 47-56 - [c44]Luis Garcia, Stefan Mitsch, André Platzer:
Toward multi-task support and security analyses in PLC program translation for verification: poster abstract. ICCPS 2019: 348-349 - 2018
- [c43]Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan:
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS 2018: 110-127 - [c42]Andreas Müller, Stefan Mitsch, Wieland Schwinger, André Platzer:
A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration). CyPhy/WESE 2018: 91-110 - [c41]Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer:
VeriPhy: verified controller executables from verified cyber-physical system models. PLDI 2018: 617-630 - 2017
- [c40]Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
A Benchmark for Component-based Hybrid Systems Safety Verification. ARCH@CPSWeek 2017: 65-74 - [c39]Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
Change and Delay Contracts for Hybrid System Component Verification. FASE 2017: 134-151 - [c38]Nathan Fulton, Stefan Mitsch, Rose Bohrer, André Platzer:
Bellerophon: Tactical Theorem Proving for Hybrid Systems. ITP 2017: 207-224 - [c37]Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer:
Formal Verification of Train Control with Air Pressure Brakes. RSSRail 2017: 173-191 - 2016
- [c36]Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
A Component-Based Approach to Hybrid Systems Safety Verification. IFM 2016: 441-456 - [c35]Stefan Mitsch, André Platzer:
The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving. F-IDE@FM 2016: 67-81 - 2015
- [c34]Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer:
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. CADE 2015: 527-538 - [c33]Andreas Müller, Stefan Mitsch, André Platzer:
Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. ITSC 2015: 757-764 - 2014
- [c32]Stefan Mitsch, Jan-David Quesel, André Platzer:
Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems. FM 2014: 481-496 - [c31]Andrea Salfinger, Daniel Neidhart, Werner Retschitzegger, Wieland Schwinger, Stefan Mitsch:
SEM2 suite - Towards a tool suite for supporting knowledge management in situation awareness systems. IRI 2014: 351-360 - [c30]Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems. KSEM 2014: 368-379 - [c29]Stefan Mitsch, André Platzer:
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models. RV 2014: 199-214 - 2013
- [c28]Martin Wischenbart, Stefan Mitsch, Elisabeth Kapsammer, Angelika Kusel, Stephan Lechner, Birgit Pröll, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Manuel Wimmer:
Automatic Data Transformation - Breaching the Walled Gardens of Social Network Platforms. APCCM 2013: 89-98 - [c27]Stefan Mitsch, Andreas Müller, Werner Retschitzegger, Andrea Salfinger, Wieland Schwinger:
A Survey on Clustering Techniques for Situation Awareness. APWeb 2013: 815-826 - [c26]Stefan Mitsch, Khalil Ghorbal, André Platzer:
On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles. Robotics: Science and Systems 2013 - 2012
- [c25]Stefan Mitsch, Sarah M. Loos, André Platzer:
Towards Formal Verification of Freeway Traffic Control. ICCPS 2012: 171-180 - [c24]Martin Wischenbart, Stefan Mitsch, Elisabeth Kapsammer, Angelika Kusel, Birgit Pröll, Werner Retschitzegger, Wieland Schwinger, Johannes Schönböck, Manuel Wimmer, Stephan Lechner:
User profile integration made easy: model-driven extraction and transformation of social network schemas. WWW (Companion Volume) 2012: 939-948 - 2011
- [c23]Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Norbert Baumgartner:
SemGen - Towards a Semantic Data Generator for Benchmarking Duplicate Detectors. DASFAA Workshops 2011: 490-501 - [c22]Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
Towards Modeling Dynamic Behavior with Integrated Qualitative Spatial Relations. ER Workshops 2011: 271-280 - [c21]Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
Reasoning on Data Streams for Situation Awareness. KEOD 2011: 407-412 - [c20]Stefan Mitsch, Wolfgang Gottesheim, Franz Hermann Pommer, Birgit Pröll, Werner Retschitzegger, Wieland Schwinger, Robert Hutter, Gustavo Rossi, Norbert Baumgartner:
Making workflows situation aware: an ontology-driven framework for dynamic spatial systems. iiWAS 2011: 182-188 - 2010
- [c19]Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
Situation Prediction Nets - Playing the Token Game for Ontology-Driven Situation Awareness. ER 2010: 202-218 - [c18]Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Norbert Baumgartner:
WorkAware - Situation-aware Workflow Management. KMIS 2010: 246-252 - [c17]Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
Towards Duplicate Detection for Situation Awareness Based on Spatio-temporal Relations. OTM Conferences (2) 2010: 1097-1107 - 2009
- [c16]Werner Kurschl, Stefan Mitsch, Johannes Schönböck:
An Evaluation Framework for Pervasive Healthcare Applications. BroadBandCom 2009: 313-318 - [c15]Werner Kurschl, Stefan Mitsch, Johannes Schönböck:
Modeling Distributed Signal Processing Applications. BSN 2009: 103-108 - [c14]Werner Kurschl, Stefan Mitsch, Johannes Schönböck:
Modeling Situation-Aware Ambient Assisted Living Systems for Eldercare. ITNG 2009: 1214-1219 - [c13]Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
On Optimization of Predictions in Ontology-Driven Situation Awareness. KSEM 2009: 297-309 - [c12]Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger:
"Same, Same but Different" A Survey on Duplicate Detection Methods for Situation Awareness. OTM Conferences (2) 2009: 1050-1068 - 2008
- [c11]Werner Kurschl, Stefan Mitsch, Johannes Schönböck:
An Engineering Toolbox to Build Situation Aware Ambient Assisted Living Systems. BroadCom 2008: 110-116 - [c10]Werner Kurschl, Wolfgang Gottesheim, Stefan Mitsch, Rene Prokop, Johannes Schönböck:
Automatic Position Determination of Fixed Infrastructure Sensor Network Nodes based on Topology Sensing and Maps. ICWN 2008: 17-22 - [c9]Werner Kurschl, Stefan Mitsch, Johannes Schönböck, Wolfgang Beer:
Modeling wireless sensor networks based context-aware emergency coordination systems. iiWAS 2008: 117-122 - [c8]Werner Kurschl, Wolfgang Gottesheim, Stefan Mitsch, Rene Prokop, Johannes Schönböck, Wolfgang Beer:
A Two-Layered Deployment Scheme for Wireless Sensor Network based Location Tracking. ITNG 2008: 726-730 - 2007
- [c7]Werner Kurschl, Stefan Mitsch, Rene Prokop, Johannes Schönböck:
Gulliver-A Framework for Building Smart Speech-Based Applications. HICSS 2007: 30 - [c6]Werner Kurschl, Wolfgang Gottesheim, Stefan Mitsch, Rene Prokop, Johannes Schönböck:
Evaluation of a Mobile Multimodal Application Design - Major Usability Criteria and Usability Test Results. ICMB 2007: 68 - [c5]Werner Kurschl, Stefan Mitsch, Rene Prokop, Johannes Schönböck:
Development issues for speech-enabled mobile applications. Software Engineering 2007: 157-168 - 2006
- [c4]Werner Kurschl, Stefan Mitsch, Rene Prokop:
SmartDOTS - A Framework for Efficient Data Synchronization on Mobile Devices. ITNG 2006: 300-305 - [c3]Werner Kurschl, Stefan Mitsch, Rene Prokop:
SelectiveDES: A Distributed Event Service Add-On for Invocation-Based Middleware supporting Selective Multi-Channel Communication and Notification Delivery. ITNG 2006: 328-333 - [c2]Werner Kurschl, Stefan Mitsch, Rene Prokop:
MobileWork Clearance Management - Challenges and Solutions. MMS 2006: 9-20 - 2005
- [c1]Werner Kurschl, Stefan Schmid, Christian Domscha:
MOSES - A Mobile Safety System for Work Clearance Processes. ICMB 2005: 166-172
Parts in Books or Collections
- 2020
- [p1]Stefan Mitsch, André Platzer:
A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three Provers. 20 Years of KeY 2020: 21-64
Informal and Other Publications
- 2024
- [i19]Samuel Teuber, Stefan Mitsch, André Platzer:
Provably Safe Neural Network Controllers via Differential Dynamic Logic. CoRR abs/2402.10998 (2024) - 2023
- [i18]Marvin Brieger, Stefan Mitsch, André Platzer:
Dynamic Logic of Communicating Hybrid Programs. CoRR abs/2302.14546 (2023) - [i17]Marvin Brieger, Stefan Mitsch, André Platzer:
Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. CoRR abs/2303.17333 (2023) - [i16]Megan Strauss, Stefan Mitsch:
Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars. CoRR abs/2305.08812 (2023) - [i15]Myra Dotzel, Stefan Mitsch, André Platzer:
A Usage-Aware Sequent Calculus for Differential Dynamic Logic. CoRR abs/2309.01180 (2023) - [i14]Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer:
CESAR: Control Envelope Synthesis via Angelic Refinements. CoRR abs/2311.02833 (2023) - 2022
- [i13]James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer:
Implicit Definitions with Differential Equations for KeYmaera X (System Description). CoRR abs/2203.01272 (2022) - 2021
- [i12]Matias Scharager, Katherine Cordwell, Stefan Mitsch, André Platzer:
Verified Quadratic Virtual Substitution for Real Arithmetic. CoRR abs/2105.14183 (2021) - [i11]Rachel Cleaveland, Stefan Mitsch, André Platzer:
Formally Verified Next-Generation Airborne Collision Avoidance Games in ACAS X. CoRR abs/2106.02030 (2021) - [i10]Yong Kiam Tan, Stefan Mitsch, André Platzer:
Verifying Switched System Stability With Logic. CoRR abs/2111.01928 (2021) - 2020
- [i9]Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer:
Pegasus: Sound Continuous Invariant Generation. CoRR abs/2005.09348 (2020) - [i8]David Bayani, Stefan Mitsch:
Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems. CoRR abs/2006.12453 (2020) - 2019
- [i7]Luis Garcia, Stefan Mitsch, André Platzer:
HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification. CoRR abs/1902.05205 (2019) - [i6]Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer:
A Formal Safety Net for Waypoint Following in Ground Robots. CoRR abs/1903.05073 (2019) - [i5]Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach, Reiner Hähnle:
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects. CoRR abs/1906.05704 (2019) - [i4]Simon Lunel, Stefan Mitsch, Benoît Boyer, Jean-Pierre Talpin:
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic. CoRR abs/1907.02881 (2019) - 2018
- [i3]Stefan Mitsch, André Platzer:
Verified Runtime Validation for Partially Observable Hybrid Systems. CoRR abs/1811.06502 (2018) - 2016
- [i2]Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer:
Formal Verification of Obstacle Avoidance and Navigation of Ground Robots. CoRR abs/1605.00604 (2016) - 2014
- [i1]Stefan Mitsch, Grant Olney Passmore, André Platzer:
Collaborative Verification-Driven Engineering of Hybrid Systems. CoRR abs/1403.6085 (2014)
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).
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-08-14 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint