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
(36)
Daniel M. Zimmerman
8
David R. Cok
6
Erik Poll
6
K. Mani Chandy
5
Dermot Cochran
5
Conferences
(15)
Formal Methods for Components and Objects
2
CASSIS
2
ICECCS
1
IPDPS(IPPS)
1
AMAST
1
Journals
(8)
CORR
3
ENTCS
3
PC
2
INTERNET
1
CACM
1
Keywords
(108)
Embed
Subscribe
Academic
Authors
Joseph R. Kiniry
Edit
Joseph R. Kiniry
IT University of Copenhagen
Publications: 54
|
Citations: 537
|
G-Index: 22
|
H-Index: 11
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
,
Distributed & Parallel Computing
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
36 co-authors
from 1997 to 2011
; Cited by
753 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(54)
BibTeX
|
RIS
|
RefWorks
Download
Verified gaming
Joseph R. Kiniry
,
Daniel M. Zimmerman
Published in 2011.
Agile Formality: A Mole of Software Engineering Practices
Vieri Del Bianco
,
Dragan Stosic
,
Joseph R. Kiniry
Published in 2010.
Verified Visualisation of Textual Modelling Languages
Fintan Fairmichael
,
Joseph Kiniry
Published in 2010.
A Verification-Centric Software Development Process for Java
(
Citations: 1
)
Daniel M. Zimmerman
,
Joseph R. Kiniry
Conference:
International Conference on Quality Software - QSIC
, pp. 76-85, 2009
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations
(
Citations: 2
)
Joseph R. Kiniry
,
Fintan Fairmichael
Conference:
Component-Based Software Engineering - CBSE
, pp. 242-261, 2009
Order by:
Citations
(537 times by 461 publications)
Refinement types for secure implementations
(
Citations: 3
)
Jesper Bengtson
,
Karthikeyan Bhargavan
,
Cédric Fournet
,
Andrew D. Gordon
,
Sergio Maffeis
Journal:
IEEE Computer Society
, vol. 33, no. 2, pp. 1-45, 2011
A parametric segmentation functor for fully automatic and scalable array content analysis
(
Citations: 3
)
Patrick Cousot
,
Radhia Cousot
,
Francesco Logozzo
Published in 2011.
Just like paper and the 3-colour protocol: A voting interface requirements engineering case study
J Paul Gibson
,
Damien MacNamara
,
Ken Oakley
Published in 2011.
Toward instant gradeification
Daniel M. Zimmerman
,
Joseph R. Kiniry
,
Fintan Fairmichael
Conference:
Conference on Software Engineering Education and Training - CSEE&T
, pp. 406-410, 2011
Approximating Quantified SMT-Solving with SAT
Xianjin Fu
,
Wanwei Liu
,
Jing Li
Conference:
International Conference on Secure Software Integration and Reliability Improvement Companion - SSIRI-C
, 2011
Comments