Matematiikan laitos
Tutkimusyksikkö: Laitos
31 - 40 / 1 341Sivun koko: 10
- Julkaistu
The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem
Valmari, A., 2013, SPLST '13, 13th Symposium on Programming Languages and Software Tools, August 26-27, 2013, Szeged, Hungary. Kiss, A. (toim.). Szeged, Hungary: University of Szeged, s. 170-184 15 Sivumäärä (Symposium on Programming Languages and Software Tools).Tutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
Stop It, and Be Stubborn!
Valmari, A., 21 kesäkuuta 2015, Application of Concurrency to System Design (ACSD): 2015 15th International Conference on . Haar, S. & Meyer, R. (toim.). IEEE Computer Society, s. 10-19 10 Sivumäärä 2Tutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
A State Space Tool for Concurrent System Models Expressed In C++
Valmari, A., 14 joulukuuta 2015, SPLST 2015 Symposium on Programming Languages and Software Tools: Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15) Tampere, Finland, Oct 9-10, 2015. Nummenmaa, J., Sievi-Korte, O. & Mäkinen, E. (toim.). CEUR-WS.org, Vuosikerta 1525. s. 91-105 15 Sivumäärä 7. (CEUR Workshop Proceedings; painos 1525).Tutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
On constructibility and unconstructibility of LTS operators from other LTS operators
Valmari, A., 2015, julkaisussa : Acta Informatica. 52, 2-3, s. 207-234 28 SivumääräTutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
The Congruences Below Fair Testing with Initial Stability
Valmari, A., 6 helmikuuta 2017, 2016 16th International Conference on Application of Concurrency to System Design. IEEE, s. 25-34 10 SivumääräTutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
MathCheck: a tool for checking math solutions in detail
Valmari, A. & Kaarakka, T., syyskuuta 2016, SEFI 2016 Annual Conference Proceedings: Engineering Education on Top of the World: Industry University Cooperation. European Society for Engineering Education SEFITutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
All Linear-Time Congruences for Familiar Operators
Valmari, A., 2013, julkaisussa : Logical Methods in Computer Science. 9, 4, s. 1-34 34 Sivumäärä, 11.Tutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
Stop it, and be stubborn!
Valmari, A., 1 tammikuuta 2017, julkaisussa : ACM Transactions on Embedded Computing Systems. 16, 2, 46.Tutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
Stubborn Set Intuition Explained
Valmari, A. & Hansen, H., 2016, Petri Nets and Software Engineering 2016: Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016. Cabac, L., Kristensen, L. M. & Rölke, H. (toim.). CEUR-WS, s. 213-232 20 Sivumäärä (CEUR Workshop Proceedings; painos 1591).Tutkimustuotos › › vertaisarvioitu
Full text:
- Julkaistu
Old and New Algorithms for Minimal Coverability Sets
Valmari, A. & Hansen, H., 2014, julkaisussa : Fundamenta Informaticae. 131, 1, s. 1-25 25 SivumääräTutkimustuotos › › vertaisarvioitu
Full text:
ID: 22096