Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Terence Kelly

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Hyoun Kyu Cho

> Home > Persons > Terence Kelly

Publications

2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/deds/LiaoWCSKLMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/deds/LiaoWCSKLMR13
Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis:
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discret. Event Dyn. Syst. 23(2): 157-195 (2013)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/ChoKWLLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/ChoKWLLM13
Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke:
Practical lock/unlock pairing for concurrent programs. CGO 2013: 6:1-6:12
2012
[c24]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/usenix/YooKKCP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/YooKKCP12
Sunghwan Yoo, Charles Edwin Killian, Terence Kelly, Hyoun Kyu Cho, Steven Plite:
Composable Reliability for Asynchronous Systems. USENIX Annual Technical Conference 2012: 27-40
2010
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/wodes/WangCLNKLMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wodes/WangCLNKLMR10
Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis:
Supervisory control of software execution for failure avoidance: Experience from the Gadara project. WODES 2010: 259-266

a service of

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.