Centrum Wiskunde & Informatica

Algebraic Methods for Counting Euclidean Embeddings of Rigid Graphs In Proceedings

I.Z. Emiris, E.P. Tsigaridas and A. Varvitsiotis (Antonios)

January 2009
SAT-based Verification for Timed Component Connectors In Proceedings

S. Kemper (Stephanie)

January 2009
Analysis of a multirate theta-method for stiff ODEs Article

Applied Numerical Mathematics, 693-706.

W. Hundsdorfer (Willem) and V. Savcenco (Valeriu)

January 2009
Stepsize conditions for boundedness in numerical initial value problems Article

SIAM Journal on Numerical Analysis, 3797-3819.

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

January 2009
Eating from the Tree of Ignorance Book Chapter

D.J.N. van Eijck (Jan) and R. Verbrugge (Rineke)

January 2009
Game Theory. Logic and Rational Choice Book Chapter

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

January 2009
What is Protocol Analysis? Book Chapter

F. Dechesne (Francien), D.J.N. van Eijck (Jan), W. Teepe and Y. Wang (Yanjing)

January 2009
What is Social Software? Book Chapter

D.J.N. van Eijck (Jan) and R. Parikh

January 2009

Previous

Next