Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

The EMF Model Transformation Framework Book Chapter

E. Biermann, K. Ehrig, C. Ermel, C. Krause (born Köhler) (Christian) and G. Taentzer

January 2008
Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools In Proceedings

F. Arbab (Farhad), C. Krause (born Köhler) (Christian), Z. Maraikar (Ziyan), Y.-J. Moon (Young-Joo) and J.M.P. Proença (Jose)

January 2008
3D Facial Landmarking under Expression, Pose, and Occlusion Variations In Proceedings

H. Dibeklioğlu, A.A. Salah (Albert Ali) and L. Akarun

January 2008
Synthesis of Connectors from Scenario-based Interaction Specifications In Proceedings

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

January 2008
Static Check of WSCDL Documents In Proceedings

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

January 2008
Reconfiguration Distributed Reo Connectors In Proceedings

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

January 2008
Verification of Networks of Timed Automata using mCRL2 In Proceedings

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

January 2008
Calculating Invariants as Coreflexive Bisimulations In Proceedings

L.S. Barbosa, J.N. Oliveira (José) and A.M. Silva (Alexandra)

January 2008
Metaplectic operators on {$C^n$} Article

Quarterly Journal of Mathematics, 59(1), 15-28.

H.G. Feichtinger, M. Hazewinkel (Michiel), N. Kaiblinger, E. Matusiak and M. Neuhauser

January 2008
QoS-Driven Service Selection and Composition In Proceedings

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

January 2008
Automated, feature-based image alignment for high-resolution imaging mass spectrometry of large biological samples Article

Journal of the American Society for Mass Spectrometry, 19(6), 823-833.

A. Broersen (Alexander), R. van Liere (Robert) and not CWI et al

January 2008
A multi-agent platform for auction-based allocation of loads in transportation logistics (Demonstration Paper) In Proceedings

H. Noot (Han), V. Robu (Valentin), J.A. La Poutré (Han) and W.-J. van Schijndel

January 2008
Autonomous Scheduling In Proceedings

C. Yadati, C. Witteveen (Cees), Y.Q. Zhang (Yingqian (Jennie)), M. Wu (Mengxiao) and J.A. La Poutré (Han)

January 2008
Observational coalgebras and complete sets of co-operations Article

C.A. Kupke (Clemens) and J.J.M.M. Rutten (Jan)

January 2008
Rational streams coalgebraically Article

Logical Methods in Computer Science, 4(3)

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

January 2008
Deconstructing Reo In Proceedings

D.G. Clarke (David), J.M.P. Proença (Jose), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

January 2008
Reconfiguration of Reo Connectors Triggered by Dataflow Article

Electronic Communications of the European Association of Software Science and Technology

C. Krause (born Köhler) (Christian), D.F. de Oliveira Costa (David), J.M.P. Proença (Jose) and F. Arbab (Farhad)

January 2008
Model-checking agent refinement In Proceedings

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

January 2008
A Deductive Proof System for Multithreaded Java with Exceptions Article

Fundamenta Informaticae, 82(4)

F.S. de Boer (Frank), E. Abraham (Erika), W.P. de Roever and M. Steffen

January 2008
A Verification Framework for Normative Multi-Agent Systems In Proceedings

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

January 2008
Reo Connectors as Coordination Artifacts in 2APL Systems In Proceedings

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

January 2008
Testing Concurrent Objects with Application-Specific Schedulers In Proceedings

F.S. de Boer (Frank), R. Schlatte (Rudolf), B.K. Aichernig and E. Broch Johnsen

January 2008
A Framework for Video Interaction with Web Browsers Article

ERCIM News, 25-26.

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

January 2008
Comment on 'Mechanism of Branching in Negative Ionization Fronts' Article

Physical Review Letters, 1-1.

U. Ebert (Ute) and G. Derks (Gianne)

January 2008
A visual approach for modeling spatiotemporal relations In Proceedings

R.L. Guimarães (Rodrigo Laiola), C.S.S. Neto and L.F.G. Soares (Luiz Fernando Gomes)

January 2008
Minimizing average flow time in sensor data gathering In Proceedings

V. Bonifaci (Vincenzo), P. Korteweg, A. Marchetti Spaccamela (Alberto) and L. Stougie (Leen)

January 2008
Enumerating precursor sets of target metabolites in a metabolic network In Proceedings

L. Cottret, P.V. Milreu (Paulo), V. Acuña (Vicente), A. Marchetti Spaccamela (Alberto), F. Viduani Martinez, M.-F. Sagot (Marie-France) and L. Stougie (Leen)

January 2008
The Distributed Wireless Gathering Problem In Proceedings

V. Bonifaci (Vincenzo), P. Korteweg, A. Marchetti Spaccamela (Alberto) and L. Stougie (Leen)

January 2008
Balanced subset sums of dense sets of integers Tech Report

G. Karolyi (Gyula)

January 2008
Algebraic and combinatorial methods in the theory of set addition Tech Report

G. Karolyi (Gyula)

January 2008
Minimizing flow time in the wireless gathering problem In Proceedings

V. Bonifaci (Vincenzo), P. Korteweg, A. Marchetti Spaccamela (Alberto) and L. Stougie (Leen)

January 2008
Random walks on the vertices of transportation polytopes with constant number of sources Article

Random Structures & Algorithms, 33(3), 333-355.

M. Cryan, M. Dyer (Martin), H. Mueller (Haiko) and L. Stougie (Leen)

January 2008
An approximation algorithm for the Wireless Gathering Problem Article

Operations Research Letters, 36(5), 605-608.

V. Bonifaci (Vincenzo), P. Korteweg, A. Marchetti Spaccamela (Alberto) and L. Stougie (Leen)

January 2008
Semantics and computability of the evolution of hybrid systems Tech Report

P.J. Collins (Pieter)

January 2008
Realization theory for rational systems Tech Report

J. Nemcová (Jana) and J.H. van Schuppen (Jan)

January 2008
Coding and modulation for the additive exponential noise channel In Proceedings

A. Martinez (Alfonso)

January 2008
Bit-Interleaved Coded Modulation Revisited: A Mismatched Decoding Perspective In Proceedings

A. Martinez (Alfonso), A. Guillén i Fàbregas, G. Caire and F.M.J. Willems

January 2008
Of Mechanism Design and Multiagent Planning In Proceedings

R.P.J. van der Krogt, M.M. de Weerdt (Mathijs) and Y.Q. Zhang (Yingqian (Jennie))

January 2008
Fuzzy Argumentation for Trust Book Chapter

R. Stranders, M.M. de Weerdt (Mathijs) and C. Witteveen (Cees)

January 2008
Enhancing the Performance of Maximum-Likelihood Gaussian EDAs Using Anticipated Mean Shift In Proceedings

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

January 2008
Matching inductive search bias and problem structure in continuous estimation-of-distribution algorithms Article

European Journal of Operational Research, 185(3), 1246-1264.

P.A.N. Bosman (Peter) and J. Grahl

January 2008
Learning Structure Illuminates Black Boxes: an Introduction into Estimation of Distribution Algorithms Book Chapter

J. Grahl, S. Minner and P.A.N. Bosman (Peter)

January 2008
Adaptation of a Success Story in GAs: Estimation-of-Distribution Algorithms for Tree-based Optimization Problems Book Chapter

P.A.N. Bosman (Peter) and E. de Jong (Edwin)

January 2008
Online Transportation and Logistics using Computationally Intelligent Anticipation Book Chapter

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

January 2008
On variable length coding of asymptotically mean stationary measures Unpublished

L. Debowski (Lukasz Jerzy)

January 2008
On the Vocabulary of Grammar-Based Codes and the Logical Consistency of Texts Unpublished

L. Debowski (Lukasz Jerzy)

January 2008
A general definition of conditional information and its application to ergodic decomposition Unpublished

L. Debowski (Lukasz Jerzy)

January 2008
Combining expert advice efficiently In Proceedings

W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)

January 2008
Algorithmic Information Theory Book Chapter

P.D. Grünwald (Peter) and P.M.B. Vitányi (Paul)

January 2008
Entropy Concentration and the Empirical Coding Game Article

P.D. Grünwald (Peter)

January 2008
An algorithmic and a geometric characterization of coarsening at random Article

Annals of Statistics, 36(5), 2409-2422.

R.D. Gill (Richard) and P.D. Grünwald (Peter)

January 2008
Combining expert advice efficiently In Proceedings

W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)

January 2008
Approximating Geometric Coverage Problems In Proceedings

T. Erlebach (Thomas) and E.J. van Leeuwen (Erik Jan)

January 2008
Domination in Geometric Intersection Graphs In Proceedings

T. Erlebach (Thomas) and E.J. van Leeuwen (Erik Jan)

January 2008
An algorithm for weighted fractional matroid matching Tech Report

D. Gijswijt (Dion) and G. Pap (Gyula)

January 2008
Systems biology towards life in silico: Mathematics of the control of living cells Article

Journal of Mathematical Biology, 7-34.

H.V. Westerhoff (Hans), F.J. Bruggeman (Frank), H.M. Härdin (Hanna), J.H. van Schuppen (Jan) and not CWI et al

January 2008
Problems of Control and System Theory motivated by Biochemical Reaction Systems In Proceedings

J.H. van Schuppen (Jan)

January 2008
Control to facet by piecewise-affine output feedback In Proceedings

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

January 2008
Control for coordination of linear systems In Proceedings

A.C.M. Ran and J.H. van Schuppen (Jan)

January 2008
Supervisor synthesis based on abstractions of nondeterministic automata In Proceedings

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

January 2008
Coordination control of discrete-event systems In Proceedings

J. Komenda and J.H. van Schuppen (Jan)

January 2008
Silicon cell models: {Construction}, analysis, and reduction Book Chapter

F.J. Bruggeman (Frank), H.M. Härdin (Hanna), J.H. van Schuppen (Jan) and H.V. Westerhoff (Hans)

January 2008
Supervisory control of modular systems with global specification languages Article

Automatica, 1127-1134.

J. Komenda, J.H. van Schuppen (Jan), B. Gaudin and H. Marchand

January 2008
Modular control of discrete-event systems with coalgebra Article

IEEE Transactions on Automatic Control, 447-460.

J. Komenda and J.H. van Schuppen (Jan)

January 2008
A comparison of the notions of optimality in soft constraints and graphical games In Proceedings

K.R. Apt (Krzysztof), F. Rossi and K.B. Venable

January 2008
Comparing the notions of optimality in CP-nets, strategic games and soft constraints Article

Annals of Mathematics and Artificial Intelligence, 52(1), 25-54.

K.R. Apt (Krzysztof), F. Rossi and K.B. Venable

January 2008
The realizations of response maps by rational systems In Proceedings

J. Nemcová (Jana)

January 2008
Constructing the Simplest Possible Phylogenetic Network from Triplets, In Proceedings

L.J.J. van Iersel (Leo) and S.M. Kelk (Steven)

January 2008
Constructing the Simplest Possible Phylogenetic Network from Triplets Tech Report

L.J.J. van Iersel (Leo) and S.M. Kelk (Steven)

January 2008
Constructing level-2 phylogenetic networks from triplets In Proceedings

L.J.J. van Iersel (Leo), J.C.M. Keijsper, S.M. Kelk (Steven), L. Stougie (Leen), F. Hagen and T. Boekhout

January 2008
Optimaal combineren: Van wiskunde naar spoorwegen en terug Book Chapter

A. Schrijver (Lex)

January 2008
Computability of controllers for discrete-time semicontinuous systems In Proceedings

P.J. Collins (Pieter)

January 2008
Reachability computation for hybrid systems with Ariadne In Proceedings

L. Benvenuti, D. Bresolin, A. Casagrande, P.J. Collins (Pieter), A. Ferrari, E. Mazzi, T. Villa and A. Sangiovanni-Vincentelli

January 2008
Chaotic Dynamics in Hybrid Systems Article

Nonlinear Dynamics and Systems Theory, 8(2), 169-194.

P.J. Collins (Pieter)

January 2008
Tangency Bifurcations of Global Poincaré Maps Article

SIAM Journal on Applied Dynamical Systems, 7(3), 712-754.

C.M. Lee, P.J. Collins (Pieter), B. Krauskopf and H.M. Osinga

January 2008
Drawing (Complete) Binary Tanglegrams: Hardness, Approximation, Fixed-Parameter Tractability Tech Report

J. Byrka (Jaroslaw), K. Buchin, M. Buchin, M. Nollenburg, Y. Okamoto, R.I. Silveira and A. Wolff

January 2008
Tensor subalgebras and first fundamental theorems in invariant theory Article

Journal of Algebra, 1305-1319.

A. Schrijver (Lex)

January 2008
Shortest vertex-disjoint two-face paths in planar graphs In Proceedings

É. Colin de Verdière and A. Schrijver (Lex)

January 2008
Szemelv\'enyek a kombinatorikus optimaliz\'al\'as t\"ort\'enet\'eb\"ol Article

Alkalmazott Matematikai Lapok, 1-74.

A. Schrijver (Lex)

January 2008
Graph parameters and semigroup functions Article

European Journal of Combinatorics, 987-1002.

L. Lovász (László) and A. Schrijver (Lex)

January 2008
Flows in railway optimization Article

Nieuw Archief voor Wiskunde, 126-131.

A. Schrijver (Lex)

January 2008
Graph invariants in the edge model Book Chapter

A. Schrijver (Lex)

January 2008
Wiskunde achter het spoorboekje Article

Pythagoras, 48(2), 8-12.

A. Schrijver (Lex)

January 2008
Shunting of passenger train units: an integrated approach Article

Transportation Science, 436-449.

L.G. Kroon, R.M. Lentink and A. Schrijver (Lex)

January 2008
Computation of risk contribution in the Vasicek portfolio credit loss model In Proceedings

X. Huang and C.W. Oosterlee (Kees)

January 2008
The CONV method for pricing options In Proceedings

R. Lord, F. Fang, F. Bervoets and C.W. Oosterlee (Kees)

January 2008
Numerical performance of a parallel solution method for a heterogeneous 2D Helmholtz equation Article

Computing and Visualization in Science, 139-146.

A. Kononov, C.D. Riyanti, S.W. de Leeuw, C.W. Oosterlee (Kees) and C. Vuik

January 2008
A stabilized difference scheme for deformable porous media and its numerical resolution by multigrid methods Article

Computing and Visualization in Science, 67-76.

F.J. Gaspar (Francisco), F.J. Lisbona and C.W. Oosterlee (Kees)

January 2008
Algebraic multigrid solvers for complex-valued matrices Article

SIAM Journal on Scientific Computing, 1548-1571.

S.P. MacLachlan (Scott) and C.W. Oosterlee (Kees)

January 2008
Editorial on three special issues (Vol. 11, 1–3, 2008) of the journal Computing and Visualization in Science devoted to the 8th European Multigrid Conference (EMG) Article

Computing and Visualization in Science, 1-1.

P. Wesseling, P.W. Hemker (Piet) and C.W. Oosterlee (Kees)

January 2008
A Monotone, Higher-Order Accurate, Fixed-Grid Finite-Volume Method for Advection Problems with Moving Boundaries In Proceedings

Y.J. Hassen (Yunus) and B. Koren (Barry)

January 2008
Development of the Discrete Adjoint for a Three-Dimensional Unstructured Euler Solver Article

Journal of Aircraft, 45(1), 237-245.

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

January 2008
A surface capturing method for the efficient computation of steady water waves Article

Journal of Computational and Applied Mathematics, 618-625.

J. Wackers (Jeroen) and B. Koren (Barry)

January 2008
Least-squares spectral element method applied to the Euler equations Article

International Journal for Numerical Methods in Fluids, 1371-1395.

M.I. Gerritsma, R. van der Bas, B. De Maerschalck (Bart), B. Koren (Barry) and H. Deconinck

January 2008
Efficient computation of steady water flow with waves Article

International Journal for Numerical Methods in Fluids, 1567-1574.

J. Wackers (Jeroen) and B. Koren (Barry)

January 2008
Finiteness for the k-factor model and chirality varieties Tech Report

J. Draisma (Jan)

January 2008
Secant dimensions of low-dimensional homogeneous varieties Tech Report

K. Baur and J. Draisma (Jan)

January 2008
On the ideals of equivariant tree models Tech Report

J. Draisma (Jan) and J. Kuttler

January 2008
Quantum algorithm for identifying hidden polynomial function graphs Tech Report

T. Decker, J. Draisma (Jan) and P. Wocjan

January 2008
Identifying minimal and dominant solutions for Kummer recursions Article

Mathematics of Computation, 77(264), 2277-2293.

A. Deaño, J. Segura (Javier) and N.M. Temme (Nico)

January 2008

Previous

Next

Available Years