CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A verification framework for agent programming with declarative goals Article
Journal of Applied Logic, 5(2), 277-302.F.S. de Boer (Frank), K.V. Hindriks, W. van der Hoek (Wiebe) and J.-J.C. Meyer (John-Jules)
January 2007 -
Pillows as adaptive interfaces in ambient environments In Proceedings
F.-M. Nack (Frank), T. Schiphorst (Thecla), Z. Obrenovic, M.W. Kauw-A-Tjoe, S. de Bakker (Simon), S. Raaijmakers, A. Perez Rosillio (Angel) and L. Aroyo (Lora)
January 2007
-
Graphical Definition of In-place Transformations in the Eclipse Modeling Framework In Proceedings
E. Biermann, K. Ehrig, C. Krause (born Köhler) (Christian), G. Kuhns, G. Taentzer and E. Weiss
January 2007 -
Connector Rewriting with High-Level Replacement Systems In Proceedings
C. Krause (born Köhler) (Christian), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)
January 2007 -
Pulsed corona investigations with a wide parameter range In Proceedings
T.M.P. Briels (Tanja), E.M. van Veldhuizen, A.J.M. Pemen, G.J.J. Winands and U. Ebert (Ute)
January 2007
-
Structure formation in a DC-driven "barrier" discharge: In Proceedings
U. Ebert (Ute), I. Rafatov (Ismail) and D.D. Šijačić (Danijela)
January 2007
-
Pseudo-spectral 3D simulations of streamers In Proceedings
A. Luque (Alejandro), U. Ebert (Ute), C. Montijn (Carolynne-Sireeh) and W. Hundsdorfer (Willem)
January 2007
-
Negative streamer fronts: comparison of particle and fluid models and hybrid coupling in space In Proceedings
C. Li (Chao), W.J.M. Brok, U. Ebert (Ute), W. Hundsdorfer (Willem) and J.J.A.M. van der Mullen
January 2007