 | Up a level |
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas (2010). Two ways to common knowledge. In: Bolander, Thomas; Braüner, Torben (eds.) Proceedings of the 6th workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark, 12-14 November 2009. Electronic Notes in Theoretical Computer Science: Vol. 262 (pp. 83-98). Amsterdam: Elsevier 10.1016/j.entcs.2010.04.007
Brünnler, Kai; Studer, Thomas (2009). Syntactic cut-elimination for common knowledge. In: Areces, C.; Demri, S. (eds.) Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007). Electronic Notes in Theoretical Computer Science: Vol. 231 (pp. 227-240). Amsterdam: Elsevier 10.1016/j.entcs.2009.02.038
Denker, Marcus; Ducasse, Stephane (2007). Software Evolution from the Field: an Experience Report from the Squeak Maintainers. Electronic Notes in Theoretical Computer Science, 166, pp. 81-91. Elsevier 10.1016/j.entcs.2006.08.003
Ducasse, Stéphane; Gîrba, Tudor; Favre, Jean-Marie (2004). Modeling Software Evolution by Treating History as a First Class Entity. Electronic Notes in Theoretical Computer Science, 127(3), pp. 75-86. Amsterdam: Elsevier 10.1016/j.entcs.2004.08.035
Gîrba, Tudor; Favre, Jean-Marie; Ducasse, Stéphane (2004). Using Meta-Model Transformation to Model Software Evolution. Electronic Notes in Theoretical Computer Science, 137(3), pp. 57-64. Elsevier 10.1016/j.entcs.2005.07.005
Mens, Tom; Lanza, Michele (2002). A Graph-Based Metamodel for Object-Oriented Software Metrics. Electronic Notes in Theoretical Computer Science, 72(2), pp. 57-68. Elsevier 10.1016/S1571-0661(05)80529-8
