The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Susan Eisenbach: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sophia Drossopoulou, Susan Eisenbach
    Java is Type Safe - Probably. [Citation Graph (1, 0)][DBLP]
    ECOOP, 1997, pp:389-418 [Conf]
  2. Robert Chatley, Susan Eisenbach, Jeff Magee
    MagicBeans: a Platform for Deploying Plugin Components. [Citation Graph (0, 0)][DBLP]
    Component Deployment, 2004, pp:97-112 [Conf]
  3. Susan Eisenbach, Dilek Kayhan, Chris Sadler
    Keeping Control of Reusable Components. [Citation Graph (0, 0)][DBLP]
    Component Deployment, 2004, pp:144-158 [Conf]
  4. Susan Eisenbach, Chris Sadler, Shakil Shaikh
    Evolution of Distributed Java Programs. [Citation Graph (0, 0)][DBLP]
    Component Deployment, 2002, pp:51-66 [Conf]
  5. Matthias Radestock, Susan Eisenbach
    Semantics of a Higher-Order Coordination Language. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1996, pp:339-356 [Conf]
  6. J. Fernando Naveda, Donald J. Bagert, Steve Seidman, Jocelyn Armarego, Thomas B. Hilburn, Susan Eisenbach
    Developing an Undergraduate Software Engineering Degree. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2003, pp:318-0 [Conf]
  7. Jeff Magee, Susan Eisenbach, Jeff Kramer
    Modelling Darwin in the Pi-Caculus. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Distributed Systems, 1994, pp:133-152 [Conf]
  8. Matthias Radestock, Susan Eisenbach
    An Object Model for Distributed and Concurrent Programming Based on Decomposition. [Citation Graph (0, 0)][DBLP]
    Object Orientation with Parallelism and Persistence, 1995, pp:63-82 [Conf]
  9. Susan Eisenbach, Emil Lupu, Karen Meidl, Hani Rizkallah
    Can Corba save a fringe language from becoming obsolete? [Citation Graph (0, 0)][DBLP]
    DAIS, 1999, pp:272-286 [Conf]
  10. Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
    Formal Techniques for Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2000, pp:41-54 [Conf]
  11. Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll
    Formal Techniques for Java-like Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2002, pp:203-210 [Conf]
  12. Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll
    Formal Techniques for Java-Like Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2003, pp:62-71 [Conf]
  13. Vishnu Kotrajaras, Susan Eisenbach
    Thread and Main Memory Semantics. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:106- [Conf]
  14. Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll
    Formal Techniques for Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2001, pp:30-40 [Conf]
  15. Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer
    Specifying Distributed Software Architectures. [Citation Graph (0, 0)][DBLP]
    ESEC, 1995, pp:137-153 [Conf]
  16. Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
    Flexible Models for Dynamic Linking. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:38-53 [Conf]
  17. Andrew T. Phillips, Nobuko Yoshida, Susan Eisenbach
    A Distributed Abstract Machine for Boxed Ambient Calculi. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:155-170 [Conf]
  18. Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel
    Predictable Dynamic Plugin Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:129-143 [Conf]
  19. Susan Eisenbach, Vladimir Jurisic, Chris Sadler
    Managing the Evolution of .NET Programs. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:185-198 [Conf]
  20. Susan Eisenbach, Chris Sadler
    Ephemeral Java Source Code. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1999, pp:9-14 [Conf]
  21. Miles Barr, Susan Eisenbach
    Safe Upgrading without Restarting. [Citation Graph (0, 0)][DBLP]
    ICSM, 2003, pp:129-137 [Conf]
  22. Susan Eisenbach, Chris Sadler
    Changing Java Programs. [Citation Graph (0, 0)][DBLP]
    ICSM, 2001, pp:479-487 [Conf]
  23. Sophia Drossopoulou, Susan Eisenbach
    Describing the Semantics of Java and Proving Type Soundness. [Citation Graph (0, 0)][DBLP]
    Formal Syntax and Semantics of Java, 1999, pp:41-82 [Conf]
  24. Sophia Drossopoulou, Susan Eisenbach, David Wragg
    A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:147-156 [Conf]
  25. Mike Wyer, Susan Eisenbach
    LEXIS: An EXam Invigilation System (Awarded Best Applied Paper!). [Citation Graph (0, 0)][DBLP]
    LISA, 2001, pp:199-210 [Conf]
  26. Sophia Drossopoulou, David Wragg, Susan Eisenbach
    What is Java Binary Compatibility? [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1998, pp:341-361 [Conf]
  27. Matthias Radestock, Susan Eisenbach
    What Do You get From a Pi-Calculus Semantics? [Citation Graph (0, 0)][DBLP]
    PARLE, 1994, pp:635-647 [Conf]
  28. Sophia Drossopoulou, Ross Paterson, Susan Eisenbach
    Parameterized Interfaces are Interfaces - AIAS. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:133-147 [Conf]
  29. Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
    Language and Architecture Paradigms as Object Classes. [Citation Graph (0, 0)][DBLP]
    Programming Languages and System Architectures, 1994, pp:191-207 [Conf]
  30. Matthias Radestock, Susan Eisenbach
    Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming. [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:383- [Conf]
  31. Matthias Radestock, Susan Eisenbach
    Coordination in Evolving Systems. [Citation Graph (0, 0)][DBLP]
    TreDS, 1996, pp:162-176 [Conf]
  32. Anthony Finkelstein, Jeff Kramer, Samson Abramsky, Krysia Broda, Sophia Drossopoulou, Susan Eisenbach
    An Integrated Engineering Study Scheme in Computing. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:4, pp:320-334 [Journal]
  33. Susan Eisenbach, Gary T. Leavens
    Special issue: formal techniques for Java programs. [Citation Graph (0, 0)][DBLP]
    Concurrency and Computation: Practice and Experience, 2001, v:13, n:13, pp:1121-1123 [Journal]
  34. Matthias Radestock, Susan Eisenbach
    Coordinating components in middleware systems. [Citation Graph (0, 0)][DBLP]
    Concurrency and Computation: Practice and Experience, 2003, v:15, n:13, pp:1205-1231 [Journal]
  35. Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou
    Flexible Bytecode for Linking in .NET. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:1, pp:75-92 [Journal]
  36. Sophia Drossopoulou, A. Petrounias, Alex Buckley, Susan Eisenbach
    SCHOOL: a Small Chorded Object-Oriented Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:37-47 [Journal]
  37. Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
    Object-Oriented Technology in Multiparadigm Language Implementation. [Citation Graph (0, 0)][DBLP]
    JOOP, 1995, v:8, n:1, pp:33-38 [Journal]
  38. Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid
    Is the Java Type System Sound? [Citation Graph (0, 0)][DBLP]
    TAPOS, 1999, v:5, n:1, pp:3-24 [Journal]
  39. Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
    A flexible model for dynamic linking in Java and C#. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:368, n:1-2, pp:1-29 [Journal]
  40. Susan Eisenbach, Chris Sadler, Dominic Wong
    Component Adaptation in Contemporary Execution Environments. [Citation Graph (0, 0)][DBLP]
    DAIS, 2007, pp:90-103 [Conf]
  41. Susan Eisenbach, Chris Sadler
    Reuse and Abuse. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2007, v:6, n:1, pp:- [Journal]

  42. Keep Off the Grass: Locking the Right Path for Atomicity. [Citation Graph (, )][DBLP]


  43. Fairness for Chorded Languages. [Citation Graph (, )][DBLP]


  44. JErlang: Erlang with Joins. [Citation Graph (, )][DBLP]


  45. Verification of Policy-Based Self-Managed Cell Interactions Using Alloy. [Citation Graph (, )][DBLP]


  46. Finding the needle: stack traces for GHC. [Citation Graph (, )][DBLP]


  47. Clase: cursor library for a structured editor. [Citation Graph (, )][DBLP]


  48. Tool support for informal deduction. [Citation Graph (, )][DBLP]


  49. Tickling Java with a Feather. [Citation Graph (, )][DBLP]


Search in 0.027secs, Finished in 0.030secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002