Publication

Proceedings of the First International Workshop on Security and Trust Management Proceedings

Modeling the Exogenous Coordination of Mobile Channel based Systems with Petri Nets In Proceedings

J.V. Guillen Scholten (Juan), F. Arbab (Farhad), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

Kinetic electrostatic structures in current-carrying pair plasmas Tech Report

A. Luque (Alejandro), H. Schamel, B. Eliasson and P.K. Shukla

A Runge-Kutta discontinuous-Galerkin level-set method for unsteady compressible two-fluid flow Tech Report

J. Naber (Jorick)

On the size of solutions of the inequality &#966; (ax+b)< &#966; (ax) Tech Report

H.J.J. te Riele (Herman)

Reasoning about connector reconfiguration II: basic reconfiguration logic Tech Report

D.G. Clarke (David)

Better Approximation Schemes for Disk Graphs In Proceedings

E.J. van Leeuwen (Erik Jan)

Learning and Adaptation in Multi-Agent Systems Book