Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Frigeri, Achille
add a person with the name Frigeri, Achille
 

Other publications of authors with the same name

Composing short 3-compressing words on a 2 letter alphabet., , and . CoRR, (2014)Composing short 3-compressing words on a 2-letter alphabet., , and . Discrete Mathematics & Theoretical Computer Science, (2017)SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability., , , , and . SEFM, page 244-254. IEEE Computer Society, (2010)Bounded Reachability for Temporal Logic over Constraint Systems, , , , , and . CoRR, (2010)Constraint LTL satisfiability checking without automata., , , , , and . J. Applied Logic, 12 (4): 522-557 (2014)SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability, , , , and . CoRR, (2010)Fuzzy Time in LTL, , and . CoRR, (2012)Automata and Logic on p-adic numbers.. ICTCS, page 117-120. (2009)Completeness of the Bounded Satisfiability Problem for Constraint LTL., , , and . RP, volume 6945 of Lecture Notes in Computer Science, page 58-71. Springer, (2011)Constraint LTL Satisfiability Checking without Automata, , , , , and . CoRR, (2012)