default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMark Lawford
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j26]Federico Formica
, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi:
Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks. IEEE Trans. Software Eng. 50(2): 239-257 (2024)- [c68]Eric Lesiuta, Victor Bandur, Mark Lawford:
SLIMECRAFT: State Learning for Client-Server Regression Analysis and Fault Testing. COMPSAC 2024: 1126-1137 - [c67]Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng:
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. IV 2024: 1000-1007 - [c66]Horacio Hoyos Rodriguez, Victor Bandur, Vera Pantelic, Mark Lawford, Richard F. Paige:
Towards Model Product Lines: Composition of EMF Models. MoDELS (Companion) 2024: 1146-1155 - [c65]Nicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh, Alan Wassyng:
Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems. SAFECOMP 2024: 134-149 - [i10]Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan, Xiayong Hu, Spencer Deevy, Victor Bandur, Vera Pantelic, Mark Lawford, Alan Wassyng:
Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles. CoRR abs/2402.10226 (2024) - 2023
- [j25]Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford:
Repository mining for changes in Simulink and Stateflow models. Softw. Syst. Model. 22(5): 1713-1732 (2023) - [c64]Faezeh Siavashi, Horacio Hoyos Rodriguez, Vera Pantelic, Mark Lawford, Richard F. Paige, Monika Jaskolka, Guanrui Hou, Alessandro Verde:
Bridging the Gap Between System Architecture and Software Design using Model Transformation. ISSREW 2023: 51-56 - [c63]Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng:
Lessons Learned Building a Tool for Workflow+. MODELS 2023: 140-150 - [c62]Horacio Hoyos Rodriguez, Naveen Ganesh Muralidharan, Faezeh Siavashi, Vera Pantelic, Victor Bandur, Mark Lawford, Richard F. Paige:
An Automotive Architecture Product Line for E/E Powertrain Architectures. MoDELS (Companion) 2023: 715-719 - [c61]Victor Bandur, Mark Lawford, Sébastien Mosser, Richard F. Paige, Vera Pantelic, Alan Wassyng:
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. SAFECOMP Workshops 2023: 5-14 - [c60]Ryan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford:
Assurance Cases for Timing Properties of Automotive TSN Networks. SAFECOMP Workshops 2023: 26-31 - [c59]Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, Claudio Menghi:
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. ESEC/SIGSOFT FSE 2023: 1949-1960 - [i9]Sajid Rahim, Kourosh Sabri, Anna Ells, Alan Wassyng, Mark Lawford, Linyang Chu, Wenbo He:
Novel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity. CoRR abs/2302.02524 (2023) - [i8]Federico Formica, Nicholas Petrunti, Lucas Bruck, Vera Pantelic, Mark Lawford, Claudio Menghi:
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator. CoRR abs/2305.18608 (2023) - 2022
- [c58]Eric Lesiuta, Victor Bandur, Mark Lawford:
SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 686-704 - [c57]Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng:
Generating Assurance Cases Using Workflow+ Models. SAFECOMP 2022: 97-110 - [c56]Nicholas Moore, Mark Lawford:
A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification. TASE 2022: 65-72 - [i7]Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi:
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks. CoRR abs/2212.11589 (2022) - 2021
- [j24]Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng:
A formal approach to rigorous development of critical systems. J. Softw. Evol. Process. 33(4) (2021) - [j23]Victor Bandur, Gehan M. K. Selim, Vera Pantelic, Mark Lawford:
Making the Case for Centralized Automotive E/E Architectures. IEEE Trans. Veh. Technol. 70(2): 1230-1245 (2021) - [c55]Victor Bandur, Vera Pantelic, Timofey Tomashevskiy, Mark Lawford:
A Safety Architecture for Centralized E/E Architectures. DSN Workshops 2021: 67-70 - [c54]Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford, Richard F. Paige:
Repository Mining for Changes in Simulink Models. MoDELS 2021: 46-57 - [i6]Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin:
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey. CoRR abs/2111.14324 (2021) - 2020
- [j22]Zinovy Diskin, Harald König, Mark Lawford:
Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput. Formal Aspects Comput. 32(1): 153 (2020) - [c53]Monika Jaskolka, Stephen Scott, Vera Pantelic, Alan Wassyng, Mark Lawford:
Applying Modular Decomposition in Simulink. ISSRE Workshops 2020: 31-36 - [c52]Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford:
Systematic Evaluation of (Safety) Assurance Cases. SAFECOMP 2020: 18-33 - [c51]Bennett Mackenzie, Vera Pantelic, Gordon Marks, Stephen Wynn-Williams, Gehan M. K. Selim, Mark Lawford, Alan Wassyng, Moustapha Diab, Feisel Weslati:
Change impact analysis in Simulink designs of embedded systems. ESEC/SIGSOFT FSE 2020: 1274-1284 - [i5]Monika Jaskolka, Vera Pantelic, Alan Wassyng, Mark Lawford:
Supporting Modularity in Simulink Models. CoRR abs/2007.10120 (2020) - [i4]Guy Meyer, Alan Wassyng, Mark Lawford, Kourosh Sabri, Shahram Shirani:
Literature Review of Computer Tools for the Visually Impaired: a focus on Search Engines. CoRR abs/2010.11163 (2020)
2010 – 2019
- 2019
- [j21]Zinovy Diskin, Harald König, Mark Lawford:
Multiple model synchronization with multiary delta lenses with amendment and K-Putput. Formal Aspects Comput. 31(5): 611-640 (2019) - [c50]Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati:
SL2SF: Refactoring Simulink to Stateflow. FASE 2019: 264-281 - [c49]Thomas Chowdhury, Alan Wassyng, Richard F. Paige, Mark Lawford:
Criteria to Systematically Evaluate (Safety) Assurance Cases. ISSRE 2019: 380-390 - [c48]Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford:
Something is Rotten in the State of Documenting Simulink Models. MODELSWARD 2019: 503-510 - [i3]Zinovy Diskin, Harald König, Mark Lawford:
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput. CoRR abs/1911.11302 (2019) - [i2]Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford:
Assurance via workflow+ modelling and conformance. CoRR abs/1912.09912 (2019) - 2018
- [j20]Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford:
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. J. Autom. Reason. 60(1): 63-84 (2018) - [j19]Vera Pantelic, Steven M. Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng:
Software engineering practices and Simulink: bridging the gap. Int. J. Softw. Tools Technol. Transf. 20(1): 95-117 (2018) - [c47]Zinovy Diskin, Harald König, Mark Lawford:
Multiple Model Synchronization with Multiary Delta Lenses. FASE 2018: 21-37 - [c46]Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas:
Documenting Simulink designs of embedded systems. MoDELS (Companion) 2018: 47-51 - [c45]Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford:
Assurance via model transformations and their hierarchical refinement. MoDELS 2018: 426-436 - [c44]Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng:
Safe and Secure Automotive Over-the-Air Updates. SAFECOMP 2018: 172-187 - 2017
- [c43]Nicholas Moore, Mark Lawford:
Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving. FormaliSE@ICSE 2017: 58-64 - [c42]Thomas Chowdhury, Chung-Wei Lin, BaekGyu Kim, Mark Lawford, Shinichi Shiraishi, Alan Wassyng:
Principles for Systematic Development of an Assurance Case Template from ISO 26262. ISSRE Workshops 2017: 69-72 - [c41]Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Use of Tabular Expressions for Refinement Automation. MEDI 2017: 167-182 - [c40]Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum:
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. SAFECOMP 2017: 69-85 - [c39]Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum:
Toward Product Lines of Mathematical Models for Software Model Management. STAF Workshops 2017: 200-216 - 2016
- [c38]Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford:
Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application. NFM 2016: 206-220 - [c37]Archana Mallya, Vera Pantelic, Morayo Adedjouma, Mark Lawford, Alan Wassyng:
Using STPA in an ISO 26262 Compliant Process. SAFECOMP 2016: 117-129 - [c36]Mark Lawford:
Stupid Tool Tricks for Smart Model Based Design. VSTTE 2016: 1-7 - [e1]Kazuhiro Ogata, Mark Lawford, Shaoying Liu:
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. Lecture Notes in Computer Science 10009, 2016, ISBN 978-3-319-47845-6 [contents] - 2015
- [j18]Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, Tom Maibaum:
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? IEEE Des. Test 32(5): 45-55 (2015) - [j17]Lucian M. Patcas, Mark Lawford, Tom Maibaum:
Implementability of requirements in the four-variable model. Sci. Comput. Program. 111: 339-362 (2015) - [j16]Marc Bender, Karen Laurin, Mark Lawford, Vera Pantelic, Alexandre Korobkine, Jeff Ong, Bennett Mackenzie, Monika Bialy, Steven M. Postma:
Signature required: Making Simulink data flow and interfaces explicit. Sci. Comput. Program. 113: 29-50 (2015) - [j15]Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng:
Formal verification of function blocks applied to IEC 61131-3. Sci. Comput. Program. 113: 149-190 (2015) - [c35]Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Formalizing the Cardiac Pacemaker Resynchronization Therapy. HCI (17) 2015: 374-386 - [c34]Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng:
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. HCI (17) 2015: 387-398 - [c33]Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng:
A Methodology for the Simplification of Tabular Designs in Model-Based Development. FormaliSE@ICSE 2015: 47-53 - [c32]Vera Pantelic, Steven M. Postma, Mark Lawford, Alexandre Korobkine, Bennett Mackenzie, Jeff Ong, Marc Bender:
A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink. MODELSWARD 2015: 50-61 - [c31]Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Is Current Incremental Safety Assurance Sound? SAFECOMP Workshops 2015: 397-408 - [c30]Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng:
Stateflow to Tabular Expressions. SoICT 2015: 312-319 - [c29]Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine:
Formal Verification of Real-Time Function Blocks Using PVS. ESSS 2015: 65-79 - 2014
- [c28]Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Formalizing the Glucose Homeostasis Mechanism. HCI (20) 2014: 460-471 - [c27]Lucian M. Patcas, Mark Lawford, Tom Maibaum:
A Separation Principle for Embedded System Interfacing. IFM 2014: 373-388 - [c26]Marc Bender, Karen Laurin, Mark Lawford, Jeff Ong, Steven M. Postma, Vera Pantelic:
Signature Required - Making Simulink Data Flow and Interfaces Explicit. MODELSWARD 2014: 119-131 - [c25]Vera Pantelic, Mark Lawford, Steven M. Postma:
A Framework for Supervisory Control of Probabilistic Discrete Event Systems. WODES 2014: 477-484 - 2013
- [j14]Lucian M. Patcas, Mark Lawford, Tom Maibaum:
From System Requirements to Software Requirements in the Four-Variable Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - [c24]Yihai Chen, Mark Lawford, Hao Wang, Alan Wassyng:
Insulin Pump Software Certification. FHIES 2013: 87-106 - [c23]Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng:
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. FTSCS 2013: 125-141 - [i1]Darren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford:
Software Certification: Methods and Tools (Dagstuhl Seminar 13051). Dagstuhl Reports 3(1): 111-148 (2013) - 2012
- [j13]Vera Pantelic, Mark Lawford:
A pseudometric in supervisory control of probabilistic discrete event systems. Discret. Event Dyn. Syst. 22(4): 479-510 (2012) - [j12]Vera Pantelic, Mark Lawford:
Optimal Supervisory Control of Probabilistic Discrete Event Systems. IEEE Trans. Autom. Control. 57(5): 1110-1124 (2012) - [c22]Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, Tom Maibaum, Alan Wassyng:
Large-Scale Enterprise Systems: Changes and Impacts. ICEIS 2012: 274-290 - [c21]Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Change Impact Analysis for Large-scale Enterprise Systems. ICEIS (2) 2012: 359-368 - [p1]Alan Wassyng, Mark Lawford, Tom Maibaum:
Separating Safety and Control Systems to Reduce Complexity. Conquering Complexity 2012: 85-102 - 2011
- [c20]Marc Bender, Mark Lawford:
A low-power, low-cost automotive touchscreen with real controls. CCECE 2011: 1416-1419 - [c19]Alan Wassyng, Mark Lawford, T. S. E. Maibaum:
Software certification experience in the canadian nuclear industry: lessons for the future. EMSOFT 2011: 219-226 - [c18]Colin Eles, Mark Lawford:
A Tabular Expression Toolbox for Matlab/Simulink. NASA Formal Methods 2011: 494-499 - 2010
- [c17]Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff:
Software certification consortium: certification methods for safety-critical software. CASCON 2010: 434-436 - [c16]Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Certification of Software-Driven Medical Devices. ISoLA (2) 2010: 293-295 - [c15]Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer:
Software Certification: Is There a Case against Safety Cases? Monterey Workshop 2010: 206-227 - [c14]Vera Pantelic, Mark Lawford:
Use of a metric in supervisory control of probabilistic discrete event systems. WODES 2010: 217-222
2000 – 2009
- 2009
- [j11]Vera Pantelic, Steven M. Postma, Mark Lawford:
Probabilistic Supervisory Control of Probabilistic Discrete Event Systems. IEEE Trans. Autom. Control. 54(8): 2013-2018 (2009) - 2008
- [c13]Xiayong Hu, Mark Lawford, Alan Wassyng:
Formal Verification of the Implementability of Timing Requirements. FMICS 2008: 119-134 - [c12]Alan Wassyng, T. S. E. Maibaum, Mark Lawford:
On Software Certification: We Need Product-Focused Approaches. Monterey Workshop 2008: 250-274 - [c11]John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden:
A Software Certification Consortium and its Top 9 Hurdles. SafeCert@ETAPS 2008: 11-17 - 2007
- [c10]Dennis K. Peters, Mark Lawford, Baltasar Trancón y Widemann:
An IDE for software development using tabular expressions. CASCON 2007: 248-251 - [c9]Tom Arbuckle, Adam Balaban, Dennis K. Peters, Mark Lawford:
Software Documents: Comparison and Measurement. SEKE 2007: 740- - 2006
- [j10]Mark Lawford, Vera Pantelic, Hong Zhang:
Towards Integrated Verification of Timed Transition Models. Fundam. Informaticae 70(1-2): 75-110 (2006) - [j9]Alan Wassyng, Mark Lawford:
Software tools for safety-critical software development. Int. J. Softw. Tools Technol. Transf. 8(4-5): 337-354 (2006) - [j8]Ryan J. Leduc, Mark Lawford, Pengcheng Dai:
Hierarchical interface-based supervisory control of a flexible manufacturing system. IEEE Trans. Control. Syst. Technol. 14(4): 654-668 (2006) - [c8]Vera Pantelic, Xiao-Hui Jin, Mark Lawford, David Lorge Parnas:
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking. Software Engineering Research and Practice 2006: 629-635 - 2005
- [j7]Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, Walter Murray Wonham:
Hierarchical interface-based supervisory Control-part I: serial case. IEEE Trans. Autom. Control. 50(9): 1322-1335 (2005) - [j6]Ryan J. Leduc, Mark Lawford, Walter Murray Wonham:
Hierarchical interface-based supervisory control-part II: parallel case. IEEE Trans. Autom. Control. 50(9): 1336-1348 (2005) - [j5]Ryan J. Leduc, Bertil A. Brandin, Mark Lawford, Walter Murray Wonham:
Erratum to "Hierarchical Interface-Based Supervisory Control - Part I: Serial Case". IEEE Trans. Autom. Control. 50(11): 1916 (2005) - [j4]Sean E. Bourdon, Mark Lawford, Walter Murray Wonham:
Robust nonblocking supervisory control of discrete-event systems. IEEE Trans. Autom. Control. 50(12): 2015-2021 (2005) - [c7]Alan Wassyng, Mark Lawford, Xiayong Hu:
Timing Tolerances in Safety-Critical Software. FM 2005: 157-172 - 2004
- [c6]Mark Lawford, Hong Zhang:
Equivalence Verification of Timed Transition Models. ACSD 2004: 155-164 - 2003
- [j3]David Lorge Parnas, Mark Lawford:
Guest Editors' Introduction: Inspection's Role in Software Quality Assurance. IEEE Softw. 20(4): 16-20 (2003) - [j2]David Lorge Parnas, Mark Lawford:
The Role of Inspection in Software Quality Assurance. IEEE Trans. Software Eng. 29(8): 674-676 (2003) - [c5]Alan Wassyng, Mark Lawford:
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. FME 2003: 133-153 - 2002
- [c4]Sean E. Bourdon, Mark Lawford, W. M. Wonham:
Robust nonblocking supervisory control of discrete-event systems. ACC 2002: 730-735 - 2001
- [c3]Ryan J. Leduc, Bertil A. Brandin, Walter Murray Wonham, Mark Lawford:
Hierarchical interface-based supervisory control: serial case. CDC 2001: 4116-4121 - 2000
- [c2]Mark Lawford, Jeff McDougall, Peter Froebel, Greg Moum:
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software. AMAST 2000: 73-88
1990 – 1999
- 1996
- [c1]Mark Lawford, Jonathan S. Ostroff, Walter Murray Wonham:
Model Reduction of Modules for State-Even Temporal Logics. FORTE 1996: 263-278 - 1995
- [j1]Mark Lawford, Walter Murray Wonham:
Equivalence preserving transformations for timed transition models. IEEE Trans. Autom. Control. 40(7): 1167-1179 (1995)
Coauthor Index
[c67] [c65] [i10] [j25] [c63] [c61] [c60] [i9] [c57] [j24] [c54] [i6] [c53] [c52] [c51] [i5] [i4] [c49] [c48] [i2] [j20] [j19] [c46] [c45] [c44] [c42] [c41] [c38] [c37] [j18] [j15] [c35] [c34] [c33] [c31] [c30] [c29] [c28] [c24] [c23] [c22] [c21] [p1] [c19] [c17] [c16] [c15] [c13] [c12] [c11] [j9] [c7] [c5]
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-11-07 20:31 CET 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:
