Jan Friso Groote

RES estende sistemas Booleanos, melhorando a análise das relações entre números reais.

Uma olhada nas propriedades de cancelamento em sistemas probabilísticos e suas implicações.

A Rijkswaterstaat tá buscando modelos melhores pra sistemas de controle de túneis.

Uma exploração do trabalho dos piecers e das distâncias que eles caminhavam nas fábricas do século 19.

Um olhar sobre como a gente determina se dois processos são equivalentes.