Bas Luttik - Concepedia

Author

Bas Luttik

Eindhoven University of Technology ORCID

Also Known As

B. Luttik, BAS LUTTIK, Baeten, Jos, Bas Luttik, Luttik B., Luttik, B., Luttik, Bas, Luttik, S.P. (Bas), Luttik, SP Bas

124

Publications

798

Citations

H-Index

Concepts

All Affiliations

Eindhoven University of Technology Centrum Wiskunde & Informatica Vrije Universiteit Amsterdam Data61 UNSW Sydney

About

Bas Luttik is an author at Eindhoven University of Technology specializing in formal methods, engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	169
2	Computer Science	6	6	126
3	Computer Engineering	4	4	96
4	Business	1	1	34
5	Physics	1	1	39

Bas Luttik

Publications

381

Citations

H-Index

Page 1

	Year	Citations
Branching Bisimilarity with Explicit Divergence Rob van Glabbeek, Bas Luttik, Nikola Trčka Fundamenta Informaticae	2009	78
CCS with Hennessy's merge has no finite-equational axiomatization Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Theoretical Computer Science EngineeringAutomated ReasoningFormal MethodsModel TheoryFormal System	2004	43
Towards model checking executable UML specifications in mCRL2 Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Innovations in Systems and Software Engineering	2010	42
Analyzing a χ model of a turntable system using Spin, CADP and Uppaal Elena M. Bortnik, Nikola Trčka, Anton Wijs, The Journal of Logic and Algebraic Programming χ ModelTurntable SystemComputer EngineeringPhysics	2005	39
A process-theoretic approach to supervisory control theory J. C. M. Baeten, D.A. van Beek, Bas Luttik, Control TheoryEngineeringDiscrete Event SystemCentral NotionPartial Bisimulation Preorder	2011	34
A finite equational base for CCS with left merge and communication merge Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, ACM Transactions on Computational Logic Circuit ComplexityMathematical ProgrammingEngineeringFinite Equational BaseComputational Model Theory	2009	31
Reactive Turing machines J. C. M. Baeten, Bas Luttik, Paul van Tilburg Information and Computation EngineeringReactive Turing MachinesAutomated ReasoningFormal MethodsComputer Science	2013	24
Decomposition orders—another generalisation of the fundamental theorem of arithmetic Bas Luttik, Vincent van Oostrom Theoretical Computer Science Order TheoryPartially Ordered SetFundamental Theorem	2005	17
On finite alphabets and infinite bases Taolue Chen, Wan Fokkink, Bas Luttik, Information and Computation Combinatorics On WordInfinite BasesFinite Model TheoryComputability Theory	2008	16
A Case in Point: Verification and Testing of a EULYNX Interface Mark Bouwman, Djurre van der Wal, Bas Luttik, Formal Aspects of Computing EngineeringHardware Verification LanguageElectronic Design AutomationVerificationSoftware Systems	2022	15

Page 1