Author Search Results :: UTM Library Massive Scholar Tracking

Jan Friso Groote

Jan Friso Groote (2009)

Jan Friso Groote (born April 13, 1965, in Doetinchem) is a Dutch computer scientist. Provided by Wikipedia

1

A Complete Axiomatisation for Probabilistic Trace Equivalence by Ferry Timmers, Jan Friso Groote

Published 2020-08-01

Get full text

Article
2

Distribution of Behaviour into Parallel Communicating Subsystems by Omar al Duhaiby, Jan Friso Groote

Published 2019-08-01

Get full text

Article
3

Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode by Mahmoud Talebi, Jan Friso Groote, Conrad Dandelski

Published 2017-03-01

Get full text

Article
4

A symmetric protocol to establish service level agreements by Jan Friso Groote, Tim A. C. Willemse

Published 2020-09-01

Get full text

Article
5

Correct and Efficient Antichain Algorithms for Refinement Checking by Maurice Laveaux, Jan Friso Groote, Tim A. C. Willemse

Published 2021-02-01

Get full text

Article
6

Lowerbounds for Bisimulation by Partition Refinement by Jan Friso Groote, Jan Martens, Erik. P. de Vink

Published 2023-05-01

Get full text

Article
7

An Efficient Algorithm to Determine Probabilistic Bisimulation by Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink

Published 2018-09-01

Get full text

Article