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
(135)
Jifeng He (何积丰)
29
Michael G. Hinchey (Mike Hinchey)
25
Huibiao Zhu
16
Peter T. Breuer
12
Phan Cong Vinh
11
Conferences
(27)
ZUM
24
SEW
5
COMPSAC
4
CHARME
3
FM
3
Journals
(32)
Microprocessors and Microsystems
14
LNCS
10
INFSOF
6
ISSE
6
COMPUTER
5
Keywords
(334)
Embed
Subscribe
Academic
Authors
Jonathan P. Bowen
Jonathan P. Bowen,London South Bank University,Software Engineering,Programming Languages,Algorithms & Theory
Edit
Jonathan P. Bowen
London South Bank University
Publications:
247
|
Citations:
1977
Fields:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research areas and Fields of study
Collaborated with
135 co-authors
from 1985 to 2012
|
Cited by
1789 authors
Cumulative
Annual
Sort by:
Publications
(247)
BibTeX
|
RIS
|
RefWorks
Download
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
Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience
Stefania Boiano
,
Jonathan P. Bowen
,
Giuliano Gaia
Published in 2012.
EVA London 2012 Conference Proceedings
Stuart Dunn
,
Jonathan P. Bowen
,
Kia Ng
Published in 2012.
Visualising Virtual Communities: From Erdős to the Arts
Jonathan P. Bowen
,
Robin J. Wilson
Published in 2012.
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community
Jonathan P. Bowen
,
Steve Reeves
Conference:
World Congress on Formal Methods - FM
, 2011
Journal:
Lecture Notes in Computer Science - LNCS
, vol. 6664, 2011
Sort by:
Citations
(1977 times by 1231 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
Data configurations in railway signalling engineering - an application of enterprise systems techniques
Xiangxian Chen
,
Aiai Guan
,
Xinxi Qiu
,
Hai Huang
,
Jiquan Liu
,
Huilong Duan
Journal:
Enterprise Information Systems - ENTERP INF SYST
, vol. ahead-of-p, no. ahead-of-p, pp. 1-21, 2012
A Novel Agent-Based Simulation Framework for Sensing in Complex Adaptive Environments
(
Citations: 5
)
Muaz A. Niazi
,
Amir Hussain
Journal:
IEEE Sensors Journal - IEEE SENS J
, vol. 11, no. 2, 2011
User requirements modeling and analysis of software-intensive systems
(
Citations: 1
)
Michel dos Santos Soares
,
Jos L. M. Vrancken
,
Alexander Verbraeck
Journal:
Journal of Systems and Software - JSS
, vol. 84, no. 2, pp. 328-339, 2011
An experimental assessment of module documentation-based testing
(
Citations: 1
)
Salmi Baharom
,
Zarina Shukur
Journal:
Information & Software Technology - INFSOF
, vol. 53, no. 7, pp. 747-760, 2011
Comments