Rotterdam University of Applied Sciences

output

20132025

most citedInfeasibility and structural bias in Differential Evolution

104 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

S. G. Nibbelink6 · h 26
A. Faraggi4 · h 46
Pim van 't Hof4 · h 18
D. Paulusma2 · h 33
M. Hurtado-Heredia2 · h 2
P. Golovach2 · h 34
P. Heggernes2 · h 32
A. Amighi1 · h 9
Anna V. Kononova1 · h 18
C. Paul1 · h 28
D. Corne1 · h 53
D. Thilikos1 · h 44

collaborating institutions

University of LiverpoolGB4 papers
Durham UniversityGB2 papers
University of BergenNO2 papers
Bielefeld UniversityDE1 paper
Brandenburg University of Technology Cottbus-SenftenbergDE1 paper
Centre National de la Recherche ScientifiqueFR1 paper
City University of Hong KongHK1 paper
De Montfort UniversityGB1 paper
Heriot-Watt UniversityGB1 paper
IIT@MITUS1 paper
Innovation Plasturgie CompositesFR1 paper
Institute of Computer SciencePL1 paper

Showing cs.SEShow all

1 paper · 1 filter

cs.SE2018★ 1 cited

Verification of Shared-Reading Synchronisers

Afshin Amighi, Marieke Huisman, Stefan Blom

Synchronisation classes are an important building block for shared memory concurrent programs. Thus to reason about such programs, it is important to be able to verify the implemen…