Tian, Chun; Sangiorgi, Davide; Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018); Unique Solutions of Contractions, CCS, and their HOL Formalisation; in «Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018)»; Vol. 276>; 2018; pp. 122-139
Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano; 22nd International Symposium on Formal Methods, FM 2018; Formal Specification and Verification of Dynamic Parametrized Architectures; in «Formal Methods - 22nd International Symposium, FM 2018, Held asPart of the Federated Logic Conference, FloC 2018, Proceedings»; Springer; Vol. 10951>; 2018; pp. 625-644
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto; SAT 2018: Theory and Applications of Satisfiability Testing – SAT 2018; Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization; in «Proceedings of Theory and Applications of Satisfiability Testing – SAT 2018»; Vol. 10929>; 2018; pp. 383-398
Debiasi, Alberto; Simoes, Bruno; De Amicis, Raffaele; Depiction of Multivariate Data Through Flow Maps; in «Service-Oriented Mapping: Changing Paradigm in Map Production and Geoinformation Management»; Springer International Publishing; 2018; pp. 125-141
