|
СТ |
FormalTechniques for Java-Like Programs |
2004 |
Eisenbach S., Leavens G. T., Mueller P., Poetzsch-Heffter A., Poll E. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.09.2004 |
|
СТ |
MagicBeans: a Platform for Deploying Plugin Components |
2004 |
Chatley R., Eisenbach S., Magee J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
12.06.2004 |
|
СТ |
Keeping Control of Reusable Components |
2004 |
Eisenbach S., Kayhan D., Sadler Ch. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
12.06.2004 |
|
СТ |
A Distributed Abstract Machine for Boxed Ambient Calculi |
2004 |
Phillips A., Yoshida N., Eisenbach S. |
|
|
|
Lecture Notes in Computer Science |
23.04.2004 |
|
СТ |
Managing the Evolution of .NET Programs |
2003 |
Eisenbach S., Jurisic V., Sadler C. |
|
|
|
Lecture Notes in Computer Science |
18.12.2003 |
|
СТ |
Flexible Models for Dynamic Linking |
2003 |
Drossopoulou S., Lagorio G., Eisenbach S. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
Formal Techniques for Java-like Programs |
2002 |
Drossopoulou S., Eisenbach S., Leavens G. T., Poetzsch-Heffter A., Poll E. |
|
|
|
Lecture Notes in Computer Science |
17.01.2003 |
|
СТ |
Evolution of Distributed Java Programs |
2002 |
Eisenbach S., Sadler C., Shaikh S. |
|
|
|
Lecture Notes in Computer Science |
26.07.2002 |
|
СТ |
Formal Tecniques for Java Programs |
2000 |
Drossopoulou S., Eisenbach S., Jacobs B., Leavens G., Muller P., Poetzsch-Heffter A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.01.2001 |
|
СТ |
Describing the Semantics of Java and Proving Type Soundness |
1999 |
Drossopoulou S., Eisenbach S. |
|
|
|
Lecture Notes in Computer Science |
03.07.1999 |
|
СТ |
What is Java Binary Compatibility? |
1998 |
Drossopoulou S., Wragg D., Eisenbach S. |
|
|
|
SIGPLAN Notices |
23.04.1999 |
|
СТ |
Java is Type Safe - Probably |
1997 |
Drossopoulou S., Eisenbach S. |
|
|
|
Lecture Notes in Computer Science |
09.07.1997 |
|
СТ |
Semantics of a Higher-Order Coordination Language |
1996 |
Radestock M., Eisenbach S. |
|
|
|
Lecture Notes in Computer Science |
24.05.1996 |
|
СТ |
Specifying Distributed Software Architectures |
1995 |
Magee J., Dulay N., Eisenbach S., Kramer J. |
Lecture Notes in Computer Science |
|
|
Software Engineering - ESEC 95 |
30.11.1995 |
|
СТ |
Modelling Darwin in the -calculus |
1994 |
Magee J., Eisenbach S., Kramer J. |
Lecture Notes in Computer Science |
|
|
Theory and Practice in Distributed Systems |
27.08.1995 |
|
СТ |
What Do You Get From a -Calculus Semantics |
1994 |
Radestock M., Eisenbach S. |
|
|
|
Lecture Notes in Computer Science |
25.08.1994 |
|
СТ |
Language and Architecture Paradigms as Object Classes: A Unified Approach Towards Multiparadigm Progarmming |
1994 |
Spinellis D., Drossopoulou S., Eisenbach S. |
|
|
|
Lecture Notes in Computer Science |
31.03.1994 |
