Publications from 2013
-
Beste Jan Karel Book Chapter
January 2011 -
January 2011
-
Ambulancezorg kan veel sneller! News Broadcast
January 2011 -
Afscheid van JKL Book Chapter
January 2011 -
An appreciation of the absurd Miscellaneous
January 2011 -
Vakant(ie) Book Chapter
January 2011 -
Connecties met JKL Miscellaneous
January 2011 -
I'm sorry, Dave. I'm afraid I can't do that Book Chapter
January 2011 -
Beste Jan Karel Miscellaneous
January 2011 -
Op een goede dag Book Chapter
January 2011 -
January 2011
-
Jan Karel Miscellaneous
January 2011 -
Jan Karel, 8 jaar CWI Miscellaneous
January 2011 -
Van de wonderwerkster Miscellaneous
January 2011 -
Eton Mess Miscellaneous
January 2011 -
De schoonheid van het woord Miscellaneous
January 2011 -
Beste Jan Karel Miscellaneous
January 2011 -
Jan Karel Book Chapter
January 2011 -
Bij het afscheid van Jan Karel als directeur van het CWI Miscellaneous
January 2011 -
Kom jongens, we gaan staffen! Book Chapter
January 2011 -
Patent nonsense and the joined keys lemma Book Chapter
January 2011 -
Het hoofd en de boekenkast Miscellaneous
January 2011 -
Jan Karel: een rijmkroniek in tien strofen Miscellaneous
January 2011 -
Er is niet meer waard dan een schep kerkhofzand Miscellaneous
January 2011 -
January 2011
-
Short signatures from weaker assumptions In Proceedings
January 2011 -
January 2011
-
January 2011
-
Efficient authentication from hard learning In Proceedings
January 2011 -
Leftover hash lemma, revisited In Proceedings
January 2011 -
KRunner: Linking Rascal with K Unpublished
January 2011 -
Refining square root safety staffing by expanding Erlang C Article
Operations Research, 1512-1522.January 2011 -
Sojourn times asymptotics in a parking lot network Article
Mathematical Methods of Operations Research, 163-190.January 2011 -
Diffusion limits of limited processor sharing queues Article
Annals of Applied Probability, 745-777.January 2011 -
Heavy-traffic analysis of mean response time under shortest remaining processing time Article
Performance Evaluation, 955-966.January 2011 -
A lower bound for the Erlang C formula in the Halfin-Whitt regime Article
Queueing Systems, 361-363.January 2011 -
A piecewise linear SDE driven by a Levy process Book Chapter
January 2011 -
Convergence of the all-time supremum of a Levy process in the heavy-traffic regime Article
Queueing Systems, 295-304.January 2011 -
Applying queueing theory to single machine systems subject to interruptions Article
IEE Transactions, 753-759.January 2011 -
Approximating the performance of a batch service queue using the M/Mk/1 model Article
Transactions on Automation Science and Engineering, 95-102.January 2011 -
Time dependent properties of symmetric queues Article
Queueing Systems, 33-45.January 2011 -
An ODE for an overloaded X model involving a stochastic averaging principle Article
Stochastic Systems, 59-108.January 2011 -
A fluid approximation for service systems responding to unexpected overloads Article
Operations Research, 59(5), 1159-1170.January 2011 -
CWI - SEN1 Software Analysis and Transformation Presentation
January 2011 -
January 2011
-
Software Language Processing Suite Software
January 2011 -
Ensō Software
January 2011 -
Rascal 0.4 Software
January 2011 -
Pacioli Software
January 2011 -
Derric Compiler Alpha Software
January 2011 -
January 2011
-
January 2011
-
The Torsion-limit for algebraic function fields and its application to arithmetic secret sharing In Proceedings
January 2011 -
The arithmetic codex: Theory and applications In Proceedings
January 2011 -
Special boundedness properties in numerical initial value problems Article
BIT : Numerical Mathematics, 909-936.January 2011 -
Onweersbuien produceren anti-materie, Hoe?Zo! Wetenschap, radio 5, 20 - 21 uur, Jan. 11, 2011. News Broadcast
January 2011 -
Het bliksemt antimaterie, George van Hal, nwt (Natuurwetenschap en Techniek) online, Jan. 12, 2011. Magazine Article
January 2011 -
Nebulöse irdische Beschleuniger, pdf, Leonid Leiva, Neue Zürcher Zeitung, in print and online, Jan. 19, 2011. Magazine Article
January 2011 -
On the PhD thesis of Sander Nijdam: Mysterieus schijnsel op verre planeten, Cursor (TU Eindhoven), in print and online, Jan. 27, 2011. Magazine Article
January 2011 -
Lapp-Top Leiden Presentation
January 2011 -
Puff, the magic protocol Presentation
January 2011 -
Puff, the magic protocol Book Chapter
January 2011 -
Modeling dynamic reconfigurations in Reo using high-level replacement systems Article
Science of Computer Programming, 76(1), 23-36.January 2011 -
Channel-based coordination via constraint satisfaction Article
Science of Computer Programming, 76(8), 681-710.January 2011 -
Synthesis of Reo circuits from scenario-based interaction specifications Article
Science of Computer Programming, 76(8), 651-680.January 2011 -
Spatiotemporal characteristics of charged particle swarms in orthogonal electric and magnetic fields Article
IEEE Transactions on Plasma ScienceJanuary 2011 -
Visualization of electron transport coefficients in RF electric and magnetic fields crossed at arbitrary angles Article
IEEE Transactions on Plasma ScienceJanuary 2011 -
Positrons in gas filled traps and their transport in molecular gases Article
Journal of Physics: Conference SeriesJanuary 2011 -
Positron transport in molecular gases in crossed electric and magnetic fields Article
Journal of Physics: Conference SeriesJanuary 2011 -
[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
Scientific TechnologyJanuary 2011 -
January 2011
-
January 2011
-
User requirements and visualizations for a multi-facet search task in the domain of travel Master Thesis
January 2011 -
Designing an image retrieval interface for abstract concepts within the domain of journalism Tech Report
January 2011 -
January 2011
-
Softwareagenten regelen vraag en aanbod energie Book Chapter
January 2011 -
January 2011
-
Automated Interactive Sales Processes Article
IEEE Intelligent systems, 26(4 ), 54-61.January 2011 -
January 2011
-
Good times?!: 3 problems and design considerations for playful HCI Article
International Journal of Mobile Human Computer Interaction, 3(3), 50-65.January 2011 -
January 2011
-
Grammar Comparison Techniques Presentation
January 2011 -
January 2011
-
Wiki Migration Presentation
January 2011 -
January 2011
-
January 2011
-
Grammar Investigation Presentation
January 2011 -
January 2011
-
Jan, politician and scientist Miscellaneous
January 2011 -
Information distance: New developments (extended abstract) In Proceedings
January 2011 -
A two-dimensional embedded-boundary method for convection problems with moving boundaries In Proceedings
January 2011 -
Logic in Action Book
January 2011 -
A unified format for language documents In Proceedings
January 2011 -
A geometric look at manipulation In Proceedings
January 2011 -
RLSRunner: Linking Rascal with K for program analysis In Proceedings
January 2011 -
Rascal: Language technology for model-driven engineering In Proceedings
January 2011 -
A case of visitor versus interpreter pattern In Proceedings
January 2011 -
MediaWiki grammar recovery Article
Computing Research Repository, 1-47.January 2011 -
Redeneren over communicatie Article
Euclides, 86(11)January 2011 -
Reasoning with protocols under imperfect information Article
The Review of Symbolic Logic, 4(3), 412-444.January 2011