Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

A Runge-Kutta discontinuous-Galerkin level-set method for unsteady compressible two-fluid flow Tech Report

J. Naber (Jorick)

January 2006
Kinetic electrostatic structures in current-carrying pair plasmas Tech Report

A. Luque (Alejandro), H. Schamel, B. Eliasson and P.K. Shukla

January 2006
Modeling the Exogenous Coordination of Mobile Channel based Systems with Petri Nets In Proceedings

J.V. Guillen Scholten (Juan), F. Arbab (Farhad), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2006
Virtual Organizations as Normative Multi-agent Systems In Proceedings

G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)

January 2006
Proceedings of the First International Workshop on Security and Trust Management Proceedings

January 2006
System reduction of nonlinear positive systems by linearization and truncation In Proceedings

H.M. Härdin (Hanna) and J.H. van Schuppen (Jan)

January 2006
Observers for linear positive systems In Proceedings

H.M. Härdin (Hanna) and J.H. van Schuppen (Jan)

January 2006
Towards Multi-level Optimization Tech Report

D. Echeverria (David) and C. Tong

January 2006
Software Package For Realization and Minimization of Linear and Bilinear Switched and Hybrid Systems Software

M. Petreczky (Mihaly)

January 2006
Control of rectangular multi-affine hybrid systems In Proceedings

L.C.G.J.M. Habets (Luc), M. Kloetzer and C. Belta

January 2006
Reachability and control synthesis for piecewise-affine hybrid systems on simplices Article

IEEE Transactions on Automatic Control, 938-948.

L.C.G.J.M. Habets (Luc), P.J. Collins (Pieter) and J.H. van Schuppen (Jan)

January 2006
A Framework for Efficient Automated Optimal Design of Electromagnetic Actuators In Proceedings

L. Encica, J. Paulides, D. Echeverria (David), E.A. Lomonova and A.J.A. Vandenput

January 2006
Efficient Optimal Design of Electromagnetic Actuators Using Space-Mapping Article

Structural and Multidisciplinary Optimization

L. Encica, D. Echeverria (David), E.A. Lomonova, A.J.A. Vandenput, P.W. Hemker (Piet) and D.J.P. Lahaye (Domenico)

January 2006
Optimization in Electromagnetics with the Manifold-Mapping Technique In Proceedings

D. Echeverria (David), L. Encica, E.A. Lomonova and P.W. Hemker (Piet)

January 2006
Generalised Hybrid Trajectory Spaces In Proceedings

P.J. Collins (Pieter)

January 2006
Aspects of goal-oriented model-error estimation in convection-diffusion problems In Proceedings

J. M. Cnossen (Jelmer), H. Bijl, M.I. Gerritsma and B. Koren (Barry)

January 2006
Improving the efficiency of aerodynamic shape optimization on unstructured meshes In Proceedings

G. Carpentieri (Giampietro), M.J.L. van Tooren and B. Koren (Barry)

January 2006
Aerodynamic shape optimization by means of sequential linear programming techniques In Proceedings

G. Carpentieri (Giampietro), M.J.L. van Tooren and B. Koren (Barry)

January 2006
Controlling a class of nonlinear systems on rectangles Article

IEEE Transactions on Automatic Control, 1749-1759.

C. Belta and L.C.G.J.M. Habets (Luc)

January 2006
Ariadne: a framework for reachability analysis of hybrid automata In Proceedings

A. Balluchi, A. Casagrande, P.J. Collins (Pieter), A. Ferrari, T. Villa and A. Sangiovanni-Vincentelli

January 2006
Robust numerical methods for boundary-layer equations for a model problem of flow over a symmetric curved surface Article

Mathematical Modelling and Analysis, 365-378.

A.R. Ansari, B. Hossain, B. Koren (Barry) and G.I. Shishkin (Gregori)

January 2006
Wave Trains, Solitons and Modulation Theory in FPU Chains Book Chapter

W. Dreyer, M. Herrmann and J.D.M. Rademacher (Jens)

January 2006
Global warming could destabilize plankton in oceans Article

ERCIM News, 42-43.

J. Huisman and B.P. Sommeijer (Ben)

January 2006
IRKC: An IMEX solver for stiff diffusion-reaction PDEs Article

Journal of Computational and Applied Mathematics, 485-497.

L.F. Shampine, B.P. Sommeijer (Ben) and J.G. Verwer (Jan)

January 2006
Viscous shocks in the destabilized Kuramoto- Sivashinsky equation Article

Journal of Computational and Nonlinear Dynamics, 336-347.

J.D.M. Rademacher (Jens) and R. Wittenberg

January 2006
Geometric relations of absolute and essential spectra of wave trains Article

SIAM Journal on Applied Dynamical Systems, 634-649.

J.D.M. Rademacher (Jens)

January 2006
Positivity for explicit two-step methods in linear multistep and one-leg form Article

BIT : Numerical Mathematics, 875-882.

N.N. Pham Thi (Nga), W. Hundsdorfer (Willem) and B.P. Sommeijer (Ben)

January 2006
Reduced mixing generates oscillations and chaos in the oceanic deep chlorophyll maximum Article

Nature, 322-325.

J. Huisman, N.N. Pham Thi (Nga), D. Karl and B.P. Sommeijer (Ben)

January 2006
Homoclinic bifurcations at the onset of pulse self-replication Article

Journal of Differential Equations, 359-423.

A. Doelman (Arjen), T.J. Kaper (Tasso Joost) and L.A. Peletier (Bert)

January 2006
Reconstruction of diffusions using spectral data from timeseries Article

Communications in Mathematical Sciences, 651-668.

D.T. Crommelin (Daan) and E. Vanden-Eijnden (Eric)

January 2006
Fitting timeseries by continuous-time Markov chains: A quadratic programming approach Article

Journal of Computational Physics, 782-805.

D.T. Crommelin (Daan) and E. Vanden-Eijnden (Eric)

January 2006
A geometric construction of traveling waves in a bioremediation model Article

Journal of Nonlinear Science, 329-349.

M. Beck, A. Doelman (Arjen) and T.J. Kaper (Tasso Joost)

January 2006
Numerical Optimization with Real-Valued Estimation-of-Distribution Algorithms Book Chapter

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

January 2006
Multi-objective optimization with the naive MIDEA Book Chapter

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

January 2006
Multiagent planning: problem properties that matter In Proceedings

M.M. de Weerdt (Mathijs) and C. Witteveen (Cees)

January 2006
On Inefficiencies in Multiagent Planning In Proceedings

M.M. de Weerdt (Mathijs) and R.P.J. van der Krogt

January 2006
An Evolutionary Dynamical Analysis of Multi-Agent Learning in Iterated games Article

Autonomous Agents and Multi-Agent Systems, 12(1), 115-153.

K. Tuyls (Karl), P.J. 't Hoen (Pieter Jan) and B. Vanschoenwinkel

January 2006
A Scalable Method for Online Learning of Non-linear Preferences Based on Anonymous Negotiation Data In Proceedings

D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

January 2006
Efficient Methods for Automated Multi-Issue Negotiation: Negotiating over a Two-Part Tariff Article

International Journal of Intelligent Systems, 99-119.

D.J.A. Somefun (Koye), E.H. Gerding (Enrico) and J.A. La Poutré (Han)

January 2006
Automating supply chain negotiations using autonomous agents: a case study in transportation logistics In Proceedings

S. van der Putten (Sander), V. Robu (Valentin), J.A. La Poutré (Han), A. Jorritsma and M. Gal

January 2006
VOX POPULI: Automatic Generation of Biased Video Sequences Tech Report

H. Halpin, V. Robu (Valentin) and H. Shepherd

January 2006
Visualization of Agent-Mediated Bargaining over Bundles of Goods In Proceedings

H. Noot (Han), D.J.A. Somefun (Koye), T.B. Klos (Tomas), V. Robu (Valentin) and J.A. La Poutré (Han)

January 2006
Multi-Attribute Vickrey Auctions when Utility Functions are Unknown In Proceedings

T. Máhr and M.M. de Weerdt (Mathijs)

January 2006
Learning Inventory Management Strategies for Commodity Supply Chains with customer satisfaction In Proceedings

J. van Luin (Jeroen), J.A. La Poutré (Han) and J. Bertrand

January 2006
Adaptive Learning in Complex Trade Networks In Proceedings

T.B. Klos (Tomas) and B. Nooteboom

January 2006
A Versatile Approach to Combining Trust Values for Making Binary Decisions In Proceedings

T.B. Klos (Tomas) and J.A. La Poutré (Han)

January 2006
Repeated Auctions with Complementarities In Proceedings

P.J. 't Hoen (Pieter Jan) and J.A. La Poutré (Han)

January 2006
Strategic Foresighted Learning in Competitive Multi-Agent Games In Proceedings

P.J. 't Hoen (Pieter Jan), S.M. Bohte (Sander) and J.A. La Poutré (Han)

January 2006
Learning from induced changes in opponent (re)actions in multi-agent games In Proceedings

P.J. 't Hoen (Pieter Jan), S.M. Bohte (Sander) and J.A. La Poutré (Han)

January 2006
Action-Reaction in Multi-Agent Games In Proceedings

P.J. 't Hoen (Pieter Jan), S.M. Bohte (Sander) and J.A. La Poutré (Han)

January 2006
The Dynamics and Semantics of Collaborative Tagging In Proceedings

H. Halpin, V. Robu (Valentin) and H. Shepherd

January 2006
Multi-Attribute Bilateral Bargaining in a One-to-Many Setting In Proceedings

E.H. Gerding (Enrico), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

January 2006
Bilateral Bargaining with Multiple Opportunities: Knowing your Opponent's Bargaining Position Article

IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews, 45-55.

E.H. Gerding (Enrico) and J.A. La Poutré (Han)

January 2006
The Agent reputation and Trust (ART) Testbed In Proceedings

K.K. Fullam, T.B. Klos (Tomas), G. Muller, J. Sabater-Mir, K.S. Barber and L. Vercouter

January 2006
This side up! Article

ACM Transactions on Algorithms, 228-243.

L. Epstein (Lea) and R. van Stee (Rob)

January 2006
Optimal on-line flow time with resource augmentation Article

Discrete Applied Mathematics, 611-621.

L. Epstein (Lea) and R. van Stee (Rob)

January 2006
Online scheduling of splittable tasks Article

ACM Transactions on Algorithms, 79-94.

L. Epstein (Lea) and R. van Stee (Rob)

January 2006
Computationally Intelligent Online Dynamic Vehicle Routing by Explicit Load Prediction in an Evolutionary Algorithm In Proceedings

P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

January 2006
The Correlation-Triggered Adaptive Variance Scaling IDEA In Proceedings

J. Grahl, P.A.N. Bosman (Peter) and F. Rothlauf

January 2006
Combining Gradient Techniques for Numerical Multi-Objective Evolutionary Optimization In Proceedings

P.A.N. Bosman (Peter) and J.F. Jacob (Joost)

January 2006
Robust Evolutionary Algorithm Design for Socio-Economic Simulation Article

Computational Economics, 355-370.

F. Alkemade (Floortje), J.A. La Poutré (Han) and H.M. Amman (Hans)

January 2006
Proceedings of the first international workshop on Algebra and Coalgebra in Computer Science Book

J. Fiadeiro, N. Harman, M. Roggenbach and J.J.M.M. Rutten (Jan)

January 2006
Formal Methods for Components and Objects Book

F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2006
Formal Methods for Components and Objects Book

F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2006
Components: From object to mobile channels Book Chapter

F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and J.V. Guillen Scholten (Juan)

January 2006
Coordinated Composition of Software Components Book Chapter

F. Arbab (Farhad)

January 2006
Computing and Interaction Book Chapter

