Publications from 2017

Beste Jan Karel Book Chapter

K.R. Apt (Krzysztof)

How Jan Karel made CWI more attractive for female researchers Book Chapter

L. Hardman (Lynda)

Ambulancezorg kan veel sneller! News Broadcast

R.D. van der Mei (Rob)

Afscheid van JKL Book Chapter

D.J.N. van Eijck (Jan)

An appreciation of the absurd Miscellaneous

D.C.A. Bulterman (Dick)

Vakant(ie) Book Chapter

R.J.F. Cramer (Ronald)

Connecties met JKL Miscellaneous

P.D. Grünwald (Peter)

I'm sorry, Dave. I'm afraid I can't do that Book Chapter

H.M. Buhrman (Harry)

Beste Jan Karel Miscellaneous

H.J.J. te Riele (Herman)

Op een goede dag Book Chapter

A. Schrijver (Lex)

A leisurely traveling salesman tour through several facets of cuts Miscellaneous

M. Laurent (Monique)

Jan Karel Miscellaneous

A.C. Kik (Annette)

Jan Karel, 8 jaar CWI Miscellaneous

M. Anholt Gunzeln (Martine), S.J. van Dam (Susanne) and N. Mitrovic (Nada)

Van de wonderwerkster Miscellaneous

L.M. Schultze (Lieke)

Eton Mess Miscellaneous

K.J. van Gemert (Karin), M. van der Heijden (Marlin), I.J.M. van Lunenburg (Irma) and L. Ouwerkerk (Léon)

De schoonheid van het woord Miscellaneous

A. Schilder

Beste Jan Karel Miscellaneous

C.M.J. Klerx (Carina)

Jan Karel Book Chapter

H. Hidskes (Hans)

Bij het afscheid van Jan Karel als directeur van het CWI Miscellaneous

D.G.C. Broekhuis (Dick)

Kom jongens, we gaan staffen! Book Chapter

F.A. Roos (Frank)

Patent nonsense and the joined keys lemma Book Chapter

A.K. Lenstra (Arjen)

Het hoofd en de boekenkast Miscellaneous

H.W. Lenstra (Hendrik)

Jan Karel: een rijmkroniek in tien strofen Miscellaneous

H.W. Lenstra (Hendrik), T.J. Wansbeek (Tom), J. Wansbeek (Jacob), F. Coelingh, L. Wansbeek (Lotje), C. Wansbeek (Clazina) and H. T. Adriaenssen

Er is niet meer waard dan een schep kerkhofzand Miscellaneous

J.K. Lenstra (Jan Karel)

Jan Karel Lenstra, the traveling science man : liber amicorum Miscellaneous

Short signatures from weaker assumptions In Proceedings

D. Hofheinz (Dennis), T. Jager and E. Kiltz (Eike)

Parallel repetition for leakage resilience amplification revisited In Proceedings

A. Jain (Abhishek) and K.Z. Pietrzak (Krzysztof)

Tamper-proof circuits: how to trade leakage for tamper-resilience In Proceedings

S. Faust, K.Z. Pietrzak (Krzysztof) and D. Venturi (Daniele)

Efficient authentication from hard learning In Proceedings

E. Kiltz (Eike), K.Z. Pietrzak (Krzysztof), D. Cash (Charles David), A. Jain (Abhishek) and D. Venturi (Daniele)

Leftover hash lemma, revisited In Proceedings

B. Barak, Y. Dodis, H. Krawczyk, O. Pereira, K.Z. Pietrzak (Krzysztof), F.-X. Standaert and Y. Yu (Yu)

KRunner: Linking Rascal with K Unpublished

M.A. Hills (Mark), P. Klint (Paul) and J.J. Vinju (Jurgen)

Refining square root safety staffing by expanding Erlang C Article

G. Janssen, J.S.H. van Leeuwaarden (Johan) and A.P. Zwart (Bert)

Sojourn times asymptotics in a parking lot network Article

R.R. Egorova (Regina Robertovna) and A.P. Zwart (Bert)

Diffusion limits of limited processor sharing queues Article

J. Zhang (Jason), J.G. Dai and A.P. Zwart (Bert)

Heavy-traffic analysis of mean response time under shortest remaining processing time Article

A. Wierman (Adam), M. Ling and A.P. Zwart (Bert)

A lower bound for the Erlang C formula in the Halfin-Whitt regime Article

G. Janssen, J.S.H. van Leeuwaarden (Johan) and A.P. Zwart (Bert)

A piecewise linear SDE driven by a Levy process Book Chapter

J. Reed (Josh) and A.P. Zwart (Bert)

Convergence of the all-time supremum of a Levy process in the heavy-traffic regime Article

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

Applying queueing theory to single machine systems subject to interruptions Article

K. Wu, L.F. McGinnis and A.P. Zwart (Bert)

Approximating the performance of a batch service queue using the M/Mk/1 model Article

K. Wu, L.F. McGinnis and A.P. Zwart (Bert)

Time dependent properties of symmetric queues Article

B. Fralix and A.P. Zwart (Bert)

An ODE for an overloaded X model involving a stochastic averaging principle Article

O. Perry (Ohad) and W. Whitt

A fluid approximation for service systems responding to unexpected overloads Article

O. Perry (Ohad) and W. Whitt

CWI - SEN1 Software Analysis and Transformation Presentation

J.J. Vinju (Jurgen)

Separation and integration of concerns in meta programming - the Rascal perspective - Presentation

J.J. Vinju (Jurgen)

Software Language Processing Suite Software

V. Zaytsev (Vadim) and R. Lämmel (Ralf)

Ensō Software

W.J. Cook and T. van der Storm (Tijs)

Rascal 0.4 Software

J.J. Vinju (Jurgen), P. Klint (Paul), T. van der Storm (Tijs), H.J.S. Basten (Bas), J. van den Bos (Jeroen), M.A. Hills (Mark), A.W. Lankamp (Arnold), A.J. van der Ploeg (Atze), D. Landman (Davy), V. Zaytsev (Vadim), et al. A. Izmaylova (Anastasia), A.H.S. Bagge (Anya) and B. Lisser (Bert)

Pacioli Software

P.R. Griffioen (Paul) and T. van der Storm (Tijs)

Derric Compiler Alpha Software

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

Rascal: Language technology for model-driven engineering Unpublished

T. van der Storm (Tijs)

On semidefinite programming bounds for graph bandwidth Tech Report

E. de Klerk (Etienne), M. Eisenberg-Nagy (Marianna) and R. Sotirov (Renata)

The Torsion-limit for algebraic function fields and its application to arithmetic secret sharing In Proceedings

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

The arithmetic codex: Theory and applications In Proceedings

R.J.F. Cramer (Ronald)

Special boundedness properties in numerical initial value problems Article

W. Hundsdorfer (Willem), A. Mozartova (Anna) and M.N. Spijker

Onweersbuien produceren anti-materie, Hoe?Zo! Wetenschap, radio 5, 20 - 21 uur, Jan. 11, 2011. News Broadcast

U. Ebert (Ute)

Het bliksemt antimaterie, George van Hal, nwt (Natuurwetenschap en Techniek) online, Jan. 12, 2011. Magazine Article

U. Ebert (Ute)

Nebulöse irdische Beschleuniger, pdf, Leonid Leiva, Neue Zürcher Zeitung, in print and online, Jan. 19, 2011. Magazine Article

U. Ebert (Ute)

On the PhD thesis of Sander Nijdam: Mysterieus schijnsel op verre planeten, Cursor (TU Eindhoven), in print and online, Jan. 27, 2011. Magazine Article

U. Ebert (Ute)

Lapp-Top Leiden Presentation

F. Arbab (Farhad)

Puff, the magic protocol Presentation

F. Arbab (Farhad)

Puff, the magic protocol Book Chapter

F. Arbab (Farhad)

Modeling dynamic reconfigurations in Reo using high-level replacement systems Article

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

Channel-based coordination via constraint satisfaction Article

D.G. Clarke (David), J.M.P. Proença (Jose), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

Synthesis of Reo circuits from scenario-based interaction specifications Article

S. Meng, F. Arbab (Farhad) and C. Baier

Spatiotemporal characteristics of charged particle swarms in orthogonal electric and magnetic fields Article

Z.M. Raspopovic, S. Dujko (Sasa), R.D. White and Z.L. Petrović (Zoran)

