Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

The non-adaptive query complexity of testing k-parities Tech Report

H.M. Buhrman (Harry), D. Garcia Soriano (David), A. Matsliah (Arie) and R.M. de Wolf (Ronald)

January 2012
How low can approximate degree and quantum query complexity be for total Boolean functions? Tech Report

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

January 2012
Optimal quantum query bounds for almost all Boolean functions Tech Report

A. Ambainis (Andris), A. Backurs, J. Smotrovs (Juris) and R.M. de Wolf (Ronald)

January 2012
High order fluid model for streamer discharges In Proceedings

S. Dujko (Sasa), A. Markosyan (Aram), A. White and U. Ebert (Ute)

January 2012
Fooling one-sided quantum protocols Tech Report

H. Klauck (Hartmut) and R.M. de Wolf (Ronald)

January 2012
Derivation and test of high order fluid model for streamer discharges In Proceedings

A. Markosyan (Aram), S. Dujko (Sasa) and U. Ebert (Ute)

January 2012
Near-optimal and explicit Bell inequality violations Article

Theory of Computing, 8(27), 623-645.

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

January 2012
Investigation of NOx production and removal at a low NO level concentration in a pulsed corona reactors In Proceedings

E.A. Filimonova, F.J.C.M. Beckers, W.F.L.M. Hoeben, C. Li (Chao), A.J.M. Pemen, E.J.M. van Heesch and U. Ebert (Ute)

January 2012
Special issue on Computational Plasma Physics : preface Article

Journal of Computational Physics, 231(717)

B. Koren (Barry), U. Ebert (Ute), T. Gombosi, H. Guillard, R. Keppens (Rony) and D. Knoll

January 2012
Exclusive disjunction structures and graph representatives Tech Report

A. Cabello, M.G. Parker, G. Scarpa (Giannicola) and S. Severini (Simone)

January 2012
A generalization of Kochen-Specker sets relates quantum coloring to entanglement-assisted channel capacity In Proceedings

L. Mančinska (Laura), G. Scarpa (Giannicola) and S. Severini (Simone)

January 2012
Kochen-Specker set and the rank-1 quantum chromatic Article

IEEE Transactions on Information Theory, 58(4), 2524-2529.

G. Scarpa (Giannicola) and S. Severini (Simone)

January 2012
New bounds on the classical and quantum communication complexity of some graph properties In Proceedings

G. Ivanyos, H. Klauck (Hartmut), T. J. Lee (Troy), M. Santha (Miklos) and R.M. de Wolf (Ronald)

January 2012
Linear vs semidefinite extended formulations: Exponential separation and strong lower bounds In Proceedings

S. Fiorini, S. Massar (Serge), S. Pokutta (Sebastian), H.R. Tiwary and R.M. de Wolf (Ronald)

January 2012
Optimal teleportation with a noisy source Article

Physical Review A: Atomic, Molecular and Optical Physics, 85(2)

B.G. Taketani, F. de Melo (Fernando) and L. Ruynet Filho

January 2012
Quantum statistical synchronization of non-interacting particles Article

Fortschritte der Physik

M.C. Tichy, M. Tiersch, F. de Melo (Fernando), F. Mintert and A. Buchleitner

January 2012
Matrices if fidelities for ensembles of quantum states and the Holevo quantity Article

Quantum Information and Computation, 12(5/6)

M. Fannes, F. de Melo (Fernando), W. Roga and K. Zyczkowski

January 2012
The power of noisy fermionic quantum computation Tech Report

F. de Melo (Fernando), P. Cwiklinski and B.M. Terhal (Barbara)

January 2012
A generalized parallel task model for recurrent real-time processes In Proceedings

S.K. Baruah (Sanjoy), V. Bonifaci (Vincenzo), A. Marchetti Spaccamela (Alberto), L. Stougie (Leen) and A. Wiese (Andreas)

January 2012
Metabolic stories: Uncovering all possible scenarios for interpreting metabolomics data In Proceedings

P.V. Milreu (Paulo), A. Morino, V. Acuña (Vicente), E. Birmele, L. Cottret, V. Lacroix, A. Marchetti Spaccamela (Alberto), L. Stougie (Leen), P. Crescenzi and M.-F. Sagot (Marie-France)

January 2012
The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems In Proceedings

S.K. Baruah (Sanjoy), V. Bonifaci (Vincenzo), G. Del'Angelo, H. Li, A. Marchetti Spaccamela (Alberto), S.L. van der Ster (Suzanne) and L. Stougie (Leen)

January 2012
Charge group partitioning in biomolecular simulation In Proceedings

S. Canzar (Stefan), M. El-Kebir (Mohammed), R. Pool (René), K. Elbassioni, A. Malde, A.E. Mark (Alan), D.P. Geerke, L. Stougie (Leen) and G.W. Klau (Gunnar)

January 2012
Analytic properties of two-carousel systems Article

Probability in the Engineering and Informational Sciences, 1-28.

R. Bossier, M. Vlasiou (Maria) and I.J.B.F. Adan

January 2012
Split scheduling with uniform setup times Tech Report

F. Schalekamp (Frans), R.A. Sitters (René), S.L. van der Ster (Suzanne), L. Stougie (Leen), V. Verdugo (Víctor) and A. van Zuylen (Anke)

January 2012
Scheduling real-time mixed-criticality jobs Article

IEEE Transactions on Computers, 61(8), 1140-1152.

S.K. Baruah (Sanjoy), V. Bonifaci (Vincenzo), G. Del'Angelo, H. Li, A. Marchetti Spaccamela (Alberto), N. Megow (Nicole) and L. Stougie (Leen)

January 2012
Optimal flux spaces of genome-scale stoichiometric models are determined by a few subnetworks Article

Nature Scientific Reports

S.M. Kelk (Steven), B.G. Olivier (Brett), L. Stougie (Leen) and F.J. Bruggeman (Frank)

January 2012
Telling stories: Enumerating maximal directed acyclic graphs with a constrained set of sources and targets Article

Theoretical Computer Science, 1-9.

V. Acuña (Vicente), E. Birmele, M.V.C. Vieira, L. Cottret, P. Crescenzi, F. Jourdan, M. Lacroix, A. Marino, A. Marchetti Spaccamela (Alberto), M.-F. Sagot (Marie-France), et al. L. Stougie (Leen)

January 2012
Algorithms and complexity of enumerating minimal precursor sets in genome-wide metabolic networks Article

Bioinformatics, 2474-2483.

V. Acuña (Vicente), M.V.C. Vieira, L. Cottret, A. Marchetti Spaccamela (Alberto), L. Stougie (Leen) and M.-F. Sagot (Marie-France)

January 2012
Universal sequencing on an unreliable machine Article

SIAM Journal on Computing, 565-586.

L. Epstein (Lea), A. Marchetti Spaccamela (Alberto), N. Megow (Nicole), J. Mestre, M. Skutella (Martin) and L. Stougie (Leen)

January 2012
The COS method for pricing options under uncertain volatility In Proceedings

M.J. Ruijter (Marjon) and C.W. Oosterlee (Kees)

January 2012
Efficient pricing of commodity options with early-exercise under the Ornstein-Uhlenbeck process Article

Applied Numerical Mathematics, 91-111.

B. Zhang (Bo) and C.W. Oosterlee (Kees)

January 2012
An ENO-based numerical method for the control of dike levels in continuous time Article

Journal of Scientific Computing, 462-492.

S.P. van der Pijl (Sander) and C.W. Oosterlee (Kees)

January 2012
A projected algebraic multigrid method for linear complementarity problems Article

Numerical Mathematics: Theory, Methods and Applications, 85-98.

J. Toivanen and C.W. Oosterlee (Kees)

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

Applied Mathematical Finance, 19(1), 1-35.

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

January 2012
Extension of stochastic volatility models with Hull-White interest rate process Article

Quantitative Finance, 12(1), 89-105.

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

January 2012
Efficient unbiased simulation scheme for SABR stochastic volatility model Article

International Journal of Theoretical and Applied Finance, 15(2)

B. Chen (Bin), C.W. Oosterlee (Kees) and J.A.M. van der Weide (Hans)

January 2012
Pricing higher-dimensional American options using the stochastic grid method Article

International Journal of Computational Mathematics, 89(9), 1186-1211.

S. Jain (Shashi) and C.W. Oosterlee (Kees)

January 2012
An equity-interest rate hybrid model with stochastic volatility and the interest rate smile Article

Journal of Computational Finance, 15(4), 45-77.

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

January 2012
Two-dimensional Fourier cosine series expansion method for pricing financial options Article

SIAM Journal on Scientific Computing, 34(5), B642-B671.

M.J. Ruijter (Marjon) and C.W. Oosterlee (Kees)

January 2012
SciQL - An SQL Based Query Language for Arrays Presentation

Y. Zhang (Ying)

January 2012
CLEVER: Clique-Enumerating Variant Finder Article

Bioinformatics, 28(22), 2875-2882.

T. Marschall (Tobias), I.G. Costa (Ivan), S. Canzar (Stefan), M. Bauer (Markus), G.W. Klau (Gunnar), A. Schliep and A. Schönhuth (Alexander)

January 2012
Probabilistic Arithmetic Automata and their Applications Article

IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9(6), 1737-1750.

T. Marschall (Tobias), I. Herms, H.-M. Kaltenbach and S. Rahmann (Sven)

January 2012
Solving the Minimum String Cover Problem In Proceedings

S. Canzar (Stefan), T. Marschall (Tobias), S. Rahmann (Sven) and C. Schwiegelshohn

January 2012
SciQL - Bridging the Gap between Science and Relational DBMS Presentation

Y. Zhang (Ying)

January 2012
The Amsterdam Database Architecture Group (Various Research Topics) Presentation

Y. Zhang (Ying)

January 2012
Computing with Spiking Neuron Networks Book Chapter

H. Paugam-Moisy and S.M. Bohte (Sander)

January 2012
Streaming Parallel GPU Acceleration of Large-Scale filter-based Spiking Neural Networks Article

Network: Computation in Neural Systems, 23(4), 183-211.

L.P. Slazynski (Leszek) and S.M. Bohte (Sander)

January 2012
Partially-supervised plants: embedding control requirements in plant components In Proceedings

J. Markovski (Jasen), D.A. van Beek and J.C.M. Baeten (Jos)

January 2012
On the elusiveness of clusters Article

IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9(2), 517-534.

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

January 2012
A practical approximation algorithm for solving massive instances of hybridization number In Proceedings

L.J.J. van Iersel (Leo), S.M. Kelk (Steven), N. Lekic (Nela) and C. Scornavacca

January 2012
Cycle killer... qu'est-ce que c'est? On the comparative approximability of hybridization number and directed feedback vertex set Article

SIAM Journal on Discrete Mathematics, 26(4), 1635-1656.

S.M. Kelk (Steven), L.J.J. van Iersel (Leo), N. Lekic (Nela), S. Linz, C. Scornavacca and L. Stougie (Leen)

January 2012
Composition methods, Maxwell's equations, and source terms Article

SIAM Journal on Numerical Analysis, 50(2), 439-457.

J.G. Verwer (Jan)

January 2012
Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday Book

January 2012
Two three pages papers Book Chapter

K.R. Apt (Krzysztof)

January 2012
Book review of 'Logic: A brief course' by Daniele Mundici Article

Theory and Practice of Logic Programming, 12(3), 417-419.

K.R. Apt (Krzysztof)

January 2012
Book review of 'A strange wilderness: The lives of the great mathematicians' by Amir D. Aczel Article

Nieuw Archief voor Wiskunde, 13(5), 138-138.

K.R. Apt (Krzysztof)

January 2012
Verification of object-oriented programs: A transformational approach Article

Journal of Computer and System Sciences, 78(3), 823-852.

K.R. Apt (Krzysztof), F.S. de Boer (Frank), E.R. Olderog (Ernst-Rüdiger) and C.P.T. de Gouw (Stijn)

January 2012
Distributed iterated elimination of strictly dominated strategies Article

Autonomous Agents and Multi-Agent Systems, 25(2), 395-418.

S. A. Witzel (Andreas), K.R. Apt (Krzysztof) and J.A. Zvesper (Jonathan)

January 2012
Selfishness level of strategic games In Proceedings

K.R. Apt (Krzysztof) and G. Schäfer (Guido)

January 2012
A classification of weakly acyclic games In Proceedings

K.R. Apt (Krzysztof) and S.E. Simon (Sunil)

January 2012
Choosing products in social networks In Proceedings

S.E. Simon (Sunil) and K.R. Apt (Krzysztof)

January 2012
Near-Linear Unconditionally-Secure Multiparty Computation with a Dishonest Minority In Proceedings

E. Ben-Sasson, S. Fehr (Serge) and R. Ostrovsky

January 2012
Clustering a data array and the traveling-salesman problem Article

Operations Research, 22(2), 413-414.

J.K. Lenstra (Jan Karel)

January 2012
Resource optimization in distributed real-time multimedia applications Article

Multimedia Tools and Applications, 59(3), 941-971.

R. Yang (Ran), R.D. van der Mei (Rob), D. Roubos, F.J. Seinstra and H. Bal

January 2012
Catalogus Turings erfenis : de stille kracht van informatica : 14.06-30.11.2012 Book

January 2012
Ode aan Turing Article

I/O ICT Onderzoek, 9(1), 19-19.

P. Klint (Paul)

January 2012
Action Emulation between Canonical Models In Proceedings

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

January 2012
Questions about Voting Rules, With Some Answers Book Chapter

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

January 2012
Questions about Voting Rules, With Some Answers In Proceedings

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

