dblp.uni-trier.dewww.uni-trier.de

Peter Lucas

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
14EEMarina Velikova, Maurice Samulski, Nico Karssemeijer, Peter Lucas: Toward Expert Knowledge Representation for Automatic Breast Cancer Detection. AIMSA 2008: 333-344
2006
13EESeung 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
11EEPeter 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
7EEMohammed 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)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)