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
(8)
Harold W. Thimbleby
4
Ann Blandford
2
Giuseppe De Pietro
2
Luigi Gallo
2
Patrick Oladimeji
2
Conferences
(1)
WADT
1
Keywords
(23)
Embed
Subscribe
Academic
Authors
Andy Gimblett
Andy Gimblett,Swansea University,Algorithms & Theory
Edit
Andy Gimblett
Swansea University
Publications:
6
|
Citations:
10
Fields:
Algorithms & Theory
View FAQ about top research areas and Fields of study
Collaborated with
8 co-authors
from 2004 to 2011
|
Cited by
7 authors
Cumulative
Annual
Sort by:
Publications
(6)
BibTeX
|
RIS
|
RefWorks
Download
Engineering interactive computer systems for medicine and healthcare (EICS4Med)
Ann Blandford
,
Giuseppe De Pietro
,
Luigi Gallo
,
Andy Gimblett
,
Patrick Oladimeji
,
Harold Thimbleby
Published in 2011.
Engineering interactive computer systems for medicine and healthcare (EICS4Med)
Ann Blandford
,
Giuseppe De Pietro
,
Luigi Gallo
,
Andy Gimblett
,
Patrick Oladimeji
,
Harold Thimbleby
Published in 2011.
Buffer automata: a UI architecture prioritising HCI concerns for interactive devices
Harold Thimbleby
,
Andy Gimblett
,
Abigail Cauchi
Published in 2011.
User interface model discovery: towards a generic approach
Andy Gimblett
,
Harold W. Thimbleby
Published in 2010.
Towards a Formal Specification of an Electronic Payment System in CSP-CASL
(
Citations: 8
)
Andy Gimblett
,
Markus Roggenbach
,
Bernd-holger Schlingloff
Conference:
Workshop on Algebraic Development Techniques - WADT
, pp. 61-78, 2004
Sort by:
Citations
(10 times by 9 publications)
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
(
Citations: 1
)
Liam O'reilly
,
Markus Roggenbach
,
Yoshinao Isobe
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 250, no. 2, pp. 69-84, 2009
Property Preserving Refinement for Csp-Casl
Temesghen Kahsai
,
Markus Roggenbach
Conference:
Workshop on Algebraic Development Techniques - WADT
, pp. 206-220, 2008
CSP-CASL - A new integration of process algebra and algebraic specification
(
Citations: 31
)
Markus Roggenbach
Journal:
Theoretical Computer Science - TCS
, vol. 354, no. 1, pp. 42-71, 2006
A Generic Theorem Prover of CSP Refinement
(
Citations: 30
)
Yoshinao Isobe
,
Markus Roggenbach
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 108-123, 2005
Aboubacar, M; Phillips, T N; Tamaddon-Jahromi, H R; Snigerev, B A and Webster
M Cerioli
Published in 2004.
Comments