Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(30)
Jean-Raymond Abrial
3
Dave Neilson
3
Matthew K. O. Lee (李國安)
2
Leif Sandegaard Nielsen
2
Malcolm S. Powell
1
Conferences
(2)
FM
6
ZUM
1
Journals
(3)
LNCS
2
CACM
1
ENTCS
1
Keywords
(21)
Embed
Subscribe
Academic
Authors
Ib Holm Sorensen
Ib Holm Sorensen (Ib Sørensen),University of Oxford,Software Engineering,Algorithms & Theory,Programming Languages
Edit
Ib Holm Sorensen (Ib Sørensen)
University of Oxford
Publications:
14
|
Citations:
291
Fields:
Software Engineering
,
Algorithms & Theory
,
Programming Languages
View FAQ about top research areas and Fields of study
Collaborated with
30 co-authors
from 1981 to 2005
|
Cited by
325 authors
Cumulative
Annual
Sort by:
Publications
(14)
BibTeX
|
RIS
|
RefWorks
Download
Formality, Evolution, and Model-driven Software Engineering
(
Citations: 12
)
Jim Davies
,
Charles Crichton
,
Edward Crichton
,
David Neilson
,
Ib Holm Sørensen
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 130, pp. 39-55, 2005
Using B to Specify, Verify and Design Hardware Circuits
(
Citations: 2
)
Ib Holm Sørensen
Conference:
Z Users Conference - ZUM
, pp. 60-65, 1998
Applying the B Technologies on CICS
(
Citations: 7
)
Jonathan Hoare
,
Jeremy Dick
,
David Neilson
,
Ib Holm Sørensen
Conference:
World Congress on Formal Methods - FM
, pp. 74-84, 1996
The B-Method
(
Citations: 34
)
Jean-raymond Abrial
,
Matthew K. O. Lee
,
David Neilson
,
P. N. Scharbach
,
Ib Holm Sørensen
Conference:
World Congress on Formal Methods - FM
, pp. 398-405, 1991
Introducing formal methods: The CICS experience with Z
(
Citations: 11
)
B. P. Collins
,
John E. Nicholls
,
Ib H. Sorensen
Published in 1991.
Sort by:
Citations
(291 times by 286 publications)
Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-variable Language
Huibiao Zhu
,
Fan Yang
,
Jifeng He
,
Jonathan P. Bowen
,
Jeff W. Sanders
,
Shengchao Qin
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 81, no. 1, 2012
Proposition algebra
(
Citations: 3
)
Jan A. Bergstra
,
Alban Ponse
Journal:
ACM Transactions on Computational Logic - TOCL
, vol. 12, no. 3, pp. 21-36, 2011
Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification
(
Citations: 1
)
M. F. van Amstel
,
M. G. J. van den Brand
,
L. J. P. Engelen
Journal:
Mathematics and Computers in Simulation
, 2011
Deriving a Slicing Algorithm via FermaT Transformations
(
Citations: 2
)
Martin P. Ward
,
Hussein Zedan
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 1, pp. 24-47, 2011
Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification -- Extended Abstract
M. F. van Amstel
,
L. J. P. Engelen
Journal:
Psychological Reports - PSYCHOL REP
, 2011
Comments