January 2012
Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO In Proceedings

H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan), F.A.G. Sietsma (Floor), S.E. Simon (Sunil) and not CWI et al

January 2012
Action Emulation Article

Synthese, 185(1), 131-151.

D.J.N. van Eijck (Jan), J. Ruan and T. Sadzik

January 2012
Games, Actions and Social Software Book

D.J.N. van Eijck (Jan), R. Verbrugge (Rineke) and not CWI et al

January 2012
Perception and Change in Update Logic Book Chapter

January 2012
Time discounting and time consistency Book Chapter

N. Dimitri and D.J.N. van Eijck (Jan)

January 2012
On the Logic of Lying Book Chapter

H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)

January 2012
A One-Stop Shop for Software Evolution Tool Construction Article

ERCIM News, 11-12.

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

January 2012
Declarative Generalized 2D Graphics Presentation

A.J. van der Ploeg (Atze)

January 2012
Deform Software

A.J. van der Ploeg (Atze)

January 2012
Logic in Action Book

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan), J.O.M. Jaspars and H. van Ditmarsch (Hans)

January 2012
Domain-Specific Optimization in Digital Forensics In Proceedings

J. van den Bos (Jeroen) and T. van der Storm (Tijs)

January 2012
Ensō: interpretation and Composition of Executable Specification Languages Presentation

T. van der Storm (Tijs)

January 2012
Creating a DSL using Rascal Presentation

T. van der Storm (Tijs)

January 2012
Rascal for DSL construction Presentation

T. van der Storm (Tijs)

January 2012
Domain-specific languages Presentation

T. van der Storm (Tijs)

January 2012
Generating an IDE using Rascal Presentation

T. van der Storm (Tijs)

January 2012
Meta-Programming: Writing programs that manipulate programs Presentation

T. van der Storm (Tijs)

January 2012
Say what you want instead of how. A DSL success story in the domain of digital forensics Presentation

T. van der Storm (Tijs)

January 2012
Turing Language IDE Software

D. Landman (Davy) and T. van der Storm (Tijs)

January 2012
Object Grammars: Compositional & Bidirectional Mapping Between Text and Graphs In Proceedings

T. van der Storm (Tijs), W.R. Cook and A. Loh

January 2012
Interaction of depth probes and style of depiction Article

i-Perception, 3(8), 528-540.

A.J. van Doorn (Andrea), J.J. Koenderink, M.H.R. Leyssen (Mieke) and J. Wagemans (Johan)

January 2012
Notation-Parametric Grammar Recovery In Proceedings

V. Zaytsev (Vadim)

January 2012
Comparison of Context-free Grammars Based on Parsing Generated Test Data In Proceedings

B. Fischer (Bernd), R. Lämmel (Ralf) and V. Zaytsev (Vadim)

January 2012
Wikimedia Conferentie Nederland Conferentieboek Proceedings

January 2012
Product-form results for two-queue networks with shared resources Article

Performance Evaluation

W. van der Weij (Wemke), N.M. van Dijk and R.D. van der Mei (Rob)

January 2012
Waiting time in a queueing network with a single shared server Article

Queueing Systems

M.A.A. Boon (Marko), R.D. van der Mei (Rob) and E.M.M. Winands

January 2012
Revenue Maximization with Quality Assurance for Composite Web Services In Proceedings

D.T.H. Worm (Daniël), M. Zivkovic, J.L. van den Berg (Hans) and R.D. van der Mei (Rob)

January 2012
Polling models with multi-phase gated service Article

Annals of Operations Research, 25-56.

R.D. van der Mei (Rob) and A. Roubos

January 2012
Modeling Just-in-Time Communication On the Optimal Resource Utilization in Distributed Real-Time Multimedia Applications Article

International Journal on Multimedia Tools and Applications, 941-971.

R. Yang (Ran), R.D. van der Mei (Rob), D. Roubos, F.J. Seinstra and H. Bal

January 2012
Cellen Bestuderen met behulp van een Gegevensbank Systeem Presentation

E. Larios (Enrique), K. Yan (Kuan), F.J. Verbeek, Y. Zhang (Ying), F.E. Groffen (Fabian), Z. Di and S. LeDévédec (Sylvia)

January 2012
SciQL, Bridging the Gap Between Science and Relational DBMS Presentation

Y. Zhang (Ying)

January 2012

Available Years

Publications from 2023

The non-adaptive query complexity of testing k-parities Tech Report

How low can approximate degree and quantum query complexity be for total Boolean functions? Tech Report

Optimal quantum query bounds for almost all Boolean functions Tech Report

High order fluid model for streamer discharges In Proceedings

Fooling one-sided quantum protocols Tech Report

Derivation and test of high order fluid model for streamer discharges In Proceedings

Near-optimal and explicit Bell inequality violations Article

Investigation of NOx production and removal at a low NO level concentration in a pulsed corona reactors In Proceedings

Special issue on Computational Plasma Physics : preface Article

Exclusive disjunction structures and graph representatives Tech Report

A generalization of Kochen-Specker sets relates quantum coloring to entanglement-assisted channel capacity In Proceedings

Kochen-Specker set and the rank-1 quantum chromatic Article

New bounds on the classical and quantum communication complexity of some graph properties In Proceedings

Linear vs semidefinite extended formulations: Exponential separation and strong lower bounds In Proceedings

Optimal teleportation with a noisy source Article

Quantum statistical synchronization of non-interacting particles Article

Matrices if fidelities for ensembles of quantum states and the Holevo quantity Article

The power of noisy fermionic quantum computation Tech Report

A generalized parallel task model for recurrent real-time processes In Proceedings

Metabolic stories: Uncovering all possible scenarios for interpreting metabolomics data In Proceedings

The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems In Proceedings

Charge group partitioning in biomolecular simulation In Proceedings

Analytic properties of two-carousel systems Article

Split scheduling with uniform setup times Tech Report

Scheduling real-time mixed-criticality jobs Article

Optimal flux spaces of genome-scale stoichiometric models are determined by a few subnetworks Article

Telling stories: Enumerating maximal directed acyclic graphs with a constrained set of sources and targets Article

Algorithms and complexity of enumerating minimal precursor sets in genome-wide metabolic networks Article

Universal sequencing on an unreliable machine Article

The COS method for pricing options under uncertain volatility In Proceedings

Efficient pricing of commodity options with early-exercise under the Ornstein-Uhlenbeck process Article

An ENO-based numerical method for the control of dike levels in continuous time Article

A projected algebraic multigrid method for linear complementarity problems Article

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

Extension of stochastic volatility models with Hull-White interest rate process Article

Efficient unbiased simulation scheme for SABR stochastic volatility model Article

Pricing higher-dimensional American options using the stochastic grid method Article

An equity-interest rate hybrid model with stochastic volatility and the interest rate smile Article

Two-dimensional Fourier cosine series expansion method for pricing financial options Article

SciQL - An SQL Based Query Language for Arrays Presentation

CLEVER: Clique-Enumerating Variant Finder Article

Probabilistic Arithmetic Automata and their Applications Article

Solving the Minimum String Cover Problem In Proceedings

SciQL - Bridging the Gap between Science and Relational DBMS Presentation

The Amsterdam Database Architecture Group (Various Research Topics) Presentation

Computing with Spiking Neuron Networks Book Chapter

Streaming Parallel GPU Acceleration of Large-Scale filter-based Spiking Neural Networks Article

Partially-supervised plants: embedding control requirements in plant components In Proceedings

On the elusiveness of clusters Article

A practical approximation algorithm for solving massive instances of hybridization number In Proceedings

Cycle killer... qu'est-ce que c'est? On the comparative approximability of hybridization number and directed feedback vertex set Article

Composition methods, Maxwell's equations, and source terms Article

Logis and program semantics - essays dedicated to Dexter Kozen on the occasion of his 60th birthday Book

Two three pages papers Book Chapter

Book review of 'Logic: A brief course' by Daniele Mundici Article

Book review of 'A strange wilderness: The lives of the great mathematicians' by Amir D. Aczel Article

Verification of object-oriented programs: A transformational approach Article

Distributed iterated elimination of strictly dominated strategies Article

Selfishness level of strategic games In Proceedings

A classification of weakly acyclic games In Proceedings

Choosing products in social networks In Proceedings

Near-Linear Unconditionally-Secure Multiparty Computation with a Dishonest Minority In Proceedings

Clustering a data array and the traveling-salesman problem Article

Resource optimization in distributed real-time multimedia applications Article

Catalogus Turings erfenis : de stille kracht van informatica : 14.06-30.11.2012 Book

Ode aan Turing Article

Action Emulation between Canonical Models In Proceedings

Questions about Voting Rules, With Some Answers Book Chapter

Questions about Voting Rules, With Some Answers In Proceedings

Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO In Proceedings

Action Emulation Article

Games, Actions and Social Software Book

Perception and Change in Update Logic Book Chapter

Time discounting and time consistency Book Chapter

On the Logic of Lying Book Chapter

A One-Stop Shop for Software Evolution Tool Construction Article

Declarative Generalized 2D Graphics Presentation

Deform Software

Logic in Action Book