default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 52 matches
- 2024
- Rachana Ananthakrishnan, Yadu N. Babuji, Matt Baughman, Josh Bryan, Kyle Chard, Ryan Chard, Ben Clifford, Ian T. Foster, Daniel S. Katz, Kevin Hunter Kesling, Chris Janidlo, Reid Mello, Lei Wang:
Enabling Remote Management of FaaS Endpoints with Globus Compute Multi-User Endpoints. PEARC 2024: 62:1-62:5 - Larissa A. Meinicke, Ian J. Hayes, Cliff B. Jones:
Data reification in a concurrent rely-guarantee algebra. CoRR abs/2405.05546 (2024) - Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke:
Handling expression evaluation under interference. CoRR abs/2409.07741 (2024) - 2023
- Zicong Xia, Yang Liu, Kit Ian Kou, Jun Wang:
Clifford-Valued Distributed Optimization Based on Recurrent Neural Networks. IEEE Trans. Neural Networks Learn. Syst. 34(10): 7248-7259 (2023) - Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke:
Specifying and Reasoning About Shared-Variable Concurrency. Theories of Programming and Formal Methods 2023: 110-135 - 2022
- Mosam Dabhi, Chaoyang Wang, Tim Clifford, László A. Jeni, Ian R. Fasel, Simon Lucey:
MBW: Multi-view Bootstrapping in the Wild. NeurIPS 2022 - Kyle Chard, Yadu N. Babuji, Anna Woodard, Ben Clifford, Zhuozhao Li, Mihael Hategan, Ian T. Foster, Mike Wilde, Daniel S. Katz:
Extended Abstract: Productive Parallel Programming with Parsl. CoRR abs/2205.01527 (2022) - Mosam Dabhi, Chaoyang Wang, Tim Clifford, László Attila Jeni, Ian R. Fasel, Simon Lucey:
MBW: Multi-view Bootstrapping in the Wild. CoRR abs/2210.01721 (2022) - 2020
- Alan Burns, Ian J. Hayes, Cliff B. Jones:
Deriving Specifications of Control Programs for Cyber Physical Systems. Comput. J. 63(5): 774-790 (2020) - 2019
- Timothy E. Scott, Mainul Haque, Anup Das, Ian Cliff, Declan G. Bates, Jonathan G. Hardman:
Efficacy of continuous positive airway pressure in casualties suffering from primary blast lung injury: A modeling study. EMBC 2019: 4965-4968 - Yadu N. Babuji, Anna Woodard, Zhuozhao Li, Daniel S. Katz, Ben Clifford, Rohan Kumar, Lukasz Lacinski, Ryan Chard, Justin M. Wozniak, Ian T. Foster, Michael Wilde, Kyle Chard:
Parsl: Pervasive Parallel Programming in Python. HPDC 2019: 25-36 - Yadu N. Babuji, Anna Woodard, Zhuozhao Li, Daniel S. Katz, Ben Clifford, Ian T. Foster, Michael Wilde, Kyle Chard:
Scalable Parallel Programming in Python with Parsl. PEARC 2019: 22:1-22:8 - Yadu N. Babuji, Anna Woodard, Zhuozhao Li, Daniel S. Katz, Ben Clifford, Rohan Kumar, Lukasz Lacinski, Ryan Chard, Justin M. Wozniak, Ian T. Foster, Michael Wilde, Kyle Chard:
Parsl: Pervasive Parallel Programming in Python. CoRR abs/1905.02158 (2019) - 2017
- Ian Arawjo, Cheng-Yao Wang, Andrew C. Myers, Erik Andersen, François Guimbretière:
Teaching Programming with Gamified Semantics. CHI 2017: 4911-4923 - Ian J. Hayes, Cliff B. Jones:
A Guide to Rely/Guarantee Thinking. SETSS 2017: 1-38 - 2016
- Cliff B. Jones, Ian J. Hayes:
Possible values: Exploring a concept for concurrency. J. Log. Algebraic Methods Program. 85(5): 972-984 (2016) - Cliff B. Jones, Ian J. Hayes:
Possible values: exploring a concept for concurrency. CoRR abs/1601.02132 (2016) - 2015
- Cliff B. Jones, Ian J. Hayes, Robert J. Colvin:
Balancing expressiveness in formal approaches to concurrency. Formal Aspects Comput. 27(3): 475-497 (2015) - David M. Cash, Chris Frost, Leonardo O. Iheme, Devrim Ünay, Melek Kandemir, Jurgen Fripp, Olivier Salvado, Pierrick Bourgeat, Martin Reuter, Bruce Fischl, Marco Lorenzi, Giovanni B. Frisoni, Xavier Pennec, Ronald K. Pierson, Jeffrey L. Gunter, Matthew L. Senjem, Clifford R. Jack Jr., Nicolas Guizard, Vladimir S. Fonov, D. Louis Collins, Marc Modat, M. Jorge Cardoso, Kelvin K. Leung, Hongzhi Wang, Sandhitsu R. Das, Paul A. Yushkevich, Ian B. Malone, Nick C. Fox, Jonathan M. Schott, Sébastien Ourselin:
Assessing atrophy measurement techniques in dementia: Results from the MIRIAD atrophy challenge. NeuroImage 123: 149-164 (2015) - Kelvin K. Leung, Ian B. Malone, Sébastien Ourselin, Jeffrey L. Gunter, Matt A. Bernstein, Paul M. Thompson, Clifford R. Jack Jr., Michael W. Weiner, Nick C. Fox:
Effects of changing from non-accelerated to accelerated MRI for follow-up in brain atrophy measurement. NeuroImage 107: 46-53 (2015) - 2014
- Yakiv O. Kalinovsky, Yuliya E. Boyarinova, Alina S. Turenko, Iana V. Khitsko:
Generalized quaternions and their relations with Grassmann-Clifford procedure of doubling. CoRR abs/1412.8185 (2014) - 2013
- Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones:
Comparing Degrees of Non-Determinism in Expression Evaluation. Comput. J. 56(6): 741-755 (2013) - 2012
- Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale complex IT systems. Commun. ACM 55(7): 71-77 (2012) - 2011
- Luiz M. R. Gadelha Jr., Ben Clifford, Marta Mattoso, Michael Wilde, Ian T. Foster:
Provenance management in Swift. Future Gener. Comput. Syst. 27(6): 775-780 (2011) - Michael Wilde, Mihael Hategan, Justin M. Wozniak, Ben Clifford, Daniel S. Katz, Ian T. Foster:
Swift: A language for distributed parallel scripting. Parallel Comput. 37(9): 633-652 (2011) - Alexandra Clifford, Paul T. Sowden, Ian R. L. Davies:
Color Language Does Not Affect Chromatic Thresholds. CogSci 2011 - Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige:
Large-scale Complex IT Systems. CoRR abs/1109.3444 (2011) - 2009
- Michael Wilde, Ian T. Foster, Kamil Iskra, Peter H. Beckman, Zhao Zhang, Allan Espinosa, Mihael Hategan, Ben Clifford, Ioan Raicu:
Parallel Scripting for Applications at the Petascale and Beyond. Computer 42(11): 50-60 (2009) - Zhengxiong Hou, Michael Wilde, Mihael Hategan, Xingshe Zhou, Ian T. Foster, Ben Clifford:
Experiences of On-Demand Execution for Large Scale Parameter Sweep Applications on OSG by Swift. HPCC 2009: 527-532 - 2008
- Ben Clifford, Ian T. Foster, Jens-S. Vöckler, Michael Wilde, Yong Zhao:
Tracking provenance in a virtual data grid. Concurr. Comput. Pract. Exp. 20(5): 565-575 (2008)
skipping 22 more matches
loading more results
failed to load more results, please try again later
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.
retrieved on 2024-10-17 16:35 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint