Publication

Generalized Semantics-to-Document Derivation Presentation

L. Rutledge (Lloyd), M. Alberink, L. Hardman (Lynda) and M. Veenstra

Share Conversion, Pseudorandom Secret-Sharing and Applications to Secure Computation In Proceedings

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and Y. Ishai (Yuval)

Requirements specification for testing methodology and tooling. Domain specific requirements Tech Report

S.C.C. Blom (Stefan), W.J. Fokkink (Wan) and D. van der Meij

Decentralized reputation-based trust for assessing agent reliability under aggregate feedback In Proceedings

T.B. Klos (Tomas) and J.A. La Poutré (Han)

Efficient Optimal Design of Electromagnetic Actuators Using Space-Mapping In Proceedings

L. Encica, D. Echeverria (David), E.A. Lomonova, A.J.A. Vandenput, P.W. Hemker (Piet) and D.J.P. Lahaye (Domenico)

Proceedings of the Third International Symposium on Formal Methods for Components and Objects Proceedings

Computer ergooglen die Bedeurung von Worten Article

P.M.B. Vitányi (Paul)

Discussion Article

P.M.B. Vitányi (Paul)