Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

FNB Daisy-III Player Software

A.J. Jansen (Jack)

January 2006
AMBULANT Open SMIL Player Software

D.C.A. Bulterman (Dick), A.J. Jansen (Jack), P.S. César Garcia (Pablo Santiago) and C.L. Blom (Kees)

January 2006
VeriGEM: A verification grid for enhanced model checking Magazine Article

B. Haverkort, J.F. Groote (Jan Friso), J.C. van de Pol (Jaco), M. Kuntz and M. Weber (Michael)

January 2006
Security of multi-party protocols: Epistemics and verification Magazine Article

D.J.N. van Eijck (Jan), F. Dechesne (Francien), S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco), E.P. de Vink (Erik) and Y. Wang (Yanjing)

January 2006
NIPS Software

M. Weber (Michael) and S. Schurmans

January 2006
mCRL toolset Software

J.F. Groote (Jan Friso), B. Lisser (Bert) and J.C. van de Pol (Jaco)

January 2006
A Graphics Architecture for high-end interactive television terminals Article

ACM Transactions on Multimedia Computing, Communications, and Applications, 343-357.

P.S. César Garcia (Pablo Santiago), J. Vierinen and P. Vuorimaa

January 2006
Open Graphical Framework for interactive tv Article

International Journal on Multimedia Tools and Applications, 189-203.

P.S. César Garcia (Pablo Santiago), J. Vierinen and P. Vuorimaa

January 2006
Interactive Digital Television and Multimedia Systems In Proceedings

P.S. César Garcia (Pablo Santiago) and K. Chorianopoulos

January 2006
Present and Future of Software Graphics Architectures for Interactive Television In Proceedings

P.S. César Garcia (Pablo Santiago)

January 2006
The Ambulant Annotator: Empowering viewer-side enrichment of multimedia content In Proceedings

D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago) and A.J. Jansen (Jack)

January 2006
Benefits of Structured Multimedia Documents in iDTV: The End-User Enrichment System In Proceedings

D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago) and A.J. Jansen (Jack)

January 2006
An Architecture for End-User tv content enrichment Article

Journal of Virtual Reality and Broadcasting

D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago) and A.J. Jansen (Jack)

January 2006
An Architecture for End-User tv content enrichment In Proceedings

D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago) and A.J. Jansen (Jack)

January 2006
An Architecture for Viewer-Side Enrichment of TV Content In Proceedings

D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago) and A.J. Jansen (Jack)

January 2006
Experiences with User-Centered Multimedia systems deployment In Proceedings

D.C.A. Bulterman (Dick)

January 2006
A Rationale for Creating an interactive-tv profile for smil In Proceedings

D.C.A. Bulterman (Dick)

January 2006
Model checking software for microcontrollers Tech Report

B. Schlich, M. Rohrbach, M. Weber (Michael) and S. Kowalewski

January 2006
Iterative Lexicographic Path Orders, in Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the occasion of his 65th Birthday Book Chapter

J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and R. de Vrijer

January 2006
Countering Digital Forensics: An Identity Based Ephemerizer Cryptosystem Tech Report

S.K. Nair, C. Gamage, M.T. Dashti (Mohammad), B. Crispo and A.S. Tanenbaum (Andrew)

January 2006
What is algebraic in process theory? Article

Bulletin of the EATCS

S.P. Luttik (Bas)

January 2006
Nuovo DRM Paradiso: Towards a verified, fair DRM protocol In Proceedings

H.L. Jonker (Hugo), M.T. Dashti (Mohammad) and S.K. Nair

January 2006
Accelerated Modal Abstractions of Labelled Transition Systems In Proceedings

M.A. Valero Espada (Miguel) and J.C. van de Pol (Jaco)

January 2006
Distribution of a simple shared dataspace architecture Article

Fundamenta Informaticae, 535-559.

S.-M. Orzan (Simona-Mihaela) and J.C. van de Pol (Jaco)

January 2006
Forward Secure Communication inWireless Sensor Networks In Proceedings

S. Mauw (Sjouke), I. van Vessem and B. Bos

January 2006
Preface In Proceedings

S. Mauw (Sjouke) and M. Oostdijk

January 2006
Preface Article

Electronic Notes in Theoretical Computer Science, 1-2.

S. Mauw (Sjouke), V. Issarny and C.J.F. Cremers (Cas)

January 2006
What is algebraic in process theory? Article

Electronic Notes in Theoretical Computer Science, 227-231.

S.P. Luttik (Bas)

January 2006
Preface Proceedings of PDMS 2005 In Proceedings

M. Leucker and J.C. van de Pol (Jaco)

January 2006
Discretization of Timed Automata in Timed μCRL `a la Regions and Zones Article

Electronic Notes in Theoretical Computer Science, 197-202.

J.F. Groote (Jan Friso), M.A. Reniers (Michel) and Y.S. Usenko (Yaroslav)

January 2006
A Hierarchy of SOS Rule Formats Article

Electronic Notes in Theoretical Computer Science, 3-25.

J.F. Groote (Jan Friso), M.R. Mousavi and M.A. Reniers (Michel)

January 2006
From μCRL to mCRL2: Motivation and Outline Article

Electronic Notes in Theoretical Computer Science, 191-196.

J.F. Groote (Jan Friso), A.H.J. Mathijssen (Aad), M.J. van Weerdenburg (Muck) and Y.S. Usenko (Yaroslav)

January 2006
Interactive visualization of large state spaces Article

International Journal on Software Tools for Technology Transfer, 77-91.

J.F. Groote (Jan Friso) and F. van Ham

January 2006
Some Remarks on Definability of Process Graphs In Proceedings

C.A. Grabmayer, J.W. Klop (Jan Willem) and S.P. Luttik (Bas)

January 2006
Cones, foci: A mechanical framework for protocol verification Article

Formal Methods in System Design, 1-31.

W.J. Fokkink (Wan), J. Pang and J.C. van de Pol (Jaco)

January 2006
Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM Article

Journal of Universal Computer Science, 981-1006.

W.J. Fokkink (Wan) and J. Pang

January 2006
Computing with actions and communications Article

Bulletin of the Belgian Mathematical Society Simon Stevin, 789-905.

W.J. Fokkink (Wan) and J.W. Klop (Jan Willem)

January 2006
Divide and congruence: from decomposition of modalities to preservation of branching bisimulation In Proceedings

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
Divide and congruence applied to eta-bisimulation In Proceedings

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
Compositionality of Hennessy-Milner logic by structural operational semantics Article

Bulletin of the EATCS, 421-440.

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

January 2006
On the Markovian Randomized Strategy of Controller for Markov Decision Processes In Proceedings

T. Chen (Taolue), T. Han and J. Lu

January 2006
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence Article

Acta Cybernetica, 471-483.

T. Chen (Taolue), T. Han and J. Lu

January 2006
On finite alphabets and infinite bases II: Completed and ready simulation In Proceedings

T. Chen (Taolue), W.J. Fokkink (Wan) and S. Nain

January 2006
On finite alphabets, infinite bases III: Simulation In Proceedings

T. Chen (Taolue) and W.J. Fokkink (Wan)

January 2006
An intruder model for verifying liveness in security protocols In Proceedings

J.G. Cederquist and M.T. Dashti (Mohammad)

January 2006
Simulated Time for Testing Railway Interlockings with TTCN-3 In Proceedings

S.C.C. Blom (Stefan), N. Ioustinova (Natalia), J.C. van de Pol (Jaco), A. Rennoch and N. Sidorova

January 2006
Guest editors’ introduction: Special issue on Process Theory for hybrid systems Article

Journal of Logic and Algebraic Programming, 1-3.

J.C.M. Baeten (Jos) and S.P. Luttik (Bas)

January 2006
Bisimilarity is not finitely based over BPA with interrupt In Proceedings

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S. Nain

January 2006
The quest for equational axiomatizations of parallel composition: Status and open problems In Proceedings

L. Aceto (Luca) and W.J. Fokkink (Wan)

January 2006
Injective synchronisation: An extension of the authentication hierarchy Article

Electronic Notes in Theoretical Computer Science, 139-161.

C.J.F. Cremers (Cas), S. Mauw (Sjouke) and E.P. de Vink (Erik)

January 2006
A finite equational base for CCS with left merge and communication merge In Proceedings

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)

January 2006
On the axiomatizability of priority In Proceedings

L. Aceto (Luca), T. Chen (Taolue), W.J. Fokkink (Wan) and A. Ingólfsdóttir

January 2006
Evaluating Conjunctive Triple Pattern Queries over Large Structured Overlay Networks In Proceedings

E. Liarou (Erietta), S. Idreos (Stratos) and M. Koubarakis (Manolis)

January 2006
Distributed evaluation of continuous equi-join queries over large structured overlay networks In Proceedings

S. Idreos (Stratos), C. Tryfonopoulos and M. Koubarakis (Manolis)

January 2006
A model of maintainability - Suggestion for future research In Proceedings

A. van Deursen (Arie) and not CWI et al

January 2006
Data reverse engineering using system dependency graphs In Proceedings

A. Cleve (Anthony), J.-L. Henrard and J.-L. Hainaut

January 2006
Harvesting software systems for MDA-based reengineering In Proceedings

T. Reus, H. Geers and A. van Deursen (Arie)

January 2006
Fint: Tool support for aspect mining In Proceedings

A.M. Marin (Marius), L.M.F. Moonen (Leon) and A. van Deursen (Arie)

January 2006
A common framework for aspect mining based on crosscutting concern sorts In Proceedings

A.M. Marin (Marius), L.M.F. Moonen (Leon) and A. van Deursen (Arie)

January 2006
Monitoring requirements coverage using reconstructed views: An industrial case study In Proceedings

M. Lormans (Marco), H.-G. Gross, A. van Deursen (Arie), R. van Solingen and A. Stehouwer

January 2006
Can LSI help reconstructing requirements traceability in design and test? In Proceedings

M. Lormans (Marco) and A. van Deursen (Arie)

January 2006
Introduction to the special issue on software architecture reconstruction and modeling Article

Automated Software Engineering, 199-200.

R. Kazman, A. van Deursen (Arie) and R. Koschke

January 2006
Evaluating GLR parsing algorithms Article

Science of Computer Programming, 228-244.

A. Johnstone (Adrian), E. Scott (Elizabeth) and G.R. Economopoulos (Giorgos Robert)

January 2006
Integrated development and maintenance for the release, delivery, deployment, and customization of product software: a case study in mass-market ERP software Article

Journal of Software Maintenance and Evolution, 133-151.

S. Jansen, G.C. Ballintijn (Gerco), S. Brinkkemper and A. van Nieuwland

January 2006
Migrating supervisory control architectures using model transformations In Proceedings

B. Graaf (Bas), S. Weber (Sven) and A. van Deursen (Arie)

January 2006
Migrating a domain-specific modeling language to MDA technology In Proceedings

D. Doyle, H. Geers, B. Graaf (Bas) and A. van Deursen (Arie)

January 2006
Documenting software systems using types Article

Science of Computer Programming, 205-220.

A. van Deursen (Arie) and L.M.F. Moonen (Leon)

January 2006
Aiding in the comprehension of testsuites In Proceedings

B. Cornelissen, A. van Deursen (Arie) and L.M.F. Moonen (Leon)

January 2006
Discovering faults in idiom-based exception handling In Proceedings

M. Bruntink (Magiel), A. van Deursen (Arie) and T. Tourwé (Tom)

January 2006
De architectuur van Ajax ontrafeld Article

Informatie (NGI), 50-56.

A. Mesbah (Ali) and A. van Deursen (Arie)

January 2006
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation Proceedings

January 2006
The Gamut of Dynamic Logics Book Chapter

D.J.N. van Eijck (Jan) and M. Stokhof (Martin)

January 2006
Sisyphus Continuous Integration System Manual

T. van der Storm (Tijs)

January 2006
Applying and combining three different aspect mining techniques Article

Software Quality Journal, 209-231.

M. Ceccato, A.M. Marin (Marius), K. Mens, L.M.F. Moonen (Leon), P. Tonella and T. Tourwé (Tom)

January 2006
An empirical study into class testability Article

Journal of Systems and Software, 1219-1232.

M. Bruntink (Magiel) and A. van Deursen (Arie)

January 2006
Linking analysis and transformations tools with source-based mappings In Proceedings

M. Bruntink (Magiel)

January 2006
A language independent framework for context-sensitive formatting In Proceedings

M.G.J. van den Brand (Mark), A.T. Kooiker (Taeke), J.J. Vinju (Jurgen) and N.P. Veerman

January 2006
Ranking software inspection results using execution likelihood In Proceedings

F.C. Boogerd and L.M.F. Moonen (Leon)

January 2006
Co-transformations in database applications evolution In Proceedings

R.E. Cleve (Richard) and J.-L. Hainaut

January 2006
ASF+SDF Meta-Environment 2.0 Manual

A.T. Kooiker (Taeke) and J.J. Vinju (Jurgen)

January 2006
Prioritizing software inspection results using static profiling In Proceedings

F.C. Boogerd and L.M.F. Moonen (Leon)

January 2006
Discourse representation theory Book Chapter

D.J.N. van Eijck (Jan)

January 2006
Proceedings of the Dagstuhl Seminar on Aspects for Legacy Applications (nr. 06302), MRC Proceedings

CWI CWI

January 2006
Discourse on social software --- What is social software? Article

NIAS Newsletter, 15-21.

D.J.N. van Eijck (Jan)

January 2006
Logics of communication and change Article

Information and Computation, 1620-1662.

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and B. Kooi

January 2006
Non-intrusive face verification by a virtual mirror interface using fractal codes In Proceedings

B.A.M. Schouten (Ben) and J.W.H. Tangelder (Hans)

January 2006
Analysis of a multirate θ-method for stiff ODEs Tech Report

W. Hundsdorfer (Willem) and V. Savcenco (Valeriu)

January 2006
Photoionization in negative streamers: Fast computations and two propagation modes Tech Report

A. Luque (Alejandro), U. Ebert (Ute), C. Montijn (Carolynne-Sireeh) and W. Hundsdorfer (Willem)

January 2006
New upper bounds for nonbinary codes based on the Terwilliger algebra and semidefinite programming Article

Journal of Combinatorial Theory - Series A, 113(8), 1719-1731.

D. Gijswijt (Dion), A. Schrijver (Lex) and H. Tanaka

January 2006
A new quantum lower bound method, with applications to direct product theorems and time-space tradeoffs In Proceedings

A. Ambainis (Andris), R. Spalek (Robert) and R.M. de Wolf (Ronald)

January 2006
Vakantiecursus 2006 Centrum voor Wiskunde en Informatica : Actuele wiskunde, Amsterdam en Eindhoven, 2006 Book

January 2006
Proceedings of the fifty-second European study group with industry, Amsterdam, The Netherlands, 31.01-04.02.2005 Book

January 2006
New limits on fault-tolerant quantum computation In Proceedings

H.M. Buhrman (Harry), R.E. Cleve (Richard), M. Laurent (Monique), N. Linden (Noah), A. Schrijver (Lex) and F.P. Unger (Falk)

January 2006
Campbell and moment measures for finite sequential spatial processes In Proceedings

M.N.M. van Lieshout (Marie-Colette)

January 2006
Integrality gaps of semidefinite programs for Vertex Cover and relations to ell$_1$ embeddability of negative type metrics Tech Report

H. Hatami, A. Magen and V. Markakis (Vangelis)

January 2006
Fundamental Results on Evolutionary Simulations of Socio-Economic Systems: Introduction to the Special Issue Proceedings

January 2006
Agent Mediated Electronic Commerce: Designing Trading Agents and Mechanisms Proceedings

January 2006
Zoekende vingers van de bliksem Book Chapter

U. Ebert (Ute)

January 2006
Experiments and calculations on pulsed streamers in air and nitrogen In Proceedings

T.M.P. Briels (Tanja), J. Kos, E.M. van Veldhuizen, C. Montijn (Carolynne-Sireeh), A. Luque (Alejandro) and U. Ebert (Ute)

January 2006
Spatio-temporal patterns in a DC "barrier" discharge system: numerical solutions and stability analysis In Proceedings

I. Rafatov (Ismail), D.D. Šijačić (Danijela) and U. Ebert (Ute)

January 2006

Available Years

Publications from 2025

FNB Daisy-III Player Software

AMBULANT Open SMIL Player Software

VeriGEM: A verification grid for enhanced model checking Magazine Article

Security of multi-party protocols: Epistemics and verification Magazine Article

NIPS Software

mCRL toolset Software

A Graphics Architecture for high-end interactive television terminals Article

Open Graphical Framework for interactive tv Article

Interactive Digital Television and Multimedia Systems In Proceedings

Present and Future of Software Graphics Architectures for Interactive Television In Proceedings

The Ambulant Annotator: Empowering viewer-side enrichment of multimedia content In Proceedings

Benefits of Structured Multimedia Documents in iDTV: The End-User Enrichment System In Proceedings

An Architecture for End-User tv content enrichment Article

An Architecture for End-User tv content enrichment In Proceedings

An Architecture for Viewer-Side Enrichment of TV Content In Proceedings

Experiences with User-Centered Multimedia systems deployment In Proceedings

A Rationale for Creating an interactive-tv profile for smil In Proceedings

Model checking software for microcontrollers Tech Report

Iterative Lexicographic Path Orders, in Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the occasion of his 65th Birthday Book Chapter

Countering Digital Forensics: An Identity Based Ephemerizer Cryptosystem Tech Report

What is algebraic in process theory? Article

Nuovo DRM Paradiso: Towards a verified, fair DRM protocol In Proceedings

Accelerated Modal Abstractions of Labelled Transition Systems In Proceedings

Distribution of a simple shared dataspace architecture Article

Forward Secure Communication inWireless Sensor Networks In Proceedings

Preface In Proceedings

Preface Article

What is algebraic in process theory? Article

Preface Proceedings of PDMS 2005 In Proceedings

Discretization of Timed Automata in Timed &#956;CRL `a la Regions and Zones Article

A Hierarchy of SOS Rule Formats Article

From &#956;CRL to mCRL2: Motivation and Outline Article

Interactive visualization of large state spaces Article

Some Remarks on Definability of Process Graphs In Proceedings

Cones, foci: A mechanical framework for protocol verification Article

Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM Article

Computing with actions and communications Article

Divide and congruence: from decomposition of modalities to preservation of branching bisimulation In Proceedings

Divide and congruence applied to eta-bisimulation In Proceedings

Compositionality of Hennessy-Milner logic by structural operational semantics Article

On the Markovian Randomized Strategy of Controller for Markov Decision Processes In Proceedings

On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence Article

On finite alphabets and infinite bases II: Completed and ready simulation In Proceedings

On finite alphabets, infinite bases III: Simulation In Proceedings

An intruder model for verifying liveness in security protocols In Proceedings

Simulated Time for Testing Railway Interlockings with TTCN-3 In Proceedings

Guest editors’ introduction: Special issue on Process Theory for hybrid systems Article

Bisimilarity is not finitely based over BPA with interrupt In Proceedings

The quest for equational axiomatizations of parallel composition: Status and open problems In Proceedings

Injective synchronisation: An extension of the authentication hierarchy Article

A finite equational base for CCS with left merge and communication merge In Proceedings

On the axiomatizability of priority In Proceedings

Evaluating Conjunctive Triple Pattern Queries over Large Structured Overlay Networks In Proceedings

Distributed evaluation of continuous equi-join queries over large structured overlay networks In Proceedings

A model of maintainability - Suggestion for future research In Proceedings

Data reverse engineering using system dependency graphs In Proceedings

Harvesting software systems for MDA-based reengineering In Proceedings

Fint: Tool support for aspect mining In Proceedings

A common framework for aspect mining based on crosscutting concern sorts In Proceedings

Monitoring requirements coverage using reconstructed views: An industrial case study In Proceedings

Can LSI help reconstructing requirements traceability in design and test? In Proceedings

Introduction to the special issue on software architecture reconstruction and modeling Article

Evaluating GLR parsing algorithms Article

Integrated development and maintenance for the release, delivery, deployment, and customization of product software: a case study in mass-market ERP software Article

Migrating supervisory control architectures using model transformations In Proceedings

Migrating a domain-specific modeling language to MDA technology In Proceedings

Documenting software systems using types Article

Aiding in the comprehension of testsuites In Proceedings

Discovering faults in idiom-based exception handling In Proceedings

De architectuur van Ajax ontrafeld Article

Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation Proceedings

The Gamut of Dynamic Logics Book Chapter

Sisyphus Continuous Integration System Manual

Applying and combining three different aspect mining techniques Article

An empirical study into class testability Article

Linking analysis and transformations tools with source-based mappings In Proceedings

A language independent framework for context-sensitive formatting In Proceedings

Ranking software inspection results using execution likelihood In Proceedings

Co-transformations in database applications evolution In Proceedings

Discretization of Timed Automata in Timed μCRL `a la Regions and Zones Article

From μCRL to mCRL2: Motivation and Outline Article

Analysis of a multirate θ-method for stiff ODEs Tech Report