Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Term rewriting meets aspect oriented programming Book Chapter

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

January 2005
Toward an engineering discipline for grammarware Article

ACM Transactions on Software Engineering and Methodology, 14(3), 331-380.

P. Klint (Paul), R. Lämmel (Ralf) and C. Verhoef (Chris)

January 2005
Integrated development and maintenance of software products to support efficient updating of customer configurations: A case study in mass market erp software In Proceedings

S. Jansen, S. Brinkkemper, G.C. Ballintijn (Gerco) and A. van Nieuwland

January 2005
A process model and typology for software product updaters In Proceedings

S. Jansen, S. Brinkkemper and G.C. Ballintijn (Gerco)

January 2005
Evaluating an embedded software reference architecture: Experience report In Proceedings

A. van Deursen (Arie) and not CWI et al

January 2005
Modelling the epistemics of communication with functional programming In Proceedings

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

January 2005
Normal forms for characteristic functions on n-ary relations Article

Journal of Logic and Computation, 85-98.

D.J.N. van Eijck (Jan)

January 2005
Guest editors' introduction: 10th WCRE Working Conference on Reverse Engineering Article

IEEE Transactions on Software Engineering, 31(2), 97-98.

A. van Deursen (Arie) and E. Stroulia

January 2005
A JHotDraw: A showcase for refactoring to aspects In Proceedings

A. van Deursen (Arie), A.M. Marin (Marius) and L.M.F. Moonen (Leon)

January 2005
Guest editorial: Software reverse engineering Article

Journal of Systems and Software, 77(3371), 209-211.

A. van Deursen (Arie) and E. Burd

January 2005
A Qualitative Comparison of Three Aspect Mining Techniques In Proceedings

T. Tourwé (Tom), L.M.F. Moonen (Leon) and not CWI et al

January 2005
Isolating idiomatic crosscutting concerns In Proceedings

M. Bruntink (Magiel), A. van Deursen (Arie) and T. Tourwé (Tom)

January 2005
On the use of clone detection for identifying crosscutting concern code Article

IEEE Transactions on Software Engineering, 31(10), 804-818.

M. Bruntink (Magiel), A. van Deursen (Arie), R. van Engelen and T. Tourwé (Tom)

January 2005
Generalized type-based disambiguation of meta programs with concrete object syntax In Proceedings

M. Bravenboer, R. Vermaas, J.J. Vinju (Jurgen) and E. Visser (Eelco)

January 2005
A generator of efficient strongly typed abstract syntax trees in Java Article

Software, IEE Proceedings , 152(2), 70-79.

M.G.J. van den Brand (Mark), P.-E. Moreau and J.J. Vinju (Jurgen)

January 2005
An architecture for context-sensitive formatting In Proceedings

M.G.J. van den Brand (Mark), A.T. Kooiker (Taeke), J.J. Vinju (Jurgen) and N.P. Veerman

January 2005
Common knowledge in update logics In Proceedings

J.F.A.K. van Benthem (Johan), D.J.N. van Eijck (Jan) and B. Kooi

January 2005
A case study of the release management of a health-care information system In Proceedings

G.C. Ballintijn (Gerco)

January 2005
Neural networks for discrete tomography In Proceedings

K.J. Batenburg (Joost) and W.A. Kosters

January 2005
A new algorithm for 3D binary tomography In Proceedings

K.J. Batenburg (Joost) and not CWI et al

January 2005
A new algorithm for 3D binary tomography In Proceedings

K.J. Batenburg (Joost)

January 2005
An evolutionary algorithm for discrete tomography Article

Discrete Applied Mathematics, 36-54.

K.J. Batenburg (Joost)

January 2005
On the notion of statistical security in simulatability definitions. Information Security In Proceedings

D. Hofheinz (Dennis) and D. Unruh

January 2005
On fairness in simulatability-based cryptographic systems In Proceedings

M. Backes, D. Hofheinz (Dennis), J. Müller-Quade and D. Unruh

January 2005
Polynomial runtime in simulatability definitions In Proceedings

D. Hofheinz (Dennis), J. Müller-Quade and D. Unruh

January 2005
Comparing two notions of simulatability In Proceedings

D. Hofheinz (Dennis) and D. Unruh

January 2005
Secure Computation of the Mean and Related Statistics In Proceedings

E. Kiltz (Eike), J. Malone-Lee and G. Leander

January 2005
A multi-sensor architecture for human-centered smart environments In Proceedings

B.A.M. Schouten (Ben), J.W.H. Tangelder (Hans) and S. Bonchev (Stefan)

January 2005
Multimedia Understanding through Semantics, Computation and Learning In Proceedings

