Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Susan Eisenbach" ( http://dblp.L3S.de/Authors/Susan_Eisenbach )

URL (Homepage):  http://www.doc.ic.ac.uk/~sue/  Author page on DBLP  Author page in RDF  Community of Susan Eisenbach in ASPL-2

Publication years (Num. hits)
1991-1998 (15) 1999-2003 (19) 2004-2009 (16) 2010-2012 (6)
Publication types (Num. hits)
article(12) inproceedings(43) proceedings(1)
Venues (Conferences, Journals, ...)
ECOOP Workshops(5) Component Deployment(4) Electr. Notes Theor. Comput. S...(4) COORDINATION(3) Concurrency and Computation: P...(2) DAIS(2) ESOP(2) Haskell(2) ICSM(2) ACSE(1) CC(1) CDS(1) Comput. J.(1) CSEE&T(1) Dagstuhl Seminar on Distribute...(1) Declarative Programming(1) More (+10 of total 39)
Authors
Susan Eisenbach(56) Sophia Drossopoulou(18) Chris Sadler(7) Matthias Radestock(6) Gary T. Leavens(5) Jeff Kramer(5) Tristan O. R. Allwood(5) Arnd Poetzsch-Heffter(4) Jeff Magee(4) Erik Poll(3) Alex Buckley(2) Alexis Petrounias(2) David Wragg(2) Diomidis Spinellis(2) Giovanni Lagorio(2) Krysia Broda(2) More (+10 of total 71)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 16 keywords
Results
Found 56 publication records. Showing 56 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Pedro M. Martins, Julie A. McCann, Susan Eisenbach The Environment as an Argument - Context-Aware Functional Programming. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1William Sonnex, Sophia Drossopoulou, Susan Eisenbach Zeno: An Automated Prover for Properties of Recursive Data Structures. Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gerardo 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'. Search on Bibsonomy Journal of Software Maintenance The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tristan O. R. Allwood, Cristian Cadar, Susan Eisenbach High coverage testing of Haskell programs. Search on Bibsonomy ISSTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tristan O. R. Allwood, Susan Eisenbach Strengthening the Zipper. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hubert Plociniczak, Susan Eisenbach JErlang: Erlang with Joins. Search on Bibsonomy COORDINATION The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tristan O. R. Allwood, Susan Eisenbach Tickling Java with a Feather. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alberto E. Schaeffer Filho, Emil C. Lupu, Morris Sloman, Susan Eisenbach Verification of Policy-Based Self-Managed Cell Interactions Using Alloy. Search on Bibsonomy POLICY The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alexis Petrounias, Susan Eisenbach Fairness for Chorded Languages. Search on Bibsonomy COORDINATION The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tristan O. R. Allwood, Simon L. Peyton Jones, Susan Eisenbach Finding the needle: stack traces for GHC. Search on Bibsonomy Haskell The full citation details ... 2009 DBLP  DOI  BibTeX  RDF stack trace, debugging
1Dave Cunningham, Khilan Gudka, Susan Eisenbach Keep Off the Grass: Locking the Right Path for Atomicity. Search on Bibsonomy CC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Tristan O. R. Allwood, Susan Eisenbach Clase: cursor library for a structured editor. Search on Bibsonomy Haskell The full citation details ... 2008 DBLP  DOI  BibTeX  RDF traversal, cursor, zipper
1Susan Eisenbach, Chris Sadler Reuse and Abuse. Search on Bibsonomy Journal of Object Technology The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Susan Eisenbach, Chris Sadler, Dominic Wong Component Adaptation in Contemporary Execution Environments. Search on Bibsonomy DAIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF component evolution, runtime systems, .NET, dynamic linking, execution environments, component adaptation
1Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach A flexible model for dynamic linking in Java and C#. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach SCHOOL: a Small Chorded Object-Oriented Language. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou Flexible Bytecode for Linking in .NET. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alan Dearle, Susan Eisenbach (eds.) Component Deployment, Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings Search on Bibsonomy Component Deployment The full citation details ... 2005 DBLP  BibTeX  RDF
1Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel Predictable Dynamic Plugin Systems. Search on Bibsonomy FASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Robert Chatley, Susan Eisenbach, Jeff Magee MagicBeans: a Platform for Deploying Plugin Components. Search on Bibsonomy Component Deployment The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Susan Eisenbach, Dilek Kayhan, Chris Sadler Keeping Control of Reusable Components. Search on Bibsonomy Component Deployment The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Andrew Phillips, Nobuko Yoshida, Susan Eisenbach A Distributed Abstract Machine for Boxed Ambient Calculi. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Radestock, Susan Eisenbach Coordinating components in middleware systems. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Susan Eisenbach, Vladimir Jurisic, Chris Sadler Managing the Evolution of .NET Programs. Search on Bibsonomy FMOODS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll Formal Techniques for Java-Like Programs. Search on Bibsonomy ECOOP Workshops The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Miles Barr, Susan Eisenbach Safe Upgrading without Restarting. Search on Bibsonomy ICSM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1J. Fernando Naveda, Donald J. Bagert, Steve Seidman, Jocelyn Armarego, Thomas B. Hilburn, Susan Eisenbach Developing an Undergraduate Software Engineering Degree. (PDF / PS) Search on Bibsonomy CSEE&T The full citation details ... 2003 DBLP  DOI  BibTeX  RDF undergraduate software engineering, undergraduate degree, software engineering faculty, accreditation, software engineering curriculum
1Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach Flexible Models for Dynamic Linking. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll Formal Techniques for Java-like Programs. Search on Bibsonomy ECOOP Workshops The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Susan Eisenbach, Chris Sadler, Shakil Shaikh Evolution of Distributed Java Programs. Search on Bibsonomy Component Deployment The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Susan Eisenbach, Gary T. Leavens Special issue: formal techniques for Java programs. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll Formal Techniques for Java Programs. Search on Bibsonomy ECOOP Workshops The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mike Wyer, Susan Eisenbach LEXIS: An EXam Invigilation System (Awarded Best Applied Paper!). Search on Bibsonomy LISA The full citation details ... 2001 DBLP  BibTeX  RDF
1Susan Eisenbach, Chris Sadler Changing Java Programs. (PDF / PS) Search on Bibsonomy ICSM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Distributed maintenance, binary compatibility, Java, version control, dynamic loading
1Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter Formal Techniques for Java Programs. Search on Bibsonomy ECOOP Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid Is the Java Type System Sound? Search on Bibsonomy TAPOS The full citation details ... 1999 DBLP  BibTeX  RDF
1Vishnu Kotrajaras, Susan Eisenbach Thread and Main Memory Semantics. Search on Bibsonomy ECOOP Workshops The full citation details ... 1999 DBLP  BibTeX  RDF
1Susan Eisenbach, Emil Lupu, Karen Meidl, Hani Rizkallah Can Corba save a fringe language from becoming obsolete? Search on Bibsonomy DAIS The full citation details ... 1999 DBLP  BibTeX  RDF
1Sophia Drossopoulou, Susan Eisenbach, David Wragg A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Susan Eisenbach, Chris Sadler Ephemeral Java Source Code. Search on Bibsonomy FTDCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF binary compatible, Java, maintenance, linking
1Sophia Drossopoulou, Susan Eisenbach Describing the Semantics of Java and Proving Type Soundness. Search on Bibsonomy Formal Syntax and Semantics of Java The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Sophia Drossopoulou, David Wragg, Susan Eisenbach What is Java Binary Compatibility? Search on Bibsonomy OOPSLA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Java
1Sophia Drossopoulou, Susan Eisenbach Java is Type Safe - Probably. Search on Bibsonomy ECOOP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Matthias Radestock, Susan Eisenbach Semantics of a Higher-Order Coordination Language. Search on Bibsonomy COORDINATION The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Krysia Broda, Susan Eisenbach, Lloyd Kamara Tool support for informal deduction. Search on Bibsonomy ACSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Matthias Radestock, Susan Eisenbach Coordination in Evolving Systems. Search on Bibsonomy TreDS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach Object-Oriented Technology in Multiparadigm Language Implementation. Search on Bibsonomy JOOP The full citation details ... 1995 DBLP  BibTeX  RDF
1Matthias Radestock, Susan Eisenbach An Object Model for Distributed and Concurrent Programming Based on Decomposition. Search on Bibsonomy Object Orientation with Parallelism and Persistence The full citation details ... 1995 DBLP  BibTeX  RDF
1Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer Specifying Distributed Software Architectures. Search on Bibsonomy ESEC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Matthias Radestock, Susan Eisenbach What Do You get From a Pi-Calculus Semantics? Search on Bibsonomy PARLE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jeff Magee, Susan Eisenbach, Jeff Kramer Modelling Darwin in the Pi-Caculus. Search on Bibsonomy Dagstuhl Seminar on Distributed Systems The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Susan Eisenbach, Jeff Kramer, Jeff N. Magee REGIS-DARWIN specified in the π-calculus. Search on Bibsonomy CDS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Matthias Radestock, Susan Eisenbach Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming. Search on Bibsonomy PODC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach Language and Architecture Paradigms as Object Classes. Search on Bibsonomy Programming Languages and System Architectures The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach An Integrated Engineering Study Scheme in Computing. Search on Bibsonomy Comput. J. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Sophia Drossopoulou, Ross Paterson, Susan Eisenbach Parameterized Interfaces are Interfaces - AIAS. Search on Bibsonomy Declarative Programming The full citation details ... 1991 DBLP  BibTeX  RDF
Displaying result #1 - #56 of 56 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.