Dines Bjørner Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianwen Xiang, Dines Bjørner, Kokichi Futatsugi: Formal digital license language with OTS/CafeOBJ method. AICCSA 2008: 652-660
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: From Domain to Requirements. Concurrency, Graphs and Models 2008: 278-300
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: John Warner Backus: 3 Dec 1924-17 March 2007. Formal Asp. Comput. 20(3): 239-240 (2008)
2007
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Domain Theory: Practice and Theories A Discussion of Possible Research Topics. ICTAC 2007: 1-17
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Development of Transportation Systems. ISoLA 2007: 7
2005
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: A Cloverleaf of Software Engineering. SEFM 2005: 75-85
2004
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl. Essays in Memory of Ole-Johan Dahl 2004: 58-82
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: The TRain Topical Day - A foreword. IFIP Congress Topical Sessions 2004: 605-606
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering. IFIP Congress Topical Sessions 2004: 607-612
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Penicka, Dines Bjørner: From railway resource planning to train operation. IFIP Congress Topical Sessions 2004: 629-636
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Peter Chiang, Morten S. T. Jacobsen, Jens Kielsgaard Hansen, Michael P. Madsen, Martin Penicka: Towards a formal model of CyberRail. IFIP Congress Topical Sessions 2004: 657-664
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika: "UML-ising' Formal Techniques. SoftSpez Final Report 2004: 423-450
2003
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account. Verification: Theory and Practice 2003: 100-144
2002
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: "What Is an Infrastructure?" Towards an Informatics Answer. 10th Anniversary Colloquium of UNU/IIST 2002: 173-190
2001
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Manfred Broy, Alexandre V. Zamulin: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers Springer 2001
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: On Formal Techniques in Protocol Engineering - Example Challenges. FORTE 2001: 395-420
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book. J. UCS 7(8): 641-667 (2001)
2000
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Manfred Broy, Alexandre V. Zamulin: Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings Springer 2000
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Domain Engineering: A Software Engineering Discipline in Need of Research. SOFSEM 2000: 1-17
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Pinnacles of software engineering: 25 years of formal methods. Ann. Software Eng. 10: 11-66 (2000)
1999
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: A Triptych Software Development Paradigm: Domain, Requirements and Software. Correct System Design 1999: 29-60
1998
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Jorge Cuéllar: Software Engineering Education: Rôles of Formal Specification and Design Calculi. Ann. Software Eng. 6: 365-409 (1998)
1997
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, S. Koussoube, R. Noussi, G. Satchok: Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. ICFEM 1997: 263-
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views. Requirements Targeting Software and Systems Engineering 1997: 1-41
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: A Formal Software Engeneering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi. SOFSEM 1997: 219-248
1996
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Manfred Broy, Igor V. Pottosin: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings Springer 1996
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Semantics and Laws of Man-Made Infrastucture Systems (Abstract). Ershov Memorial Conference 1996: 1
1995
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures. APSEC 1995: 2-11
1994
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: The UNU/IIST Approach to Software Technology Transfer: The PRaCoSy and DeTfoRS Case "Stories". IFIP Congress (3) 1994: 3-10
1993
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Manfred Broy, Igor V. Pottosin: Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings Springer 1993
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: University Curricula in Software Technology. Software Engineering Education 1993: 5-16
1992
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Jørgen Fischer Nilsson: Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST. FGCS 1992: 191-198
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Trusted Computing Systems: The ProCoS Experience. ICSE 1992: 15-34
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: From Research to Practice: Self-reliance of the Developing World through own Software Technology: Education, Development, Management & Research. IFIP Congress (1) 1992: 65-71
1991
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanis Barzdins, Dines Bjørner: Baltic Computer Science, Selected Papers Springer 1991
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Søren Prehn: Formal Methods in Software Development: Requirements for a CASE. Software Development Environments and CASE Technology 1991: 178-210
1990
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, C. A. R. Hoare, Hans Langmaack: VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings Springer 1990
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Larry E. Druffel: Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods. ICSE 1990: 264-266
1989
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial). TAPSOFT, Vol.2 1989: 1-35
1988
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Preface for the Special Issue (on Partial Evaluation and Mixed Computation). New Generation Comput. 6(2&3): 77-78 (1988)
1987
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold: VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings Springer 1987
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: On the Use of Formal Methods in Software Development. ICSE 1987: 17-29
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments. VDM Europe 1987: 77-96
1986
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Software Development Graphs. A Unifying Concept for Software Development? FSTTCS 1986: 1-9
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Project Graphs and Meta-Programs. Towards a Theory of Software Development. System Development and Ada 1986: 117-152
1984
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans 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
1982
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Hans Henrik Løvengreen: Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper). VLDB 1982: 334-347
1981
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: The VDM Principles of Software Specification and Program Design. ICFPC 1981: 44-74
1980
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings Springer 1980
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Ole N. Oest: Towards a Formal Description of Ada Springer 1980
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPreben Folkjär, Dines Bjørner: A Formal Model of a Generalized CSP-like Language. IFIP Congress 1980: 95-99
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Formal Description of Programming Concepts: A Software Engineering Viewpoint. MFCS 1980: 1-21
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Ole N. Oest: The DDC Ada Compiler Development Project. Towards a Formal Description of Ada 1980: 1-20
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Reference Manual for the Meta-Language. Towards a Formal Description of Ada 1980: 607-623
1979
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Formalization of Data Base Models. Abstract Software Specifications 1979: 144-215
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Experiments in Block-structured GOTO Modelling: exits vs. Continuations. Abstract Software Specifications 1979: 216-247
1978
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, Cliff B. Jones: The Vienna Development Method: The Meta-Language Springer 1978
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: The Vienna development method (VDM): Software specification & program synthesis. Mathematical Studies of Information Processing 1978: 326-359
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Programming in the META-Language: A Tutorial. The Vienna Development Method: The Meta-Language 1978: 24-217
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition. The Vienna Development Method: The Meta-Language 1978: 337-374
1977
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Programming Languages: Formal Development of Interpreters and Compilers. International Computing Symposium 1977: 1-21
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: Programming Languages: Linguistics and Semantics. International Computing Symposium 1977: 511-536
1973
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner, E. F. Codd, Kenneth L. Deckert, Irving L. Traiger: The Gamma-0 n-ary Relational Data Base Interface Specifications of Objects and Operations. IBM Research Report RJ1200: (1973)
1970
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines Bjørner: The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers FOCS 1970: 122-132

Coauthor Index

1Mícheál Mac an Airchinnigh [24]
2Janis Barzdins (Janis Barzdin) [30]
3Hans Bekic [19]
4Manfred Broy [35] [39] [47] [50]
5Peter Chiang [54]
6E. F. Codd (Edgar F. Codd) [2]
7Jorge Cuéllar [43]
8Kenneth L. Deckert [2]
9Larry E. Druffel [27]
10Preben Folkjär [14]
11Kokichi Futatsugi [64]
12Chris George [53]
13Jens Kielsgaard Hansen [54]
14Anne Elisabeth Haxthausen [53]
15Wolfgang Henhapl [19]
16C. A. R. Hoare (Tony Hoare) [28]
17Steffen Holmslykke [53]
18Morten S. T. Jacobsen [54]
19Cliff B. Jones [8] [19] [24]
20S. Koussoube [42]
21Hans Langmaack [28]
22Hans Henrik Løvengreen [18]
23Peter Lucas [19]
24Christian Krog Madsen [53]
25Michael P. Madsen [54]
26Erich J. Neuhold [24]
27Jørgen Fischer Nilsson [33]
28R. Noussi [42]
29Ole N. Oest [12] [15]
30Martin Penicka [54] [55]
31Martin Pnika [53]
32Igor V. Pottosin [35] [39]
33Søren Prehn [29]
34G. Satchok [42]
35Irving L. Traiger [2]
36Jianwen Xiang [64]
37Alexandre V. Zamulin [47] [50]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)