E.J.E.M. Pauwels (Eric)

January 2005
Saliency Detection and Matching Strategy for PHOTO-Identification of Humpback Whales In Proceedings

E.B. Ranguelova (Elena) and E.J.E.M. Pauwels (Eric)

January 2005
Addressing Partial Relevance in Image Retrieval through Aspect-based Relevance Learning In Proceedings

M.J. Huiskes (Mark)

January 2005
Aspect-based Relevance Learning for Image Retrieval In Proceedings

M.J. Huiskes (Mark)

January 2005
Append-Only Signatures In Proceedings

E. Kiltz (Eike) and not CWI et al

January 2005
Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions In Proceedings

E. Kiltz (Eike) and not CWI et al

January 2005
Cryptography in the Bounded Quantum-Storage Model In Proceedings

I.B. Damgård (Ivan), S. Fehr (Serge), L. Salvail (Louis) and C. Schaffner (Christian)

January 2005
On Codes, Matroids and Secure Multi-Party Computation from Linear Secret Sharing Schemes In Proceedings

R.J.F. Cramer (Ronald) and not CWI et al

January 2005
Threshold Circuit Lower Bounds on Cryptographic Functions Article

Journal of Computer and System Sciences, 71(2), 185-212.

E. Kiltz (Eike) and H.U. Simon

January 2005
Primitive Sets over Number Fields and Absolutely Optimal Black-Box Secret Sharing In Proceedings

R.J.F. Cramer (Ronald), S. Fehr (Serge) and M. Stam

January 2005
Thermodynamic limits of high-dimensional sandpile models Tech Report

A.A. Járai (Antal) and F.H.J. Redig (Frank)

January 2005
Optimality of an explicit series expansion of the fractional Brownian sheet Article

Statistics and Probability Letters, 71(4), 295-301.

K.O. Dzhaparidze (Kacha) and J.H. van Zanten (Harry)

January 2005
Krein's spectral theory and the Paley-Wiener expansion for fractional Brownian motion Article

Annals of Probability, 33(2), 620-644.

K.O. Dzhaparidze (Kacha) and J.H. van Zanten (Harry)

January 2005
Representations of fractional Brownian motion using vibrating strings Article

Stochastic Processes and their Applications, 115(12), 1928-1953.

K.O. Dzhaparidze (Kacha), J.H. van Zanten (Harry) and P. Zarȩba (Pawel)

January 2005
Some conditional correlation inequalities for percolation and related processes Tech Report

J. van den Berg (Rob), O. Häggström and J. Kahn

January 2005
On the asymptotic density in a one-dimensional critical forest-fire model Article

Communications in Mathematical Physics, 633-644.

J. van den Berg (Rob) and A.A. Járai (Antal)

January 2005
Contemporary Cryptology. Advanced Courses in Mathematics. CRM Barcelona Book

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and not CWI et al

January 2005
Advances in Cryptology - EUROCRYPT 2005: 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques Proceedings

January 2005
Sojourn time approximations in queueing networks Master Thesis

K.M.C. van Wingerden (Karin)

January 2005
Efficient flow scheduling in resource-sharing networks Master Thesis

I.M. Verloop (Maaike)

January 2005
Stability of size-based scheduling disciplines in resource-sharing networks Article

Performance Evaluation, 247-262.

I.M. Verloop (Maaike), S.C. Borst (Sem) and R. Núñez Queija (Rudesindo)

January 2005
Stability and throughput in a two-layered network of multi-server queues In Proceedings

W. van der Weij (Wemke), B.M.M. Gijsen, R.D. van der Mei (Rob) and F. Phillipson (Frank)

January 2005
Heavy-traffic asymptotics for the single-server queue with random order of service Article

Operations Research Letters, 511-518.

A.P. Zwart (Bert)

January 2005
Continuous feedback fluid queues Article

Operations Research Letters, 551-559.

W.R.W. Scheinhardt (Werner), N.D. van Foreest and M.R.H. Mandjes (Michel)

January 2005
QoS in hybrid networks: an operator's perspective In Proceedings

A. Pras, R. van de Meent and M.R.H. Mandjes (Michel)

January 2005
Realizing end-to-end Quality of Service for voice-over-IP in a heterogeneous multidomain network environment In Proceedings

R.D. van der Mei (Rob), H.B. Meeuwissen and F. Phillipson (Frank)

January 2005
Periodic polling systems in heavy-traffic: renewal arrivals Article

Operations Research Letters, 17-25.

T.L. Olsen and R.D. van der Mei (Rob)

January 2005
End-to-end response time analysis for transaction-based services in a distributed computing environment In Proceedings

R.D. van der Mei (Rob), B.M.M. Gijsen and J.L. van den Berg (Hans)

January 2005
Modelling end-to-end performance for transaction-based services in a distributed computing environment In Proceedings

R.D. van der Mei (Rob) and M. Harkema (Marcel)

January 2005
Subexponential asymptotics of hybrid fluid and ruin problems Article

Annals of Applied Probability, 500-517.

A.P. Zwart (Bert), S.C. Borst (Sem) and K.G. Dȩbicki (Krzysztof)

January 2005
Reduced-load equivalence for Gaussian processes Article

Operations Research Letters, 502-510.

A.P. Zwart (Bert), S.C. Borst (Sem) and K.G. Dȩbicki (Krzysztof)

January 2005
Evaluation of `user-oriented' and `black-box' traffic models for link provisioning In Proceedings

R. van de Meent and M.R.H. Mandjes (Michel)

January 2005
Load characterization, overload prediction, and load anomaly detection for voice over IP traffic Article

IEEE Transactions on Neural Networks, 1019-1028.

M.R.H. Mandjes (Michel), I. Saniee and A. Stolyar

January 2005
Priority queues with Gaussian input: a path-space approach to loss and delay asymptotics In Proceedings

M.R.H. Mandjes (Michel), P. Mannersalo and I. Norros

January 2005
Inferring traffic burstiness by sampling the buffer occupancy In Proceedings

M.R.H. Mandjes (Michel) and R. van de Meent

January 2005
Sample-path large deviations for Generalized Processor Sharing queues with Gaussian inputs Article

Performance Evaluation, 225-256.

M.R.H. Mandjes (Michel) and M.J.G. van Uitert (Miranda)

January 2005
Sample-path large deviations for tandem and priority queues with Gaussian inputs Article

Annals of Applied Probability, 1193-1226.

M.R.H. Mandjes (Michel) and M.J.G. van Uitert (Miranda)

January 2005
Sojourn times in the M/G/1 FB queue with light-tailed service times Article

Probability in the Engineering and Informational Sciences, 351-361.

M.R.H. Mandjes (Michel) and M. Nuyens

January 2005
Modeling the interaction of IEEE 802.3x hop-by-hop flow control and TCP end-to-end flow control In Proceedings

R. Malhotra, R. van Haalen, R. Núñez Queija (Rudesindo) and M.R.H. Mandjes (Michel)

January 2005
Differentiated bandwidth sharing with disparate flow sizes In Proceedings

G. van Kessel, R. Núñez Queija (Rudesindo) and S.C. Borst (Sem)

January 2005
Dynamic optimization in future cellular networks Article

Bell Labs Technical Journal, 99-109.

S.C. Borst (Sem) and not CWI et al

January 2005
Some time-dependent properties of symmetric M/G/1 queue Article

Annals of Applied Probability, 223-234.

O. Kella, A.P. Zwart (Bert) and O.J. Boxma (Onno)

January 2005
Dynamic load balancing experiments for Grid applications In Proceedings

M.A. Dobber (Menno), G.M. Koole (Ger) and R.D. van der Mei (Rob)

January 2005
On asymptotically efficient simulation of large deviation probabilities Article

Advances in Applied Probability, 539-552.

A.B. Dieker (Ton) and M.R.H. Mandjes (Michel)

January 2005
Reduced-load equivalence for queues with Gaussian input Article

Queueing Systems, 405-414.

A.B. Dieker (Ton)

January 2005
Extremes of Gaussian processes over an infinite horizon Article

Stochastic Processes and their Applications, 207-248.

A.B. Dieker (Ton)

January 2005
Conditional limit theorems for queues with Gaussian input, a weak convergence approach Article

Stochastic Processes and their Applications, 849-873.

A.B. Dieker (Ton)

January 2005
A tandem network with server slow-down and blocking Article

Stochastic Models, 695-724.

N.D. van Foreest, J.C.W. van Ommeren, M.R.H. Mandjes (Michel) and W.R.W. Scheinhardt (Werner)

January 2005
Sojourn-time approximations in a two-node queueing network In Proceedings

O.J. Boxma (Onno), R.D. van der Mei (Rob), J.A.C. Resing and K.M.C. van Wingerden (Karin)

January 2005
Sojourn times in finite-capacity Processor-Sharing queues In Proceedings

O.J. Boxma (Onno), N. Hegde and S.C. Borst (Sem)

January 2005
Fluid queues with heavy-tailed M/G/ input Article

Mathematics of Operations Research, 852-879.

S.C. Borst (Sem) and A.P. Zwart (Bert)

January 2005
Tail asymptotics for Discriminatory Processor-Sharing queues with heavy-tailed service requirements Article

ACM SIGMETRICS Performance Evaluation Review, 281-298.

S.C. Borst (Sem), D.T.M.B. van Ooteghem (Dennis) and A.P. Zwart (Bert)

January 2005
User-level performance of channel-aware scheduling algorithms in wireless data networks Article

IEEE/ACM Transactions on Networking, 636-647.

S.C. Borst (Sem)

January 2005
Inter-cell scheduling in wireless data networks In Proceedings

T. Bonald, S.C. Borst (Sem) and A. Proutière

January 2005
an equivalnce between loss rates and cycle maxima in queues and dams Article

Probability in the Engineering and Informational Sciences, 241-255.

R. Bekker (Rene) and A.P. Zwart (Bert)

January 2005
Performance of TCP-friendly streaming sessions in the presence of heavy-tailed elastic flows Article

ACM SIGMETRICS Performance Evaluation Review, 143-162.

R. Bekker (Rene), S.C. Borst (Sem) and R. Núñez Queija (Rudesindo)

January 2005
Optimal choice of the buffer size in the Internet routers In Proceedings

K. Avrachenkov, U. Ayesta (Urtzi) and A. Piunovskiy

January 2005
Discriminatory processor sharing revisited In Proceedings

K. Avrachenkov, U. Ayesta (Urtzi), P. Brown and R. Núñez Queija (Rudesindo)

January 2005
A versatile model for TCP bandwidth sharing in networks with user heterogeneity In Proceedings

D. Abendroth, J.L. van den Berg (Hans) and M.R.H. Mandjes (Michel)

January 2005
A multiple time-scale model for TCP bandwidth sharing under user heterogeneity. In Proceedings

D. Abendroth, J.L. van den Berg (Hans) and M.R.H. Mandjes (Michel)

January 2005
On the non-optimality of the FB discipline within the service time distribution class IMRL In Proceedings

S. Aalto and U. Ayesta (Urtzi)

January 2005
Handbook of Discrete Optimization Book

January 2005
On the history of combinatorial optimization (till 1960) Book Chapter

A. Schrijver (Lex)

January 2005
Integer Programming, Lattices and Results in Fixed Dimension Book Chapter

K.I. Aardal (Karen) and F. Eisenbrand

January 2005
Lattice basis reduction in integer linear optimization: Some basic topics Article

SIAM Activity Group on Optimization Newsletter, 20-27.

K.I. Aardal (Karen)

January 2005
Lower bounds for the head-body-tail problem on parallel machines: a computational study for the multiprocessor flow shop Article

INFORMS Journal on Computing, 17(3), 305-320.

A. Vandevelde, J.A. Hoogeveen, C.A.J. Hurkens (Cor) and J.K. Lenstra (Jan Karel)

January 2005
Local covering optimality of lattices: Leech lattice versus root lattice $E_8$ Article

International Mathematics Research Notices, 1937-1955.

A. Schuermann and F. Vallentin (Frank)

January 2005
New code upper bounds from the Terwilliger algebra and semidefinite programming Article

IEEE Transactions on Information Theory, 2859-2866.

A. Schrijver (Lex)

January 2005
Maintenance Routing for Train Units: The Transition Model Article

Transportation Science, 39(4), 518-525.

G. Maróti (Gábor) and L.G. Kroon

January 2005
A convex quadratic characterization of the Lovász theta number Article

SIAM Journal on Discrete Mathematics, 382-387.

C.J. Luz and A. Schrijver (Lex)

January 2005
Approximation Algorithms for Unit Disk Graphs In Proceedings

E.J. van Leeuwen (Erik Jan)

January 2005
On the equivalence of algebraic approaches to the minimization of forms on the simplex Book Chapter

M. Laurent (Monique), E. de Klerk (Etienne) and P. Parrilo

January 2005

Available Years

Publications from 2022

Term rewriting meets aspect oriented programming Book Chapter

Toward an engineering discipline for grammarware Article

Integrated development and maintenance of software products to support efficient updating of customer configurations: A case study in mass market erp software In Proceedings

A process model and typology for software product updaters In Proceedings

Evaluating an embedded software reference architecture: Experience report In Proceedings

Modelling the epistemics of communication with functional programming In Proceedings

Normal forms for characteristic functions on n-ary relations Article

Guest editors' introduction: 10th WCRE Working Conference on Reverse Engineering Article

A JHotDraw: A showcase for refactoring to aspects In Proceedings

Guest editorial: Software reverse engineering Article

A Qualitative Comparison of Three Aspect Mining Techniques In Proceedings

Isolating idiomatic crosscutting concerns In Proceedings

