Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Antti
    Last name: Valmari
    DBLP: 97/3306
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 82  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Antti Valmari.
    More Stubborn Set Methods for Process Algebras.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Artturi Piipponen, Antti Valmari.
    Constructing Minimal Coverability Sets.
    Fundam. Inform. 2016, Volume 143 (0) 2016
    Conference paper
    Antti Valmari, Walter Vogler.
    Fair Testing and Stubborn Sets.
    Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Antti Valmari, Henri Hansen.
    Stubborn Set Intuition Explained.
    Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets 2016 (0) 2016
    Conference paper
    Henri Hansen, Antti Valmari.
    Safety Property-Driven Stubborn Sets.
    Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings 2016 (0) 2016
    Journal article
    Raymond R. Devillers, Antti Valmari, Wojciech Penczek.
    Preface.
    Fundam. Inform. 2016, Volume 146 (0) 2016
    Conference paper
    Antti Valmari.
    The Congruences below Fair Testing with Initial Stability.
    16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016 2016 (0) 2016
    Conference paper
    Antti Valmari.
    On constructibility and unconstructibility of LTS operators from other LTS operators.
    Acta Inf. 2015, Volume 52 (0) 2015
    Journal article
    Antti Valmari.
    A State Space Tool for Models Expressed In C++ (tool paper).
    CoRR 2015, Volume 0 (0) 2015
    Journal article
    Antti Valmari.
    Stop It, and Be Stubborn!
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Antti Valmari.
    A state space tool for concurrent system models expressed in C++.
    Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15), Tampere, Finland, October 9-10, 2015. 2015 (0) 2015
    Conference paper
    Matti Rintala, Antti Valmari.
    Priority queue classes with priority update.
    Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15), Tampere, Finland, October 9-10, 2015. 2015 (0) 2015
    Conference paper
    Antti Valmari.
    Stop It, and Be Stubborn!
    15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015 2015 (0) 2015
    Journal article
    Antti Valmari.
    Character Strings and Gödel's Incompleteness Proof.
    Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014. 2014, Volume 151 (0) 2014
    Journal article
    Antti Valmari, Henri Hansen.
    Old and New Algorithms for Minimal Coverability Sets.
    Fundam. Inform. 2014, Volume 131 (0) 2014
    Conference paper
    Antti Valmari.
    Asymptotic Proportion of Hard Instances of the Halting Problem.
    Acta Cybern. 2013, Volume 21 (0) 2014
    Journal article
    Antti Valmari.
    The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem (Extended Version).
    CoRR 2013, Volume 0 (0) 2013
    Journal article
    Antti Valmari.
    External Behaviour of Systems of State Machines with Variables.
    Transactions on Petri Nets and Other Models of Concurrency VII 2013, Volume 7480 (0) 2013
    Conference paper
    Artturi Piipponen, Antti Valmari.
    Constructing Minimal Coverability Sets.
    Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings 2013 (0) 2013
    Conference paper
    Antti Valmari.
    All Linear-Time Congruences for Familiar Operators.
    Logical Methods in Computer Science 2009, Volume 9 (0) 2013
    Journal article
    Mikko Tiusanen, Antti Valmari.
    Good to Know about the Efficiency of State Space Methods.
    Nord. J. Comput. 2013, Volume 15 (0) 2013
    Conference paper
    Antti Valmari.
    Fast brief practical DFA minimization.
    Inf. Process. Lett. 2012, Volume 112 (0) 2012
    Conference paper
    Antti Valmari, Henri Hansen.
    Old and New Algorithms for Minimal Coverability Sets.
    Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Antti Valmari.
    All Linear-Time Congruences for Finite LTSs and Familiar Operators.
    12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012 2012 (0) 2012
    Conference paper
    Antti Valmari.
    All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs.
    CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings 2012 (0) 2012
    Show item 1 to 25 of 82  

    Your query returned 82 matches in the database.