Publications from 2020

Projections Maximizing Tsallis Entropy In Proceedings

P. Harremoës (Peter)

Switching between Predictors with an Application in Density Estimation In Proceedings

T.A.L. van Erven (Tim), S. de Rooij (Steven) and P.D. Grünwald (Peter)

On Social Learning and Robust Evolutionary Algorithm Design in the Cournot Oligopoly Game Article

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

DEMO --- A Demo of Epistemic Modelling In Proceedings

D.J.N. van Eijck (Jan)

Natural Logic for Natural Language In Proceedings

D.J.N. van Eijck (Jan)

The role of semismooth numbers in factoring large numbers (extended abstract) In Proceedings

W.H. Ekkelkamp (Willemien)

Chosen-Prefix Collisions for MD5 and Colliding X.509 Certificates for Different Identities In Proceedings

M.M.J. Stevens (Marc), A.K. Lenstra (Arjen) and B. de Weger (Benne)

Secure Computation from Random Error Correcting Codes In Proceedings

H. Chen (Helen), R.J.F. Cramer (Ronald), S. Goldwasser, R. de Haan (Robbert) and V. Vaikuntanathan

Atomic Secure Multi-Party Multiplication with Low Communication In Proceedings

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and R. de Haan (Robbert)

Secure Linear Algebra Using Linearly Recurrent Sequences In Proceedings

E. Kiltz (Eike), P. Mohassel, E. Weinreb (Enav) and M. Franklin

Ch. VI.2 Programmatuur Book Chapter

A. van Deursen (Arie) and P. Klint (Paul)

ATerms for manipulation and exchange of structured data: It's all about sharing Article

M.G.J. van den Brand (Mark) and P. Klint (Paul)

About "trivial" software patents: The IsNot case Article

J.A. Bergstra (Jan) and P. Klint (Paul)

Epistemic Verification of Anonymity In Proceedings

D.J.N. van Eijck (Jan) and S.-M. Orzan (Simona-Mihaela)

A Note on Secure Computation of the Moore-Penrose Pseudoinverse and Its Application to Secure Linear Algebra In Proceedings

R.J.F. Cramer (Ronald), E. Kiltz (Eike) and C. Padró (Carles)

Generalized Key Delegation for Hierarchical Identity-Based Encryption In Proceedings

M. Abdalla, E. Kiltz (Eike) and G. Neven

Chosen-Ciphertext Secure Key-Encapsulation Based on Gap Hashed Diffie-Hellman In Proceedings

E. Kiltz (Eike)

Non-Uniform Crosstalk Reduction for Dynamic Scenes In Proceedings

F.A. Smit (Ferdi), R. van Liere (Robert) and B. Fröhlich (Bernd)

Widget Manipulation Revisited: a Case Study in Modeling Interactions Between Experimental Conditions In Proceedings

J.-B. Martens, R. van Liere (Robert) and A.J.F. Kok (Arjan)

Three Extensions to Subtractive Crosstalk Reduction In Proceedings

F.A. Smit (Ferdi), R. van Liere (Robert) and B. Fröhlich (Bernd)

The design and implementation of a VR-architecture for smooth motion In Proceedings

F.A. Smit (Ferdi), R. van Liere (Robert) and B. Fröhlich (Bernd)

Secure Hybrid Encryption from Weakened Key Encapsulation In Proceedings

D. Hofheinz (Dennis) and E. Kiltz (Eike)

Obfuscation for Cryptographic Purposes In Proceedings

D. Hofheinz (Dennis), J. Malone-Lee and M. Stam

Bounded CCA2-Secure Encryption In Proceedings

R.J.F. Cramer (Ronald), G. Hanaoka, D. Hofheinz (Dennis), H. Imai, E. Kiltz (Eike), R. Pass, A. Shelat and V. Vaikuntanathan

Parametric Visualization of High Resolution Correlated Multi-spectral Features Using PC In Proceedings

A. Broersen (Alexander), R. van Liere (Robert) and R.M.A. Heeren (Ron)

Multi-agent Pareto appointment exchanging in hospital patient scheduling Article

I.B. Vermeulen (Ivan), S.M. Bohte (Sander), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

Adaptive Optimization of Hospital Resource Calendars In Proceedings

I.B. Vermeulen (Ivan), S.M. Bohte (Sander), S.G. Elkhuizen, J.S. Lameris, P.J.M. Bakker and J.A. La Poutré (Han)

SDR: A Better Trigger for Adaptive Variance Scaling in Normal EDAs In Proceedings

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

Adaptive Variance Scaling in Continuous Multi-Objective Estimation-of-Distribution Algorithms In Proceedings

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

Convergence Phases, Variance Trajectories, and Runtime Analysis of Continuous EDAs In Proceedings

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

Learning and anticipation in online dynamic optimization with evolutionary algorithms: The stochastic case In Proceedings

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

Inventory Management and the Impact of Anticipation in Evolutionary Stochastic Online Dynamic Optimization In Proceedings

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

The minimum description length principle Book

P.D. Grünwald (Peter)

Towards a Real-Time Minimally-Invasive Vascular Intervention Simulation System Article

T. Alderliesten (Tanja), P.A.N. Bosman (Peter) and W. Niessen

Learning and Anticipation in Online Dynamic Optimization Book Chapter

P.A.N. Bosman (Peter)

Biometrics and their use in e-Passports Article

B.A.M. Schouten (Ben) and B.P.F. Jacobs

Towards an Online Image-Based Tree Taxonomy Book Chapter

P.M. de Zeeuw (Paul), E.B. Ranguelova (Elena) and E.J.E.M. Pauwels (Eric)

Alternative face models for 3D face registration In Proceedings

A.A. Salah (Albert Ali), L. Akarun and N. Alyuz

Hidden Markov model-based face recognition using selective attention In Proceedings

A.A. Salah (Albert Ali), M. Bicego, L. Akarun, E. Grosso and M. Tistarelli

A slow-growing sequence defined by an unusual recurrence Article

D. Gijswijt (Dion), F.J. van de Bult, J.P. Linderman (John), N.J.A. Sloane and A.R. Wilks

Perceptual Information Fusion in Humans and Machines Article

A.A. Salah (Albert Ali)

Robust Facial Landmarking for Registration Article

A.A. Salah (Albert Ali), H. Cinar, L. Akarun and B. Sankur

Simulating Quantum Correlations with Finite Communication In Proceedings

O. Regev (Oded) and B.F. Toner (Ben)

Composition by Anonymous Third Parties In Proceedings

F. Arbab (Farhad)

Using Reo for Service Coordination In Proceedings

A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

Model Checking of Component Connectors In Proceedings

M. Izadi (Mohammad), A. Movaghar (Ali) and F. Arbab (Farhad)

International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings Proceedings

New reduction techniques for the group Steiner tree problem Article

F.M. de Oliveira Filho (Fernando Mario) and C.E. Ferreira

Auctions with Arbitrary Deals In Proceedings

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

VCG-based Truthful Mechanisms for Social Task Allocation In Proceedings

Y.Q. Zhang (Yingqian (Jennie)) and M.M. de Weerdt (Mathijs)

Distributed Task Allocation in Social Networks In Proceedings

M.M. de Weerdt (Mathijs), Y.Q. Zhang (Yingqian (Jennie)) and T.B. Klos (Tomas)

Calculating lower bounds for caching problems Article

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

Paging with connections: FIFO strikes again Article

L. Epstein (Lea), Y. Kleiman, J. Sgall and R. van Stee (Rob)

Bounds for online bounded space hypercube packing Article

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

A study of integrated document and connection caching in the WWW Article

R. van Stee (Rob) and S. Albers

Ensuring Containment Constraint in Graph-based Model Transformation Approaches In Proceedings

C. Krause (born Köhler) (Christian), H. Lewin and G. Taentzer

ReoService: Coordination Modeling Tool In Proceedings

C. Krause (born Köhler) (Christian), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

Connector Rewriting with High-Level Replacement Systems In Proceedings

C. Krause (born Köhler) (Christian), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

Graphical Definition of In-place Transformations in the Eclipse Modeling Framework In Proceedings

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

A verification framework for agent programming with declarative goals Article

F.S. de Boer (Frank), K.V. Hindriks, W. van der Hoek (Wiebe) and J.-J.C. Meyer (John-Jules)

A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs In Proceedings

F.S. de Boer (Frank)

Special Issue on Automata, Languages and Programming Article

J.C.M. Baeten (Jos), J.K. Lenstra (Jan Karel) and G.J. Woeginger

Special Issue on Expressivity Article

J.C.M. Baeten (Jos) and I.C.C. Phillips

Process Algebra Book Chapter

J.C.M. Baeten (Jos), D.A. van Beek and J.E. Rooda (Jacobus)

Duplication of Constants in Process Algebra Article

J.C.M. Baeten (Jos) and M.A. Reniers (Michel)

A Characterization of Regular Expressions under Bisimulation Article

J.C.M. Baeten (Jos), F. Corradini and C.A. Grabmayer

A coalgebraic view on bi-infinite streams (Abstract) In Proceedings

A.M. Silva (Alexandra)

Behavioural differential equations and coinduction for binary trees Tech Report

A.M. Silva (Alexandra) and J.J.M.M. Rutten (Jan)

A coinductive calculus of binary trees Tech Report

A.M. Silva (Alexandra) and J.J.M.M. Rutten (Jan)

Expressivity of finitary coalgebraic logics Article

C.A. Kupke (Clemens)

Coalgebraic automata theory: basic results Tech Report

C.A. Kupke (Clemens) and Y. Venema

Adaptive Agents for Sequential English Auctions with a Fixed Deadline In Proceedings

H. Ma (Huiye) and H.-F. Leung

An adaptive attitude bidding strategy for agents in continuous double auctions Article

H. Ma (Huiye) and H.-F. Leung

Ownership, Uniqueness and Immutability In Proceedings

J. Östlund, T. Wrigstad, D.G. Clarke (David) and B. Akerblom

The Coordination Game: Find the Black Box Manual

D.G. Clarke (David)

Coordination Models Orc and Reo Compared In Proceedings

J.M.P. Proença (Jose) and D.G. Clarke (David)

Existential Owners for Ownership Types Article

T. Wrigstad and D.G. Clarke (David)

Tribe: a simple virtual class calculus In Proceedings

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

A Complete Guide to the Future In Proceedings

F.S. de Boer (Frank), D.G. Clarke (David) and E.B. Johnsen (Einar Broch)

Regular expressions for polynomial coalgebras Tech Report

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

Coalgebraic logic and synthesis of Mealy machines Tech Report

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

Pi-Calculus in Logical Form In Proceedings

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

Dynamic Evolution by Constraint Orchestration In Proceedings

L.P.J. Groenewegen (Luuk) and E.P. de Vink (Erik)

Real-time in stochastic process algebra: keeping track of winners and losers Tech Report

J. Markovski (Jasen) and E.P. de Vink (Erik)

A Comparison of Java Cards: State-of-Affairs 2006 Tech Report

W. Mostowski, J. Pan (Jing), S. Akkiraju, E.P. de Vink (Erik), E. Poll and J. I. den Hartog (Jeremy)

Stochastic Modeling of Codon Bias with PRISM In Proceedings

T.E. Pronk, E.P. de Vink (Erik), D. Bosnacki and T.M. Breit

On the complexity of the Single Individual SNP Haplotyping Problem Article

R.L. Cilibrasi (Rudi), L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and J.T. Tromp (John)

Data Anonymity in the FOO Voting Scheme In Proceedings

S. Mauw (Sjouke), J.H.S. Verschuren (Jan) and E.P. de Vink (Erik)

Compositionality for Markov Reward Chains with Fast Transitions In Proceedings

J. Markovski (Jasen), A. Sokolova, N. Trcka and E.P. de Vink (Erik)

Real-Time Process Algebra with Stochastic Delays In Proceedings

J. Markovski (Jasen) and E.P. de Vink (Erik)

On geometric graph Ramsey numbers Tech Report

G. Karolyi (Gyula) and V. Rosta

Restricted set addition: The exceptional case of the Erdos-Heilbronn conjecture Tech Report

G. Karolyi (Gyula)

The cyclomatic number of connected graphs without solvable orbits Tech Report

G. Karolyi (Gyula) and A. Pal

Empty convex polygons in almost convex sets Article

P. Valtr, G. Lippner and G. Karolyi (Gyula)

Securing Pseudo Identities in an Anonymous Peer-to-Peer File-Sharing Network In Proceedings

T. Chothia (Tom)

Capability-Passing Processes Article

T. Chothia (Tom) and D. Duggan

Keeping Secrets in Resource Aware Components Article

T. Chothia (Tom), J. Pang (Jun) and M.T. Dashti (Mohammad)

Models and Solution Techniques for Frequency Assignment Problems: updated Article

K.I. Aardal (Karen), C. van Hoesel, A.M.C.A. Koster (Arie), C. Mannino and A. Sassano

Analysis of Sorting Algorithms by Kolmogorov Complexity (A Survey) Book Chapter

P.M.B. Vitányi (Paul)

Algorithmic chaos and the incompressibility method Book Chapter

P.M.B. Vitányi (Paul)