Skip to search formSkip to main contentSkip to account menu

Andrew Martin (computer scientist)

Known as: Andrew Martin, Dr Andrew Martin 
Professor Andrew Martin is a British computer scientist, Deputy Director and lecturer in Software Engineering Programme at the University of Oxford… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Community Z ToolsFormal methodsSoftware engineering

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Urban Continent, Urban Activism? European Cities and Social Movement Activism
The European Union is currently experiencing a major protest wave. Citizens all over the continent are taking to the streets in… 
2014
2014
Generalized Sensitivity Analysis and Application to Quasi-experiments ∗
The generalized sensitivity analysis (GSA) is a sensitivity analysis for unobserved confounders characterized by a computational… 
2014
2014
Co-generation of Drinking Water and Domestic Hot Water Using Solar Thermal Integrated Membrane Distillation System
2013
2013
A model of certifier and accreditor risk calculation for multi-level systems
From direct observation of the certification (post-software-development) and accreditation (pre-installation) testing of cross… 
2012
2012
The Ideological Divide: Conflict and the Supreme Court’s Certiorari Decision
This Article bridges a gap in existing literature by evaluating, from an empirical perspective, the impact of conflict among the… 
2011
2011
Informatics innovation in clinical care: A visionary scenario for dentistry.
Health information technology (HIT) is one of the most significant developments in healthcare in recent years. However, there is… 
2006
2006
Switching Equilibria
After an election, when party positions and strengths are known, there may be a centrally located large party at the core… 
1999
1999
Modelling Discrete Behaviour in a Continuous-Time Formalism
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems… 
1996
1996
The first recorded successful cross Backstairs Passage swim: research note [Andrew Martin's unique swim is a unique entry in the annals of South Australian exploration.]
1993
1993
A model checker for statecharts (linking case tools with formal methods)
Computer-Aided Software Engineering (CASE) tools encourage users to codify the speciication for the design of a system early in… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)