default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSophia Drossopoulou
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
- 1983
[b2]Sophia Drossopoulou:
Verschmelzen von Aktionen in Zerteilern. Karlsruhe Institute of Technology, Germany, 1983, pp. 1-107- 1982
- [b1]Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner:
An Attribute Grammar for the Semantic Analysis of Ada. Lecture Notes in Computer Science 139, Springer 1982, ISBN 3-540-11571-4
Journal Articles
- 2023
- [j20]Ellen Arvidsson
, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad:
Reference Capabilities for Flexible Memory Management. Proc. ACM Program. Lang. 7(OOPSLA2): 1363-1393 (2023) - [j19]Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, Paul Liétar:
When Concurrency Matters: Behaviour-Oriented Concurrency. Proc. ACM Program. Lang. 7(OOPSLA2): 1531-1560 (2023) - 2022
- [j18]Julian Mackay, Susan Eisenbach, James Noble, Sophia Drossopoulou:
Necessity specifications for robustness. Proc. ACM Program. Lang. 6(OOPSLA2): 811-840 (2022) - 2020
- [j17]Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach:
Implementation of SHAPES Case Studies (Artifact). Dagstuhl Artifacts Ser. 6(2): 19:1-19:3 (2020) - [j16]Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach:
Reshape your layouts, not your programs: A safe language extension for better cache locality. Sci. Comput. Program. 197: 102481 (2020) - 2017
- [j15]Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek:
Orca: GC and type system co-design for actor languages. Proc. ACM Program. Lang. 1(OOPSLA): 72:1-72:28 (2017) - 2011
- [j14]Gerardo Canfora, Darren Dalcher, David Raffo, Victor R. Basili, Juan Fernández-Ramil, Václav Rajlich, Keith H. Bennett, Liz Burd, Malcolm Munro, Sophia Drossopoulou, Barry W. Boehm, Susan Eisenbach, Greg Michaelson, Peter Ross, Paul Wernick, Dewayne E. Perry:
In memory of Manny Lehman, 'Father of Software Evolution'. J. Softw. Maintenance Res. Pract. 23(3): 137-144 (2011) - [j13]Werner Dietl, Sophia Drossopoulou, Peter Müller:
Separating ownership topology and encapsulation with generic universe types. ACM Trans. Program. Lang. Syst. 33(6): 20:1-20:62 (2011) - 2009
- [j12]Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida:
Objects and session types. Inf. Comput. 207(5): 595-641 (2009) - [j11]Alexander J. Summers, Sophia Drossopoulou, Peter Müller:
Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods. J. Object Technol. 8(4): 85-125 (2009) - [j10]Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino:
Amalgamating sessions and methods in object-oriented languages with generics. Theor. Comput. Sci. 410(2-3): 142-167 (2009) - 2008
- [j9]Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou:
A type safe state abstraction for coordination in Java -like languages. Acta Informatica 45(7-8): 479-536 (2008) - 2007
- [j8]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2): 13 (2007) - 2006
- [j7]Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach:
A flexible model for dynamic linking in Java and C#. Theor. Comput. Sci. 368(1-2): 1-29 (2006) - 2002
- [j6]Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
More dynamic object reclassification: Fickle||. ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002) - 1999
- [j5]Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid:
Is the Java Type System Sound? Theory Pract. Object Syst. 5(1): 3-24 (1999) - 1996
- [j4]Sophia Drossopoulou, Stephan Karathanos, Dan Yang:
Type-Checking Smalltalk. J. Object Oriented Program. 8(8): 43-47, 72 (1996) - 1995
- [j3]Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach:
Object-Oriented Technology in Multiparadigm Language Implementation. J. Object Oriented Program. 8(1): 33-38 (1995) - 1993
- [j2]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) - 1981
- [j1]Guido Persch, Georg Winterstein, Sophia Drossopoulou, Manfred Dausmann:
An LALR (1) grammar for (revised) Ada. ACM SIGPLAN Notices 16(3): 85-98 (1981)
Conference and Workshop Papers
- 2021
- [c76]John Ahlgren, Kinga Bojarczuk, Sophia Drossopoulou, Inna Dvortsova, Johann George, Natalija Gucevska, Mark Harman, Maria Lomeli, Simon M. M. Lucas, Erik Meijer, Steve Omohundro, Rubmary Rojas, Silvia Sapora, Norm Zhou:
Facebook's Cyber-Cyber and Cyber-Physical Digital Twins. EASE 2021: 1-9 - 2020
- [c75]Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach:
Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first). ECOOP 2020: 31:1-31:3 - [c74]Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach:
Holistic Specifications for Robust Programs. FASE 2020: 420-440 - 2019
- [c73]Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, Tobias Wrigstad:
Run, actor, run: towards cross-actor language benchmarking. AGERE!@SPLASH 2019: 41-50 - [c72]Paul Liétar, Theodore Butler, Sylvan Clebsch, Sophia Drossopoulou, Juliana Franco, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger, David Chisnall:
snmalloc: a message passing allocator. ISMM 2019: 122-135 - 2018
- [c71]Alexandros Tasos, Juliana Franco, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach:
Extending SHAPES for SIMD Architectures: An approach to native support for Struct of Arrays in languages. ICOOOLPS@ECOOP 2018: 23-29 - [c70]Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad:
Correctness of a Concurrent Object Collector for Actor Languages. ESOP 2018: 885-911 - [c69]Franklin Schrans, Susan Eisenbach, Sophia Drossopoulou:
Writing safe smart contracts in Flint. Programming 2018: 218-219 - 2017
- [c68]Sebastian Blessing, Sylvan Clebsch, Sophia Drossopoulou:
Tree topologies for causal message delivery. AGERE!@SPLASH 2017: 1-10 - [c67]Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach:
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. ESOP 2017: 937-963 - [c66]Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach:
You can have it all: abstraction and good cache performance. Onward! 2017: 148-167 - 2016
- [c65]Razvan Certezeanu, Sophia Drossopoulou, Benjamin Egelund-Müller, K. Rustan M. Leino, Sinduran Sivarajan, Mark J. Wheelhouse:
Quicksort Revisited - Verifying Alternative Versions of Quicksort. Theory and Practice of Formal Methods 2016: 407-426 - [c64]Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray:
Permission and Authority Revisited towards a formalisation. FTfJP@ECOOP 2016: 10 - 2015
- [c63]Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil:
Deny capabilities for safe, fast actors. AGERE!@SPLASH 2015: 1-12 - [c62]Sophia Drossopoulou, James Noble, Mark S. Miller:
Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. PLAS@ECOOP 2015: 2-15 - [c61]Juliana Franco, Sophia Drossopoulou:
Behavioural types for non-uniform memory accesses. PLACES 2015: 109-120 - 2014
- [c60]James Noble, Sophia Drossopoulou:
Rationally Reconstructing the Escrow Example. FTfJP@ECOOP 2014: 5:1-5:6 - [c59]Juliana Franco, Sophia Drossopoulou, Nobuko Yoshida:
Calculating communication costs with Sessions Types and Sizes. ICCSW 2014: 50-57 - [c58]Sophia Drossopoulou, James Noble:
How to Break the Bank: Semantics of Capability Policies. IFM 2014: 18-35 - 2013
- [c57]Sophia Drossopoulou, James Noble:
The need for capability policies. FTfJP@ECOOP 2013: 6:1-6:7 - [c56]Alexander J. Summers, Sophia Drossopoulou:
A Formal Semantics for Isorecursive and Equirecursive State Abstractions. ECOOP 2013: 129-153 - [c55]Tim Wood, Sophia Drossopoulou:
Refactoring Boundary. ICCSW 2013: 119-127 - [c54]Sylvan Clebsch, Sophia Drossopoulou:
Fully concurrent garbage collection of actors on many-core machines. OOPSLA 2013: 553-570 - 2012
- [c53]Davide Ancona, Sophia Drossopoulou, Viviana Mascardi:
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. DALT 2012: 76-95 - [c52]William Sonnex, Sophia Drossopoulou, Susan Eisenbach:
Zeno: An Automated Prover for Properties of Recursive Data Structures. TACAS 2012: 407-421 - 2011
- [c51]Azalea Raad, Sophia Drossopoulou:
A sip of the Chalice. FTfJP@ECOOP 2011: 2:1-2:30 - 2010
- [c50]Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou:
Towards a semantic model for Java wildcards. FTfJP@ECOOP 2010: 2:1-2:7 - [c49]Alexander J. Summers, Sophia Drossopoulou:
Considerate Reasoning and the Composite Design Pattern. VMCAI 2010: 328-344 - 2009
- [c48]Nicholas Cameron, Sophia Drossopoulou:
On subtyping, wildcards, and existential types. FTfJP@ECOOP 2009: 4:1-4:7 - [c47]Nicholas Cameron, Sophia Drossopoulou:
Existential Quantification for Variant Ownership. ESOP 2009: 128-142 - 2008
- [c46]Nicholas Cameron, Sophia Drossopoulou, Erik Ernst:
A Model for Java with Wildcards. ECOOP 2008: 2-26 - [c45]Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants. ECOOP 2008: 412-437 - [c44]Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad:
Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2008: 30-41 - [c43]Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76 - 2007
- [c42]Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad:
Tribe: a simple virtual class calculus. AOSD 2007: 121-134 - [c41]Werner Dietl, Sophia Drossopoulou, Peter Müller:
Generic Universe Types. ECOOP 2007: 28-53 - [c40]Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad:
Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2007: 40-49 - [c39]Dave Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
Universe Types for Topology and Encapsulation. FMCO 2007: 72-112 - [c38]Nicholas Robert Cameron, Sophia Drossopoulou, James Noble, Matthew J. Smith:
Multiple ownership. OOPSLA 2007: 441-460 - 2006
- [c37]Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou:
Session Types for Object-Oriented Languages. ECOOP 2006: 328-352 - [c36]Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58 - [c35]Sophia Drossopoulou, David G. Clarke, James Noble:
Types for Hierarchic Shapes. ESOP 2006: 1-6 - [c34]Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida:
Bounded Session Types for Object Oriented Languages. FMCO 2006: 207-245 - 2005
- [c33]Christopher Anderson, Paola Giannini, Sophia Drossopoulou:
Towards Type Inference for JavaScript. ECOOP 2005: 428-452 - [c32]Charles Smith, Sophia Drossopoulou:
Chai: Traits for Java-Like Languages. ECOOP 2005: 453-478 - [c31]Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca:
Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37 - [c30]Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Joseph Ahern, Sophia Drossopoulou:
A Distributed Object-Oriented Language with Session Types. TGC 2005: 299-318 - [c29]Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach:
SCHOOL: a Small Chorded Object-Oriented Language. DCM@ICALP 2005: 37-47 - [c28]Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou:
Flexible Bytecode for Linking in .NET. Bytecode@ETAPS 2005: 75-92 - 2004
- [c27]Viviana Bono, Michele Bugliesi, Sophia Drossopoulou:
Preface. WOOD 2004: 1-2 - 2003
- [c26]David G. Clarke, Sophia Drossopoulou, James Noble:
Aliasing, Confinement, and Ownership in Object-Oriented Programming. ECOOP Workshops 2003: 197-207 - [c25]Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach:
Flexible Models for Dynamic Linking. ESOP 2003: 38-53 - [c24]Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini:
Refined Effects for Unanticipated Object Re-classification: Fickle3. ICTCS 2003: 97-110 - [c23]Christopher Anderson, Sophia Drossopoulou:
BabyJ: from object based to class based programming via types. WOOD 2003: 53-81 - [c22]Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou:
Can addresses be types? (A case study: objects with delegation). WOOD 2003: 108-129 - 2002
- [c21]Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll:
Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210 - [c20]David G. Clarke, Sophia Drossopoulou:
Ownership, encapsulation and the disjointness of type and effect. OOPSLA 2002: 292-310 - 2001
- [c19]Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149 - [c18]Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll:
Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40 - [c17]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
An Effective Translation of Fickle into Java. ICTCS 2001: 215-234 - [c16]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
A type preserving translation of Fickle into Java. TOSCA 2001: 69-82 - 2000
- [c15]Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter:
Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54 - [c14]Sophia Drossopoulou:
An Abstract Model of Java Dynamic Linking and Loading. Types in Compilation 2000: 53-84 - 1999
- [c13]Mark Skipper, Sophia Drossopoulou:
Formalising Composition Oriented Programming. ECOOP Workshops 1999: 307-308 - [c12]Sophia Drossopoulou:
Java Type System with Exceptions. ECOOP Workshops 1999: 373-374 - [c11]Sophia Drossopoulou, Susan Eisenbach:
Describing the Semantics of Java and Proving Type Soundness. Formal Syntax and Semantics of Java 1999: 41-82 - [c10]Sophia Drossopoulou, Susan Eisenbach, David Wragg:
A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility. LICS 1999: 147-156 - 1998
- [c9]Sophia Drossopoulou, David Wragg, Susan Eisenbach:
What is Java Binary Compatibility? OOPSLA 1998: 341-361 - 1997
- [c8]Sophia Drossopoulou, Susan Eisenbach:
Java is Type Safe - Probably. ECOOP 1997: 389-418 - 1994
- [c7]Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach:
Language and Architecture Paradigms as Object Classes. Programming Languages and System Architectures 1994: 191-207 - 1991
- [c6]Sophia Drossopoulou, Ross Paterson, Susan Eisenbach:
Parameterized Interfaces are Interfaces - AIAS. Declarative Programming 1991: 133-147 - 1982
- [c5]Martin Bever, Manfred Dausmann, Sophia Drossopoulou, Walter Kirchgässner, Peter C. Lockemann, Guido Persch, Georg Winterstein:
The integration of existing database systems in an Ada environment. AdaTEC Conference on Ada 1982: 162-171 - [c4]Sophia Drossopoulou, James S. Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein:
An Attribute Grammar for Ada. SIGPLAN Symposium on Compiler Construction 1982: 334-348 - 1981
- [c3]Manfred Dausmann, Sophia Drossopoulou, Guido Persch, Georg Winterstein:
The Tasking Facility of Ada. Implementierungssprachen für nichtsequentielle Programmsysteme 1981: 95-118 - [c2]Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein:
A Separate Compilation System for Ada. Werkzeuge der Programmiertechnik 1981: 197-213 - 1980
- [c1]Guido Persch, Georg Winterstein, Manfred Dausmann, Sophia Drossopoulou:
Overloading in preliminary Ada. SIGPLAN 1980: 47-56
Parts in Books or Collections
- 2013
- [p1]Nicholas Cameron, Sophia Drossopoulou, James Noble:
Understanding Ownership Types with Dependent Types. Aliasing in Object-Oriented Programming 2013: 84-108
Editorship
- 2009
- [e3]Sophia Drossopoulou:
ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science 5653, Springer 2009, ISBN 978-3-642-03012-3 [contents] - 2008
- [e2]Sophia Drossopoulou:
Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science 4960, Springer 2008, ISBN 978-3-540-78738-9 [contents] - 2005
- [e1]Viviana Bono, Michele Bugliesi, Sophia Drossopoulou:
Proceedings of the Second Workshop on Object Oriented Developments, WOOD 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 138(2), Elsevier 2005 [contents]
Data and Artifacts
- 2022
- [d2]Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach:
Necessity Specifications for Robustness. Zenodo, 2022
- 2020
- [d1]Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach:
Holisitic Specifications for Robust Programs - Coq Model. Zenodo, 2020
Informal and Other Publications
- 2023
- [i8]Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad:
Reference Capabilities for Flexible Memory Management: Extended Version. CoRR abs/2309.02983 (2023) - 2022
- [i7]Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach:
Necessity Specifications for Robustness. CoRR abs/2209.08205 (2022) - 2020
- [i6]Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach:
Holistic Specifications for Robust Programs. CoRR abs/2002.08334 (2020) - 2019
- [i5]Juliana Franco, Alexandros Tasos, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach:
Safely Abstracting Memory Layouts. CoRR abs/1901.08006 (2019) - [i4]Franklin Schrans, Daniel Hails, Alexander Harkness, Sophia Drossopoulou, Susan Eisenbach:
Flint for Safer Smart Contracts. CoRR abs/1904.06534 (2019) - 2014
- [i3]Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad:
Scaling Future Software: The Manycore Challenge. ERCIM News 2014(99) (2014) - 2013
- [i2]Lucius Gregory Meredith, Mike Stay, Sophia Drossopoulou:
Policy as Types. CoRR abs/1307.7766 (2013) - 2008
- [i1]Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants. Types, Logics and Semantics for State 2008
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-10-24 21:29 CEST 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:
