Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

On the final coalgebra of automatic sequences. Book Chapter

January 2012
A proof of Moessner's theorem by coinduction. Article

Higher-order and Symbolic Computation, 24(3), 191-206.

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

January 2012
Defining context-free power series coalgebraically. In Proceedings

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and J. Winter (Joost)

January 2012
Lumen formation during angiogenesis: An integrated computational model Presentation

S.E.M. Boas (Sonja)

January 2012
Lumen formation during angiogenesis: An integrated computational model Presentation

S.E.M. Boas (Sonja)

January 2012
Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions Article

Formal Aspects of Computing, 187-216.

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

January 2012
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages In Proceedings

D. Latella, M. Massink and E.P. de Vink (Erik)

January 2012
Transactions on Computational Systems Biology XIV Book

I. Petre and E.P. de Vink (Erik)

January 2012
Lumen formation during angiogenesis: An integrated computational model Presentation

S.E.M. Boas (Sonja)

January 2012
Reconciling real and stochastic time: the need for probabilistic refinement Article

Formal Aspects of Computing, 497-518.

J. Markovski (Jasen), P.R. D'Argenio, J.C.M. Baeten (Jos) and E.P. de Vink (Erik)

January 2012
Book Review: Basic Phylogenetic Combinatorics. -- Andreas Dress, Katharina T. Huber, Jacobus Koolen, Vincent Moulton and Andreas Spillner Magazine Article

L.J.J. van Iersel (Leo)

January 2012
Robustness and accuracy of functional modules in integrated network analysis Article

Bioinformatics, 28(14), 1887-1894.

D. Beisser (Daniela), S. Brunkhorst, T. Dandekar, G.W. Klau (Gunnar), M. Dittrich (Marcus) and T. Müller (Tobias)

January 2012
Positive streamer propagation due to background or photo ionization: Experiments and theory In Proceedings

S. Nijdam (Sander), G. Wormeester (Gideon) and U. Ebert (Ute)

January 2012
Towards user-friendly, public domain simulations of the precursor of lightning: streamers In Proceedings

A.B. Sun (Anbang), H.J. Teunissen (Jannis) and U. Ebert (Ute)

January 2012
Extra-terrestrial sprites: laboratory investigations in planetary gas mixtures In Proceedings

D. Dubrovin, Y. Yair, C. Price, S. Nijdam (Sander), T.T.J. Clevis, E.M. van Veldhuizen and U. Ebert (Ute)

January 2012
Cross sections and modelling results for TGF- and positron spectrum produced by a negative stepped lightning leader In Proceedings

C. Köhn (Christoph) and U. Ebert (Ute)

January 2012
Slow decay of radiation after a pulsed streamer discharge in pure nitrogen In Proceedings

T.T.J. Clevis, S. Nijdam (Sander) and U. Ebert (Ute)

January 2012
High order fluid model for ionization fronts in streamer discharges In Proceedings

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

January 2012
Thunderstroms as electron accelerators and the discharge zoo above the clouds In Proceedings

U. Ebert (Ute)

January 2012
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, 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 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

Available Years

Publications from 2017

On the final coalgebra of automatic sequences. Book Chapter

A proof of Moessner's theorem by coinduction. Article

Defining context-free power series coalgebraically. In Proceedings

Lumen formation during angiogenesis: An integrated computational model Presentation

Lumen formation during angiogenesis: An integrated computational model Presentation

Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions Article

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages In Proceedings

Transactions on Computational Systems Biology XIV Book

Lumen formation during angiogenesis: An integrated computational model Presentation

Reconciling real and stochastic time: the need for probabilistic refinement Article

Book Review: Basic Phylogenetic Combinatorics. -- Andreas Dress, Katharina T. Huber, Jacobus Koolen, Vincent Moulton and Andreas Spillner Magazine Article

Robustness and accuracy of functional modules in integrated network analysis Article

Positive streamer propagation due to background or photo ionization: Experiments and theory In Proceedings

Towards user-friendly, public domain simulations of the precursor of lightning: streamers In Proceedings

Extra-terrestrial sprites: laboratory investigations in planetary gas mixtures In Proceedings

Cross sections and modelling results for TGF- and positron spectrum produced by a negative stepped lightning leader In Proceedings

Slow decay of radiation after a pulsed streamer discharge in pure nitrogen In Proceedings

High order fluid model for ionization fronts in streamer discharges In Proceedings

Thunderstroms as electron accelerators and the discharge zoo above the clouds In Proceedings

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