default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMark Howard
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c11]Anthony Stell, Ernesto C. Caparo, Zhe Wang, Chenyang Wang, David Berlowitz, Mark Howard, Richard O. Sinnott, Uwe Aickelin
:
Identification of Patient Ventilator Asynchrony in Physiological Data Through Integrating Machine-Learning. BIOSTEC (2) 2024: 436-443- 2022
- [c10]Erdi Gao, Goce Ristanoski, Uwe Aickelin, David Berlowitz, Mark Howard:
Early Detection and Classification of Patient-Ventilator Asynchrony Using Machine Learning. AIME 2022: 238-248 - 2020
- [c9]Sreeja Chowdhury, Rabin Yu Acharya, William Boullion, Andrew Felder, Mark Howard, Jia Di, Domenic Forte:
A Weak Asynchronous RESet (ARES) PUF Using Start-up Characteristics of Null Conventional Logic Gates. ITC 2020: 1-10
2010 – 2019
- 2019
- [j6]Mark Howard:
Social movement theory and the Italian radical community archives: A question of valence? J. Community Informatics 15 (2019) - 2015
- [c8]Mark Howard, Joel Wallman, Victor Veitch, Joseph Emerson:
Contextuality Supplies the Magic for Quantum Computation. ISMVL 2015: 96 - 2014
- [j5]Mark Howard, Joel Wallman, Victor Veitch, Joseph Emerson:
Contextuality supplies the 'magic' for quantum computation. Nat. 510(7505): 351-355 (2014) - 2013
- [j4]Mark Howard, Eoin Brennan, Jirí Vala:
Quantum Contextuality with Stabilizer States. Entropy 15(6): 2340-2362 (2013)
2000 – 2009
- 2007
- [c7]Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard:
Reconciling Manual and Automated Testing: The AutoTest Experience. HICSS 2007: 261 - [c6]Hashi Bai, Greydon Buckley, Mark Howard, Edward Lank:
Tracking Observations: Using Handhelds and Computers for Classroom Observation Logging. ICDS 2007: 34 - 2005
- [j3]Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith, Rebecca E. Grinter:
Quality Versus Quantity: E-Mail-Centric Task Management and Its Relation With Overload. Hum. Comput. Interact. 20(1-2): 89-138 (2005) - 2003
- [c5]Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith:
Taking email to task: the design and evaluation of a task management centered email tool. CHI 2003: 345-352 - 2002
- [c4]Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Ian Smith, Christine Neuwirth:
Innovation in extremis: evolving an application for the critical work of email and information management. Symposium on Designing Interactive Systems 2002: 181-192 - [c3]Victoria Bellotti, Nicolas Ducheneaut, Mark Howard, Christine Neuwirth, Ian Smith, Trevor F. Smith:
FLANNEL: adding computation to electronic mail during transmission. UIST 2002: 1-10
1990 – 1999
- 1990
- [c2]James M. Morris, Mark Howard:
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. CAV 1990: 322-332 - [c1]James M. Morris, Mark Howard:
Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. CAV (DIMACS/AMS volume) 1990: 441-462
1980 – 1989
- 1989
- [j2]Mark Howard:
Applications of Fodor's Lemma to Vaught's Conjecture. Ann. Pure Appl. Log. 42(1): 1-19 (1989) - 1988
- [j1]Mark Howard:
A Proofless Proof of the Barwise Compactness Theorem. J. Symb. Log. 53(2): 597-602 (1988)
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-05-08 20:59 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:
