Richard F. Paige

	2011
130		Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige: Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings Springer 2011
129		Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, James R. Williams: Integrated Model Management with Epsilon. ECMFA 2011: 391-392
128		Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige: Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. ICECCS 2011: 117-126
127		Xiaocheng Ge, Richard F. Paige, John A. McDermid: Model-based Failure Failure Analysis of Business Process. ICEIS (3) 2011: 388-391
126		Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Dimitrios S. Kolovos, Richard F. Paige, Marius Lauder, Andy Schürr, Denis Wagelaar: A Comparison of Rule Inheritance in Model-to-Model Transformation Languages. ICMT 2011: 31-46
125		Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo: EUnit: A Unit Testing Framework for Model Management Tasks. MoDELS 2011: 395-409
124		James R. Williams, Simon M. Poulding, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack: Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels. SSBSE 2011: 112-126
123		Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case TTC 2011: 332-339
122		Angelina Espinoza, Richard F. Paige, Juan Garbajosa: Value-Based Software Traceability Workshop (VALSOT 2011). XP 2011: 330
121		Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige: Large-scale Complex IT Systems CoRR abs/1109.3444: (2011)
120		Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke: High-integrity agile processes for the development of safety critical software. IJCCBS 2(2): 181-216 (2011)
119		Richard F. Paige, Nikolaos Drivalos, Dimitrios S. Kolovos, Kiran Jude Fernandes, Christopher Power, Gøran K. Olsen, Steffen Zschaler: Rigorous identification and encoding of trace-links in model-driven engineering. Software and System Modeling 10(4): 469-487 (2011)
	2010
118		Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska: 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010 IEEE Computer Society 2010
117		James R. Williams, Fiona A. C. Polack, Richard F. Paige: Formal Analysis in Model Management: Exploiting the Power of CZT. ASM 2010: 414
116		Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige: Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems. CENTERIS (1) 2010: 62-70
115		Louis M. Rose, Dimitrios S. Kolovos, Nikolaos Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes: Concordance: A Framework for Managing Model Integrity. ECMFA 2010: 245-260
114		Darren Clowes, Dimitrios S. Kolovos, Chris Holmes, Louis M. Rose, Richard F. Paige, Julian Johnson, Ray Dawson, Steve G. Probets: A Reflective Approach to Model-Driven Web Engineering. ECMFA 2010: 62-73
113		Nikolaos Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige, Kiran Jude Fernandes: A state-based approach to traceability maintenance. ECMFA-TW 2010: 23-30
112		Richard F. Paige: Traceability in model-driven safety critical software engineering. ECMFA-TW 2010: 5
111		Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes: Constructing and Navigating Non-invasive Model Decorations. ICMT 2010: 138-152
110		Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: Model Migration with Epsilon Flock. ICMT 2010: 184-198
109		Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige: KAOS-β: A Goal-oriented Process Model for EIS. MSVVEIS 2010: 40-49
108		Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos: transML: A Family of Languages to Model Model Transformations. MoDELS (1) 2010: 106-120
107		Dimitrios S. Kolovos, Louis M. Rose, Saad bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck: Taming EMF and GMF Using Model Transformation. MoDELS (1) 2010: 211-225
106		Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: Inter-modelling: From Theory to Practice. MoDELS (1) 2010: 376-391
105		Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige, Fiona A. C. Polack: A Comparison of Model Migration Tools. MoDELS (1) 2010: 61-75
104		Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: A Visual Specification Language for Model-to-Model Transformations. VL/HCC 2010: 119-126
103		Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti: Programming Phase: Formal Methods. Encyclopedia of Software Engineering 2010: 772-785
102		Raman Ramsin, Richard F. Paige: Iterative criteria-based approach to engineering the requirements of software development methodologies. IET Software 4(2): 91-104 (2010)
101		Phillip J. Brooke, Richard F. Paige, Christopher Power: Document-centric XML workflows with fragment digital signatures. Softw., Pract. Exper. 40(8): 655-672 (2010)
100		Richard F. Paige, Gøran K. Olsen, Jon Oldevik, Tor Neple: Guest editorial to the theme issue on traceability in model-driven engineering. Software and System Modeling 9(4): 425-426 (2010)
	2009
