Bas Luttik

Eindhoven University of Technology

Netherlands

Research Interests

Explore related searches

Professors in Netherlands

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (4)

Year:

2025

Year:

2023

Year:

2022

Year:

2020

Collaborators (5)

Marielle Stoelinga

University of Twente

NETHERLANDS

View details

Luca Aceto

Professor

Gran Sasso Science Institute

ITALY

View details

Wan Fokkink

University of Amsterdam

NETHERLANDS

View details

Valentina Castiglioni

Eindhoven University of Technology

NETHERLANDS

View details

Arend Rensink

University of Twente

NETHERLANDS

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Bas Luttik

Research Interests

Explore related searches

Contact this professor

Articles (4)

Non finite axiomatisability of weak bisimulation-based congruences

A Case in Point: Verification and Testing of a EULYNX Interface

Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?

Off-the-shelf automated analysis of liveness properties for just paths

Collaborators (5)

Marielle Stoelinga

Luca Aceto

Wan Fokkink

Valentina Castiglioni

Arend Rensink

Make your next move.