Ib Holm Sørensen Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2005
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen: Formality, Evolution, and Model-driven Software Engineering. Electr. Notes Theor. Comput. Sci. 130: 39-55 (2005)
1998
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ib Holm Sørensen: Using B to Specify, Verify and Design Hardware Circuits. ZUM 1998: 60-65
1996
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen: Applying the B Technologies on CICS. FME 1996: 74-84
1991
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen: The B-Method. VDM Europe (2) 1991: 398-405
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matthew K. O. Lee, Ib Holm Sørensen: B-Tool. VDM Europe (1) 1991: 695-696
1987
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin: Laws of Programming. Commun. ACM 30(8): 672-686 (1987)
1981
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen: KWIC-index generation. Program Specification 1981: 47-117
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leif Sandegaard Nielsen, Ib Holm Sørensen: Communication Network. Program Specification 1981: 118-136
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ib Holm Sørensen: A Specification Language. Program Specification 1981: 381-401

Coauthor Index

1Jean-Raymond Abrial
[c5] [c3]
2Derek Coleman
[c3]
3Charles Crichton
[j2]
4Edward Crichton
[j2]
5Jim Davies
[j2]
6Jeremy Dick
[c6]
7Hartmut Ehrig
[c3]
8Robin M. Gallimore
[c3]
9Joseph A. Goguen
[c3]
10Ian J. Hayes
[j1]
11Jifeng He
[j1]
12C. A. R. Hoare (Tony Hoare)
[j1]
13Jonathan Hoare
[c6]
14Jane W. Hughes
[c3]
15Hans-Jörg Kreowski
[c3]
16Matthew K. O. Lee
[c5] [c4]
17Carroll Morgan (Carroll C. Morgan)
[j1]
18David Neilson
[j2] [c6] [c5]
19Leif Sandegaard Nielsen
[c3] [c2]
20Malcolm S. Powell
[c3]
21A. W. Roscoe (A. William Roscoe, Bill Roscoe)
[j1]
22Jeff W. Sanders (Jeffrey W. Sanders)
[j1]
23P. N. Scharbach
[c5]
24J. Michael Spivey
[j1]
25Jørgen Steensgaard-Madsen
[c3]
26Bernard Sufrin
[j1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 12:38:40 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page