default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSteve McKeever
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c35]Steve McKeever:
Torque not Work, Representing Kinds of Quantities. MODELSWARD 2024: 133-140- 2022
- [c34]Steve McKeever
:
Acknowledging Implementation Trade-Offs When Developing with Units of Measurement. MODELSWARD (Revised Selected Papers) 2022: 25-47 - [c33]Steve McKeever:
Discerning Quantities from Units of Measurement. MODELSWARD 2022: 105-115 - [i2]Steve McKeever:
A Discipline of Programming with Quantities. CoRR abs/2210.12359 (2022) - 2021
- [j7]Steve McKeever, Oscar Bennich-Björkman, Omar-Alfred Salah:
Unit of measurement libraries, their popularity and suitability. Softw. Pract. Exp. 51(4): 711-734 (2021) - [c32]Steve McKeever:
From Quantities in Software Models to Implementation. MODELSWARD 2021: 199-206 - 2020
- [c31]Omar-Alfred Salah, Steve McKeever:
Lack of adoption of units of measurement libraries: survey and anecdotes. ICSE (SEIP) 2020: 81-89 - [c30]Barbara Gallina, Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt, Stefania Costantini, Pierangelo Dell'Acqua, Gloria Cerasela Crisan:
Towards Explainable, Compliant and Adaptive Human-Automation Interaction. XAILA@JURIX 2020
2010 – 2019
- 2019
- [j6]Raya Rizk, Steve McKeever, Johan Petrini, Erik Zeitler:
Diftong: a tool for validating big data workflows. J. Big Data 6: 41 (2019) - [c29]Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt:
"Why Did You Do That?" - Explaining Black Box Models with Inductive Synthesis. ICCS (5) 2019: 334-345 - [c28]Steve McKeever, Görkem Paçaci, Oscar Bennich-Björkman:
Quantity Checking through Unit of Measurement Libraries, Current Status and Future Directions. MODELSWARD 2019: 441-447 - [i1]Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt:
"Why did you do that?": Explaining black box models with Inductive Synthesis. CoRR abs/1904.09273 (2019) - 2018
- [c27]Oscar Bennich-Björkman, Steve McKeever:
The next 700 unit of measurement checkers. SLE 2018: 121-132 - 2017
- [c26]Görkem Paçaci, Steve McKeever, Andreas Hamfelt:
Compositional Relational Programming with Name Projection and Compositional Synthesis. Ershov Informatics Conference 2017: 306-321 - [c25]Christopher Okhravi, Steve McKeever, Carl Kronlid, Enrico Baraldi, Olof Lindahl, Francesco Ciabuschi:
Simulating market-oriented policy interventions for stimulating antibiotics development. SpringSim (ANSS) 2017: 2:1-2:12 - 2014
- [j5]Vangelis Sakkalis, Stelios Sfakianakis, Eleftheria Tzamali, Kostas Marias, Georgios S. Stamatakos, Fay Misichroni, Eleftherios Ouzounoglou, Eleni A. Kolokotroni, Dimitra D. Dionysiou, David Johnson, Steve McKeever, Norbert M. Graf:
Web-Based Workflow Planning Platform Supporting the Design and Execution of Complex Multiscale Cancer Models. IEEE J. Biomed. Health Informatics 18(3): 824-831 (2014) - [c24]Mandeep Gill, Steve McKeever, David Gavaghan:
Model Composition for Biological Mathematical Systems. MODELSWARD 2014: 217-224 - 2013
- [c23]Steve McKeever, Mandeep Gill, Anthony J. Connor, David Johnson:
Abstraction in physiological modelling languages. SpringSim (TMS-DEVS) 2013: 11 - 2012
- [c22]Stelios Sfakianakis, Vangelis Sakkalis, Kostas Marias, Georgios S. Stamatakos, Steve McKeever, Thomas S. Deisboeck, Norbert M. Graf:
An architecture for integrating cancer model repositories. EMBC 2012: 6628-6631 - [c21]David Johnson, Anthony J. Connor, Steve McKeever:
Modular markup for simulating vascular tumour growth. IARWISOI 2012: 1-4 - [c20]Mandeep Gill, Steve McKeever, David Gavaghan:
Modular mathematical modelling of biological systems. SpringSim (TMS-DEVS) 2012: 36 - [c19]Mandeep Gill, Steve McKeever, David Gavaghan:
Modules for Reusable and Collaborative Modelling of Biological Mathematical Systems. WETICE 2012: 250-255 - 2011
- [c18]David Johnson, Jonathan Cooper, Steve McKeever:
TumorML: Concept and requirements of an in silico cancer modelling markup language. EMBC 2011: 441-444 - 2010
- [c17]Eric Kerfoot, Steve McKeever:
Checking concurrent contracts with aspects. SAC 2010: 2523-2530
2000 – 2009
- 2009
- [c16]Daniele Gianni, Steve McKeever, Nic Smith:
euHeartDB: A Web-Enabled Database for Geometrical Models of the Heart. FIMH 2009: 407-416 - 2008
- [j4]Johan Ditmar, Steve McKeever, Alex Wilson:
Area Optimisation for Field-Programmable Gate Arrays in SystemC Hardware Compilation. Int. J. Reconfigurable Comput. 2008: 674340:1-674340:14 (2008) - [j3]Yudong Sun, Steve McKeever:
Converting Biomolecular Modelling Data Based on an XML Representation. J. Integr. Bioinform. 5(2) (2008) - [j2]Jonathan Cooper, Steve McKeever:
A model-driven approach to automatic conversion of physical units. Softw. Pract. Exp. 38(4): 337-359 (2008) - 2007
- [c15]Yudong Sun, Steve McKeever, Kia Balali-Mood, Mark S. P. Sansom:
A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide. BIBM 2007: 294-301 - [c14]Johan Ditmar, Steve McKeever:
Array Synthesis in SystemC Hardware Compilation. FPL 2007: 23-28 - [c13]Yudong Sun, Steve McKeever, Kia Balali-Mood, Mark S. P. Sansom:
Integrating multi-level molecular simulations across heterogeneous resources. GRID 2007: 161-168 - [c12]Jonathan Cooper, Steve McKeever:
Experience report: a Haskell interpreter for cellML. ICFP 2007: 247-250 - [c11]Rui Zhang, Bruno C. d. S. Oliveira, Alan Bivens, Steve McKeever:
Scalable problem localization for distributed systems: principles and practices. Infoscale 2007: 76 - [c10]Rui Zhang, Steve Moyle, Steve McKeever, Alan Bivens:
Performance problem localization in self-healing, service-oriented systems using Bayesian networks. SAC 2007: 104-109 - 2006
- [j1]Steve McKeever, Wayne Luk:
Provably-correct hardware compilation tools based on pass separation techniques. Formal Aspects Comput. 18(2): 120-142 (2006) - [c9]Jonathan Cooper, Steve McKeever, Alan Garny:
On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations. PEPM 2006: 12-20 - 2005
- [c8]Rui Zhang, Steve Moyle, Steve McKeever, Stephen Heisig:
OGSA-based grid workload monitoring. CCGRID 2005: 668-675 - 2003
- [c7]Steve McKeever, Wayne Luk, Arran Derbyshire:
Towards Verifying Parametrised Hardware Libraries with Relative Placement Information. HICSS 2003: 279 - [c6]Andrew Simpson, Andrew P. Martin, Jeremy Gibbons, Jim Davies, Steve McKeever:
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. ICSE 2003: 628-633 - 2002
- [c5]Steve McKeever, Wayne Luk, Arran Derbyshire:
Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries. FMCAD 2002: 342-359 - 2001
- [c4]Steve McKeever, Wayne Luk:
Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques. CHARME 2001: 212-227 - [c3]Steve McKeever, Wayne Luk:
A declarative framework for developing parametrised hardware libraries. ICECS 2001: 1635-1638
1990 – 1999
- 1999
- [c2]Florent de Dinechin, Wayne Luk, Steve McKeever:
Towards Adaptable Hierarchical Placement for FPGAs. FPGA 1999: 254 - 1998
- [c1]Wayne Luk, Steve McKeever:
Pebble: A Language for Parametrised and Reconfigurable Hardware Design. FPL 1998: 9-18
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