F. Arbab (Farhad)

January 2006
Composition of Interacting Computations Book Chapter

F. Arbab (Farhad)

January 2006
Using XML Transformations for Enterprise Architectures In Proceedings

A. Stam, J.F. Jacob (Joost), F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and L.W.N. van der Torre (Leon)

January 2006
Compositional Semantics of an Actor-Based Language Using constraint automata In Proceedings

M. Sirjani (Marjan), M.M. Jaghoori (Mohammad Mahdi), C. Baier and F. Arbab (Farhad)

January 2006
Strong types for relational databases In Proceedings

A.M. Silva (Alexandra) and J.M.W. Visser (Joost)

January 2006
Algebraic specification and coalgebraic synthesis of Mealy automata In Proceedings

J.J.M.M. Rutten (Jan)

January 2006
Semantics of plan revision in intelligent agents Article

Theoretical Computer Science, 240-257.

M.B. van Riemsdijk, J.-J.C. Meyer (John-Jules) and F.S. de Boer (Frank)

January 2006
Goal-oriented modularity in agent programming In Proceedings

M.B. van Riemsdijk, M. Dastani, J.-J.C. Meyer (John-Jules) and F.S. de Boer (Frank)

January 2006
Prototyping 3APL in the Maude term rewriting language In Proceedings

M.B. van Riemsdijk, F.S. de Boer (Frank), M. Dastani and J.-J.C. Meyer (John-Jules)

January 2006
Generic ownership for generic java In Proceedings

A. Potanin, J. Noble, D.G. Clarke (David) and R. Biddle

January 2006
Formal Semantics and Analysis of Component Connectors in reo Article

Electronic Notes in Theoretical Computer Science, 83-99.

M.R. Mousavi, M. Sirjani (Marjan) and F. Arbab (Farhad)

January 2006
Components as coalgebras: The refinement dimension Article

Theoretical Computer Science, 276-294.

S. Meng and L.S. Barbosa

January 2006
A Channel Based Communication Model with a Weighted Mobility In Proceedings

T. Limniotes, G.A. Papadopoulos (George) and F. Arbab (Farhad)

January 2006
Interaction and Coordination of Tools for Structured Data In Proceedings

J.N. Kok (Joost) and F. Arbab (Farhad)

January 2006
Modere: the model-checking engine of Rebeca In Proceedings

M.M. Jaghoori (Mohammad Mahdi), A. Movaghar (Ali) and M. Sirjani (Marjan)

January 2006
SEPID: A Simple Enhanced Process for Interactive-systems Development In Proceedings

M.M. Jaghoori (Mohammad Mahdi), S.-H. Mirian-Hosseinabadi and H. Sheikhveisi

January 2006
Towards an Automated Deployment Planner for Composition of Web Services as Software Components Article

Electronic Notes in Theoretical Computer Science, 239-253.

A. Heydarnoori, F. Mavaddat and F. Arbab (Farhad)

January 2006
Deploying Loosely Coupled, Component-based Applications into distributed environments In Proceedings

A. Heydarnoori, F. Mavaddat and F. Arbab (Farhad)

January 2006
A Component Coordination Model Based on Mobile Channels Article

Electronic Notes in Theoretical Computer Science, 121-138.

J.V. Guillen Scholten (Juan), F. Arbab (Farhad), M.M. Bonsangue (Marcello) and F.S. de Boer (Frank)

January 2006
Modeling the Exogenous Coordination of Mobile Channel-based systems with petri nets Article

Electronic Notes in Theoretical Computer Science, 121-138.

J.V. Guillen Scholten (Juan), F. Arbab (Farhad), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2006
A Component Coordination Model Based on Mobile Channels Article

Fundamenta Informaticae, 1-22.

J.V. Guillen Scholten (Juan), F. Arbab (Farhad), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2006
Interacting process classes Article

A. Goel, S. Meng, A. Roychoudhury and P.S. Thiagarajan

January 2006
Compositional Operational Semantics of a UML-Kernel-Model language Article

Electronic Notes in Theoretical Computer Science, 79-96.

H. Fecher, M. Kyas (Marcel), W.P. de Roever and F.S. de Boer (Frank)

January 2006
Type for hierarchic shapes (summary) In Proceedings

S. Drossopoulou, D.G. Clarke (David) and J. Noble

January 2006
Introduction -- special issue on Enterprise Architecture Article

Information Systems Frontiers, 63-66.

H. ter Doest, M.M. Lankhorst, H.B.M. Jonkers, H. Bosma, R.M.A. Wieringa and F. Arbab (Farhad)

January 2006
Software Adaptation in Integrated Tool Frameworks for Composite services In Proceedings

N.K. Diakov (Nikolay) and F. Arbab (Farhad)

January 2006
Modelling Coordination in Biological Systems In Proceedings

D.G. Clarke (David), D. Costa (David) and F. Arbab (Farhad)

January 2006
Connector Colouring I: Synchronisation and Context Dependency Article

Electronic Notes in Theoretical Computer Science, 101-119.

D.G. Clarke (David), D. Costa (David) and F. Arbab (Farhad)

January 2006
A Framework for Automatically Checking Anonymity with mCRL In Proceedings

T. Chothia (Tom), S.-M. Orzan (Simona-Mihaela), J. Pang and M.T. Dashti (Mohammad)

January 2006
Q-Automata: Modelling the Resource Usage of Concurrent Components In Proceedings

T. Chothia (Tom) and J. Kleijn

January 2006
Analysing the Mute Anonymous File-Sharing System Using the pi-calculus In Proceedings

T. Chothia (Tom)

January 2006
Presenting Functors by Operations and Equations, in Foundations of Software Science and Computation Structures In Proceedings

M.M. Bonsangue (Marcello) and A. Kurz (Alexander)

January 2006
On the semantics of componentware: a coalgebraic perspective, in Mathematical Frameworks for Component Software Book Chapter

L.S. Barbosa, S. Meng, B.K. Aichernig and N. Rodrigues

January 2006
Preface -- special issue on Foundations of Software Engineering Article

Electronic Notes in Theoretical Computer Science, 1-2.

F. Arbab (Farhad) and M. Sirjani (Marjan)

January 2006

Available Years

Publications from 2017

A Runge-Kutta discontinuous-Galerkin level-set method for unsteady compressible two-fluid flow Tech Report

Kinetic electrostatic structures in current-carrying pair plasmas Tech Report

Modeling the Exogenous Coordination of Mobile Channel based Systems with Petri Nets In Proceedings

Virtual Organizations as Normative Multi-agent Systems In Proceedings

Proceedings of the First International Workshop on Security and Trust Management Proceedings

System reduction of nonlinear positive systems by linearization and truncation In Proceedings

Observers for linear positive systems In Proceedings

Towards Multi-level Optimization Tech Report

Software Package For Realization and Minimization of Linear and Bilinear Switched and Hybrid Systems Software

Control of rectangular multi-affine hybrid systems In Proceedings

Reachability and control synthesis for piecewise-affine hybrid systems on simplices Article

A Framework for Efficient Automated Optimal Design of Electromagnetic Actuators In Proceedings

Efficient Optimal Design of Electromagnetic Actuators Using Space-Mapping Article

Optimization in Electromagnetics with the Manifold-Mapping Technique In Proceedings

Generalised Hybrid Trajectory Spaces In Proceedings

Aspects of goal-oriented model-error estimation in convection-diffusion problems In Proceedings

Improving the efficiency of aerodynamic shape optimization on unstructured meshes In Proceedings

Aerodynamic shape optimization by means of sequential linear programming techniques In Proceedings

Controlling a class of nonlinear systems on rectangles Article

Ariadne: a framework for reachability analysis of hybrid automata In Proceedings

Robust numerical methods for boundary-layer equations for a model problem of flow over a symmetric curved surface Article

Wave Trains, Solitons and Modulation Theory in FPU Chains Book Chapter

