Publication

Completeness and complexity of reasoning about call-by-value in Hoare logic Article

F.S. de Boer (Frank) and H.A. Hiep (Hans-Dieter)

De programmeur moet niet voor jou beslissen - AG Connect - 31-10-2021 Magazine Article

Sampling hypergraphs with given degrees Article

M. Dyer (Martin), C. Greenhill (Catherine), P.S. Kleer (Pieter), J. Ross (James) and L. Stougie (Leen)

The many dimensions of truthfulness: Crowdsourcing misinformation assessments on a multidimensional scale Article

M. Soprano (Michael), K. Roitero (Kevin), D. La Barbera (David), D. Ceolin (Davide), D. Spina (Damiano), S. Mizzaro (Stefano) and G. Demartini (Gianluca)

Hack3D: Crowdsourcing the assessment of cybersecurity in digital manufacturing Article

M. Linares (Michael), N. Aswani (Nishant), G. Mac (Gary), C. Jin (Chenglu), F. Chen (Fei), N. Gupta (Nikhil) and R. Karri (Ramesh)

Algorithms for flows over time with scheduling costs Article

D. Frascaria (Dario) and N.K. Olver (Neil)

Computation and efficiency of potential function minimizers of combinatorial congestion games Article

P.S. Kleer (Pieter) and G. Schäfer (Guido)

Taste variation in environmental features of bicycle routes In Proceedings

T. H. A. Koch (Thomas) and E.R. Dugundji (Elenna)