Bibliography

Publications of the year

Articles in International Peer-Reviewed Journal

[1]

D. O. Camacho, K. Mens, M. van den Brand, J. Vinju.
Automated generation of program translation and verification tools using annotated grammars, in: Science of Computer Programming, 2009
http://dx.doi.org/10.1016/j.scico.2009.10.003.

International Peer-Reviewed Conference/Proceedings

[2]

T. T. Bartolomei, K. Czarnecki, R. Lämmel, T. van der Storm.
Study of an API migration for two XML APIs, in: Postproceedings of Software Language Engineering (SLE 2009), LNCS, Springer, 2010.

[3]

D. Bosnacki, A. Mathijssen, Y. S. Usenko.
Behavioural Analysis of an I C Linux Driver, in: FMICS, M. Alpuente, B. Cook, C. Joubert (editors), Lecture Notes in Computer Science, Springer, 2009, vol. 5825, p. 205-206
http://dx.doi.org/10.1007/978-3-642-04570-7.

[4]

P. Charles, R. M. Fuhrer, Stanley M. Jr. Sutton, E. Duesterwald, J. Vinju.
Accelerating the Creation of Customized, Language-Specific IDEs in Eclipse, in: Proceedings of OOPSLA 2009, ACM Sigplan, 2009, to appear.

[5]

G. Economopoulos, P. Klint, J. Vinju.
Faster Scannerless GLR Parsing, in: CC '09: Proceedings of the 18th International Conference on Compiler Construction, Berlin, Heidelberg, Springer-Verlag, 2009, p. 126–141.

[6]

J. v. Eijck, F. Sietsma.
Multi-agent Belief Revision with Linked Plausibilities, in: Logic and the Foundations of Game and Decision Theory (LOFT8), G. Bonanno, B. Loewe, W. van der Hoek (editors), Texts in Logic and Games, 2009.

[7]

P. Klint, T. van der Storm, J. Vinju.
EASY Meta-Programming with RASCAL, in: Generative and Transformational Techniques in Software Engineerin, J. Fernandes, R. Lammel, J. Saraiva, J. Visser (editors), Universidade do Minho, 2009, p. 185–238.

[8]

P. Klint, T. van der Storm, J. Vinju.
RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation, in: Source Code Analysis and Manipulation, IEEE International Workshop on, Los Alamitos, CA, USA, 2009, p. 168-177
http://doi.ieeecomputersociety.org/10.1109/SCAM.2009.28.

[9]

P. Klint, J. Vinju, T. van der Storm.
Language Design for Meta-programming in the Software Composition Domain, in: Software Composition, 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings, A. Bergel, J. Fabry (editors), Lecture Notes in Computer Science, Springer, 2009, vol. 5634, p. 1-4.

[10]

Y. Wang, L. Kuppusamy, J. van Eijck.
Verifying Epistemic Protocols under Common Knowledge, in: TARK '09: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, ACM (editor), 2009, p. 257–266.

Scientific Books (or Scientific Book chapters)

[11]

M. Alpuente, B. Cook, C. Joubert (editors)
Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, Lecture Notes in Computer Science, Springer, 2009, vol. 5825
http://dx.doi.org/10.1007/978-3-642-04570-7.

[12]

J. v. Eijck, R. Verbrugge (editors)
Discourses on Social Software, Texts in Logic and Games, Amsterdam University Press, Amsterdam, 2009, vol. 5.

[13]

J. v. Benthem, J. van Eijck.
Game Theory, Logic and Rational Choice, in: Discourses on Social Software, Amsterdam University Press, 2009, p. 123–134.

[14]

F. Dechesne, J. van Eijck, W. Teepe, Y. Wang.
What is Protocol Analysis?, in: Discourses on Social Software, Amsterdam University Press, 2009, p. 135–146.

[15]

F. Dechesne, J. van Eijck, W. Teepe, Y. Wang.
Dynamic Epistemic Logic for Protocol Analysis, in: Discourses on Social Software, Amsterdam University Press, 2009, p. 147–161.

[16]

H. v. Ditmarsch, J. van Eijck, R. Verbrugge.
Common Knowledge and Common Belief, in: Discourses on Social Software, Amsterdam University Press, 2009, p. 99–121.

[17]

J. v. Eijck, C. Unger.
Computational Semantics with Functional Programming, Cambridge University Press, 2009, To appear.

[18]

J. v. Eijck, A. Visser.
Dynamic Semantics, in: The Stanford Encyclopedia of Philosophy, Stanford University, 2009.

[19]

P. Klint.
From Centaur to the Meta-Environment: a tribute to a great meta-technologist, Cambridge University Press, 2009.

[20]

J. van Eijck, R. Parikh.
What is Social Software?, in: Discourses on Social Software, Amsterdam University Press, 2009, p. 37–47.

[21]

J. van Eijck, M. van Hees.
Ends and Means, Values and Virtues, in: Discourses on Social Software, Amsterdam University Press, 2009, p. 87–98.

[22]

J. van Eijck.
A Guest Lecture on Social Software, in: Discourses on Social Software, Amsterdam University Press, 2009, p. 49–56.

[23]

J. van Eijck.
On Social Choice Theory, in: Discourses on Social Software, Amsterdam University Press, 2009, p. 71–85.

[24]

J. van Eijck, R. Verbrugge.
Social Software and the Ills of Society, in: Discourses on Social Software, Amsterdam University Press, 2009, p. 219–226.

[25]

J. van Eijck, R. Verbrugge.
On Collective Rational Action, in: Discourses on Social Software, Amsterdam University Press, 2009, p. 199–216.

[26]

J. van Eijck, R. Verbrugge.
Eating from the Tree of Ignorance, in: Discourses on Social Software, Amsterdam University Press, 2009, p. 183–198.