|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
42 | Jeanette Daum, Álvaro Torralba, Jörg Hoffmann 0001, Patrik Haslum, Ingo Weber |
Practical Undoability Checking via Contingent Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016., pp. 106-114, 2016, AAAI Press, 978-1-57735-757-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
42 | Ingo Weber, Hiroshi Wada, Alan D. Fekete, Anna Liu, Len Bass |
Supporting Undoability in Systems Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISA ![In: Lucky LISA: Proceedings of the 27th Large Installation System Administration Conference, LISA 2013, Washington, DC, USA, November 3-8, 2013, pp. 75-88, 2013, USENIX Association, 978-1-931971-05-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
36 | Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott Nettles, Jeannette M. Wing |
Composing First-Class Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(6), pp. 1719-1736, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
skeins, undoability, transactions, recovery, threads, modules, persistence, serializability, Standard ML |
33 | Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley |
Transacted Memory for Smart Cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 478-499, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|