99		Richard F. Paige, Alan Hartman, Arend Rensink: Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings Springer 2009
98		Richard F. Paige: Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings Springer 2009
97		Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: Enhanced Automation for Managing Model and Metamodel Inconsistency. ASE 2009: 545-549
96		Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik: The SCOOP Concurrency Model in Java-like Languages. CPA 2009: 7-27
95		Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King: The Use of Model Transformation in the INESS Project. FMCO 2009: 147-165
94		Xiaocheng Ge, Richard F. Paige, John A. McDermid: Domain analysis on an electronic health records system. FOSD 2009: 49-54
93		Christopher Power, Richard F. Paige: Content Personalization for Inclusive Education through Model-Driven Engineering. HCI (7) 2009: 102-109
92		Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack: The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. ICECCS 2009: 162-171
91		Emine G. Aydal, Richard F. Paige, Mark Utting, Jim Woodcock: Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. ICST 2009: 131-140
90		Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige: Abstracting Complex Languages through Transformation and Composition. MoDELS 2009: 546-550
89		Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. Rigorous Methods for Software Construction and Analysis 2009: 204-218
88		Xiaocheng Ge, Richard F. Paige, John A. McDermid: Probabilistic Failure Propagation and Transformation Analysis. SAFECOMP 2009: 215-228
87		Steffen Zschaler, Dimitrios S. Kolovos, Nikolaos Drivalos, Richard F. Paige, Awais Rashid: Domain-Specific Metamodelling Languages for Software Language Engineering. SLE 2009: 334-353
86		Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos: Automatic Generation of Integrated Formal Models Corresponding to UML System Models. TOOLS (47) 2009: 357-367
85		Richard F. Paige, Phillip J. Brooke: Editorial. Formal Asp. Comput. 21(4): 303 (2009)
84		Phillip J. Brooke, Richard F. Paige: Cameo: an alternative model of concurrency for Eiffel. Formal Asp. Comput. 21(4): 363-391 (2009)
83		Howard Chivers, Richard F. Paige: XRound: A reversible template language and its application in model-based security analysis. Information & Software Technology 51(5): 876-893 (2009)
	2008
82		Richard F. Paige, Bertrand Meyer: Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings Springer 2008
81		Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: The Epsilon Generation Language. ECMDA-FA 2008: 1-16
80		Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Transformation Language. ICMT 2008: 46-60
79		Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364
78		Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Constructing Models with the Human-Usable Textual Notation. MoDELS 2008: 249-263
77		Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke: FPTC: Automated Safety Analysis for Domain-Specific Languages. MoDELS Workshops 2008: 229-242
76		Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Grand Challenge of Scalability for Model Driven Engineering. MoDELS Workshops 2008: 48-53
75		Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke: Towards Agile Engineering of High-Integrity Systems. SAFECOMP 2008: 30-43
74		Nikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, Kiran Jude Fernandes: Engineering a DSL for Software Traceability. SLE 2008: 151-167
73		Alek Radjenovic, Richard F. Paige: The Role of Dependency Links in Ensuring Architectural View Consistency. WICSA 2008: 199-208
72		Raman Ramsin, Richard F. Paige: Process-centered review of object oriented software development methodologies. ACM Comput. Surv. 40(1): (2008)
71		Emine G. Aydal, Richard F. Paige, Jim Woodstock: Observations for Assertion-based Scenarios in the context of Model Validation. ECEASST 15: (2008)
70		Emine G. Aydal, Richard F. Paige, Jim Woodcock: Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. ECEASST 9: (2008)
69		Richard F. Paige: Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700. Softw. Test., Verif. Reliab. 18(4): 251-252 (2008)
	2007
68		David H. Akehurst, Régis Vogel, Richard F. Paige: Model Driven Architecture- Foundations and Applications, Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings Springer 2007
67		Phillip J. Brooke, Richard F. Paige: Lazy Exploration and Checking of CSP Models with CSPsim. CPA 2007: 33-49
66		Mohd Syazwan Abdullah, Ian D. Benest, Richard F. Paige, Chris Kimble: Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems. ER 2007: 438-453
65		Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers: A Novel Approach to the Detection of Cheating in Multiplayer Online Games. ICECCS 2007: 97-106
64		Philippa Conmy, Richard F. Paige: Model-driven Development of Particle System Families. MOMPES 2007: 127-136
63		Emine G. Aydal, Richard F. Paige, Jim Woodcock: Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. MoDELS Workshops 2007: 194-205
62		Mohd Syazwan Abdullah, Richard F. Paige, Chris Kimble, Ian D. Benest: A UML Profile for Knowledge-Based Systems Modelling. SERA 2007: 871-878
61		Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Extreme Programming Security Practices. XP 2007: 226-230
60		Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble: Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development. Emerging Artificial Intelligence Applications in Computer Engineering 2007: 74-89
59		Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff: Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. 16(3): (2007)
58		Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob: A CSP model of Eiffel's SCOOP. Formal Asp. Comput. 19(4): 487-512 (2007)
57		Phillip J. Brooke, Richard F. Paige: Exceptions in Concurrent Eiffel. Journal of Object Technology 6(10): 111-126 (2007)
56		Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack, Louis M. Rose: Update Transformations in the Small with the Epsilon Wizard Language. Journal of Object Technology 6(9): 53-69 (2007)
	2006
