Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Television Content Enrichment and Sharing: The Ambulant Annotator Book Chapter

D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago), A.J. Jansen (Jack) and R.L. Guimarães (Rodrigo)

January 2009
Semidefinite programming approximations for stable sets, colouring, and cuts in graphs Article

Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 49-60.

M. Laurent (Monique)

January 2009
Using AI to Access and Experience Cultural Heritage Article

IEEE Intelligent systems, 24(2), 23-25.

L. Hardman (Lynda), L. Aroyo (Lora), J.R. van Ossenbruggen (Jacco) and E. Hyvönen

January 2009
On the construction of Galois towers Article

Contemporary Mathematics, 9-20.

A. Bassa (Alp) and P. Beelen

January 2009
Asymptotically good ideal linear secret sharing schemes with strong multiplication over any fixed finite field In Proceedings

I. Cascudo (Ignacio), H. Chen (Helen), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

January 2009
Signing a subspace: Signatures for network coding In Proceedings

D. Boneh, D.S. Freeman (David), J. Katz and B. Waters

January 2009
On the security of pairing-friendly abelian varieties over non-prime fields In Proceedings

N. Benger, M. Charlemagne and D.S. Freeman (David)

January 2009
A Leakage-Resilient Mode of Operation In Proceedings

K.Z. Pietrzak (Krzysztof)

January 2009
Evolutionary Multiobjective Optimization for Dynamic Hospital Resource Management In Proceedings

A.K. Hutzschenreuter (Anke Kristine), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

January 2009
On Empirical Memory Design, Faster Selection of Bayesian Factorizations and Parameter-Free Gaussian EDAs In Proceedings

P.A.N. Bosman (Peter)

January 2009
Compact CCA-Secure Encryption for Messages of Arbitrary Length In Proceedings

M. Abe, E. Kiltz (Eike) and T. Okamoto

January 2009
A New Randomness Extraction Paradigm for Hybrid Encryption In Proceedings

E. Kiltz (Eike), K.Z. Pietrzak (Krzysztof), M. Stam and M. Yung (Moti)

January 2009
On the Security of Padding-Based Encryption Schemes (Or: Why we cannot prove OAEP secure in the Standard Model) In Proceedings

E. Kiltz (Eike) and K.Z. Pietrzak (Krzysztof)

January 2009
The Group of Signed Quadratic Residues and Applications In Proceedings

D. Hofheinz (Dennis) and E. Kiltz (Eike)

January 2009
Polynomial runtime in simulatability definitions Article

Computer Security Journal, 17(5), 703-735.

D. Hofheinz (Dennis), J. Müller-Quade and D. Unruh

January 2009
Practical Chosen Ciphertext Secure Encryption from Factoring In Proceedings

D. Hofheinz (Dennis) and E. Kiltz (Eike)

January 2009
Possibility and impossibility results for encryption and commitment secure under selective opening In Proceedings

M. Bellare, D. Hofheinz (Dennis) and S. Yilek

January 2009
CoSP: A general framework for computational soundness proofs In Proceedings

M. Backes, D. Hofheinz (Dennis) and D. Unruh

January 2009
Percolation for the vacant set of random interlacements. Article

Communications on Pure and Applied Mathematics, 62(6), 831-858.

V. Sidoravicius (Vladas) and A.-S. Sznitman (Alain-Sol)

January 2009
The structure of typical clusters in large sparse random configurations. Article

Journal of Statistical Physics, 135(1), 87-105.

J. Bertoin and V. Sidoravicius (Vladas)

January 2009
Automated translation and analysis of a ToolBus script for auctions In Proceedings

W.J. Fokkink (Wan), P. Klint (Paul), B. Lisser (Bert) and Y.S. Usenko (Yaroslav)

January 2009
Language design for meta-programming in the software composition domain In Proceedings

P. Klint (Paul), J.J. Vinju (Jurgen) and T. van der Storm (Tijs)

January 2009
Tribute to a great Meta-Technologist: from Centaur to The Meta-Environment Book Chapter

P. Klint (Paul)

