Bas Luttik - Google Scholar Citations

Cited by

	All	Since 2015
Citations	818	266
h-index	17	8
i10-index	26	8

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920208 14 11 17 11 11 20 35 35 44 40 39 37 57 66 52 48 41 56 58 64 39 8

Co-authors

Jos BaetenVerified email at cwi.nl
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Rob van GlabbeekData61, CSIRO and UNSWVerified email at cs.stanford.edu
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Jasen MarkovskiEindhoven University of TechnologyVerified email at tue.nl
Eelco VisserProfessor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
Mohammad Reza MousaviProfessor, University of LeicesterVerified email at le.ac.uk
Helle Hvid HansenDelft University of TechnologyVerified email at tudelft.nl
Fei YangTechnische Universiteit EindhovenVerified email at tue.nl
j.e. roodahoogleraar Systems Engineering, Eindhoven University of TechnologyVerified email at tue.nl
Alexandra SilvaProfessor at University College LondonVerified email at ucl.ac.uk
Paul BrunetUniversity College LondonVerified email at ucl.ac.uk
Fabio ZanasiAssociate Professor at University College LondonVerified email at ucl.ac.uk
Anton WijsAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
Tim MullerUniversity of OxfordVerified email at ntu.edu.sg
Taolue ChenDepartment of Computer Science and Information Systems, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Pieter CuijpersTechnische Universiteit Eindhoven, Aalborg UniversitetVerified email at tue.nl
Frank D. ValenciaCNRS, École Polytechnique de Paris & Pontificia Universidad Javeriana CaliVerified email at lix.polytechnique.fr

Bas Luttik

Assistant 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
Description and formal specification of the link layer of P1394 SP Luttik Centrum voor Wiskunde en Informatica, 1997	72	1997
Branching bisimilarity with explicit divergence R Van Glabbeek, B Luttik, N Trčka Fundamenta Informaticae 93 (4), 371-392, 2009	68	2009
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	54	2005
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 (1-2), 83-90, 2010	50	2010
Finite equational bases in process algebra: Results and open questions L Aceto, W Fokkink, A Ingolfsdottir, B Luttik Processes, terms and cycles: steps on the road to infinity, 338-367, 2005	48	2005
Specification of Rewriting Strategies^∗ SP Luttik, E Visser Proceedings of the 2nd International Workshop on the Theory and Practice of …, 1997	44	1997
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	41	2011
Choice quantification in process algebra SP Luttik Universiteit van Amsterdam [Host], 2002	37	2002
An ω-complete equational specification of interleaving WJ Fokkink, SP Luttik International Colloquium on Automata, Languages, and Programming, 729-743, 2000	29	2000
Reactive Turing machines J Baeten, B Luttik, P Van Tilburg Information and Computation 231, 143-166, 2013	26	2013
Decomposition orders—another generalisation of the fundamental theorem of arithmetic B Luttik, V Van Oostrom Theoretical Computer Science 335 (2-3), 147-186, 2005	26*	2005
Automated verification of executable UML models HH Hansen, J Ketema, B Luttik, MR Mousavi, J Van De Pol, ... International Symposium on Formal Methods for Components and Objects, 225-250, 2010	25	2010
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	23	2005
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	22	2009
A process-theoretic look at automata JCM Baeten, PJL Cuijpers, B Luttik, PJA Van Tilburg International Conference on Fundamentals of Software Engineering, 1-33, 2009	20	2009
Undecidability and completeness results for process algebras with alternative quantification over data. Report SEN-R9806, CWI, The Netherlands JF Groote, SP Luttik	19	1998
Computation Tree Logic with Deadlock Detection R Glabbeek, B Luttik, N Trcka Logical Methods in Computer Science 5 (4: 5), 1, 2009	18*	2009
On finite alphabets and infinite bases T Chen, W Fokkink, B Luttik, S Nain Information and Computation 206 (5), 492-519, 2008	15	2008
Proof graphs for parameterised boolean equation systems S Cranen, B Luttik, TAC Willemse International Conference on Concurrency Theory, 470-484, 2013	13	2013
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	12	2016

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

Upload PDF

Follow this author

Cited by

Co-authors