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
(22)
Richard Bornat
6
Carroll Morgan
5
J. Michael Spivey (Mike Spivey)
3
Jifeng He (何积丰)
2
James J. Leifer
2
Conferences
(5)
IFIP
1
SAC
1
CADE
1
FM
1
CPA
1
Journals
(9)
TSE
3
SCP
3
JFP
2
CACM
1
CJ
1
Keywords
(40)
Embed
Subscribe
Academic
Authors
Bernard A. Sufrin
Bernard A. Sufrin,University of Oxford,Software Engineering,Programming Languages,Physics
Edit
Bernard A. Sufrin
University of Oxford
Publications:
27
|
Citations:
397
Fields:
Software Engineering
,
Programming Languages
,
Physics
View FAQ about top research areas and Fields of study
Collaborated with
22 co-authors
from 1982 to 2008
|
Cited by
414 authors
Cumulative
Annual
Sort by:
Publications
(27)
BibTeX
|
RIS
|
RefWorks
Download
Communicating Scala Objects
Bernard Sufrin
Conference:
Communicating Process Architectures - CPA
, pp. 35-54, 2008
Communicating Scala Objects (Revised)
Bernard SUFRIN
Published in 2008.
Software that assists learning within a complex abstract domain: the use of constraint and consequentiality as learning mechanisms
(
Citations: 2
)
James Aczel
,
Pat Fung
,
Richard Bornat
,
Martin Oliver
,
Tim O'Shea
,
Bernard Sufrin
Journal:
British Journal of Educational Technology - BRIT J EDUC TECHNOL
, vol. 34, no. 5, pp. 625-638, 2003
Jape --- a framework for building interactive proof editors
(
Citations: 2
)
R. Bornat
,
B. Sufrin
Published in 2001.
Eclectic CSP: a language of concurrent processes
(
Citations: 2
)
Quentin Miller
,
Bernard Sufrin
Conference:
ACM Symposium on Applied Computing - SAC
, pp. 840-842, 2000
Sort by:
Citations
(397 times by 358 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
Formalizing a hierarchical file system
Wim H. Hesselink
,
Muhammad Ikram Lali
Journal:
Formal Aspects of Computing - FAC
, pp. 1-18, 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
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
Sound refactorings
(
Citations: 2
)
Márcio Cornélio
,
Ana Cavalcanti
,
Augusto Sampaio
Journal:
Science of Computer Programming - SCP
, vol. 75, no. 3, pp. 106-133, 2010
Comments