Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

About "trivial" software patents: The IsNot case Article

Science of Computer Programming, 16(3), 264-285.

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

January 2007
Epistemic Verification of Anonymity In Proceedings

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

January 2007
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)

January 2007
Generalized Key Delegation for Hierarchical Identity-Based Encryption In Proceedings

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

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

E. Kiltz (Eike)

January 2007
Non-Uniform Crosstalk Reduction for Dynamic Scenes In Proceedings

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

January 2007
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)

January 2007
Three Extensions to Subtractive Crosstalk Reduction In Proceedings

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

January 2007
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)

January 2007
Secure Hybrid Encryption from Weakened Key Encapsulation In Proceedings

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

January 2007
Obfuscation for Cryptographic Purposes In Proceedings

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

January 2007
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

January 2007
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)

January 2007
Multi-agent Pareto appointment exchanging in hospital patient scheduling Article

Service Oriented Computing and Applications, 1(3), 185-196.

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

January 2007
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)

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

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

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

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

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

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

January 2007
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)

January 2007
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)

January 2007
The minimum description length principle Book

P.D. Grünwald (Peter)

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

IEEE Transactions on Medical Imaging, 26(1), 128-132.

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

January 2007
Learning and Anticipation in Online Dynamic Optimization Book Chapter

P.A.N. Bosman (Peter)

January 2007
Biometrics and their use in e-Passports Article

Image and Vision Computing

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

January 2007
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)

January 2007
Alternative face models for 3D face registration In Proceedings

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

January 2007
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

January 2007
A slow-growing sequence defined by an unusual recurrence Article

Journal of Integer Sequences, 10(1), 1-7.

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

January 2007
Perceptual Information Fusion in Humans and Machines Article

Cognitive Neuroscience Forum, 1-5.

A.A. Salah (Albert Ali)

January 2007
Robust Facial Landmarking for Registration Article

Annals of Telecommunications, 62(1-2), 1608-1633.

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

January 2007
Simulating Quantum Correlations with Finite Communication In Proceedings

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

January 2007
Composition by Anonymous Third Parties In Proceedings

F. Arbab (Farhad)

January 2007
Using Reo for Service Coordination In Proceedings

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

January 2007
Model Checking of Component Connectors In Proceedings

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

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

January 2007
New reduction techniques for the group Steiner tree problem Article

SIAM Journal on Optimization, 17(4), 1176-1188.

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

January 2007
Auctions with Arbitrary Deals In Proceedings

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

January 2007
VCG-based Truthful Mechanisms for Social Task Allocation In Proceedings

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

January 2007
Distributed Task Allocation in Social Networks In Proceedings

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

January 2007
Calculating lower bounds for caching problems Article

Computing, 80(3), 275-285.

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

January 2007
Paging with connections: FIFO strikes again Article

Theoretical Computer Science, 55-64.

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

January 2007
Bounds for online bounded space hypercube packing Article

Discrete Optimization, 4(2), 185-197.

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

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

Algorithmica, 47(3), 239-252.

R. van Stee (Rob) and S. Albers

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

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

January 2007
ReoService: Coordination Modeling Tool In Proceedings

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

January 2007
Connector Rewriting with High-Level Replacement Systems In Proceedings

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

January 2007
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

January 2007
A verification framework for agent programming with declarative goals Article

Journal of Applied Logic, 5(2), 277-302.

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

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

F.S. de Boer (Frank)

January 2007
Special Issue on Automata, Languages and Programming Article

Theoretical Computer Science, 379(3), 305-305.

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

January 2007
Special Issue on Expressivity Article

Theoretical Computer Science, 167-168.

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

January 2007
Process Algebra Book Chapter

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

January 2007
Duplication of Constants in Process Algebra Article

Journal of Logic and Algebraic Programming, 70(2), 151-171.

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

January 2007
A Characterization of Regular Expressions under Bisimulation Article

Journal of the ACM, 54(2), 1-28.

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

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

A.M. Silva (Alexandra)

January 2007
Behavioural differential equations and coinduction for binary trees Tech Report

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

January 2007
A coinductive calculus of binary trees Tech Report

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

January 2007
Expressivity of finitary coalgebraic logics Article

Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica

C.A. Kupke (Clemens)

January 2007
Coalgebraic automata theory: basic results Tech Report

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

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

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

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

Electronic Commerce Research and Applications, 6(4), 383-398.

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

January 2007
Ownership, Uniqueness and Immutability In Proceedings

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

January 2007
The Coordination Game: Find the Black Box Manual

D.G. Clarke (David)

January 2007
Coordination Models Orc and Reo Compared In Proceedings

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

January 2007
Existential Owners for Ownership Types Article

Journal of Object Technology, 6(4), 141-159.

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

January 2007
Tribe: a simple virtual class calculus In Proceedings

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

January 2007
A Complete Guide to the Future In Proceedings

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

January 2007
Regular expressions for polynomial coalgebras Tech Report

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

January 2007
Coalgebraic logic and synthesis of Mealy machines Tech Report

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

January 2007
Pi-Calculus in Logical Form In Proceedings

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

January 2007
Dynamic Evolution by Constraint Orchestration In Proceedings

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

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

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

January 2007
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)

January 2007
Stochastic Modeling of Codon Bias with PRISM In Proceedings

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

January 2007
On the complexity of the Single Individual SNP Haplotyping Problem Article

Algorithmica, 49(1), 13-36.

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

January 2007
Data Anonymity in the FOO Voting Scheme In Proceedings

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

January 2007
Compositionality for Markov Reward Chains with Fast Transitions In Proceedings

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

January 2007
Real-Time Process Algebra with Stochastic Delays In Proceedings

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

January 2007
On geometric graph Ramsey numbers Tech Report

G. Karolyi (Gyula) and V. Rosta

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

G. Karolyi (Gyula)

January 2007
The cyclomatic number of connected graphs without solvable orbits Tech Report

G. Karolyi (Gyula) and A. Pal

January 2007
Empty convex polygons in almost convex sets Article

Periodica Mathematica Hungarica, 55(2), 121-127.

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

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

T. Chothia (Tom)

January 2007
Capability-Passing Processes Article

Science of Computer Programming, 66(3), 184-204.

T. Chothia (Tom) and D. Duggan

January 2007
Keeping Secrets in Resource Aware Components Article

Electronic Notes in Theoretical Computer Science, 190(3), 79-94.

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

January 2007
Models and Solution Techniques for Frequency Assignment Problems: updated Article

Annals of Operations Research, 153(1), 79-129.

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

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

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

January 2007
Algorithmic chaos and the incompressibility method Book Chapter

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

January 2007
Information Topologies with Applications Book Chapter

P. Harremoës (Peter)

January 2007
Context and the Composition of Meaning Book Chapter

D.J.N. van Eijck (Jan)

January 2007
The Google similarity distance Article

IEEE Transactions on Knowledge and Data Engineering, 19(3), 370-383.

R.L. Cilibrasi (Rudi) and P.M.B. Vitányi (Paul)

January 2007
Individual communication complexity Article

Journal of Computer and System Sciences, 973-985.

H.M. Buhrman (Harry), H. Klauck (Hartmut), N.K. Vereshchagin (Nikolay Konstantinovich) and P.M.B. Vitányi (Paul)

January 2007
"Ideal learning" of natural language:Positive results about learning from positive evidence Article

Journal of Mathematical Psychology, 51(3), 135-163.

N. Chater (Nick) and P.M.B. Vitányi (Paul)

January 2007
Nash Equilibrium in a Game of Calibration Article

Theory of Probability and its Applications / SIAM, 51(3), 415-426.

O. Glonti, P. Harremoës (Peter) and F. Topsøe

January 2007
Suboptimal behavior of Bayes and MDL in classification under misspecification Article

Machine Learning, 66(2-3), 119-149.

P.D. Grünwald (Peter) and J. Langford

January 2007
Sequentially Indexed Grammars Article

Journal of Logic and Computation

D.J.N. van Eijck (Jan)

January 2007
A fast, rigorous technique for computing the regulator of a real quadratic field Article

Mathematics of Computation, 76(260), 2139-2160.

R. de Haan (Robbert), M.J. Jr. Jacobson (Michael) and H.C. Williams

