default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJeff Kramer
Jeffrey Kramer
Person information
- affiliation: Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2006
[b4]Jeff Magee, Jeff Kramer:
Concurrency - state models and Java programs (2. ed.). Wiley 2006, ISBN 978-0-470-09355-9, pp. I-XVIII, 1-413- 1999
- [b3]Jeff Magee, Jeff Kramer:
Concurrency - state models and Java programs. Wiley 1999, ISBN 978-0-471-98710-9, pp. I-XIII, 1-355 - 1989
- [b2]Morris Sloman, Jeff Kramer:
Verteilte Systeme und Rechnernetze. Hanser Studienbücher, Hanser 1989, ISBN 978-3-446-15346-2, pp. I-XIV, 1-375 - 1987
- [b1]Morris Sloman, Jeff Kramer:
Distributed systems and computer networks. Prentice Hall International series in computer science, Prentice Hall 1987, ISBN 978-0-13-215849-7, pp. I-XVI, 1-336
Journal Articles
- 2022
- [j69]Leandro Nahabedian
, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel:
Assured automatic dynamic reconfiguration of business processes. Inf. Syst. 104: 101850 (2022) - 2020
- [j68]Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel:
Dynamic Update of Discrete Event Controllers. IEEE Trans. Software Eng. 46(11): 1220-1240 (2020) - 2017
- [j67]Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel:
Using contexts to extract models from code. Softw. Syst. Model. 16(2): 523-557 (2017) - 2016
- [j66]Orit Hazzan, Jeff Kramer:
Assessing abstraction skills. Commun. ACM 59(12): 43-45 (2016) - 2015
- [j65]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
Automated support for diagnosis and repair. Commun. ACM 58(2): 65-72 (2015) - 2013
- [j64]Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay:
Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. 28(4): 279-293 (2013) - [j63]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
Elaborating Requirements Using Model Checking and Inductive Learning. IEEE Trans. Software Eng. 39(3): 361-383 (2013) - [j62]German E. Sibay, Víctor A. Braberman, Sebastián Uchitel, Jeff Kramer:
Synthesizing Modal Transition Systems from Triggered Scenarios. IEEE Trans. Software Eng. 39(7): 975-1001 (2013) - 2012
- [j61]Jeffrey Kramer, Abraham Kandel:
On accurate localization and uncertain sensors. Int. J. Intell. Syst. 27(5): 429-456 (2012) - 2011
- [j60]Michael Lindemuth, Robin R. Murphy, Eric Steimle, William Armitage, Karen L. Dreger, Tim Elliot, Michael Hall, Dmitry Kalyadin, Jeffrey Kramer, Mayur Palankar, Kevin S. Pratt, Chandler Griffin:
Sea Robot-Assisted Inspection. IEEE Robotics Autom. Mag. 18(2): 96-107 (2011) - [j59]Jeffrey Kramer, Abraham Kandel:
Robust Small Robot Localization From Highly Uncertain Sensors. IEEE Trans. Syst. Man Cybern. Part C 41(4): 509-519 (2011) - 2010
- [j58]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
Deriving non-Zeno behaviour models from goal models using ILP. Formal Aspects Comput. 22(3-4): 217-241 (2010) - [j57]Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee:
Translating FSP into LOTOS and networks of automata. Formal Aspects Comput. 22(6): 681-711 (2010) - [j56]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
An Integrated Workbench for Model-Based Engineering of Service Compositions. IEEE Trans. Serv. Comput. 3(2): 131-144 (2010) - [j55]Jeff Kramer:
Editorial: A New Editor in Chief and the State of the Journal. IEEE Trans. Software Eng. 36(1): 1-2 (2010) - 2009
- [j54]Jeff Kramer, Jeff Magee:
A Rigorous Architectural Approach to Adaptive Software Engineering. J. Comput. Sci. Technol. 24(2): 183-188 (2009) - [j53]Jeff Kramer:
Editorial: New Associate Editors Introduction. IEEE Trans. Software Eng. 35(4): 449 (2009) - 2008
- [j52]Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Deriving event-based transition systems from goal-oriented requirements models. Autom. Softw. Eng. 15(2): 175-206 (2008) - [j51]Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf:
Determining the Impact of Software Engineering Research on Practice. Computer 41(3): 39-49 (2008) - [j50]Jeff Kramer:
State of the Journal Address. IEEE Trans. Software Eng. 34(1): 1-2 (2008) - [j49]Jeff Kramer:
Editorial: New Associate Editor Introduction. IEEE Trans. Software Eng. 34(2): 161 (2008) - 2007
- [j48]Jeff Kramer:
Is abstraction the key to computing? Commun. ACM 50(4): 36-42 (2007) - [j47]Jeff Kramer:
Editorial: State of the Journal. IEEE Trans. Software Eng. 33(1): 1 (2007) - 2006
- [j46]Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee:
Goal and scenario validation: a fluent combination. Requir. Eng. 11(2): 123-137 (2006) - [j45]Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel:
Preface. Sci. Comput. Program. 61(2): 73-74 (2006) - [j44]Jeff Kramer, Orit Hazzan:
The Role of Abstraction in Software Engineering. ACM SIGSOFT Softw. Eng. Notes 31(6): 38-39 (2006) - [j43]Jeff Kramer:
Editorial: A Message from the New Editor-in-Chief. IEEE Trans. Software Eng. 32(1): 2-3 (2006) - [j42]Jeff Kramer:
Editorial: New Associate Editors Introduction. IEEE Trans. Software Eng. 32(3): 137-139 (2006) - [j41]Jeff Kramer:
Editorial: New Associate Editors Introduction. IEEE Trans. Software Eng. 32(10): 769-770 (2006) - 2005
- [j40]Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf:
Editorial. ACM Trans. Softw. Eng. Methodol. 14(4): 381-382 (2005) - 2004
- [j39]Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Softw. Eng. Methodol. 13(1): 37-85 (2004) - 2003
- [j38]Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer:
Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proc. Softw. 150(1): 25-38 (2003) - [j37]Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Synthesis of Behavioral Models from Scenarios. IEEE Trans. Software Eng. 29(2): 99-115 (2003) - 2001
- [j36]Nabor C. Mendonça, Jeff Kramer:
An Approach for Recovering Distributed System Architectures. Autom. Softw. Eng. 8(3-4): 311-354 (2001) - [j35]Jaelson Castro, Jeff Kramer:
From software requirements to architectures (STRAW01). ACM SIGSOFT Softw. Eng. Notes 26(6): 49-51 (2001) - [j34]Jeff Kramer, David Garlan, David S. Rosenblum:
Guest Editors' Introduction: 1999 International Conference on Software Engineering. IEEE Trans. Software Eng. 27(2): 97-98 (2001) - 2000
- [j33]Rob C. van Ommering, Frank van der Linden, Jeff Kramer, Jeff Magee:
The Koala Component Model for Consumer Electronics Software. Computer 33(3): 78-85 (2000) - 1999
- [j32]Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung:
Behaviour Analysis of Distributed Systems Using the Tracta Approach. Autom. Softw. Eng. 6(1): 7-35 (1999) - [j31]Andrea Zisman, Jeff Kramer:
An approach to interoperation between autonomous database systems. Distributed Syst. Eng. 6(4): 135- (1999) - [j30]Alessandra Russo, Bashar Nuseibeh, Jeff Kramer:
Restructuring requirement specifications. IEE Proc. Softw. 146(1): 44-50 (1999) - [j29]Shing-Chi Cheung, Jeff Kramer:
Checking Safety Properties Using Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 8(1): 49-78 (1999) - 1998
- [j28]Jeff Kramer, Jeff Magee:
Analysing dynamic change in distributed software architectures. IEE Proc. Softw. 145(5): 146-154 (1998) - 1997
- [j27]Innes Jelly, Ian Gorton, Helmar Burkhart, Karsten M. Decker, Alan D. Fekete, John M. Potter, Hassan Gomaa, Jeffrey Kramer, Douglas C. Schmidt, John A. Stankovic:
Software engineering for parallel and distributed systems. IEEE Concurrency 5(3): 16-27 (1997) - [j26]Celso Massaki Hirata, Jeff Kramer:
An investigation of the use of world views with shared variables in Time Warp. Simul. Pract. Theory 5(6): 515-533 (1997) - 1996
- [j25]Keng Ng, Jeff Kramer, Jeff Magee:
A CASE Tool for Software Architecture Design. Autom. Softw. Eng. 3(3/4): 261-284 (1996) - [j24]Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer:
Method engineering for multi-perspective software development. Inf. Softw. Technol. 38(4): 267-274 (1996) - [j23]Jeff Kramer, Alexander L. Wolf:
Succeedings of the 8th international workshop on software specification and design. ACM SIGSOFT Softw. Eng. Notes 21(5): 21-35 (1996) - [j22]Shing-Chi Cheung, Jeff Kramer:
Context Constraints for Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 5(4): 334-377 (1996) - 1995
- [j21]Shing-Chi Cheung, Jeff Kramer:
Contextual Local Analysis in the Design of Distributed Systems. Autom. Softw. Eng. 2(1): 5-32 (1995) - 1994
- [j20]Jeff Magee, Naranker Dulay, Jeff Kramer:
Regis: a constructive development environment for distributed programs. Distributed Syst. Eng. 1(5): 304-312 (1994) - [j19]Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh:
Inconsistency Handling in Multperspective Specifications. IEEE Trans. Software Eng. 20(8): 569-578 (1994) - [j18]Shing-Chi Cheung, Jeff Kramer:
Tractable Dataflow Analysis for Distributed Systems. IEEE Trans. Software Eng. 20(8): 579-593 (1994) - [j17]Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein:
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. IEEE Trans. Software Eng. 20(10): 760-773 (1994) - 1993
- [j16]Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach:
An Integrated Engineering Study Scheme in Computing. Comput. J. 36(4): 320-334 (1993) - [j15]Jeff Magee, Naranker Dulay, Jeff Kramer:
Structuring parallel and distributed programs. Softw. Eng. J. 8(2): 73-82 (1993) - [j14]Orly Kremien, Jeff Kramer, Jeff Magee:
Scalable, adaptive load sharing for distributed systems. IEEE Parallel Distributed Technol. Syst. Appl. 1(3): 62-70 (1993) - 1992
- [j13]Jeff Kramer, Jeff Magee, Morris Sloman, Naranker Dulay:
Configuring object-based distributed programs in REX. Softw. Eng. J. 7(2): 139-149 (1992) - [j12]Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh, L. Finkelstein, Michael Goedicke:
Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. Int. J. Softw. Eng. Knowl. Eng. 2(1): 31-57 (1992) - [j11]Orly Kremien, Jeff Kramer:
Methodical Analysis of Adaptive Load Sharing Algorithms. IEEE Trans. Parallel Distributed Syst. 3(6): 747-760 (1992) - 1990
- [j10]Jeff Kramer, Jeff Magee:
The Evolving Philosophers Problem: Dynamic Change Management. IEEE Trans. Software Eng. 16(11): 1293-1306 (1990) - 1989
- [j9]Jeff Kramer, Jeff Magee, Keng Ng:
Graphical Configuration Programming: The Structural Description, Construction and Evolution of Software Systems Using Graphics. Computer 22(10): 53-65 (1989) - [j8]Jeff Magee, Jeff Kramer, Morris Sloman:
Constructing Distributed Systems in Conic. IEEE Trans. Software Eng. 15(6): 663-675 (1989) - 1988
- [j7]Jeff Kramer, Keng Ng, Colin Potts, Ken Whitehead:
Tool support for requirements analysis. Softw. Eng. J. 3(3): 86-96 (1988) - [j6]Animesh Mukherjee, Jeff Kramer, Jeff Magee:
A distributed file server for embedded applications. Softw. Eng. J. 3(5): 142-148 (1988) - [j5]Jeff Kramer, Nr Keng:
Animation of Requirements Specifications. Softw. Pract. Exp. 18(8): 749-774 (1988) - 1985
- [j4]Jeff Kramer, Jeff Magee:
Dynamic Configuration for Distributed Systems. IEEE Trans. Software Eng. 11(4): 424-436 (1985) - 1984
- [j3]Jeff Kramer, Jeff Magee, Morris Sloman:
A software architecture for distributed computer control systems. Autom. 20(1): 93-102 (1984) - 1982
- [j2]Stephen J. Goldsack, Jeff Kramer:
Invariants in the application-oriented specification of control systems. Autom. 18(1): 71-76 (1982) - 1978
- [j1]Jim Cunningham, Jeff Kramer:
An Exercise in Program Design Using SIMULA Class Invariants. Softw. Pract. Exp. 8(3): 355-369 (1978)
Conference and Workshop Papers
- 2023
- [c145]Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeff Kramer:
Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting. ASE 2023: 14-26 - [c144]Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastián Uchitel:
Adapting Specifications for Reactive Controllers. SEAMS 2023: 1-12 - 2020
- [c143]Jeff Kramer:
RE @ runtime : the challenge of change RE'20 Conference Keynote. RE 2020: 4-6 - 2019
- [c142]Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Sebastián Uchitel:
Dynamic Reconfiguration of Business Processes. BPM 2019: 35-51 - [c141]Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao:
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76 - [c140]Debasish Ray Chawdhuri, Jeffrey Kramer, Spencer Judge:
Acceptable Privacy for XAND Blockchain. IoTSMS 2019: 529-536 - 2016
- [c139]Leandro Nahabedian, Víctor A. Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff Kramer, Kenji Tei, Sebastián Uchitel:
Assured and correct dynamic update of controllers. SEAMS@ICSE 2016: 96-107 - [c138]Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
Risk-driven revision of requirements models. ICSE 2016: 855-865 - [c137]Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer:
Logic-based learning in software engineering. ICSE (Companion Volume) 2016: 892-893 - 2015
- [c136]Jeff Kramer:
Adventures in Adaptation: A Software Engineering Playground! SEAMS@ICSE 2015: 1 - [c135]Pedro Rodrigues, Emil Constantine Lupu, Jeffrey Kramer:
Compositional Reliability Analysis for Probabilistic Component Automata. MiSE@ICSE 2015: 19-24 - [c134]Pedro Rodrigues, Jeff Kramer, Emil C. Lupu:
On re-assembling self-managed components. IM 2015: 727-733 - [c133]Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel:
MORPH: a reference architecture for configuration and behaviour self-adaptation. CTSE@SIGSOFT FSE 2015: 9-16 - 2014
- [c132]Pedro Rodrigues, Emil Lupu, Jeff Kramer:
LTSA-PCA: tool support for compositional reliability analysis. ICSE Companion 2014: 548-551 - [c131]Nicolás D'Ippolito, Víctor A. Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, Sebastián Uchitel:
Hope for the best, prepare for the worst: multi-tier control for adaptive systems. ICSE 2014: 688-699 - 2013
- [c130]Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel:
An Extended Description of MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. Software Engineering for Self-Adaptive Systems 2013: 377-408 - [c129]Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, Katsumi Inoue:
Learning revised models for planning in adaptive systems. ICSE 2013: 63-71 - 2012
- [c128]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
Learning from Vacuously Satisfiable Scenario-Based Specifications. FASE 2012: 377-393 - [c127]German E. Sibay, Sebastián Uchitel, Víctor A. Braberman, Jeff Kramer:
Distribution of Modal Transition Systems. FM 2012: 403-417 - [c126]Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastián Uchitel:
Generating obstacle conditions for requirements completeness. ICSE 2012: 705-715 - [c125]Jeff Kramer:
Whither software architecture? (Keynote). ICSE 2012: 963 - 2011
- [c124]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
An Inductive Approach for Modal Transition System Refinement. ICLP (Technical Communications) 2011: 106-116 - [c123]Daniel Sykes, Jeff Magee, Jeff Kramer:
FlashMob: distributed adaptive self-assembly. SEAMS 2011: 100-109 - [c122]Andrew McVeigh, Jeff Kramer, Jeff Magee:
Evolve: tool support for architecture evolution. ICSE 2011: 1040-1042 - [c121]Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, Jeff Kramer:
Integrating Model Checking and Inductive Logic Programming. ILP 2011: 45-60 - 2010
- [c120]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010: 1-32 - [c119]Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer:
Exploiting non-functional preferences in architectural adaptation for self-managed systems. SAC 2010: 431-438 - 2009
- [c118]Alejandra N. González-Beltrán, Anthony Finkelstein, J. Max Wilkinson, Jeff Kramer:
Domain concept-based queries for cancer research data sources. CBMS 2009: 1-8 - [c117]Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle:
Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26 - [c116]William Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer:
A Case Study in Goal-Driven Architectural Adaptation. Software Engineering for Self-Adaptive Systems 2009: 109-127 - [c115]Jeffrey Kramer, Abraham Kandel:
Fuzzy approaches to driven Kalman filtering for small robot localization. ICAR 2009: 1-6 - [c114]Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel:
Learning operational requirements from goal models. ICSE 2009: 265-275 - [c113]Paulo Henrique M. Maia, Jeff Kramer, Sebastián Uchitel, Nabor C. Mendonça:
Towards accurate probabilistic models using state refinement. ESEC/SIGSOFT FSE 2009: 281-284 - [c112]Jeffrey Kramer:
Abstraction and Modelling: A Complementary Partnership. TFM 2009: 1 - 2008
- [c111]Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel:
Towards Faithful Model Extraction Based on Contexts. FASE 2008: 101-115 - [c110]Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer:
From goals to components: a combined approach to self-management. SEAMS 2008: 1-8 - [c109]Orit Hazzan, Jeff Kramer:
The role of abstraction in software engineering. ICSE Companion 2008: 1045-1046 - [c108]Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Leveraging Modes and UML2 for Service Brokering Specifications. MDWE@MoDELS 2008 - [c107]Jeff Kramer:
Abstraction and Modelling - A Complementary Partnership. MoDELS 2008: 158 - 2007
- [c106]Jeff Kramer, Jeff Magee:
Self-Managed Systems: an Architectural Challenge. FOSE 2007: 259-268 - [c105]Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Towards Self-management in Service-Oriented Computing with Modes. ICSOC Workshops 2007: 338-350 - [c104]Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee:
Translating FSP into LOTOS and Networks of Automata. IFM 2007: 558-578 - [c103]Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer:
Plan-directed architectural change for autonomous systems. SAVCBS 2007: 15-21 - [c102]Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel:
Model checking service compositions under resource constraints. ESEC/SIGSOFT FSE 2007: 225-234 - [c101]Felipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer:
Detecting Implied Scenarios from Execution Traces. WCRE 2007: 50-59 - 2006
- [c100]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
Model-Based Analysis of Obligations in Web Service Choreography. AICT/ICIW 2006: 149 - [c99]Jeff Kramer:
Component-Based Modeling, Analysis and Animation. CCGRID 2006: 62 - [c98]Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer:
Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION 2006: 28-43 - [c97]Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Modes for Software Architectures. EWSA 2006: 113-126 - [c96]Jeff Kramer, Orit Hazzan:
The role of abstraction in software engineering. ROA@ICSE 2006: 1-2 - [c95]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
LTSA-WS: a tool for model-based verification of web service compositions and choreography. ICSE 2006: 771-774 - [c94]Jeff Kramer, Orit Hazzan:
The role of abstraction in software engineering. ICSE 2006: 1017-1018 - [c93]Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel:
Model Extraction Using Context Information. MoDELS 2006: 380-394 - [c92]Jeff Kramer:
Distributed Software Engineering: a Rigorous Architectural Approach. QSIC 2006: 7-9 - [c91]Andrew McVeigh, Jeff Kramer, Jeff Magee:
Using resemblance to support component reuse and evolution. SAVCBS@FSE 2006: 49-56 - 2005
- [c90]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer, Michael Hu:
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. IEEE SCC 2005: 217-224 - [c89]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
Leveraging Eclipse for integrated model-based engineering of web service compositions. eTX 2005: 95-99 - [c88]Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Monitoring and control in scenario-based requirements analysis. ICSE 2005: 382-391 - [c87]Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Fluent-based web animation: exploring goals for requirements validation. ICSE 2005: 674-675 - [c86]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
Tool Support for Model-Based Engineering of Web Service Compositions. ICWS 2005: 95-102 - [c85]Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Fluent temporal logic for discrete-time event-based models. ESEC/SIGSOFT FSE 2005: 70-79 - [c84]Jeff Kramer, Jeff Magee:
Engineering distributed software: a structural discipline. ESEC/SIGSOFT FSE 2005: 283-285 - 2004
- [c83]Jeff Magee, Jeff Kramer:
Model-Based Design of Concurrent Programs. 25 Years Communicating Sequential Processes 2004: 211-219 - [c82]Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Predictable Dynamic Plugin Systems. FASE 2004: 129-143 - [c81]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
Compatibility Verification for Web Service Choreography. ICWS 2004: 738-741 - [c80]Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee:
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. RE 2004: 208-217 - [c79]Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee:
System architecture: the context for scenario-based model synthesis. SIGSOFT FSE 2004: 33-42 - 2003
- [c78]Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Model-based Simulation of Web Applications for Usability Assessment. ICSE Workshop on SE-HCI 2003: 5-11 - [c77]Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein:
ViewPoints: meaningful relationships are difficult! ICSE 2003: 676-683 - [c76]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
Model-based Verification of Web Service Compositions. ASE 2003: 152-163 - [c75]Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Software Architecture Modeling & Analysis: A Rigorous Approach. SFM 2003: 44-51 - [c74]Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Behaviour model elaboration using partial labelled transition systems. ESEC / SIGSOFT FSE 2003: 19-27 - [c73]Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee:
LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. TACAS 2003: 597-601 - [c72]Robert Chatley, Jeff Kramer, Jeff Magee, Sebastián Uchitel:
Visual methods for web application design. HCC 2003: 242-244 - 2002
- [c71]Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer:
An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP 2002: 22-37 - [c70]Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Negative scenarios for implied scenario elicitation. SIGSOFT FSE 2002: 109-118 - [c69]Ioannis Georgiadis, Jeff Magee, Jeff Kramer:
Self-organising software architectures for distributed systems. WOSS 2002: 33-38 - [c68]Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Implied Scenario Detection in the Presence of Behaviour Constraints. VISS@ETAPS 2002: 65-84 - 2001
- [c67]Jeff Kramer:
Making Meaningful Models for Mere Mortal. ACSD 2001: 11-12 - [c66]Sebastián Uchitel, Jeff Kramer:
A Workbench for Synthesising Behaviour Models from Scenarios. ICSE 2001: 188-197 - [c65]Jaelson Castro, Jeff Kramer:
From Software Requirements to Architectures. ICSE 2001: 764-765 - [c64]Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer:
An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE 2001: 354-358 - [c63]Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Detecting implied scenarios in message sequence chart specifications. ESEC / SIGSOFT FSE 2001: 74-82 - 2000
- [c62]Anthony Finkelstein, Jeff Kramer:
Software engineering: a roadmap. ICSE - Future of SE Track 2000: 3-22 - [c61]Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer:
Graphical animation of behavior models. ICSE 2000: 499-508 - [c60]Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller:
Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. ICSE 2000: 660 - [c59]Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Sonander:
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation. IWSSD 2000: 3-10 - [c58]Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf:
The impact project: determining the impact of software engineering research upon practice (panel session). SIGSOFT FSE 2000: 108-109 - 1999
- [c57]Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer:
Checking Progress with Action Priority: Is it Fair? ESEC / SIGSOFT FSE 1999: 511-527 - [c56]Nabor C. Mendonça, Jeff Kramer:
Component Module Classification for Distributed Software Understanding. ICSM 1999: 119- - [c55]Jeff Kramer, Jeff Magee:
Modelling for Mere Mortals. TACAS 1999: 1-18 - [c54]Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou:
Behaviour Analysis of Software Architectures. WICSA 1999: 35-50 - 1998
- [c53]Dewayne E. Perry, Jeff Kramer:
Architectural Description. ESPRIT ARES Workshop 1998: 49-50 - [c52]Nabor C. Mendonça, Jeff Kramer:
An Experiment in Distributed Software Architecture Recovery. ESPRIT ARES Workshop 1998: 106-114 - [c51]Jeff Kramer, Jeff Magee:
Analysing dynamic change in software architectures: a case study. CDS 1998: 91-100 - [c50]Alessandra Russo, Bashar Nuseibeh, Jeff Kramer:
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. ICRE 1998: 51- - [c49]Nabor C. Mendonça, Jeff Kramer:
Developing an Approach for the Recovery of Distributed Software Architectures. IWPC 1998: 28-36 - [c48]Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou:
Software Architecture Directed Behaviour Analysis. IWSSD 1998: 144-146 - 1997
- [c47]Andrea Zisman, Jeff Kramer:
Supporting Interoperability of Autonomous Hospital Databases: A Case Study. ADBIS 1997: 285-294 - [c46]Jeff Kramer, Jeff Magee:
Exposing the Skeleton in the Coordination Closet. COORDINATION 1997: 18-31 - [c45]Nabor C. Mendonça, Jeff Kramer:
A Quality-Based Analysis of Architecture Recovery Environments. CSMR 1997: 54-59 - [c44]Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer:
Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE 1997: 227-243 - [c43]Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou:
Analysing the behaviour of distributed software architectures: a case study. FTDCS 1997: 240-247 - [c42]Jeff Kramer, Jeff Magee:
Distributed Software Architectures (Tutorial). ICSE 1997: 633-634 - [c41]Jeff Magee, Andrew Tseng, Jeff Kramer:
Composing distributed objects in CORBA. ISADS 1997: 257-263 - 1996
- [c40]Kaveh M. Moazami-Goudarzi, Jeff Kramer:
Maintaining node consistency in the face of dynamic change. CDS 1996: 62-69 - [c39]Shing-Chi Cheung, Jeff Kramer:
Checking Subsystem Safety Properties in Compositional Reachability Analysis. ICSE 1996: 144-154 - [c38]Jeff Magee, Jeff Kramer:
Dynamic Structure in Software Architectures. SIGSOFT FSE 1996: 3-14 - [c37]Jeff Magee, Jeff Kramer:
Self organising software architectures. ISAW/Viewpoints@FSE 1996: 35-38 - [c36]Nabor C. Mendonça, Jeff Kramer:
Requirements for an effective architecture recovery framework. ISAW/Viewpoints@FSE 1996: 101-105 - 1995
- [c35]Celso Massaki Hirata, Jeff Kramer:
An implementation of a technique for sharing variables in Time Warp. Annual Simulation Symposium 1995: 13-21 - [c34]Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer:
Specifying Distributed Software Architectures. ESEC 1995: 137-153 - [c33]Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein, Ulf Leonhardt:
Decentralised Process Modelling. EWSPT 1995: 185-188 - [c32]Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay:
The Software Architect's Assistant-a visual environment for distributed programming. HICSS (2) 1995: 254-263 - [c31]Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh:
Decentralised Process Enactment in a Multi-Perspective Development Environment. ICSE 1995: 255-264 - [c30]Steve Crane, Naranker Dulay, Halldor Fosså, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle:
Configuration management for distributed software services. Integrated Network Management 1995: 29-42 - [c29]Shing-Chi Cheung, Jeff Kramer:
Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. SIGSOFT FSE 1995: 140-150 - 1994
- [c28]Jeff N. Magee, Naranker Dulay, Jeff Kramer:
A constructive development environment for parallel and distributed programs. CDS 1994: 4-14 - [c27]Susan Eisenbach, Jeff Kramer, Jeff N. Magee:
REGIS-DARWIN specified in the π-calculus. CDS 1994: 213 - [c26]Jeff Magee, Susan Eisenbach, Jeff Kramer:
Modelling Darwin in the Pi-Caculus. Dagstuhl Seminar on Distributed Systems 1994: 133-152 - [c25]Orly Kremien, Jeff Kramer:
Providing High Performance Distributed Computing Through Scalable Computation Servers. HPDC 1994: 70-77 - [c24]Jeff Kramer:
Distributed Software Engineering. ICSE 1994: 253-263 - [c23]Shing-Chi Cheung, Jeff Kramer:
An Integrated Method for Effective Behaviour Analysis of Distributed Systems. ICSE 1994: 309-320 - [c22]Jeff Kramer:
Exoskeletal Software. ICSE 1994: 366 - 1993
- [c21]Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh:
Inconsistency Handling in Multi-Perspective Specifications. ESEC 1993: 84-99 - [c20]Shing-Chi Cheung, Jeff Kramer:
Tractable Flow Analysis for Anomaly Detection in Distributed Programs. ESEC 1993: 283-300 - [c19]Jeff Kramer, Anthony Finkelstein, Bashar Nuseibeh:
Method Integration and Support for Distributed Software Development: An Overview. ICSE Workshop on Studies of Software Design 1993: 115-126 - [c18]Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein:
Expressing the Relationships Between Multiple Views in Requirements Specification. ICSE 1993: 187-196 - [c17]Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer:
Fine-Grain Process Modelling. IWSSD 1993: 42-46 - [c16]D. Partridge, David Garlan, David R. Barstow, Jeff Kramer:
Should we specify systems or domain? RE 1993: 77-80 - [c15]Shing-Chi Cheung, Jeff Kramer:
Enhancing Compositional Reachability Analysis with Context Constraints. SIGSOFT FSE 1993: 115-125 - 1992
- [c14]Jeff N. Magee, Naranker Dulay, Jeff Kramer:
Structuring parallel and distributed programs. CDS 1992: 102-117 - [c13]Orly Kremien, Jeff Kramer:
Flexible load-sharing in configurable distributed systems. CDS 1992: 224-236 - [c12]Jeff Kramer, Jeff Magee, Morris Sloman:
Configuring distributed systems. ACM SIGOPS European Workshop 1992 - 1991
- [c11]Jeff Kramer:
CASE Support for the Software Process: A Research Viewpoint. ESEC 1991: 499-503 - [c10]Jeff Kramer, Anthony Finkelstein:
A Configurable Framework for Method and Tool Integration. Software Development Environments and CASE Technology 1991: 233-257 - 1990
- [c9]Jeff Kramer, Jeff Magee, Anthony Finkelstein:
A Constructive Approach to the Design of Distributed Systems. ICDCS 1990: 580-587 - 1989
- [c8]Anthony Finkelstein, Michael Goedicke, Jeff Kramer, Celso Niskier:
Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering. Algebraic Methods 1989: 29-54 - [c7]Jeff Kramer, Jeff Magee, Morris Sloman:
Configuration support for system description, construction and evolution. IWSSD 1989: 28-33 - 1988
- [c6]Jeff Kramer, Jeff Magee:
Change management of distributed systems. ACM SIGOPS European Workshop 1988 - 1987
- [c5]Naranker Dulay, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin P. Twidle:
Distributed System Construction: Experience with the Conic Toolkit. Experiences with Distributed Systems 1987: 189-212 - 1984
- [c4]Jeff Kramer, Jeff Magee:
Environment requirements for system evolution. ISPW 1984: 77-85 - 1982
- [c3]Jeff Kramer:
Distributed computer systems: two views. Conference on Operating Systems 1982: 84-98 - 1981
- [c2]Jeff Kramer, Jeff Magee, Morris Sloman:
Intertask Communication Primitives for Distributed Computer Control Systems. ICDCS 1981: 404-411 - 1979
- [c1]Jeff Kramer, Jim Cunningham:
Invariants for Specifications. ICSE 1979: 183-193
Parts in Books or Collections
- 2007
- [p1]Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography. Test and Analysis of Web Services 2007: 87-119
Editorship
- 2010
- [e7]Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel:
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010. ACM 2010, ISBN 978-1-60558-719-6 [contents] - [e6]Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel:
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010. ACM 2010 [contents] - 2008
- [e5]Orit Hazzan, Jeff Kramer:
Proceedings of the 2nd International Workshop on the Role of Abstraction in Software Engineering, ROA '08, Leipzig, Germany, May 11, 2008. ACM 2008, ISBN 978-1-60558-028-9 [contents] - 2006
- [e4]Jeff Kramer, Orit Hazzan:
Proceedings of the 2006 International Workshop on Role of Abstraction in Software Engineering, ROA '06, Shanghai, China, May 21, 2006. ACM 2006 [contents] - 2004
- [e3]David Garlan, Jeff Kramer, Alexander L. Wolf:
Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004. ACM 2004, ISBN 1-58113-989-6 [contents] - 2002
- [e2]David Garlan, Jeff Kramer, Alexander L. Wolf:
Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, Charleston, South Carolina, USA, November 18-19, 2002. ACM 2002, ISBN 1-58113-609-9 [contents] - 1999
- [e1]Barry W. Boehm, David Garlan, Jeff Kramer:
Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999. ACM 1999, ISBN 1-58113-074-0 [contents]
Informal and Other Publications
- 2023
- [i3]Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeff Kramer:
Finding Failure-Inducing Test Cases with ChatGPT. CoRR abs/2304.11686 (2023) - 2015
- [i2]Víctor A. Braberman, Nicolás D'Ippolito, Jeff Kramer, Daniel Sykes, Sebastián Uchitel:
MORPH: A Reference Architecture for Configuration and Behaviour Self-Adaptation. CoRR abs/1504.08339 (2015) - 2010
- [i1]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke:
Software Engineering for Self-Adaptive Systems: A second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010
Coauthor Index
Jeff Magee
aka: Jeff N. Magee
aka: Jeff N. Magee
[b4] [b3] [j57] [j56] [j54] [j52] [j46] [j39] [j37] [j33] [j28] [j25] [j20] [j15] [j14] [j13] [j10] [j9] [j8] [j6] [j4] [j3] [c131] [c129] [c123] [c122] [c120] [c119] [c117] [c116] [c110] [c108] [c106] [c105] [c104] [c103] [c102] [c100] [c98] [c97] [c95] [c91] [c90] [c89] [c88] [c87] [c86] [c85] [c84] [c83] [c82] [c81] [c80] [c79] [c78] [c76] [c75] [c74] [c73] [c72] [c70] [c69] [c68] [c63] [c61] [c59] [c57] [c55] [c54] [c51] [c48] [c46] [c43] [c42] [c41] [c38] [c37] [c34] [c32] [c30] [c28] [c27] [c26] [c14] [c12] [c9] [c7] [c6] [c5] [c4] [c2] [p1] [i1]
[j69] [j68] [j67] [j65] [j64] [j63] [j62] [j58] [j56] [j52] [j46] [j39] [j37] [c144] [c142] [c139] [c138] [c137] [c133] [c131] [c130] [c128] [c127] [c126] [c124] [c121] [c114] [c113] [c111] [c108] [c105] [c102] [c101] [c100] [c97] [c95] [c93] [c90] [c89] [c88] [c87] [c86] [c85] [c82] [c81] [c80] [c79] [c78] [c76] [c75] [c74] [c73] [c72] [c70] [c68] [c66] [c63] [p1] [e7] [e6] [i2]
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 2025-01-21 00:13 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:
