Publication

Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES In Proceedings

T. Brys, M.M. Drugan, P.A.N. Bosman (Peter), M. de Cock and A. Nowé

Local Search and Restart Strategies for Satisfiability Solving in Fuzzy Logics In Proceedings

T. Brys, M.M. Drugan, P.A.N. Bosman (Peter), M. de Cock and A. Nowé

A characterization of edge-reflection positive partition functions of vertex-coloring models In Proceedings

G. Regts (Guus)

Formal methods for components and objects : 10th international symposium, FMCO 2011 Proceedings

Formal methods for components and objects : 11th international symposium, FMCO 2012 Proceedings

Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study In Proceedings

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), E.B. Johnsen (Einar Broch) and P.Y.H. Wong

Engineering virtualized services In Proceedings

E. Albert (Elvira), F.S. de Boer (Frank), R. Hähnle (Reiner), E.B. Johnsen (Einar Broch) and C. Laneve (Cosimo)

SexTant: Visualizing Time-Evolving Linked Geospatial Data In Proceedings

K. Bereta (Konstantina), C. Nikolaou (Charalampos), M. Karpathiotakis (Manos), K. Kyzirakos (Konstantinos) and M. Koubarakis (Manolis)