January 2009
EASY Meta-Programming with RASCAL In Proceedings

P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

January 2009
Formalizing Adaptation On-the-Fly In Proceedings

S. Andova, L.P.J. Groenewegen (Luuk), J. Stafleu and E.P. de Vink (Erik)

January 2009
Proceedings of the Second International Workshop on Computational Models for Cell Processes Proceedings

January 2009
Coalgebraic Weak Bisimulation for Action-Type Systems Article

Scientific Annals of Computer Science, 93-144.

A. Sokolova, E.P. de Vink (Erik) and H. Woracek

January 2009
Compositionality for Markov Reward Chains with Fast Transitions Article

Performance Evaluation, 435-452.

J. Markovski (Jasen), A. Sokolova, N. Trcka and E.P. de Vink (Erik)

January 2009
Performance Evaluation of Distributed Systems based on a Discrete Real- and Stochastic-Time Process Algebra Article

Fundamenta Informaticae, 157-186.

J. Markovski (Jasen) and E.P. de Vink (Erik)

January 2009
Distributed Computing Techniques Article

Theoretical Computer Science, 410(2-3), 113-280.

M.M. Bonsangue (Marcello), E. Broch Johnsen, A.L. Murphy and J. Vitek

January 2009
The Next Generation of Multimedia Authoring Tools: Telling Stories and Commenting on Media In Proceedings

R.L. Guimarães (Rodrigo)

January 2009
Estimate and Serve: Scheduling Soft Real-Time Packets for Delay Sensitive Media Applications on the Internet In Proceedings

I. Vaishnavi (Ishan) and D.C.A. Bulterman (Dick)

January 2009
Enhancing Social Communication and Belonging by Integrating TV Narrativity and Game-Play In Proceedings

M. Ursu (Marian), P.S. César Garcia (Pablo Santiago) and D. Williams (Doug)

January 2009
An Emergent Role for TV In Social Communication In Proceedings

D. Williams (Doug), M. Ursu (Marian), P.S. César Garcia (Pablo Santiago), K. Bergström (Karl), I. Kegel (Ian) and J. Meenowa

January 2009
Adding dynamic visual manipulations to declarative multimedia documents In Proceedings

A.A.M. Kuijk (Fons), R.L. Guimarães (Rodrigo), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

January 2009
Taking Social TV beyond chatting: How the TV viewer adds value to the Network In Proceedings

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

January 2009
From photos to memories: A user-centric authoring tool for telling stories with your photos In Proceedings

A.A.M. Kuijk (Fons), R.L. Guimarães (Rodrigo), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

January 2009
SMIL State: an architecture and implementation for adaptive time-based web applications Article

International Journal on Multimedia Tools and Applications, 43(3), 203-224.

A.J. Jansen (Jack) and D.C.A. Bulterman (Dick)

January 2009
Leveraging the user impact: an architecture for secondary screens usage in an interactive television environment Article

ACM Multimedia Systems Journal, 15(3), 127-142.

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

January 2009
Fragment, tag, enrich, and send: Enhancing the social sharing of videos Article

ACM Transactions on Multimedia Computing, Communications, and Applications, 5(3)

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick), A.J. Jansen (Jack), D. Geerts (David), H. Knoche and W. Seager

January 2009
The evolution of TV systems, content, and users towards interactivity Article

Foundations and Trends in Human-Computer Interaction, 2(4), 279-373.

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

January 2009
Social Interactive Television: Immersive Shared Experiences and Perspectives Book

January 2009
In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition In Proceedings

D. Bosnacki, T.E. Pronk and E.P. de Vink (Erik)

January 2009
Reconfiguration Distributed Reo Connectors In Proceedings

C. Krause (born Köhler) (Christian), F. Arbab (Farhad) and E.P. de Vink (Erik)

January 2009
Dynamic Consistency in Process Algebra: From Paradigm to ACP In Proceedings

S. Andova, L.P.J. Groenewegen (Luuk) and E.P. de Vink (Erik)

January 2009
Rewriting agent societies strategically In Proceedings

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank) and M. Dastani

January 2009
On coordination, autonomy and time In Proceedings

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank) and M. Dastani

January 2009
A First Step towards Security Policy Compliance of Connectors In Proceedings

M. Sun (Meng)

January 2009
A Coalgebraic Semantic Framework for Reasoning about Interaction Designs Book Chapter

M. Sun (Meng) and L.S. Barbosa

January 2009
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata Article

Fundamenta Informaticae, 95(1), 103-128.

M. Sun (Meng) and F. Arbab (Farhad)

January 2009
Static Validation of WS-CDL Documents Article

Simulation Modelling Practice and Theory, 17(8), 1367-1377.

G. Pu (Geguang), Z. Wang, L. Zhou, H. Zhang (Haoyuan), T. Wang (Tao), C. Yang, L. Peng and M. Sun (Meng)

January 2009
On the Semantics and Verification of Normative Multi-Agent Systems Article

Journal of Universal Computer Science, 15(13), 2629-2652.

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank), M. Dastani and J.-J.C. Meyer (John-Jules)

January 2009
Coalgebraic Symbolic Semantics In Proceedings

F. Bonchi (Filippo) and U. Montanari

January 2009
Encoding Asynchronous Interactions Using Open Petri Nets In Proceedings

P. Baldan, F. Bonchi (Filippo) and F. Gadducci (Fabio)

January 2009
Minimization Algorithm for Symbolic Bisimilarity In Proceedings

F. Bonchi (Filippo) and U. Montanari

January 2009
Achievable performance of resource allocations in bandwidth sharing networks Article

Performance Evaluation, 59-77.

I.M. Verloop (Maaike) and R. Núñez Queija (Rudesindo)

January 2009
Admission control for differentiated services in future generation CDMA networks Article

Performance Evaluation, 488-504.

H.-P. Tan (Hwee-Pink), R. Núñez Queija (Rudesindo), A.F. Gabor and O.J. Boxma (Onno)

January 2009
Heavy-traffic analysis of the M/PH/1 discriminatory processor sharing queue with phase-dependent weights Article

ACM SIGMETRICS Performance Evaluation Review, 37(2), 42-44.

I.M. Verloop (Maaike), U. Ayesta (Urtzi) and R. Núñez Queija (Rudesindo)

January 2009
Exploiting Fruitful Regions in Dynamic Routing using Evolutionary Computation Book Chapter

J.I. van Hemert and J.A. La Poutré (Han)

January 2009
Adaptive resource allocation for efficient patient scheduling Article

Artificial Intelligence in Medicine, 46(1), 67-80.

I.B. Vermeulen (Ivan), S.M. Bohte (Sander), S.G. Elkhuizen, J.S. Lameris, P.J.M. Bakker and J.A. La Poutré (Han)

January 2009
A Qualitative Vickrey Auction In Proceedings

B.P. Harrenstein, M.M. de Weerdt (Mathijs) and V. Conitzer (Vincent)

January 2009
The Merit of Agents in Freight Transport Book Chapter

T. Máhr, J. Srour, M.M. de Weerdt (Mathijs) and R.A. Zuidwijk

January 2009
Introduction to Planning in Multiagent Systems Article

Multiagent and Grid Systems, 5(4), 345-355.

M.M. de Weerdt (Mathijs) and B.J. Clement

January 2009
AMaLGaM IDEAs in Noiseless Black-Box Optimization Benchmarking In Proceedings

P.A.N. Bosman (Peter), J. Grahl and D. Thierens (Dirk)

January 2009
Evolutionary multiobjective optimization for dynamic hospital resource management In Proceedings

A.K. Hutzschenreuter (Anke Kristine), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

January 2009
On Empirical Memory Design, Faster Selection of Bayesian Factorizations and Parameter-Free Gaussian EDAs In Proceedings

P.A.N. Bosman (Peter)

January 2009
Optimization of Online Patient Scheduling with Urgencies and Preferences In Proceedings

I.B. Vermeulen (Ivan), S.M. Bohte (Sander), P.A.N. Bosman (Peter), S.G. Elkhuizen, P.J.M. Bakker and J.A. La Poutré (Han)

January 2009
Rascal: A domain specific language for source code analysis and manipulation In Proceedings

P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

January 2009
Accelerating the creation of customized, language-specific IDEs in Eclipse In Proceedings

P. Charles, R.M. Fuhrer (Robert), S.M. Sutton, E. Duesterwald and J.J. Vinju (Jurgen)

January 2009
Faster scannerless GLR parsing In Proceedings

G.R. Economopoulos (Giorgos Robert), P. Klint (Paul) and J.J. Vinju (Jurgen)

January 2009
Integrated structure and semantics for Reo connectors and Petri nets In Proceedings

C. Krause (born Köhler) (Christian)

January 2009
Decomposing port automata In Proceedings

C. Krause (born Köhler) (Christian) and D.G. Clarke (David)

January 2009
Schedulability of Asynchronous Real-Time Concurrent Objects Article

Journal of Logic and Algebraic Programming, 402-416.

M.M. Jaghoori (Mohammad Mahdi), F.S. de Boer (Frank), T. Chothia (Tom) and M. Sirjani (Marjan)

January 2009
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform In Proceedings

F.S. de Boer (Frank), T. Chothia (Tom) and M.M. Jaghoori (Mohammad Mahdi)

January 2009
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform In Proceedings

F.S. de Boer (Frank), I. Grabe (Immo), M.M. Jaghoori (Mohammad Mahdi), A. Stam and W. Yi

January 2009
Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca Article

Acta Informatica, 47(1), 33-66.

M.M. Jaghoori (Mohammad Mahdi), M. Sirjani (Marjan), M.R. Mousavi, E. Khamespanah (Ehsan) and A. Movaghar (Ali)

January 2009
Towards Model Checking Executable UML Specifications in mCRL2 In Proceedings

H.H. Hansen (Helle), J. Ketema, M.R. Mousavi, S.P. Luttik (Bas) and J.C. van de Pol (Jaco)

January 2009
Neighbourhood Structures: Bisimilarity and Basic Model Theory Article

Logical Methods in Computer Science, 5(2)

H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit

January 2009
Multigrid Methods based on improved Coarse Grid Correction Techniques Dissertation

Scientific Computing

H. bin Zubair

January 2009
Credit Portfolio Losses Dissertation

Scientific Computing

X. Huang

January 2009
The role of (stem) cell division in leaf growth In Proceedings

G.T.S. Beemster, S. Dhondt, F. Coppens, R.M.H. Merks (Roeland), D. Inze, P. Genschik, P. Achard and M.J. Bennett

January 2009
Characterization of tail dependence for in-degree and PageRank In Proceedings

N. Litvak, W.R.W. Scheinhardt (Werner), Y. Volkovich and A.P. Zwart (Bert)

January 2009
A framework for evaluating statistical dependencies and rank correlations in power law graphs In Proceedings

Y. Volkovich, N. Litvak and A.P. Zwart (Bert)

January 2009
A Basic Parallel Process as a Parallel Pushdown Automaton Article

Electronic Notes in Theoretical Computer Science, 242(1), 35-48.

J.C.M. Baeten (Jos), P.J.L. Cuijpers and P.J.A. van Tilburg (Paul)

January 2009
Automata for Context-Dependent Connectors In Proceedings

M.M. Bonsangue (Marcello), D.G. Clarke (David) and A.M. Silva (Alexandra)

January 2009
Flat directions and Minkowski's $3^d$-theorem Tech Report

J. Draisma (Jan), T. McAllister and B. Nill

January 2009
Algebras for Kripke polynomial coalgebras In Proceedings

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2009
Equivariant Gröbner bases and the two-factor model Tech Report

A.E. Brouwer (Andries) and J. Draisma (Jan)

January 2009
A Kleene theorem for polynomial coalgebras In Proceedings

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2009
The singular lines of alternating three-forms Tech Report

J. Draisma (Jan) and R. Shaw (Ron)

