Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(155)
Craig A. Damon
11
Robert Seater
11
Derek Rayside
10
Emina Torlak
9
Sarfraz Khurshid
8
Conferences
(37)
ICSE
13
TACAS
6
IGARSS
4
ISSTA
3
OOPSLA
3
Journals
(21)
ACM Sigsoft Software Engineering Notes
14
TSE
3
TOSEM
3
SIGPLAN
2
COMPUTER
1
Keywords
(274)
Embed
Subscribe
Academic
Authors
Daniel Jackson
Edit
Daniel Jackson
Massachusetts Institute of Technology
Publications: 177
|
Citations: 3476
|
G-Index: 55
|
H-Index: 29
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
155 co-authors
from 1988 to 2011
; Cited by
2846 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(177)
BibTeX
|
RIS
|
RefWorks
Download
Unifying execution of imperative and declarative code
Aleksandar Milicevic
,
Derek Rayside
,
Kuat Yessenov
,
Daniel Jackson
Conference:
International Conference on Software Engineering - ICSE
, pp. 511-520, 2011
A lightweight code analysis and its role in evaluation of a dependability case
Joseph P. Near
,
Aleksandar Milicevic
,
Eunsuk Kang
Conference:
International Conference on Software Engineering - ICSE
, pp. 31-40, 2011
Parameterization and Evaluation of Robotic Orientation Workspace: A Geometric Treatment
Chao Chen
,
Daniel Jackson
Journal:
IEEE Transactions on Robotics - TRob
, vol. 27, no. 4, pp. 656-663, 2011
Dependability Arguments with Trusted Bases
(
Citations: 2
)
Eunsuk Kang
Conference:
Requirements Engineering, IEEE International Conference - RE
, pp. 262-271, 2010
A new 6-dof 3-legged parallel mechanism for force-feedback interface
(
Citations: 1
)
Chao Chen
,
William John Heyne
,
Daniel Jackson
Conference:
Embedded Systems and Applications - ESA
, 2010
Order by:
Citations
(3476 times by 2241 publications)
Mathematizing C++ concurrency
(
Citations: 2
)
Scott Owens
,
Susmit Sarkar
,
Peter Sewell
,
Tjark Weber
Published in 2011.
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API
(
Citations: 3
)
Guodong Li
,
Robert Palmer
,
Michael Delisi
,
Ganesh Gopalakrishnan
,
Robert M. Kirby
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 2, pp. 65-81, 2011
Formalizing requirements with object models and temporal constraints
(
Citations: 2
)
Alessandro Cimatti
,
Marco Roveri
,
Angelo Susi
,
Stefano Tonetta
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 2, pp. 147-160, 2011
Detecting software modularity violations
(
Citations: 1
)
Sunny Wong
,
Yuanfang Cai
,
Miryung Kim
,
Michael Dalton
Conference:
International Conference on Software Engineering - ICSE
, pp. 411-420, 2011
Decentralized Reconfiguration for Self-Organizing Resource-Flow Systems Based on Local Knowledge
(
Citations: 1
)
Gerrit Anders
,
Hella Seebach
,
Florian Nafz
,
Jan-Philipp Steghöfer
,
Wolfgang Reif
Conference:
IEEE Workshop on Engineering of Autonomic and Autonomous Systems - EASE
, 2011
Comments