55		John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings Springer 2006
54		Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble: Knowledge Modelling Using The UML Profile. AIAI 2006: 70-77
53		Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Object Language (EOL). ECMDA-FA 2006: 128-142
52		Klaus-D. Engel, Richard F. Paige, Dimitrios S. Kolovos: Using a Model Merging Language for Reconciling Model Versions. ECMDA-FA 2006: 143-157
51		Jean Bézivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Frédéric Jouault, Dimitrios S. Kolovos, Ivan Kurtev, Richard F. Paige: A Canonical Scheme for Model Composition. ECMDA-FA 2006: 346-360
50		Jovan Cakic, Richard F. Paige: Origins of the Grid Architectural Style. ICECCS 2006: 227-235
49		Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble: Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development. ICEIS (2) 2006: 74-81
48		Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke: Agile development of secure web applications. ICWE 2006: 305-312
47		Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Merging Models with the Epsilon Merging Language (EML). MoDELS 2006: 215-229
46		Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: An action semantics for MOF 2.0. SAC 2006: 1304-1305
45		Alek Radjenovic, Richard F. Paige: The View Glue. WADS 2006: 66-88
44		Emine G. Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke: Security Planning and Refactoring in Extreme Programming. XP 2006: 154-163
43		Richard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke: Towards an Agile Process for Building Software Product Lines. XP 2006: 198-199
42		Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. ECEASST 5: (2006)
41		Alek Radjenovic, Richard F. Paige: Architecture Description Languages for High-Integrity Real-Time Systems. IEEE Software 23(2): 71-79 (2006)
40		Mohd Syazwan Abdullah, Chris Kimble, Ian D. Benest, Richard F. Paige: Knowledge-based systems: a re-evaluation. J. Knowledge Management 10(3): 127-142 (2006)
39		Richard F. Paige, Triston S. Attridge, Phillip J. Brooke: Game Development Using Design-by-Contract. Journal of Object Technology 5(7): 57-73 (2006)
	2005
38		Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble: Unified Modeling Language for Knowledge Modelling. CIMCA/IAWTIC 2005: 952-957
37		Zhan En Chan, Richard F. Paige: Designing a Domain-Specific Contract Language: A Metamodelling Approach. ECMDA-FA 2005: 175-189
36		Howard Chivers, Richard F. Paige: XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language. ECMDA-FA 2005: 205-219
35		Richard F. Paige, Phillip J. Brooke: Agile Formal Method Engineering. IFM 2005: 109-128
34		Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson: High-integrity extreme programming. SAC 2005: 1518-1523
33		Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: An Agile and Extensible Code Generation Framework. XP 2005: 226-229
32		Howard Chivers, Richard F. Paige, Xiaocheng Ge: Agile Security Using an Incremental Security Architecture. XP 2005: 57-65
31		Jovan Cakic, Richard F. Paige: A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems. iiWAS 2005: 85-96
30		Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Refinement via Consistency Checking in MDA. Electr. Notes Theor. Comput. Sci. 137(2): 151-161 (2005)
29		Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke: E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. Journal of Object Technology 4(7): 97-114 (2005)
	2004
28		Mohd Syazwan Abdullah, Chris Kimble, Richard F. Paige, Ian D. Benest, Andy Evans: Developing a UML Profile for Modelling Knowledge-Based Systems. MDAFA 2004: 220-233
27		Richard F. Paige, Jonathan S. Ostroff: Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. TFM 2004: 107-123
26		Jonathan S. Ostroff, David Makalsky, Richard F. Paige: Agile Specification-Driven Development. XP 2004: 104-112
25		Richard F. Paige, Jonathan S. Ostroff: ERC - An object-oriented refinement calculus for Eiffel. Formal Asp. Comput. 16(1): 51-79 (2004)
24		Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige: SECG: The SCOOP-to-Eiffel Code Generator. Journal of Object Technology 3(10): 143-161 (2004)
23		Richard F. Paige, Phillip J. Brooke: Integrating BON and Object-Z. Journal of Object Technology 3(3): 121-141 (2004)
	2003