Global warming could destabilize plankton in oceans Article

IRKC: An IMEX solver for stiff diffusion-reaction PDEs Article

Viscous shocks in the destabilized Kuramoto- Sivashinsky equation Article

Geometric relations of absolute and essential spectra of wave trains Article

Positivity for explicit two-step methods in linear multistep and one-leg form Article

Reduced mixing generates oscillations and chaos in the oceanic deep chlorophyll maximum Article

Homoclinic bifurcations at the onset of pulse self-replication Article

Reconstruction of diffusions using spectral data from timeseries Article

Fitting timeseries by continuous-time Markov chains: A quadratic programming approach Article

A geometric construction of traveling waves in a bioremediation model Article

Numerical Optimization with Real-Valued Estimation-of-Distribution Algorithms Book Chapter

Multi-objective optimization with the naive MIDEA Book Chapter

Multiagent planning: problem properties that matter In Proceedings

On Inefficiencies in Multiagent Planning In Proceedings

An Evolutionary Dynamical Analysis of Multi-Agent Learning in Iterated games Article

A Scalable Method for Online Learning of Non-linear Preferences Based on Anonymous Negotiation Data In Proceedings

Efficient Methods for Automated Multi-Issue Negotiation: Negotiating over a Two-Part Tariff Article

Automating supply chain negotiations using autonomous agents: a case study in transportation logistics In Proceedings

VOX POPULI: Automatic Generation of Biased Video Sequences Tech Report

Visualization of Agent-Mediated Bargaining over Bundles of Goods In Proceedings

Multi-Attribute Vickrey Auctions when Utility Functions are Unknown In Proceedings

Learning Inventory Management Strategies for Commodity Supply Chains with customer satisfaction In Proceedings

Adaptive Learning in Complex Trade Networks In Proceedings

A Versatile Approach to Combining Trust Values for Making Binary Decisions In Proceedings

Repeated Auctions with Complementarities In Proceedings

Strategic Foresighted Learning in Competitive Multi-Agent Games In Proceedings

Learning from induced changes in opponent (re)actions in multi-agent games In Proceedings

Action-Reaction in Multi-Agent Games In Proceedings

The Dynamics and Semantics of Collaborative Tagging In Proceedings

Multi-Attribute Bilateral Bargaining in a One-to-Many Setting In Proceedings

Bilateral Bargaining with Multiple Opportunities: Knowing your Opponent's Bargaining Position Article

The Agent reputation and Trust (ART) Testbed In Proceedings

This side up! Article

Optimal on-line flow time with resource augmentation Article

Online scheduling of splittable tasks Article

Computationally Intelligent Online Dynamic Vehicle Routing by Explicit Load Prediction in an Evolutionary Algorithm In Proceedings

The Correlation-Triggered Adaptive Variance Scaling IDEA In Proceedings

Combining Gradient Techniques for Numerical Multi-Objective Evolutionary Optimization In Proceedings

Robust Evolutionary Algorithm Design for Socio-Economic Simulation Article

Proceedings of the first international workshop on Algebra and Coalgebra in Computer Science Book

Formal Methods for Components and Objects Book

Formal Methods for Components and Objects Book

Components: From object to mobile channels Book Chapter

Coordinated Composition of Software Components Book Chapter

Computing and Interaction Book Chapter

Composition of Interacting Computations Book Chapter

Using XML Transformations for Enterprise Architectures In Proceedings

Compositional Semantics of an Actor-Based Language Using constraint automata In Proceedings

Strong types for relational databases In Proceedings

Algebraic specification and coalgebraic synthesis of Mealy automata In Proceedings

Semantics of plan revision in intelligent agents Article

Goal-oriented modularity in agent programming In Proceedings

Prototyping 3APL in the Maude term rewriting language In Proceedings

Generic ownership for generic java In Proceedings

Formal Semantics and Analysis of Component Connectors in reo Article

Components as coalgebras: The refinement dimension Article

A Channel Based Communication Model with a Weighted Mobility In Proceedings