WeChat Mini Program
Old Version Features
    • Research Interests
    Model CheckingProcess AlgebraLabel Transition Sys...Label Transition SystemModel CheckParameterised Boolea...Parameterised Boolean Equation Systems2010202020012026
    20022025

    Papers共 142 篇Author StatisticsCo-AuthorSimilar Experts

    By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
    时间
    引用量
    主题
    期刊级别
    合作者
    合作机构
    All20252024202320222021202020192018201720162015201420132012201120102009200820072006
    Efficient Evidence Generation for Modal Μ-Calculus Model Checking (extended Version)
    Anna Stramaglia,Jeroen J. A. Keiren,Maurice Laveaux,Tim A. C. Willemse
    International Conference on Tools and Algorithms for Construction and Analysis of Systemspp.191-210, (2025)
    Cited0Views2Bibtex
    0
    2
    On Woolhouse's Cotton-Spinning Problem
    Jan Friso Groote,Tim A. C. Willemse
    Principles of Verification (2)pp.3-17, (2024)
    Cited0Views0Bibtex
    0
    0
    Load More
    Author Statistics
    00.20.40.60.81#Papers#CitationH-IndexG-IndexSociabilityDiversityActivity

    #Papers: 139

    #Citation: 2458

    H-Index: 24

    G-Index: 42

    Sociability: 6

    Diversity: 3

    Activity: 14

    Loading...
    • 合作者
    • 学生
    • 导师
    Jeroen J. A. Keiren合作论文数
    Department of Computer Science and Mathematics, Eindhoven University of Technology19
    Wieger Wesselink合作论文数
    Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands19
    Maurice Laveaux合作论文数
    Eindhoven Univ Technol10
    Maciej Gazda合作论文数
    10
    Jan Friso Groote合作论文数
    Department of Mathematics and Computer Science, Eindhoven University of Technology9
    Erik P. de Vink合作论文数
    8
    Thomas Neele合作论文数
    Eindhoven Univ Technol, Eindhoven, Netherlands8
    Bas Luttik合作论文数
    I am an assistant professor in the Formal Methods Group of Computer Science Department, Technical University Eindhoven8
    Sjoerd Cranen合作论文数
    8
    Sjouke Mauw合作论文数
    Department of Computer Science, University of Luxembourg;Faculté des Sciences, de la Technologie et de la Communication, Université du Luxembourg7
    Andova Suzana合作论文数
    Fontys Hogescholen7
    Olav Bunte合作论文数
    6
    Frank P. M. Stappers合作论文数
    6
    G. Jan. Tretmans合作论文数
    Institute for Computing and Information Sciences, Dept. of Software Science, Radboud University Nijmegen/Universitair Hoofddocent6
    j a templon合作论文数
    5
    Mohammad Reza Mousavi合作论文数
    Department of Informatics, Faculty of Natural, Mathematical & Engineering Sciences, King's College London5
    Michel Reniers合作论文数
    Department of Mechanical Engineering, Eindhoven University of Technology5
    Jan Groote合作论文数
    Department of Computer Science;Eindhoven University of Technology;Systems Engineering, ontwerp en analyse van systemen5
    Daniela Remenska合作论文数
    5
    Neda Noroozi合作论文数
    Software Quality Lab., TU/Eindhoven5
    Louis van Gool合作论文数
    4
    Marko Van Eekelen合作论文数
    Institute for Computing and Information Sciences;Radboud University Nijmegen;Institute for Computing and Information Sciences, Radboud University Nijmegen4
    Henri Bal合作论文数
    Department of Computer Science, Faculty of Sciences, Vrije Universiteit4
    Bas Ploeger合作论文数
    4
    Kees Verstoep合作论文数
    Faculty of Sciences, Dept. of Computer Science4
    V. P. M. G. (Victor) Rutten合作论文数
    Department Biomolecular Health Sciences, Utrecht University;University of Pretoria4
    Mark Bouwman合作论文数
    Eindhoven University of Technology3
    Dietmar Zaiss合作论文数
    School of Biological Sciences, The University of Edinburgh3
    Meulenbroeks Chantal合作论文数
    3
    Maurice Ter Beek合作论文数
    Consiglio Nazionale delle Ricerche;Istituto di Scienza e Tecnologie dell'Informazione3
    C Noli合作论文数
    2
    Rob Wieringa合作论文数
    2
    yi ling hwong合作论文数
    a Climate Change Research Centre, University of New South Wales2
    Nicolae Goga合作论文数
    Mol. Dynamics Group, Univ. of Groningen;c2
    Christian Johansen合作论文数
    2
    Hamed Arshad合作论文数
    2
    Olaf Owe合作论文数
    Department of Informatics, University of Oslo2
    Nicola Zannone合作论文数
    Eindhoven University of Technology2
    Jan F Groote合作论文数
    Department of Computer Science;Eindhoven University of Technology;Systems Engineering, ontwerp en analyse van systemen2
    Anton Wijs合作论文数
    Department of Mathematics and Computer Science, Eindhoven University of Technology2
    Ramtin Khosravi合作论文数
    School of Electrical and Computer Engineering, College of Engineering, University of Tehran2
    Charles Morisset合作论文数
    Security Group, IIT-CNR2
    Kirstin Peters合作论文数
    TU2
    Ross Horne合作论文数
    Electronics and Computer Science, University of Southampton2
    Minze Leistra合作论文数
    2
    J.C.M. (Jos) Baeten合作论文数
    Eindhovan University of Technology2
    Vincent Kusters合作论文数
    Institute of Theoretical Computer Science, ETH Zürich2
    Simona Orzan合作论文数
    Fontys University of Applied Sciences2
    No result temporarily, you can search similar Scholar with the same research interest
    Data Disclaimer
    The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn