Accès à distance ? S'identifier sur le proxy UCLouvain
Displaying 1 - 25 of 56 results.
Pages
-
- Journal article
(2020) Journal of Logical and Algebraic Methods in Programming — Vol. 110, no.110, p. 100499 (2020) -
- Speech
(2018) the 13th International Conference — Gothenburg, Sweden -
- Journal article
(2020) Theoretical Computer Science — Vol. 847, no.847, p. 134-146 (2020) -
- Speech
(2020) Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles — -
- Journal article
(2019) International Journal on Software Tools for Technology Transfer — Vol. 21, no.6, p. 667-677 (2019) -
- Journal article
(2019) Logical Methods in Computer Science — Vol. 15, no.2 (2019) -
- Journal article
(2017) Soft Computing — Vol. 22, no.4, p. 1139-1158 (2017) -
- Speech
(2019) Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium — Hammamet Tunisia -
- Journal article
(2017) Acta Cybernetica — Vol. 23, no.1, p. 229-268 (2017) -
- Journal article
(2017) Acta Cybernetica — Vol. 23, no.1, p. 203-228 (2017) -
- Journal article
(2017) SOFSEM 2017: Theory and Practice of Computer Science — , p. pp 49-61 (2017) -
- Journal article
(2020) Information and Computation — Vol. 271, no.1, p. 104487 (2020) -
- Speech
(2012) 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) — -
- Journal article
(2016) Theory of Computing Systems — Vol. 15, p. 1-26 (2016) -
- Journal article
(2014) Theoretical Computer Science — p. 54-69 (2014) -
- Speech
(2013) QEST 2013 - 10th International Conference Quantitative Evaluation of Systems — -
- Speech
(2015) 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science — -
- Speech
(2015) Developments in Language Theory - 19th International Conference — -
-
- Speech
(2014) SLSP 2014 : Second International Conference on Statistical Language and Speech Processing — -
- Speech
(2011) FSTTCS - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science — -
- Speech
(2013) MFPS XXIX - Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics — -
-
- Speech
(2013) ATVA 2013 - 11th International Symposium Automated Technology for Verification and Analysis —