On the use of clone detection for identifying crosscutting concern code Article

Generalized type-based disambiguation of meta programs with concrete object syntax In Proceedings

A generator of efficient strongly typed abstract syntax trees in Java Article

An architecture for context-sensitive formatting In Proceedings

Common knowledge in update logics In Proceedings

A case study of the release management of a health-care information system In Proceedings

Neural networks for discrete tomography In Proceedings

A new algorithm for 3D binary tomography In Proceedings

A new algorithm for 3D binary tomography In Proceedings

An evolutionary algorithm for discrete tomography Article

On the notion of statistical security in simulatability definitions. Information Security In Proceedings

On fairness in simulatability-based cryptographic systems In Proceedings

Polynomial runtime in simulatability definitions In Proceedings

Comparing two notions of simulatability In Proceedings

Secure Computation of the Mean and Related Statistics In Proceedings

A multi-sensor architecture for human-centered smart environments In Proceedings

Multimedia Understanding through Semantics, Computation and Learning In Proceedings

Saliency Detection and Matching Strategy for PHOTO-Identification of Humpback Whales In Proceedings

Addressing Partial Relevance in Image Retrieval through Aspect-based Relevance Learning In Proceedings

Aspect-based Relevance Learning for Image Retrieval In Proceedings

Append-Only Signatures In Proceedings

Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions In Proceedings

Cryptography in the Bounded Quantum-Storage Model In Proceedings

On Codes, Matroids and Secure Multi-Party Computation from Linear Secret Sharing Schemes In Proceedings

Threshold Circuit Lower Bounds on Cryptographic Functions Article

Primitive Sets over Number Fields and Absolutely Optimal Black-Box Secret Sharing In Proceedings

Thermodynamic limits of high-dimensional sandpile models Tech Report

Optimality of an explicit series expansion of the fractional Brownian sheet Article

Krein's spectral theory and the Paley-Wiener expansion for fractional Brownian motion Article

Representations of fractional Brownian motion using vibrating strings Article

Some conditional correlation inequalities for percolation and related processes Tech Report

On the asymptotic density in a one-dimensional critical forest-fire model Article

Contemporary Cryptology. Advanced Courses in Mathematics. CRM Barcelona Book

Advances in Cryptology - EUROCRYPT 2005: 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques Proceedings

Sojourn time approximations in queueing networks Master Thesis

Efficient flow scheduling in resource-sharing networks Master Thesis

Stability of size-based scheduling disciplines in resource-sharing networks Article

Stability and throughput in a two-layered network of multi-server queues In Proceedings

Heavy-traffic asymptotics for the single-server queue with random order of service Article

Continuous feedback fluid queues Article

QoS in hybrid networks: an operator's perspective In Proceedings

Realizing end-to-end Quality of Service for voice-over-IP in a heterogeneous multidomain network environment In Proceedings

Periodic polling systems in heavy-traffic: renewal arrivals Article

End-to-end response time analysis for transaction-based services in a distributed computing environment In Proceedings

Modelling end-to-end performance for transaction-based services in a distributed computing environment In Proceedings

Subexponential asymptotics of hybrid fluid and ruin problems Article

Reduced-load equivalence for Gaussian processes Article

Evaluation of `user-oriented' and `black-box' traffic models for link provisioning In Proceedings

Load characterization, overload prediction, and load anomaly detection for voice over IP traffic Article

Priority queues with Gaussian input: a path-space approach to loss and delay asymptotics In Proceedings

Inferring traffic burstiness by sampling the buffer occupancy In Proceedings

Sample-path large deviations for Generalized Processor Sharing queues with Gaussian inputs Article

Sample-path large deviations for tandem and priority queues with Gaussian inputs Article

Sojourn times in the M/G/1 FB queue with light-tailed service times Article

Modeling the interaction of IEEE 802.3x hop-by-hop flow control and TCP end-to-end flow control In Proceedings

Differentiated bandwidth sharing with disparate flow sizes In Proceedings

Dynamic optimization in future cellular networks Article

Some time-dependent properties of symmetric M/G/1 queue Article

Dynamic load balancing experiments for Grid applications In Proceedings

On asymptotically efficient simulation of large deviation probabilities Article

Reduced-load equivalence for queues with Gaussian input Article

Extremes of Gaussian processes over an infinite horizon Article

Conditional limit theorems for queues with Gaussian input, a weak convergence approach Article

A tandem network with server slow-down and blocking Article

Sojourn-time approximations in a two-node queueing network In Proceedings

Sojourn times in finite-capacity Processor-Sharing queues In Proceedings

Fluid queues with heavy-tailed M/G/ input Article