January 2009
Shifted-Laplacian preconditioners for heterogeneous Helmholtz problems Book Chapter

C.W. Oosterlee (Kees), C. Vuik, W.A. Mulder and R.-E. Plessix

January 2009
Analysis of sorting algorithms by Kolmogorov complexity (A survey) Tech Report

P.M.B. Vitányi (Paul)

January 2009
Normalized Web Distance and Word Similarity Tech Report

R.L. Cilibrasi (Rudi) and P.M.B. Vitányi (Paul)

January 2009
Simplified yet highly accurate enzyme kinetics for cases of low substrate concentrations Article

FEBS Journal, 276(19), 5491-5506.

H.M. Härdin (Hanna), A. Zagaris (Antonios), K. Krab and H.V. Westerhoff (Hans)

January 2009
An Image Warping Architecture for VR: Low Latency versus Image Quality In Proceedings

R. van Liere (Robert), S. Beck, B. Fröhlich (Bernd) and F.A. Smit (Ferdi)

January 2009
Data, Information, and Knowledge in Visualization Article

IEEE Computer Graphics and Applications, 29(1), 12-19.

M. Chen (Min), D.S. Ebert (David), H. Hagen (Hans), R.S. Laramee (Robert), R. van Liere (Robert), K.-L. Ma (Kwan-Liu), W. Ribarsky (William), G. Scheuermann (Gerik) and D. Silver (7202150895)

January 2009
Tangible Props for Scientific Visualization: Concept, Requirements, Application Article

Virtual Reality, 13(4), 235-244.

K.J. Kruszynski (Chris) and R. van Liere (Robert)

January 2009
Insights into Diviing 3D goal-directed movements into meaningful phases Article

IEEE Computer Graphics and Applications, 26(6), 44-53.

C. J. H. Nieuwenhuizen (Karin), L. Liu (Lei), R. van Liere (Robert) and J.-B. Martens

January 2009
Trends in Interactive Visualization: State-of-the-Art Survey Book

E. Zudalova, T. Adriaansen and R. van Liere (Robert)

January 2009
Optimal File Splitting for Wireless Networks With Concurrent Access In Proceedings

G.J. Hoekstra (Gerard), R.D. van der Mei (Rob), Y. Nazarathy (Yoni) and A.P. Zwart (Bert)

January 2009

Available Years

Publications from 2019

Television Content Enrichment and Sharing: The Ambulant Annotator Book Chapter

Semidefinite programming approximations for stable sets, colouring, and cuts in graphs Article

Using AI to Access and Experience Cultural Heritage Article

On the construction of Galois towers Article

Asymptotically good ideal linear secret sharing schemes with strong multiplication over any fixed finite field In Proceedings

Signing a subspace: Signatures for network coding In Proceedings

On the security of pairing-friendly abelian varieties over non-prime fields In Proceedings

A Leakage-Resilient Mode of Operation In Proceedings

Evolutionary Multiobjective Optimization for Dynamic Hospital Resource Management In Proceedings

On Empirical Memory Design, Faster Selection of Bayesian Factorizations and Parameter-Free Gaussian EDAs In Proceedings

Compact CCA-Secure Encryption for Messages of Arbitrary Length In Proceedings

A New Randomness Extraction Paradigm for Hybrid Encryption In Proceedings

On the Security of Padding-Based Encryption Schemes (Or: Why we cannot prove OAEP secure in the Standard Model) In Proceedings

The Group of Signed Quadratic Residues and Applications In Proceedings

Polynomial runtime in simulatability definitions Article

Practical Chosen Ciphertext Secure Encryption from Factoring In Proceedings

Possibility and impossibility results for encryption and commitment secure under selective opening In Proceedings

CoSP: A general framework for computational soundness proofs In Proceedings

Percolation for the vacant set of random interlacements. Article

The structure of typical clusters in large sparse random configurations. Article

Automated translation and analysis of a ToolBus script for auctions In Proceedings

Language design for meta-programming in the software composition domain In Proceedings

