Bas Luttik

Cited by

	All	Since 2020
Citations	1354	507
h-index	23	12
i10-index	42	17

140

105

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420259 15 13 16 13 11 18 38 37 50 43 43 40 61 74 54 40 42 55 61 60 39 91 77 134 118 79 6

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jos BaetenVerified email at cwi.nl
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Fei YangZhejiang LabVerified email at zhejianglab.com
Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Jasen MarkovskiEindhoven University of TechnologyVerified email at tue.nl
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Paul BrunetUniversité Paris-Est Créteil - ÉPISENVerified email at u-pec.fr
Fabio ZanasiProfessor of Computer Science, University College LondonVerified email at ucl.ac.uk
j.e. roodahoogleraar Systems Engineering, Eindhoven University of TechnologyVerified email at tue.nl
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk
Tim MullerUniversity of NottinghamVerified email at ntu.edu.sg
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyVerified email at tue.nl
Pieter CuijpersTechnische Universiteit Eindhoven, Radboud Universiteit NijmegenVerified email at tue.nl
Frank D. ValenciaCNRS, École Polytechnique de ParisVerified email at lix.polytechnique.fr

Bas Luttik

Associate Professor of Computer Science, Eindhoven University of Technology

Verified email at tue.nl - Homepage

Theoretical Computer Science Concurrency Theory Automata Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Branching bisimilarity with explicit divergence R van Glabbeek, B Luttik, N Trčka Fundamenta Informaticae 93 (4), 371-392, 2009	99	2009
Description and formal specification of the link layer of P1394 SP Luttik Centrum voor Wiskunde en Informatica, 1997	83	1997
Towards model checking executable UML specifications in mCRL2 HH Hansen, J Ketema, B Luttik, MR Mousavi, J van de Pol Innovations in Systems and Software Engineering 6, 83-90, 2010	67	2010
Specification of Rewriting Strategies∗ SP Luttik, E Visser Proceedings of the 2nd International Workshop on the Theory and Practice of …, 1997	67	1997
Analyzing a χ model of a turntable system using Spin, CADP and Uppaal E Bortnik, N Trčka, AJ Wijs, B Luttik, JM van de Mortel-Fronczak, ... The Journal of Logic and Algebraic Programming 65 (2), 51-104, 2005	58	2005
Finite equational bases in process algebra: Results and open questions L Aceto, W Fokkink, A Ingólfsdóttir, B Luttik Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated …, 2005	57	2005
A process-theoretic approach to supervisory control theory JCM Baeten, DA Van Beek, B Luttik, J Markovski, JE Rooda Proceedings of the 2011 American Control Conference, 4496-4501, 2011	44	2011
Reactive Turing machines J Baeten, B Luttik, P Van Tilburg Information and Computation 231, 143-166, 2013	43	2013
Choice quantification in process algebra SP Luttik Thela Thesis, 2002	42	2002
Automated verification of executable UML models H Hvid Hansen, J Ketema, B Luttik, MR Mousavi, J van de Pol, ... Formal Methods for Components and Objects: 9th International Symposium, FMCO …, 2012	36	2012
An ω-complete equational specification of interleaving WJ Fokkink, SP Luttik International Colloquium on Automata, Languages, and Programming, 729-743, 2000	34	2000
Modelling and analysing ERTMS hybrid level 3 with the mCRL2 toolset M Bartholomeus, B Luttik, T Willemse International Workshop on Formal Methods for Industrial Critical Systems, 98-114, 2018	31	2018
A finite equational base for CCS with left merge and communication merge L Aceto, W Fokkink, A Ingólfsdóttir, B Luttik ACM Transactions on Computational Logic (TOCL) 10 (1), 1-26, 2009	30	2009
Computation Tree Logic with Deadlock Detection R Glabbeek, B Luttik, N Trcka Logical Methods in Computer Science 5 (4: 5), 1, 2009	30	2009
Decomposition orders—another generalisation of the fundamental theorem of arithmetic B Luttik, V Van Oostrom Theoretical Computer Science 335 (2-3), 147-186, 2005	29*	2005
CCS with Hennessy's merge has no finite-equational axiomatization L Aceto, W Fokkink, A Ingólfsdóttir, B Luttik Theoretical Computer Science 330 (3), 377-405, 2005	29	2005
Modelling and analysing software in mCRL2 JF Groote, JJA Keiren, B Luttik, EP de Vink, TAC Willemse Formal Aspects of Component Software: 16th International Conference, FACS …, 2020	28	2020
Expressiveness modulo bisimilarity of regular expressions with parallel composition JCM Baeten, B Luttik, T Muller, P Van Tilburg Mathematical Structures in Computer Science 26 (6), 933-968, 2016	27	2016
A process-theoretic look at automata JCM Baeten, PJL Cuijpers, B Luttik, PJA van Tilburg Fundamentals of Software Engineering: Third IPM International Conference …, 2010	26	2010
Divide and congruence III: from decomposition of modal formulas to preservation of stability and divergence W Fokkink, R van Glabbeek, B Luttik Information and Computation 268, 104435, 2019	25*	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors