dblp.uni-trier.dewww.uni-trier.de

Edmund Kazmierczak

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
13EERichard Hall, Hemang Rathod, Mauro Maiorca, Ioanna Ioannou, Edmund Kazmierczak, Stephen O'Leary, Peter Harris: Towards Haptic Performance Analysis Using K-Metrics. HAID 2008: 50-59
2007
12EETariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett: Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. APSEC 2007: 175-182
11EEKhalid Al-Jasser, Peter Schachte, Edmund Kazmierczak: Suitability of Object and Aspect Oriented Languages for Software Maintenance. ASWEC 2007: 117-128
2006
10EETariq Mahmood, Edmund Kazmierczak: A Knowledge-based Approach for Safety Analysis Using System Interactions. APSEC 2006: 445-452
9EESimon K. Milton, Edmund Kazmierczak: Ontology as Meta-Theory: A Perspective. Scandinavian J. Inf. Systems 18(1): (2006)
2004
8EEGavin Baker, Stephen O'Leary, Nick Barnes, Edmund Kazmierczak: Cochlea Modelling: Clinical Challenges and Tubular Extraction. Australian Conference on Artificial Intelligence 2004: 74-85
7 Simon K. Milton, Edmund Kazmierczak: An Ontology of Data Modeling Languages: A Study Using a Common-Sense Realistic Ontology. J. Database Manag. 15(2): 19-38 (2004)
2003
6EEAnthony Senyard, Edmund Kazmierczak, Leon Sterling: Software Engineering Methods for Neural Networks. APSEC 2003: 468-477
2001
5EESimon K. Milton, Edmund Kazmierczak, Chris Keen: Data Modelling Languages: An Ontological Study. ECIS 2001
2000
4 Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff: Verifying Requirements Through Mathematical Modelling and Animation. International Journal of Software Engineering and Knowledge Engineering 10(2): 251-273 (2000)
1998
3EEEdmund Kazmierczak, Michael Winikoff, Philip W. Dart: Verifying Model Oriented Specifications through Animation. APSEC 1998: 254-261
1995
2EEAnthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor: Cogito: a Methodology and System for Formal Software Development. International Journal of Software Engineering and Knowledge Engineering 5(4): 599-617 (1995)
1992
1 Edmund Kazmierczak: Modularising the Specification of a Small Database System in Extended ML. Formal Asp. Comput. 4(1): 100-142 (1992)

Coauthor Index

1Khalid Al-Jasser [11]
2Gavin Baker [8]
3Nick Barnes [8]
4Anthony C. Bloesch [2]
5Philip W. Dart [3] [4]
6Richard Hall [13]
7Peter Harris [13]
8Ioanna Ioannou [13]
9Peter Kearney [2]
10Chris Keen [5]
11Tim Kelly (Tim P. Kelly) [12]
12Tariq Mahmood [10] [12]
13Mauro Maiorca [13]
14Simon K. Milton [5] [7] [9]
15Stephen O'Leary [8] [13]
16Dennis Plunkett [12]
17Hemang Rathod [13]
18Peter Schachte [11]
19Anthony Senyard [6]
20Leon Sterling [4] [6]
21Owen Traynor [2]
22Michael Winikoff [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)