22		Richard F. Paige, Priyanka Agarwal, Phillip J. Brooke: Combining Agile Practices with UML and EJB: A Case Study in Agile Development. XP 2003: 351-353
21		Phillip J. Brooke, Richard F. Paige: Fault trees for security system design and analysis. Computers & Security 22(3): 256-264 (2003)
20		Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke: Theorem Proving Support for View Consistency Checking. L'OBJET 9(4): 115-134 (2003)
	2002
19		Phillip J. Brooke, Richard F. Paige: The Design of a Tool-Supported Graphical Notation for Timed CSP. IFM 2002: 299-318
18		Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric: BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning. Journal of Object Technology 1(3): 77-96 (2002)
17		Richard F. Paige, Jonathan S. Ostroff: The Single Model Principle. Journal of Object Technology 1(5): 63-81 (2002)
	2001
16		Shuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O'Farrell: Extending the message flow debugger for MQSI. CASCON 2001: 15
15		Richard F. Paige, Jonathan S. Ostroff: Metamodelling and Conformance Checking with PVS. FASE 2001: 2-16
14		Richard F. Paige, Jonathan S. Ostroff: The Single Model Principle. RE 2001: 292-293
13		Richard F. Paige, Jonathan S. Ostroff: A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. pUML 2001: 192-206
	2000
12		Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke: Principles for modeling language design. Information & Software Technology 42(10): 665-675 (2000)
	1999
11		Richard F. Paige: Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. IFM 1999: 353-372
10		Richard F. Paige, Jonathan S. Ostroff: A Comparison of the Business Object Notation and the Unified Modelling Language. UML 1999: 67-82
9		Richard F. Paige, Eric C. R. Hehner: Bunches for Object-Oriented, Concurrent, and Real-Time Specification. World Congress on Formal Methods 1999: 530-550
8		Richard F. Paige, Jonathan S. Ostroff: Developing BON as an Industrial-Strength Formal Method. World Congress on Formal Methods 1999: 834-853
7		Richard F. Paige: Integrating a Program Design Calculus and a Subset of UML. Comput. J. 42(2): 82-99 (1999)
6		Richard F. Paige: When are methods complementary? Information & Software Technology 41(3): 157-162 (1999)
	1998
5		Richard F. Paige, Jonathan S. Ostroff: From Z to BON/Eiffel. ASE 1998: 209-212
4		Richard F. Paige: Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. ZUM 1998: 214-232
3		Richard F. Paige: Heterogeneous Notations for Pure Formal Method Integration. Formal Asp. Comput. 10(3): 233-242 (1998)
	1997
2		Richard F. Paige: Case Studies in Using a Meta-Method for Formal Method Integration. AMAST 1997: 395-408
1		Richard F. Paige: A Meta-Method for Formal Method Integration. FME 1997: 473-494

Coauthor Index

1	Mohd Syazwan Abdullah	[28] [38] [40] [49] [54] [60] [62] [66]
2	Saad bin Abid	[107]
3	Priyanka Agarwal	[22]
4	David H. Akehurst	[68]
5	Eshrat Arjomandi	[16]
6	Triston S. Attridge	[39]
7	Emine G. Aydal	[44] [63] [70] [71] [91]
8	Ian D. Benest	[28] [38] [40] [49] [54] [60] [62] [66]
9	Jean Bézivin	[51]
10	Behzad Bordbar	[130]
11	Goetz Botterweck	[107]
12	Salim Bouzitouna	[51]
13	Phillip J. Brooke	[12] [19] [20] [21] [22] [23] [29] [35] [39] [43] [44] [48] [55] [57] [58] [59] [61] [65] [67] [75] [77] [84] [85] [101] [103] [120]
14	Jovan Cakic	[31] [50]
15	Radu Calinescu	[118] [121]
16	Antonio Castillo	[90]
17	Ana Cavalcanti	[103]
18	Zhan En Chan	[37]
19	Ramon Charalambous	[75] [120]
20	Marsha Chechik	[96]
21	Howard Chivers	[32] [34] [36] [44] [48] [65] [83]
22	John A. Clark (John Andrew Clark)	[55]
23	Dave Cliff	[121]
24	Darren Clowes	[114]
25	Philippa Conmy	[64]
26	Ray Dawson	[114]
27	Nikolaos Drivalos (Nikolaos Drivalos Matragkas)	[74] [87] [92] [111] [113] [115] [119]
28	Klaus-D. Engel	[52]
29	Angelina Espinoza	[122]
30	Andy Evans	[28]
31	Marcos Didonet Del Fabro	[51]
32	Kiran Jude Fernandes	[74] [111] [113] [115] [119]
33	Miguel A. Fernández	[90]
34	Robert B. France	[130]
35	Oleksandr Fuks	[24]
36	Andy Galloway	[120]
37	Juan Garbajosa	[122]
38	Kelly Garcés	[105]
39	Antonio García-Domínguez	[123] [125]
40	Xiaocheng Ge	[32] [48] [61] [75] [77] [88] [94] [120] [127]
41	Marie-Pierre Gervais	[51]
42	Esther Guerra	[104] [106] [108]
43	Alan Hartman	[99]
44	Eric C. R. Hehner	[9]
45	Markus Herrmannsdoerfer (Markus Herrmannsdörfer)	[105]
46	Chris Holmes	[114]
47	Jeremy L. Jacob (Jeremy Jacob)	[58]
48	Jendrik Johannes	[90]
49	Julian Johnson	[114]
50	Frédéric Jouault	[51]
51	Liliya Kaminskaya	[18]
52	Gerti Kappel	[126]
53	Justin Keen	[121]
54	Tim Kelly (Tim P. Kelly)	[121]
55	Chris Kimble	[28] [38] [40] [49] [54] [60] [62] [66]
56	Steve King	[95]
57	Dimitrios S. Kolovos	[30] [33] [42] [46] [47] [51] [52] [53] [56] [74] [76] [77] [78] [79] [80] [81] [86] [87] [89] [90] [92] [97] [104] [105] [106] [107] [108] [110] [111] [113] [114] [115] [119] [123] [125] [126] [129]
58	Ivan Kurtev	[51]
59	Angelika Kusel	[126]
60	Jochen Malte Küster	[130]
61	Marta Z. Kwiatkowska	[118] [121]
62	Jason Lancaric	[18]
63	Juan de Lara (Juan de Lara Jaramillo)	[104] [106] [108]
64	Marius Lauder (Marius Paul Lauder)	[126]
65	Peter Laurens	[65]
66	David Makalsky	[26] [29]
67	Evan Mamas	[16]
68	John A. McDermid	[34] [88] [94] [121] [127]
69	Inmaculada Medina-Bulo	[125]
70	Bertrand Meyer	[82]
71	Simon Moser	[16]
72	Tor Neple	[100]
73	Bill O'Farrell	[16]
74	Jon Oldevik	[100]
75	Gøran K. Olsen	[100] [119]
76	Jonathan S. Ostroff	[5] [8] [10] [12] [13] [14] [15] [17] [18] [20] [24] [25] [26] [27] [29] [59] [96]
77	Fiona A. C. Polack (Fiona Polack)	[30] [33] [42] [46] [47] [48] [53] [55] [56] [61] [76] [78] [79] [80] [81] [89] [92] [97] [105] [107] [109] [110] [111] [115] [116] [117] [123] [124]
78	Simon M. Poulding	[124]
79	Christopher Power	[93] [101] [119]
80	Steve G. Probets	[114]
81	Alek Radjenovic	[41] [45] [73]
82	Raman Ramsin	[72] [102]
83	Awais Rashid	[87]
84	Arend Rensink	[99]
85	Werner Retschitzegger	[126]
86	Louis M. Rose	[56] [77] [78] [81] [92] [97] [105] [107] [110] [111] [114] [115] [123] [124] [125] [129]
87	Osmar Marchi dos Santos	[95] [108] [128]
88	Johannes Schönböck	[126]
89	Andy Schürr	[126]
90	Wieland Schwinger	[126]
91	Ian Sommerville	[121]
92	Zoë R. Stephenson	[34] [43]
93	Malihe Tabatabaie	[109] [116]
94	Shuxia Tan	[16]
95	Faraz Ahmadi Torshizi	[96]
96	Helen Treharne	[86]
97	Edward Turner	[86]
98	Mark Utting	[91]
99	Régis Vogel	[68]
100	Denis Wagelaar	[126]
101	Xiaochen Wang	[43]
102	James R. Williams	[105] [115] [117] [123] [124] [129]
103	Manuel Wimmer	[126]
104	Jim Woodcock (J. C. P. Woodcock)	[63] [70] [91] [95] [103] [128]
105	Jim Woodstock	[71]
106	Steffen Zschaler	[87] [90] [119]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page