other persons with the same name:
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) |
1 | Hans Bekic | [8] |
2 | Dines Bjørner | [8] |
3 | Peter van Emde Boas | [10] |
4 | John S. Fitzgerald | [12] |
5 | Bo S. Hansen | [10] |
6 | Michael R. Hansen | [10] |
7 | Carl H. Hauser (Carl Hauser) | [7] |
8 | Wolfgang Henhapl | [8] |
9 | Cliff B. Jones | [8] [12] |
10 | Nico Karssemeijer | [14] |
11 | Seung Chan Slim Lim | [13] |
12 | James W. Mehl | [7] |
13 | Mohammed Olumi | [7] |
14 | Maurice Samulski | [14] |
15 | Lauren Schneider | [11] |
16 | Marina Velikova | [14] |
17 | Gio Wiederhold | [7] |