Publications

Export 5 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Title is L  [Clear All Filters]
A B C D E F G H I J K [L] M N O P Q R S T U V W X Y Z   [Show ALL]
L
S. Abriola, S. Figueira, and G. Senno, “Linearizing bad sequences: upper bounds for the product and majoring well quasi-orders”, in 19th Workshop on Logic, Language, Information and Computation, 2012.
S. Abriola, S. Figueira, and G. Senno, “Linearizing well-quasi orders and bounding the length of bad sequences”, Theoretical Computer Science, vol. 603, p. 3–22, 2015.
K. Chatzikokolakis, C. Palamidessi, and M. Stronati, “Location Privacy via Geo-Indistinguishability”, in Theoretical Aspects of Computing - (ICTAC) 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, 2015.
C. Baier, et al., “Locks: Picking key methods for a scalable quantitative analysis”, Journal of Computer and System Sciences, vol. 81, p. 258–287, 2015.
C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “Logics with Copy and Remove”, in Proceedings of the 21st Workshop on Logic, Language, Information and Computation (WoLLIC'14), Valparaíso, Chile, 2014.