Centrum Wiskunde & Informatica

New concepts in the abstract format of the Compositional Interchange Format In Proceedings

D.A. van Beek, P.J. Collins (Pieter), D.E. Nadales Agut, J.E. Rooda (Jacobus) and R.R.H. Schiffelers

January 2009
Computable Types for Dynamic Systems In Proceedings

P.J. Collins (Pieter)

January 2009
Computable CTL for Discrete-Time and Continuous-Space Dynamic Systems In Proceedings

P.J. Collins (Pieter) and I.S. Zapreev (Ivan)

January 2009
Computable CTL* for discrete-time and continuous-space dynamic systems In Proceedings

P.J. Collins (Pieter) and I.S. Zapreev (Ivan)

January 2009
Balanced subset sums of dense sets of integers Article

Integers; Electronic Journal of Combinatorial Number Theory, 9(A45), 591-603.

G. Karolyi (Gyula)

January 2009
Tutorial on system identification of polynomial and of rational systems In Proceedings

J. Nemcová (Jana) and J.H. van Schuppen (Jan)

January 2009
Faster scannerless GLR parsing In Proceedings

G.R. Economopoulos (Giorgos Robert), P. Klint (Paul) and J.J. Vinju (Jurgen)

January 2009
Accelerating the creation of customized, language-specific IDEs in Eclipse In Proceedings

P. Charles, R.M. Fuhrer (Robert), S.M. Sutton, E. Duesterwald and J.J. Vinju (Jurgen)

January 2009

Previous

Next