Richard Banach Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
j43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu: Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Sci. Comput. Program. 139: 1-35 (2017)
j42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: The landing gear system in multi-machine Hybrid Event-B. STTT 19(2): 205-228 (2017)
2016
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Hemodialysis Machine in Hybrid Event-B. ABZ 2016: 376-393
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Huibiao Zhu: Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems. FTSCS 2016: 109-125
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael J. Butler: Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks. ICFEM 2016: 90-105
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B. TASE 2016: 65-72
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Butler, Jean-Raymond Abrial, Richard Banach: Modelling and Refining Hybrid Systems in Event-B and Rodin. From Action Systems to Distributed Systems 2016: 29-42
2015
j41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Czeslaw Jeske: Retrenchment and refinement interworking: the tower theorems. Mathematical Structures in Computer Science 25(1): 135-202 (2015)
j40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu: Core Hybrid Event-B I: Single Hybrid Event-B machines. Sci. Comput. Program. 105: 92-123 (2015)
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Stochastic Analogues of Invariants - Martingales in Stochastic Event-B. ENASE 2015: 238-243
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Pieter Van Schaik, Eric Verhulst: Simulation and formal modelling of yaw control in a drive-by-wire application. FedCSIS 2015: 731-742
2014
j39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Huibiao Zhu, Wen Su, Runlei Huang: Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. Formal Asp. Comput. 26(2): 319-366 (2014)
j38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: ASM, controller synthesis, and complete refinement. Sci. Comput. Program. 94: 109-129 (2014)
j37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: A Continuous ASM Modelling Approach to Pacemaker Sensing. ACM Trans. Softw. Eng. Methodol. 24(1): 2:1-2:40 (2014)
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Invariant Guided System Decomposition. ABZ 2014: 271-276
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B. TASE 2014: 42-49
2013
j36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Atomicity failure and the retrenchment atomicity pattern. Formal Asp. Comput. 25(3): 439-464 (2013)
j35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Marco Bozzano: The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits. Formal Asp. Comput. 25(4): 573-607 (2013)
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Marco Bozzano: The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits. Formal Asp. Comput. 25(4): 609-657 (2013)
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Pliant Modalities in Hybrid Event-B. Theories of Programming and Formal Methods 2013: 37-53
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael J. Butler: A Hybrid Event-B Study of Lane Centering. CSDM 2013: 97-111
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael J. Butler: Cruise Control in Hybrid Event-B. ICTAC 2013: 76-93
2012
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: ASM and Controller Synthesis. ABZ 2012: 51-64
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: Continuous ASM, and a Pacemaker Sensing Fragment. ABZ 2012: 65-78
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: Continuous Behaviour in Event-B: A Sketch. ABZ 2012: 349-352
2011
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Retrenchment for Event-B: UseCase-wise development and Rodin integration. Formal Asp. Comput. 23(1): 113-131 (2011)
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Czeslaw Jeske: Simple feature engineering via neat default retrenchments. J. Log. Algebr. Program. 80(8): 453-480 (2011)
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Review of Modeling in Event-B: System and Sofware Engineering, 1st edition, by Jean-Raymond Abrial. J. Log. Comput. 21(2): 403-404 (2011)
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Huibiao Zhu, Wen Su, Runlei Huang: Formalising the Continuous/Discrete Modeling Step .Refine@FM 2011: 121-138
2010
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Gerhard Schellhorn: Atomic actions, and their refinements to isolated protocols. Formal Asp. Comput. 22(1): 33-61 (2010)
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Czeslaw Jeske: Stronger compositions for retrenchments. J. Log. Algebr. Program. 79(3-5): 215-232 (2010)
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: A deidealisation semantics for KAOS. SAC 2010: 267-274
2009
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Coarse Grained Retrenchment and the Mondex Denial of Service Attacks. TASE 2009: 103-110
2008
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Gerhard Schellhorn: On the Refinement of Atomic Actions. Electr. Notes Theor. Comput. Sci. 201: 3-30 (2008)
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Czeslaw Jeske, Michael Poppleton: Composition mechanisms for retrenchment. J. Log. Algebr. Program. 75(2): 209-229 (2008)
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Model Based Refinement and the Tools of Tomorrow. ABZ 2008: 42-56
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Schellhorn, Richard Banach: A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. ABZ 2008: 57-70
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: UseCase-Wise Development: Retrenchment for Event-B. ABZ 2008: 167-180
2007
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney: Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundam. Inform. 77(1-2): 29-69 (2007)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Formal Methods Guest Editorial. J. UCS 13(5): 593-601 (2007)
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Woodcock, Richard Banach: The Verification Grand Challenge. J. UCS 13(5): 661-668 (2007)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67(2-3): 301-329 (2007)
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Retrenchment and the Atomicity Pattern. SEFM 2007: 37-46
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Fraser, Richard Banach: Configurable Proof Obligations in the Frog Toolkit. SEFM 2007: 361-370
2006
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA 2006: 82-90
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Marco Bozzano: Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. SAFECOMP 2006: 127-141
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, John Derrick: Filtering Retrenchments into Refinements. SEFM 2006: 60-69
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Retrenchment Tutorial. SEFM 2006: 259
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael Poppleton, Susan Stepney: Retrenching the Purse: Finite Exception Logs, and Validating the Small. SEW 2006: 234-248
2005
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenchment and the Mondex Electronic Purse. Abstract State Machines 2005: 41-48
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM 2005: 382-398
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Simon Fraser: Retrenchment and the B-Toolkit. ZB 2005: 203-221
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Richard Banach: Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings .Lecture Notes in Computer Science 3785, Springer 2005, ISBN 3-540-29797-9
2004
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Review: Process Algebra with Timing. J. Log. Comput. 14(6): 881 (2004)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Poppleton, Richard Banach: Requirements Validation by Lifting Retrenchments in B. ICECCS 2004: 87-96
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, R. Cross: Safety Requirements and Fault Trees Using Retrenchment. SAFECOMP 2004: 210-223
2003
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert: A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model. J. UCS 9(1): 2-33 (2003)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten. J. Log. Comput. 13(2): 313-314 (2003)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers (eds.). J. Log. Comput. 13(4): 625-627 (2003)
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Review: Mathematics of Quantum Computation. J. Log. Comput. 13(6): 957-959 (2003)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Review: Handbook of Process Algebra. J. Log. Comput. 13(6): 959-962 (2003)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael Poppleton: Retrenching partial requirements into system definitions: a simple feature interaction case study. Requir. Eng. 8(4): 266-288 (2003)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Poppleton, Richard Banach: Structuring Retrenchments in B by Decomposition. FME 2003: 814-833
2002
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert: IWIM Semantics via Fibred Automata. Electr. Notes Theor. Comput. Sci. 66(4): 1-15 (2002)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Book Reviews. Softw. Test., Verif. Reliab. 12(4): 278 (2002)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCzeslaw Jeske, Richard Banach: Minimally and Maximally Abstract Retrenchments. IFM 2002: 380-400
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Poppleton, Richard Banach: Controlling Control Systems: An Application of Evolving Retrenchment. ZB 2002: 42-61
2000
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Maximally Abstract Retrenchments. ICFEM 2000: 133-142
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael Poppleton: Fragmented Retrenchment, Concurrency and Fairness. ICFEM 2000: 143-152
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Poppleton, Richard Banach: Retrenchment: Extending Refinement for Continuous and Control Systems. IWFM 2000
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael Poppleton: Retrenchment, Refinement, and Simulation. ZB 2000: 304-323
1999
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael Poppleton: Sharp Retrenchment, Modulated Refinement and Simulation. Formal Asp. Comput. 11(5): 498-540 (1999)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael Poppleton: Retrenchment. World Congress on Formal Methods 1999: 1864-1865
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael Poppleton: Retrenchment and Punctured Simulation. IFM 1999: 457-476
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Poppleton, Richard Banach: Retrenchment: Extending the Reach of Refinement. ASE 1999: 158-165
1998
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Michael Poppleton: Retrenchment: An Engineering Variation on Refinement. B 1998: 129-147
1997
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, George A. Papadopoulos: A study of two graph rewriting formalisms: Interaction Nets and MONSTR. J. Prog. Lang. 5(1): 201-231 (1997)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: MONSTR II - Suspending Semantics and Independence. J. UCS 3(7): 756-801 (1997)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property. J. UCS 3(12): 1283-1336 (1997)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, George A. Papadopoulos: Implementing interaction nets in MONSTR. SAC 1997: 509-514
1996
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Transitive Term Graph Rewriting. Inf. Process. Lett. 60(3): 109-114 (1996)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: MONSTR I - Fundamental Issues and the Design of MONSTR. J. UCS 2(4): 164-216 (1996)
1995
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Sequent Reconstruction in LLM - A Sweepline Proof. Ann. Pure Appl. Logic 73(3): 277-295 (1995)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: DPO rewriting and abstract semantics via opfibrations. Electr. Notes Theor. Comput. Sci. 2: 3-10 (1995)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, J. Balazs, G. Papadoupolous: A Translation of the Pi-Caculus Into MONSTR. J. UCS 1(6): 339-398 (1995)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: On Regularity in Software Design. Sci. Comput. Program. 24(3): 221-248 (1995)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Locating the Contractum in the Double Pushout Approach. Theor. Comput. Sci. 152(2): 305-320 (1995)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, George A. Papadopoulos: Linear behaviour of term graph rewriting programs. SAC 1995: 157-163
1994
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Regular Relations and Bicartesian Squares. Theor. Comput. Sci. 129(1): 187-192 (1994)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Term Graph Rewriting and Garbage Collection Using Ppfibrations. Theor. Comput. Sci. 131(1): 29-94 (1994)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: The Contractum in Algebraic Graph Rewriting. TAGT 1994: 16-26
1992
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Simple Type Inference for Term Graph Rewriting Systems. CTRS 1992: 51-66
1989
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach: Dataflow Analysis if Term Graph Rewriting Systems. PARLE (2) 1989: 55-72
1988
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan Watson, Viv Woods, Paul Watson, Richard Banach, Mark Irvine Greenberg, John Sargeant: Flagship: A Parallel Architecture for Declarative Programming. ISCA 1988: 124-130

Coauthor Index

1Jean-Raymond Abrial[p1]
2Farhad Arbab[j21] [j15]
3J. Balazs[j5]
4Marco Bozzano[j35] [j34] [c26]
5Michael J. Butler[j43] [c47] [p1] [j40] [c40] [c39]
6R. Cross[c18]
7John Derrick[c25]
8Simon Fraser[c28] [c20]
9John R. W. Glauert[j21] [j15]
10Mark Irvine Greenberg[c1]
11Anthony Hall[j36] [c29]
12Runlei Huang[j39] [c35]
13Czeslaw Jeske[j41] [j36] [j32] [j29] [j27] [j26] [j23] [c29] [c27] [c22] [c21] [c16]
14Kung-Kiu Lau[e1]
15George Angelos Papadopoulos
George A. Papadopoulos
[j21] [j15] [j12] [c6] [c5]
16G. Papadoupolous[j5]
17Michael Poppleton[j27] [j26] [j23] [c27] [c23] [c22] [c21] [c19] [j16] [c17] [c15] [c13] [c12] [c11] [j13] [c10] [c9] [c8] [c7]
18Shengchao Qin[j43] [j40]
19John Sargeant[c1]
20Pieter Van Schaik[c44]
21Gerhard Schellhorn[j30] [j28] [c31]
22Susan Stepney[j36] [j26] [j23] [c29] [c27] [c23] [c22] [c21]
23Wen Su[j39] [j38] [j37] [c38] [c37] [c36] [c35]
24Eric Verhulst[c44]
25Nitika Verma[j40]
26Ian Watson[c1]
27Paul Watson[c1]
28Jim Woodcock[j24]
29Viv Woods[c1]
30Xiaofeng Wu[j38] [j37] [c38] [c37] [c36]
31Huibiao Zhu[j43] [c48] [j40] [j39] [j38] [j37] [c38] [c37] [c36] [c35]

 

Last update 2017-06-16 02:53 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page