2013
2012
- Eventually Consistent TransactionsBurckhardt, Sebastian, Leijen, Daan, Fahndrich, Manuel, Sagiv, Mooly. In Programming Languages and Systems. Volume 7211 of Lecture Notes in Computer Science, pages 67-86, Springer Berlin / Heidelberg, 2012.
2011
- Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. ProceedingsNick Bassiliades, Guido Governatori, Adrian Paschke, editors, Volume 6826 of Lecture Notes in Computer Science, Springer, 2011. [doi]
- Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. ProceedingsSebastian Rudolph, Claudio Gutierrez, editors, Volume 6902 of Lecture Notes in Computer Science, Springer, 2011. [doi]
PreviousNext