Mike Holcombe - RankMe

86 papers A* 1A 6B 17Journal 38Unranked 21

Year	Rank	Type	Title / Venue / Authors
2016	J	`jnl`	Reducing complexity in an agent based reaction model - Benefits and limitations of simplifications in relation to run time and system level output. Biosyst. David M. Rhodes, Mike Holcombe, Eva E. Qwarnstrom
2014	J	`jnl`	Agent-Based Modeling of Oxygen-Responsive Transcription Factors in PLoS Comput. Biol. Hao Bai, Matthew D. Rolfe, Wenjing Jia, Simon Coakley, Robert K. Poole, Jeffrey Green, Mike Holcombe
2013	J	`jnl`	Large-Scale Modeling of Economic Systems. Complex Syst. Mike Holcombe, Simon Coakley, Mariam Kiran, Lee Shawn Chin, Chris Greenough, David Worth, Silvano Cincotti, Marco Raberto, Andrea Teglio, Christophe Deissenberg, Sander van der Hoog, Herbert Dawid, Simon Gemkow, Philipp Harting, Michael Neugart
2012	—	`conf`	Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework. HPCC-ICESS Simon Coakley, Marian Gheorghe, Mike Holcombe, Lee Shawn Chin, David Worth, Chris Greenough
2012	B	`ed.`	Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings SEFM George Eleftherakis, Mike Hinchey, Mike Holcombe
2011	J	`jnl`	Decentralized communication, trail connectivity and emergent benefits of ant pheromone trail networks. Memetic Comput. Duncan Jackson, Mesude Bicak, Mike Holcombe
2010	J	`jnl`	An Approach to the Parallelisation of Agent-Based Applications. ERCIM News Chris Greenough, Lee Shawn Chin, David Worth, Simon Coakley, Mike Holcombe, Mariam Kiran
2010	A	`conf`	FLAME: simulating large populations of agents on parallel hardware architectures. AAMAS Mariam Kiran, Paul Richmond, Mike Holcombe, Lee Shawn Chin, David Worth, Chris Greenough
2010	J	`jnl`	NIK and IKKbeta interdependence in NF-kappaB signalling - Flux analysis of regulation through metabolites. Biosyst. Hong-Bum Kim, Iona Evans, Rod H. Smallwood, Mike Holcombe, Eva E. Qwarnstrom
2009	J	`jnl`	Empirical investigation towards the effectiveness of Test First programming. Inf. Softw. Technol. Liang Huang, Mike Holcombe
2009	A	`conf`	Factors Explaining External Quality in 54 Case Studies of Software Development Projects. EASE Chris Thomson, Mike Holcombe
2008	A	`conf`	A pilot study of comparative customer comprehension between extreme x-machine and uml models. ESEM Christopher Thomson, Mike Holcombe, Tony Cowling, Tony Simons, George Michaelides
2008	J	`jnl`	Automated discovery of state transitions and their functions in source code. Softw. Test. Verification Reliab. Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe
2008	A	`conf`	Correctness of data mined from CVS. MSR Christopher Thomson, Mike Holcombe
2008	—	`conf`	Decentralised Communication and Connectivity in Ant Trail Networks. NICSO Duncan Jackson, Mesude Bicak, Mike Holcombe
2008	J	`jnl`	Improving dynamic software analysis by applying grammar inference principles. J. Softw. Maintenance Res. Pract. Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin
2008	B	`conf`	Seven Years of XP - 50 Customers, 100 Projects and 500 Programmers - Lessons Learnt and Ideas for Improvement. XP Mike Holcombe, Chris Thomson
2008	J	`jnl`	Testing data processing-oriented systems from stream X-machine models. Theor. Comput. Sci. Florentin Ipate, Mike Holcombe
2008	J	`jnl`	Validation and discovery from computational biology models. Biosyst. Mariam Kiran, Simon Coakley, Neil Walkinshaw, Phil McMinn, Mike Holcombe
2007	J	`jnl`	A study into the effects of personality type and methodology on cohesion in software engineering teams. Behav. Inf. Technol. J. S. Karn, S. Syed-Abdullah, Anthony J. Cowling, Mike Holcombe
2007	J	`jnl`	Delving Beneath the Skin. ERCIM News Mike Holcombe
2007	—	`conf`	Reverse Engineering State Machines by Interactive Grammar Inference. WCRE Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin
2006	—	`conf`	Empirical Assessment of Test-First Approach. TAIC PART Liang Huang, Mike Holcombe
2006	J	`jnl`	Evolutionary Testing Using an Extended Chaining Approach. Evol. Comput. Phil McMinn, Mike Holcombe
2006	—	`conf`	Identifying State Transitions and their Functions in Source Code. TAIC PART Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe
2006	—	`conf`	Open Source Software in the Desktop: The Perspective of the Public Administrations in UK. WEBIST (2) Andres Baravalle, Sarah Chambers, Siobhán North, Mike Holcombe
2006	J	`jnl`	Testing methods for X-machines: a review. Formal Aspects Comput. Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak
2006	—	`conf`	The Epitheliome Project: multiscale agent-based modeling of epithelial cells. ISBI Rod H. Smallwood, Mike Holcombe
2006	J	`jnl`	The Impact of an Agile Methodology on the Well Being of Development Teams. Empir. Softw. Eng. Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe
2005	B	`conf`	Adjusting to XP: Observational Studies of Inexperienced Developers. XP John Karn, Anthony J. Cowling, Sharifah Lailee Syed-Abdullah, Mike Holcombe
2005	B	`conf`	Agile Development Environment for Programming and Testing (ADEPT) - Eclipse Makes Project Management eXtreme. XP Mike Holcombe, Bhavnidhi Kalra
2005	J	`jnl`	Complete Testing from a Stream X-Machine Specification. Fundam. Informaticae Florentin Ipate, Mike Holcombe
2005	A	`conf`	Evolutionary testing of state-based programs. GECCO Phil McMinn, Mike Holcombe
2005	B	`ed.`	Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings XP Hubert Baumeister, Michele Marchesi, Mike Holcombe
2005	B	`conf`	Extreme Programming: The Genesys Experience. XP Susheel Varma, Mike Holcombe
2005	—	`ch.`	Formal Development of Reactive Agent-Based Systems. Encyclopedia of Information Science and Technology (II) Petros Kefalas, Mike Holcombe, George Eleftherakis, Marian Gheorghe
2005	B	`conf`	Shared Code Repository: A Narrative. XP Susheel Varma, Mike Holcombe
2005	B	`conf`	The Positive Affect of the XP Methodology. XP Sharifah Lailee Syed-Abdullah, John Karn, Mike Holcombe, Anthony J. Cowling, Marian Gheorghe
2005	B	`conf`	The Software Hut - A Student Experience of eXtreme Programming with Real Commercial Clients. XP Bhavnidhi Kalra, Chris Thomson, Mike Holcombe
2005	B	`conf`	Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. XP Florentin Ipate, Mike Holcombe
2005	B	`conf`	XP/Agile Education and Training. XP Angela Martin, Steven Fraser, Rachel Davies, Mike Holcombe, Rick Mugridge, Duncan Pierce, Tom Poppendieck, Giancarlo Succi
2004	A*	`conf`	BoF: New Directions in UK Software Engineering Research. ICSE David W. Bustard, Mike Holcombe, Ian Sommerville
2004	B	`conf`	Complete Test Generation for Extreme Programming. XP Mike Holcombe, Florentin Ipate
2004	—	`conf`	Eilenberg P Systems with Symbol-Objects. Aspects of Molecular Computing Francesco Bernardini, Marian Gheorghe, Mike Holcombe
2004	—	`conf`	Hybridizing Evolutionary Testing with the Chaining Approach. GECCO (2) Phil McMinn, Mike Holcombe
2004	—	`conf`	Modelling Dynamically Organised Colonies of Bio-entities. UPP Marian Gheorghe, Ioanna Stamatopoulou, Mike Holcombe, Petros Kefalas
2004	J	`jnl`	Refinement in statechart testing. Softw. Test. Verification Reliab. Kirill Bogdanov, Mike Holcombe
2004	J	`jnl`	Requirements Engineering and Process Modelling in Software Quality Management- Towards a Generic Process Metamodel. Softw. Qual. J. Eleni Berki, Elli Georgiadou, Mike Holcombe
2003	—	`conf`	A Formal Experiment Comparing Extreme Programming with Traditional Software Construction. ENC Francisco Javier Macias, Mike Holcombe, Marian Gheorghe
2003	—	`conf`	An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies. Workshop on Membrane Computing Duncan Jackson, Marian Gheorghe, Mike Holcombe, Francesco Bernardini
2003	B	`conf`	Design-led & Design-less: One Experiment and Two Approaches. XP Francisco Javier Macias, Mike Holcombe, Marian Gheorghe
2003	J	`jnl`	P X systems = P systems + X machines. Nat. Comput. Francesco Bernardini, Marian Gheorghe, Mike Holcombe
2003	B	`conf`	Practice Makes Perfect. XP Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe
2003	J	`jnl`	Testing (Stream) X-machines. Appl. Algebra Eng. Commun. Comput. Florentin Ipate, Marian Gheorghe, Mike Holcombe
2003	—	`conf`	Testing Non-Deterministic X-Machines. Grammars and Automata for String Processing Florentin Ipate, Mike Holcombe
2003	A	`conf`	The State Problem for Evolutionary Testing. GECCO Phil McMinn, Mike Holcombe
2003	B	`conf`	Where Do Unit Tests Come from? XP Jing Yuan, Mike Holcombe, Marian Gheorghe
2003	B	`conf`	XP after Enron-Can It Survive? XP Mike Holcombe
2002	J	`jnl`	An Integrated Refinement and Testing Method for Stream X-machines. Appl. Algebra Eng. Commun. Comput. Florentin Ipate, Mike Holcombe
2002	—	`conf`	Eilenberg P Systems. WMC-CdeA Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate
2002	J	`jnl`	P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). Fundam. Informaticae Joaquín Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate
2002	J	`jnl`	Testing Conditions for Communicating Stream X-machine Systems. Formal Aspects Comput. Florentin Ipate, Mike Holcombe
2001	J	`jnl`	Computational Models of Cells and Tissues: Machines, Agents and Fungal Infection. Briefings Bioinform. Mike Holcombe
2001	—	`conf`	Deterministic stream X-machines based on grammar systems. Where Mathematics, Computer Science, Linguistics and Biology Meet Tudor Balanescu, Marian Gheorghe, Mike Holcombe
2001	J	`jnl`	Introducing X-machine models to verify PLC ladder diagrams. Comput. Ind. Colin Chambers, Mike Holcombe, Judith Barnard
2001	—	`conf`	Ranging schemes for fast dynamic recovery of DOCSIS networks. ICON Vaia Sdralia, Mike Holcombe
2001	J	`jnl`	Statechart testing method for aircraft control systems. Softw. Test. Verification Reliab. Kirill Bogdanov, Mike Holcombe
2001	—	`conf`	Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. ECAL Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate
2001	—	`conf`	Testing Using X-Machine Translations. Words, Semigroups, and Transductions Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu
2000	J	`jnl`	Generating Test Sets from Non-Deterministic Stream X-Machines. Formal Aspects Comput. Florentin Ipate, Mike Holcombe
2000	—	`conf`	On Testing Generalized Stream X-Machines. Recent Topics in Mathematical and Computational Linguistics Mike Holcombe, Tudor Balanescu, Marian Gheorghe, Paul Radovici-Marculescu
2000	J	`jnl`	What are X-Machines? Formal Aspects Comput. Mike Holcombe
1999	—	`ch.`	A Visual Representation of Mathematical Expressions. Visual Representations and Interpretations Nam Yap, Mike Holcombe
1999	B	`conf`	Campus-based industrial software projects: risks and rewards. ITiCSE Helen Parker, Mike Holcombe
1999	J	`jnl`	Communicating Stream X-Machines Systems are no more than X-Machines. J. Univers. Comput. Sci. Tudor Balanescu, Anthony J. Cowling, Horia Georgescu, Marian Gheorghe, Mike Holcombe, Cristina Vertan
1999	J	`jnl`	Keeping Our Customers Happy: Myths and Management Issues in "Client-Led" Student Software Projects. Comput. Sci. Educ. Helen Parker, Mike Holcombe, Alex Bell
1998	J	`jnl`	A method for refining and testing generalised machine specifications. Int. J. Comput. Math. Florentin Ipate, Mike Holcombe
1998	—	`conf`	Automated Test Set Generation for Statecharts. FM-Trends Kirill Bogdanov, Mike Holcombe, Harbhajan Singh
1998	—	`book`	Correct systems - building a business process solution. Mike Holcombe, Florentin Ipate
1998	J	`jnl`	Specification and Testing Using Generalised Machines: A Presentation and a Case Study. Softw. Test. Verification Reliab. Florentin Ipate, Mike Holcombe
1997	J	`jnl`	An integration testing method that is proved to find all faults. Int. J. Comput. Math. Florentin Ipate, Mike Holcombe
1997	—	`conf`	Graphical Z Specification. PPIG Nam Yap, Mike Holcombe
1996	J	`jnl`	Another Look at Computability. Informatica (Slovenia) Florentin Ipate, Mike Holcombe
1993	J	`jnl`	An Integrated Methodology for the Specification, Verification and Testing of Systems. Softw. Test. Verification Reliab. Mike Holcombe
1988	J	`jnl`	X-machines as a basis for dynamic system specification. Softw. Eng. J. Mike Holcombe
1982	J	`jnl`	On the Holonomy Decomposition of Transformation Semigroups. Theor. Comput. Sci. Mike Holcombe