Centrum Wiskunde & Informatica

Adaptive Strategies for Dynamic Pricing Agents In Proceedings

S. Ramezani (Sara), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

August 2011
StoSim - Version 0.1 (original name: Nicessa) Software

N.F. Höning (Nicolas)

August 2011
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)

August 2011
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata In Proceedings

S.-S.T.Q. Jongmans (Sung) and F. Arbab (Farhad)

August 2011
Reo + mCRL2: A Framework for Model-checking Dataﬂow in Service Compositions Article

Formal Aspects of Computing, 1-30.

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

August 2011
Multi-class Fork-Join queues & The stochastic knapsack problem Master Thesis

S. Ding (Sihan)

August 2011
Atomen tellen Article

Nederlands Tijdschrift voor Natuurkunde

S. van Aert (Sandra), K.J. Batenburg (Joost) and G. Van Tendeloo (Gustaaf)

August 2011
Verification of object-oriented programs: A transformational approach Article

Journal of Computer and System Sciences

K.R. Apt (Krzysztof), F.S. de Boer (Frank), E.R. Olderog (Ernst-Rüdiger) and C.P.T. de Gouw (Stijn)

August 2011

Previous

Next