January 2007
Prefix reversals on binary and ternary strings Article

SIAM Journal on Discrete Mathematics, 21(3), 592-611.

C.A.J. Hurkens (Cor), L.J.J. van Iersel (Leo), J.C.M. Keijsper, S.M. Kelk (Steven), L. Stougie (Leen) and J.T. Tromp (John)

January 2007
Virtual private network design: a proof of the tree routing conjecture on ring networks Article

SIAM Journal on Discrete Mathematics, 21(2), 482-503.

C.A.J. Hurkens (Cor), J.C.M. Keijsper and L. Stougie (Leen)

January 2007
GraphTracker: A Topology Projection Invariant Optical Tracker Article

Computers & Graphics, 31(1), 26-38.

F.A. Smit (Ferdi), A.J. van Rhijn (Arjen) and R. van Liere (Robert)

January 2007

Available Years

Publications from 2025

About "trivial" software patents: The IsNot case Article

Epistemic Verification of Anonymity In Proceedings

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

Generalized Key Delegation for Hierarchical Identity-Based Encryption In Proceedings

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

Non-Uniform Crosstalk Reduction for Dynamic Scenes In Proceedings

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

Three Extensions to Subtractive Crosstalk Reduction In Proceedings

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

Secure Hybrid Encryption from Weakened Key Encapsulation In Proceedings

Obfuscation for Cryptographic Purposes In Proceedings

Bounded CCA2-Secure Encryption In Proceedings

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

Multi-agent Pareto appointment exchanging in hospital patient scheduling Article

Adaptive Optimization of Hospital Resource Calendars In Proceedings

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

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

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

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

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

The minimum description length principle Book

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

Learning and Anticipation in Online Dynamic Optimization Book Chapter

Biometrics and their use in e-Passports Article

Towards an Online Image-Based Tree Taxonomy Book Chapter

Alternative face models for 3D face registration In Proceedings

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

A slow-growing sequence defined by an unusual recurrence Article

Perceptual Information Fusion in Humans and Machines Article

Robust Facial Landmarking for Registration Article

Simulating Quantum Correlations with Finite Communication In Proceedings

Composition by Anonymous Third Parties In Proceedings

Using Reo for Service Coordination In Proceedings

Model Checking of Component Connectors In Proceedings

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

Auctions with Arbitrary Deals In Proceedings

VCG-based Truthful Mechanisms for Social Task Allocation In Proceedings

Distributed Task Allocation in Social Networks In Proceedings

Calculating lower bounds for caching problems Article

Paging with connections: FIFO strikes again Article

Bounds for online bounded space hypercube packing Article

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

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

ReoService: Coordination Modeling Tool In Proceedings

Connector Rewriting with High-Level Replacement Systems In Proceedings

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

A verification framework for agent programming with declarative goals Article

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

Special Issue on Automata, Languages and Programming Article

Special Issue on Expressivity Article

Process Algebra Book Chapter

Duplication of Constants in Process Algebra Article

A Characterization of Regular Expressions under Bisimulation Article

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

Behavioural differential equations and coinduction for binary trees Tech Report

A coinductive calculus of binary trees Tech Report

Expressivity of finitary coalgebraic logics Article

Coalgebraic automata theory: basic results Tech Report

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

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

Ownership, Uniqueness and Immutability In Proceedings

The Coordination Game: Find the Black Box Manual

Coordination Models Orc and Reo Compared In Proceedings

Existential Owners for Ownership Types Article

Tribe: a simple virtual class calculus In Proceedings

A Complete Guide to the Future In Proceedings

Regular expressions for polynomial coalgebras Tech Report

Coalgebraic logic and synthesis of Mealy machines Tech Report

Pi-Calculus in Logical Form In Proceedings

Dynamic Evolution by Constraint Orchestration In Proceedings

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

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

Stochastic Modeling of Codon Bias with PRISM In Proceedings

On the complexity of the Single Individual SNP Haplotyping Problem Article

Data Anonymity in the FOO Voting Scheme In Proceedings

Compositionality for Markov Reward Chains with Fast Transitions In Proceedings

Real-Time Process Algebra with Stochastic Delays In Proceedings

On geometric graph Ramsey numbers Tech Report