Tribute to a great Meta-Technologist: from Centaur to The Meta-Environment Book Chapter

EASY Meta-Programming with RASCAL In Proceedings

Formalizing Adaptation On-the-Fly In Proceedings

Proceedings of the Second International Workshop on Computational Models for Cell Processes Proceedings

Coalgebraic Weak Bisimulation for Action-Type Systems Article

Compositionality for Markov Reward Chains with Fast Transitions Article

Performance Evaluation of Distributed Systems based on a Discrete Real- and Stochastic-Time Process Algebra Article

Distributed Computing Techniques Article

The Next Generation of Multimedia Authoring Tools: Telling Stories and Commenting on Media In Proceedings

Estimate and Serve: Scheduling Soft Real-Time Packets for Delay Sensitive Media Applications on the Internet In Proceedings

Enhancing Social Communication and Belonging by Integrating TV Narrativity and Game-Play In Proceedings

An Emergent Role for TV In Social Communication In Proceedings

Adding dynamic visual manipulations to declarative multimedia documents In Proceedings

Taking Social TV beyond chatting: How the TV viewer adds value to the Network In Proceedings

From photos to memories: A user-centric authoring tool for telling stories with your photos In Proceedings

SMIL State: an architecture and implementation for adaptive time-based web applications Article

Leveraging the user impact: an architecture for secondary screens usage in an interactive television environment Article

Fragment, tag, enrich, and send: Enhancing the social sharing of videos Article

The evolution of TV systems, content, and users towards interactivity Article

Social Interactive Television: Immersive Shared Experiences and Perspectives Book

In Silico Modelling and Analysis of Ribosome Kinetics and aa-tRNA Competition In Proceedings

Reconfiguration Distributed Reo Connectors In Proceedings

Dynamic Consistency in Process Algebra: From Paradigm to ACP In Proceedings

Rewriting agent societies strategically In Proceedings

On coordination, autonomy and time In Proceedings

A First Step towards Security Policy Compliance of Connectors In Proceedings

A Coalgebraic Semantic Framework for Reasoning about Interaction Designs Book Chapter

QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata Article

Static Validation of WS-CDL Documents Article

On the Semantics and Verification of Normative Multi-Agent Systems Article

Coalgebraic Symbolic Semantics In Proceedings

Encoding Asynchronous Interactions Using Open Petri Nets In Proceedings

Minimization Algorithm for Symbolic Bisimilarity In Proceedings

Achievable performance of resource allocations in bandwidth sharing networks Article

Admission control for differentiated services in future generation CDMA networks Article

Heavy-traffic analysis of the M/PH/1 discriminatory processor sharing queue with phase-dependent weights Article

Exploiting Fruitful Regions in Dynamic Routing using Evolutionary Computation Book Chapter

Adaptive resource allocation for efficient patient scheduling Article

A Qualitative Vickrey Auction In Proceedings

The Merit of Agents in Freight Transport Book Chapter

Introduction to Planning in Multiagent Systems Article

AMaLGaM IDEAs in Noiseless Black-Box Optimization Benchmarking In Proceedings

Evolutionary multiobjective optimization for dynamic hospital resource management In Proceedings

On Empirical Memory Design, Faster Selection of Bayesian Factorizations and Parameter-Free Gaussian EDAs In Proceedings

Optimization of Online Patient Scheduling with Urgencies and Preferences In Proceedings

Rascal: A domain specific language for source code analysis and manipulation In Proceedings

Accelerating the creation of customized, language-specific IDEs in Eclipse In Proceedings

Faster scannerless GLR parsing In Proceedings

Integrated structure and semantics for Reo connectors and Petri nets In Proceedings

Decomposing port automata In Proceedings

Schedulability of Asynchronous Real-Time Concurrent Objects Article

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform In Proceedings

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform In Proceedings

Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca Article

Towards Model Checking Executable UML Specifications in mCRL2 In Proceedings

Neighbourhood Structures: Bisimilarity and Basic Model Theory Article

Multigrid Methods based on improved Coarse Grid Correction Techniques Dissertation