Visualization of electron transport coefficients in RF electric and magnetic fields crossed at arbitrary angles Article

S. Dujko (Sasa), R.D. White and Z.L. Petrović (Zoran)

Positrons in gas filled traps and their transport in molecular gases Article

Z.L. Petrović (Zoran), A. Bankovic, S. Marjanovic, M. Suvakov, S. Dujko (Sasa), G. Malovic, R.D. White and S.J. Buckman

Positron transport in molecular gases in crossed electric and magnetic fields Article

A. Bankovic, S. Dujko (Sasa), R.D. White, G. Malovic, S.J. Buckman and Z.L. Petrović (Zoran)

[11] A multi term solution of the non-conservative Boltzmann equation analysis for the analysis of temporal and spatial non-local effects in charged-particle swarms in electric and magnetic fields Article

S. Dujko (Sasa), R.D. White, Z.L. Petrović (Zoran) and R.E. Robson

ICT-mediated Human Activity - Supporting tomorrow’s tasks Presentation

L. Hardman (Lynda)

Designing User Interfaces to Communicate Information Effectively (AMS GGD #11) Lecture

L. Hardman (Lynda)

User requirements and visualizations for a multi-facet search task in the domain of travel Master Thesis

M. Visser (Marcel)

Designing an image retrieval interface for abstract concepts within the domain of journalism Tech Report

R. Besseling (Ron)

Designing a soft preference based search interface for the housing market Tech Report

S.K. Oudshoorn (Kevin)

Softwareagenten regelen vraag en aanbod energie Book Chapter

K. Riksen and J.A. La Poutré (Han)

Simulations of Sequential Auction Markets Using Priced Options to Reduce Bidder Exposure Article

I.M. Mous (Lonneke), V. Robu (Valentin) and J.A. La Poutré (Han)

Automated Interactive Sales Processes Article

T.B. Klos (Tomas), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

What does it cost to be flexible? A constraint based approach to modelling a micro-organism in a changeable environment. Lecture

B.G. Olivier (Brett)

Good times?!: 3 problems and design considerations for playful HCI Article

A. El Ali (Abdallah), F.-M. Nack (Frank) and L. Hardman (Lynda)

Newsletter Science Park Amsterdam: Nare gevolgen van een strategische keuze Magazine Article

G. Schäfer (Guido)

Grammar Comparison Techniques Presentation

V. Zaytsev (Vadim)

Toward an Engineering Discipline for Grammar Recovery Presentation

V. Zaytsev (Vadim)

Wiki Migration Presentation

V. Zaytsev (Vadim)

Comparison of Context-free Grammars Based on Parsing Generated Test Data Presentation

V. Zaytsev (Vadim)

Cheating on the Undecidability of Language Equivalence Presentation

V. Zaytsev (Vadim)

Grammar Investigation Presentation

V. Zaytsev (Vadim)

Origins of stochastic intracellular processes and consequences for cell-to-cell variability and cellular survival strategies. Book Chapter

A. Schwabe (Anne), M. Dobrzynski (Maciej), K.N. Rybakova, P.J. Verschure (Pernette) and F.J. Bruggeman (Frank)

Jan, politician and scientist Miscellaneous

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

Information distance: New developments (extended abstract) In Proceedings

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

A two-dimensional embedded-boundary method for convection problems with moving boundaries In Proceedings

Y.J. Hassen (Yunus) and B. Koren (Barry)

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)

A unified format for language documents In Proceedings

V. Zaytsev (Vadim) and R. Lämmel (Ralf)

A geometric look at manipulation In Proceedings

D.J.N. van Eijck (Jan)

RLSRunner: Linking Rascal with K for program analysis In Proceedings

P. Klint (Paul), J.J. Vinju (Jurgen) and M.A. Hills (Mark)

Rascal: Language technology for model-driven engineering In Proceedings

J. van den Bos (Jeroen), P.R. Griffioen (Paul), P. Klint (Paul) and T. van der Storm (Tijs)

A case of visitor versus interpreter pattern In Proceedings

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

MediaWiki grammar recovery Article

V. Zaytsev (Vadim)

Redeneren over communicatie Article

D.J.N. van Eijck (Jan)

Reasoning with protocols under imperfect information Article

E. Pacuit and S.E. Simon (Sunil)