university website Publications by Year
  • sign in
  • Publications By Year

Publications from 2021

  • Combining 13C-metabolic flux analysis and genome-scale modeling of short chain fatty acid production Presentation

    M.J.A. van Hoek (Milan), M.N. Steijaert, T.W. Binsl, J.H.G.M. van Beek, R.M.H. Merks (Roeland), K. Venema and A.A. de Graaf

    January 2011
  • Cell shape and rigidity can be sufficient for vascular network formation Presentation

    M.M. Palm (Margriet) and R.M.H. Merks (Roeland)

    January 2011
  • thumb

    Tip cells in angiogenesis: the role of selection and behavior Presentation

    M.M. Palm (Margriet), E. van Dijk (Erik), A. Feenstra and R.M.H. Merks (Roeland)

    January 2011
    open access
  • Combining 13C-metabolic flux analysis and genome-scale modeling of short chain fatty acid production Presentation

    M.J.A. van Hoek (Milan) and M.N. Steijaert

    January 2011
  • Cell-based modeling for the VPH: The role of collective cell behavior in angiogenesis and gut microbial metabolism Presentation

    M.J.A. van Hoek (Milan), M.M. Palm (Margriet), S.E.M. Boas (Sonja) and R.M.H. Merks (Roeland)

    January 2011
  • Maintaining redox balance is key to explaining modes of metabolic switching Unpublished

    M.J.A. van Hoek (Milan) and R.M.H. Merks (Roeland)

    January 2011
  • Diffusion Estimation from Multiscale Data by Operator Eigenpairs Article

    Multiscale Modeling and Simulation, 9(4), 1588-1623.

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

    January 2011
    open access
  • thumb

    Component splitting for semi-discrete Maxwell equations Article

    BIT : Numerical Mathematics, 51(2), 427-445.

    J.G. Verwer (Jan)

    January 2011
    open access
  • On Tree-Constrained Matchings and Generalizations In Proceedings

    S. Canzar (Stefan), K. Elbassioni, G.W. Klau (Gunnar) and J. Mestre

    January 2011
  • Benchmarking Parameter-free AMaLGaM on Functions With and Without Noise In Proceedings

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

    January 2011
  • The Roles of Local Search, Model Building and Optimal Mixing in Evolutionary Algorithms from a BBO Perspective In Proceedings

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

    January 2011
  • Optimal Mixing Evolutionary Algorithms In Proceedings

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

    January 2011
  • thumb

    Quantitative analysis of venation patterns of Arabidopsis leaves by supervised image analysis Article

    The Plant Journal, epub(doi:10.1111/j.1365-313X.2011.04803.x)

    S. Dhondt, D. van Haerenborgh, C. van Cauwenbergh, R.M.H. Merks (Roeland), W. Philips, G.T.S. Beemster and D. Inze

    January 2011
    open access
  • Quantitative Kleene coalgebras Article

    Information and Computation, 209(5), 822-849.

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

    January 2011
    open access
  • Sound and complete axiomatization of trace semantics for probabilistic systems Article

    Electronic Notes in Theoretical Computer Science, 291-311.

    A.M. Silva (Alexandra) and A. Sokolova

    January 2011
    open access
  • On Moessner's theorem Tech Report

    D. Kozen and A.M. Silva (Alexandra)

    January 2011
  • thumb

    Preface Article

    Theoretical Computer Science, 412(38), 4967-4968.

    B.P.F. Jacobs, M. Niqui (Milad), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

    January 2011
    open access
  • Proceedings Fourth Interaction and Concurrency Experience Book

    January 2011
    open access
  • Concurrency and Interaction in Complex Systems Book

    January 2011
  • Sound and complete axiomatizations of coalgebraic language equivalence Article

    Computing Research Repository

    M.M. Bonsangue (Marcello), S. Milius and A.M. Silva (Alexandra)

    January 2011
    open access
  • Stochastic Reo: a case study In Proceedings

    Y.-J. Moon (Young-Joo), F. Arbab (Farhad), A.M. Silva (Alexandra), A. Stam and C. Verhoef (Chretien)

    January 2011
  • Nonblocking distributed state-tree-structures Master Thesis

    K. Lyngbaek

    January 2011
  • LQG coordination control Master Thesis

    N. Pambakian

    January 2011
  • Controllability and observability of coordinated linear systems Tech Report

    P.L. Kempker (Pia), A.C.M. Ran and J.H. van Schuppen (Jan)

    January 2011
  • Maximally permissive distributed dupervisory control of nondeterministic discrete-event systems In Proceedings

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

    January 2011
  • Hierarchical control with partial observations: Sufficient conditions In Proceedings

    O.D.M. Boutin (Olivier), J. Komenda, T. Masopust (Tomas), K. Schmidt and J.H. van Schuppen (Jan)

    January 2011
  • Networks of Real-Time Actors: Schedulability Analysis and Coordination In Proceedings

    M.M. Jaghoori (Mohammad Mahdi), O. Hlynsson and M. Sirjani (Marjan)

    January 2011
  • Ten Years of Analyzing Actors: Rebeca Experience In Proceedings

    M.M. Jaghoori (Mohammad Mahdi) and M. Sirjani (Marjan)

    January 2011
  • thumb

    Composing Real-Time Concurrent Objects - Refinement, Compatibility and Schedulability In Proceedings

    M.M. Jaghoori (Mohammad Mahdi)

    January 2011
    open access
  • thumb

    From Nonpreemptive to Preemptive Scheduling – From Single-Processor to Multi-Processor In Proceedings

    M.M. Jaghoori (Mohammad Mahdi)

    January 2011
    open access
  • A formation flying algorithm for autonomous underwater vehicles In Proceedings

    P.L. Kempker (Pia), A.C.M. Ran and J.H. van Schuppen (Jan)

    January 2011
  • A modular-coordinated control for continuous Petri nets In Proceedings

    C.R. Vazquwz, J.H. van Schuppen (Jan) and M. Silva (Manuel)

    January 2011
  • Abstraction of biochemical reaction systems In Proceedings

    P.J. Collins (Pieter), L.C.G.J.M. Habets (Luc), J.H. van Schuppen (Jan), I. Černà, J. Fabrikovà and D. Šafrànek

    January 2011
  • Coordinated control of discrete-event systems with nonprefix-closed languages In Proceedings

    J. Komenda, T. Masopust (Tomas) and J.H. van Schuppen (Jan)

    January 2011
  • Control of distributed stochastic systems - Introduction, problems, and approaches In Proceedings

    J.H. van Schuppen (Jan)

    January 2011
  • Mathematical systems theory Article

    Machazine, 15(4), 34-35.

    D. Jeltsema, J.W. van der Woude (Jacob) and J.H. van Schuppen (Jan)

    January 2011
  • Control of distributed systems: Tutorial and overview Article

    European Journal of Control, 17(5-6), 579-602.

    J.H. van Schuppen (Jan), O.D.M. Boutin (Olivier), P.L. Kempker (Pia), J. Komenda, T. Masopust (Tomas), N. Pambakian and A.C.M. Ran

    January 2011
  • thumb

    Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator Article

    Systems & Control Letters, 492-502.

    J. Komenda, T. Masopust (Tomas) and J.H. van Schuppen (Jan)

    January 2011
  • Semantics and computability of the evolution of hybrid systems Article

    SIAM Journal on Control and Optimization, 890-925.

    P.J. Collins (Pieter)

    January 2011
  • The distributed wireless gathering problem Article

    Theoretical Computer Science, 412(8), 633-641.

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

    January 2011
  • On the complexity of computing the handicap of a sufficient matrix Article

    Mathematical Programming Series B, 129(2), 383-402.

    E. de Klerk (Etienne) and M. Eisenberg-Nagy (Marianna)

    January 2011
  • thumb

    Characterizing graphic matroids by a system of linear equations Tech Report

    J. Geelen (Jim) and A.M.H. Gerards (Bert)

    January 2011
    open access
  • Safe Learning: bridging the gap between Bayes, MDL and statistical learning theory via empirical convexity In Proceedings

    P.D. Grünwald (Peter)

    January 2011
  • Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration Article

    Journal of Artificial Intelligence Research, 393-426.

    P.D. Grünwald (Peter) and J.Y. Halpern

    January 2011
  • Buchi Automata for Modeling Component Connectors Article

    Software and System Modelling, 10(2), 183-200.

    M.M. Bonsangue (Marcello), D.G. Clarke (David) and M. Izadi (Mohammad)

    January 2011
  • Formal Methods for Components and Objects", 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 --- "State-of-the-Art Survey Book

    B.K. Aichernig, F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

    January 2011
  • Immunizing Conic Quadratic Optimization Problems Against Implementation Errors Tech Report

    D. den Hertog (Dick) and A. Ben-Tal (Aharon)

    January 2011
    open access
  • Robust Solutions of Optimization Problems Affected by Uncertain Probabilities Tech Report

    A. Ben-Tal (Aharon), D. den Hertog (Dick), A.M.B. De Waegenaere, B. Melenberg and G. Rennen

    January 2011
    open access
  • thumb

    Free-Surface Viscous Flow Solution Methods for Ship Hydrodynamics Article

    Archives of Computational Methods in Engineering, 1-41.

    J. Wackers (Jeroen), B. Koren (Barry), H.C. Raven, A. van der Ploeg (Auke), A.R. Starke, G.B. Deng, P. Queutey, M. Visonneau (Michel), T. Hino and K. Ohashi

    January 2011
    open access
  • thumb

    In Memoriam Jan Verwer (1946-2011) “Een dag zonder fouten is een dag zonder wiskunde” Article

    Nieuw Archief voor Wiskunde, 91-93.

    J.E. Frank (Jason), W. Hundsdorfer (Willem) and B. Koren (Barry)

    January 2011
    open access
  • thumb

    Review of computational fluid dynamics for wind turbine wake aerodynamics Article

    Wind Energy, 799-819.

    B. Sanderse (Benjamin), S.P. van der Pijl (Sander) and B. Koren (Barry)

    January 2011
    open access
  • On the Smoothed Price of Anarchy of the Traffic Assignment Problem In Proceedings

    F. Carvalho Rodrigues (Félix), M. Ritt, L. Buriol and G. Schäfer (Guido)

    January 2011
  • Using simulation to evaluate how multi-agent transportation planners cope with truck breakdowns In Proceedings

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

    January 2011
    open access
  • Multi-player Multi-issue Negotiation with Complete Information In Proceedings

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

    January 2011
    open access
  • Sparsifying Distance Matrices for Protein-Protein Structure Alignments In Proceedings

    A. Mucherino (Antonio), I. Wohlers (Inken), G.W. Klau (Gunnar) and R. Andonov (Rumen)

    January 2011
    open access
  • thumb

    Random graph asymptotics on high-dimensional tori. II. Volume, diameter and mixing time Article

    Probability Theory and Related Fields, 149(3-4), 397-415.

    M. O. Heydenreich (Markus) and R.W. van der Hofstad (Remco)

    January 2011
    open access
  • thumb

    Long-range self-avoiding walk converges to alpha-stable processes Article

    Annales de l'Institut Henri Poincaré - Probability and Statistics, 47(1), 20-42.

    M. O. Heydenreich (Markus)

    January 2011
    open access
  • thumb

    Quantum proofs for classical theorems Article

    Theory of Computing

    A. Drucker and R.M. de Wolf (Ronald)

    January 2011
    open access
  • Uniform approximation by (quantum) polynomials Article

    International Journal of Quantum Information, 11(3-4), 215-225.

    A. Drucker and R.M. de Wolf (Ronald)

    January 2011
  • Near-optimal and explicit Bell inequality violations In Proceedings

    H.M. Buhrman (Harry), O. Regev (Oded), G. Scarpa (Giannicola) and R.M. de Wolf (Ronald)

    January 2011
  • thumb

    Error bounds on the reconstruction of binary images from low resolution scans In Proceedings

    W.R. Fortes (Wagner) and K.J. Batenburg (Joost)

    January 2011
  • Bounds on the Difference between Reconstructions in Binary Tomography In Proceedings

    K.J. Batenburg (Joost), W.R. Fortes (Wagner), R. Tijdeman and L. Hajdu

    January 2011
  • Iterative correction of beam hardening artifacts in CT Article

    Superconductor Science and Technology

    G. van Gompel (Gert), K. van Slambrouck, M. Defrise, K.J. Batenburg (Joost), J. de Mey, J. Sijbers (Jan) and J. Nuyts

    January 2011
  • Barrier efficiency of sponge-like La2Zr207 buffer layers for YBCO-coated conductors Article

    Superconductor Science and Technology

    L. Molina, H. Tan (Haiyan), E. Biermans, K.J. Batenburg (Joost), J. Verbeeck, S. Bals (Sara) and G. Van Tendeloo (Gustaaf)

    January 2011
  • Electron tomography based on a total variation minimization reconstruction technique Article

    Ultramicroscopy

    B. Goris (Bart), W. van den Broek, K.J. Batenburg (Joost), H. Heidari Mezerji and S. Bals (Sara)

    January 2011
  • thumb

    Performance improvements for iterative electron tomography reconstruction using graphics processing units (GPUs) Article

    Journal of Structural Biology, 176(2), 250-253.

    W.J. Palenstijn (Willem Jan), K.J. Batenburg (Joost) and J. Sijbers (Jan)

    January 2011
  • Three-Dimensional Atomic Imaging of Colloidal Core-Shell Nanocrystals Article

    Nano Letters, 11(8), 3420-3424.

    S. Bals (Sara), M. Casavola, M.A. van Huis, S. van Aert (Sandra), K.J. Batenburg (Joost), G. Van Tendeloo (Gustaaf) and D. Vanmaekelbergh

    January 2011
  • A semi-automatic algorithm for grey level estimation in tomography Article

    Pattern Recognition Letters, 32(9), 1395-1405.

    K.J. Batenburg (Joost), W. van Aarle (Wim) and J. Sijbers (Jan)

    January 2011
  • Optimal Threshold Selection for Segmentation of Dense Homogeneous Objects in Tomographic Reconstructions Article

    IEEE Transactions on Medical Imaging, 30(4), 980-989.

    W. van Aarle (Wim), K.J. Batenburg (Joost) and J. Sijbers (Jan)

    January 2011
  • DART: a practical reconstruction algorithm for discrete tomography Article

    IEEE Transactions on Image Processing, 20(9), 2542-2553.

    K.J. Batenburg (Joost) and J. Sijbers (Jan)

    January 2011
  • thumb

    Usage Analysis and the Web of Data Article

    SIGIR Forum, a Medium of Discussion for SIGIR Members, 45(1), 63-69.

    B. Berendt, L. Hollink (Laura), V. Hollink (Vera), M. Luczak-Rösch, K. Möller and D. Vallet

    January 2011
    open access
  • Special issue dedicated to EMG2010 - Editorial Article

    Computing and Visualization in Science, 1-1.

    A. Borzi and C.W. Oosterlee (Kees)

    January 2011
  • Position-Based Quantum Cryptography: Impossibility and Constructions In Proceedings

    H.M. Buhrman (Harry), N. Chandran, S. Fehr (Serge), R. Gelles, V. Goyal, R. Ostrovsky and C. Schaffner (Christian)

    January 2011
  • thumb

    On cross-currency models with stochastic volatility and correlated interest rates Article

    Applied Mathematical Finance, 1-35.

    L.A. Grzelak (Lech Aleksander) and C.W. Oosterlee (Kees)

    January 2011
    open access
  • thumb

    Generalized beta regression models for random Loss-Given-Default Article

    Journal of Credit Risk, 7(4), 1-27.

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

    January 2011
    open access
  • thumb

    GPU implementation of a Helmholtz Krylov solver preconditioned by a shifted Laplace method Article

    Journal of Computational and Applied Mathematics, 281-293.

    H. Knibbe, C.W. Oosterlee (Kees) and C. Vuik

    January 2011
    open access
  • thumb

    The affine Heston model with correlated Gaussian interest rates for pricing hybrid derivatives Article

    Quantitative Finance, 11(11), 1647-1663.

    L.A. Grzelak (Lech Aleksander), C.W. Oosterlee (Kees) and S. van Weeren

    January 2011
    open access
  • thumb

    Saddlepoint approximations for expectations Article

    SIAM Journal on Financial Mathematics, 692-714.

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

    January 2011
    open access
  • thumb

    Analysis of multi-stage open shop processing systems In Proceedings

    J. Eggermont, A. Schrijver (Lex) and G.J. Woeginger

    January 2011
  • thumb

    Shortest vertex-disjoint two-face paths in planar graphs Article

    ACM Transactions on Algorithms, 7(2)

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

    January 2011
  • Adaptive Hedge In Proceedings

    T.A.L. van Erven (Tim), P.D. Grünwald (Peter), W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)

    January 2011
    open access
  • thumb

    The Langevin Limit of the Nosé-Hoover-Langevin Thermostat Article

    Journal of Statistical Physics, 715-724.

    J.E. Frank (Jason) and G.A. Gottwald

    January 2011
    open access
  • Message Passing in a Dynamic Epistemic Logic Setting In Proceedings

    F.A.G. Sietsma (Floor) and D.J.N. van Eijck (Jan)

    January 2011
  • Message Generated Kripke Semantics In Proceedings

    D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)

    January 2011
  • Logic of Information Flow on Communication Channels Article

    Lecture Notes in Computer Science

    Y. Wang (Yanjing), F.A.G. Sietsma (Floor) and D.J.N. van Eijck (Jan)

    January 2011
  • thumb

    Vakantiecursus 2011 - Symmetrie Book

    January 2011
    open access
  • thumb

    A peculiar streamer morphology created by a complex voltage pulse Article

    IEEE Transactions on Plasma Science, 39(11), 2216-2217.

    S. Nijdam (Sander), K. Miermans, E.M. van Veldhuizen and U. Ebert (Ute)

    January 2011
    open access
  • thumb

    Simulated avalanche formation around streamers in an overvolted air gap Article

    IEEE Transactions on Plasma Science, 39(11), 2256-2257.

    C. Li (Chao), U. Ebert (Ute) and W. Hundsdorfer (Willem)

    January 2011
    open access
  • Reflections on Vote Manipulation In Proceedings

    D.J.N. van Eijck (Jan), F.A.G. Sietsma (Floor) and S.E. Simon (Sunil)

    January 2011
  • A URI-based approach for addressing fragments of media resources on the Web Article

    International Journal on Multimedia Tools and Applications

    E. Mannens, D. van Deursen, R. Troncy (Raphael), S. Pfeiffer, C. Parker (Conrad), Y. Lafon, A.J. Jansen (Jack), M. Hausenblas and R. van de Walle

    January 2011
    open access
  • The Future of Research Communication (Dagstuhl Perspectives Workshop 11331) Article

    Dagstuhl Reports, 1(8), 29-52.

    T. Clark (Tim), A. de Waard, I. Herman (Ivan) and E. Hovy

    January 2011
    open access
  • Towards synergy between the open source and the research multimedia communities In Proceedings

    P.S. César Garcia (Pablo Santiago), W.T. Ooi (Wei Tsang), B. Moskowitz, Z. Babin, D.C.A. Bulterman (Dick), R. Lienhart and R. Richter

    January 2011
    open access
  • Towards Next Generation of Multimedia Authoring Tools Presentation

    R.L. Guimarães (Rodrigo)

    January 2011
  • Learning from MyVideos user study Presentation

    R.L. Guimarães (Rodrigo)

    January 2011
  • Automatic and Manual Processes in End-User Multimedia Authoring Tools: Where is the Balance? Presentation

    R.L. Guimarães (Rodrigo)

    January 2011
  • Social Practices around Personal Videos using the Web In Proceedings

    R.L. Guimarães (Rodrigo), P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick), I. Kegel (Ian) and P. Ljungstrand

    January 2011
    open access
  • Understanding Social TV: a survey In Proceedings

    P.S. César Garcia (Pablo Santiago) and D. Geerts (David)

    January 2011
    open access
  • Creating personalized memories from social events: community-based support for multi-camera recordings of school concerts In Proceedings

    R.L. Guimarães (Rodrigo), P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick), V. Zsombori and I. Kegel (Ian)

    January 2011
    open access
  • Multimedia document processing in an HTML5 world In Proceedings

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

    January 2011
    open access
  • thumb

    Invasion from a cell aggregate: the roles of active cell motion and mechanical equilibrium Presentation

    A. Szabó (Andras), K. Varga, T. Garay, B. Hegedus and A. Czirok

    January 2011
    open access
Previous
Next
Available Years
  • Publications from 2025
  • Publications from 2024
  • Publications from 2023
  • Publications from 2022
  • Publications from 2021
  • Publications from 2020
  • Publications from 2019
  • Publications from 2018
  • Publications from 2017
  • Publications from 2016
  • Publications from 2015
  • Publications from before 2015
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close