2008 |
14 | EE | Marina Velikova,
Maurice Samulski,
Nico Karssemeijer,
Peter Lucas:
Toward Expert Knowledge Representation for Automatic Breast Cancer Detection.
AIMSA 2008: 333-344 |
2006 |
13 | EE | Seung Chan Slim Lim,
Peter Lucas:
JDA: a step towards large-scale reuse on the web.
OOPSLA Companion 2006: 586-601 |
1997 |
12 | | John S. Fitzgerald,
Cliff B. Jones,
Peter Lucas:
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings
Springer 1997 |
1994 |
11 | EE | Peter Lucas,
Lauren Schneider:
Workscape: a scriptable document management environment.
CHI Conference Companion 1994: 9-10 |
1989 |
10 | | Michael R. Hansen,
Bo S. Hansen,
Peter Lucas,
Peter van Emde Boas:
Integrating Relational Databases and Constraint Languages.
Comput. Lang. 14(2): 63-82 (1989) |
1987 |
9 | | Peter Lucas:
VDM: Origins, Hopes, and Achievements.
VDM Europe 1987: 1-18 |
1984 |
8 | | Hans Bekic,
Dines Bjørner,
Wolfgang Henhapl,
Cliff B. Jones,
Peter Lucas:
On the Formal Definition of a PL/I Subset (Selected parts).
Programming Languages and Their Definition 1984: 107-155 |
1983 |
7 | EE | Mohammed Olumi,
Gio Wiederhold,
Carl Hauser,
Peter Lucas,
James W. Mehl:
Software Project Databases.
Databases for Business and Office Applications 1983: 124-134 |
1981 |
6 | | Peter Lucas:
Formal Semantics of Programming Languages: VDL.
IBM Journal of Research and Development 25(5): 549-561 (1981) |
1979 |
5 | | Peter Lucas:
On the Structure of Application Programs.
Abstract Software Specifications 1979: 390-438 |
1978 |
4 | | Peter Lucas:
On the Formalization of Programming Languages: Early History and Main Approaches.
The Vienna Development Method: The Meta-Language 1978: 1-23 |
1971 |
3 | | Peter Lucas:
Formal Definition of Programming Languages and Systems.
IFIP Congress (1) 1971: 291-297 |
1962 |
2 | | Peter Lucas:
Requirements on a Language for Logical Data Processing.
IFIP Congress 1962: 556-560 |
1961 |
1 | | Peter Lucas:
Die Strukturanalyse von Formelübersetzern.
Elektronische Rechenanlagen 3(4): 159-167 (1961) |