( en | de | ru )

 

Disambiguation of "Frigeri, Achille"

Author of the publication

copydeleteadd this publication to your clipboard
Bounded Reachability for Temporal Logic over Constraint Systems.

, , , , , and . TIME, page 43-50. IEEE Computer Society, (2010)

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.

Achille Murangira

Achille Simopoulos

Achille Teillac

Achille Falaise

Achille Mbang Sama

 

Other publications of authors with the same name

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 . TIME, page 43-50. IEEE Computer Society, (2010)Expressiveness and complexity of regular pure two-dimensional context-free languages., , and . Int. J. Comput. Math., 90 (8): 1708-1733 (2013)Automata and Logic on p-adic numbers.. ICTCS, page 117-120. (2009)Codes and Combinatorial Structures from Circular Planar Nearrings., , and . CAI, volume 6742 of Lecture Notes in Computer Science, page 115-126. Springer, (2011)On Some Classes of 2D Languages and Their Relations., , and . IWCIA, volume 6636 of Lecture Notes in Computer Science, page 222-234. Springer, (2011)Completeness of the Bounded Satisfiability Problem for Constraint LTL., , , and . RP, volume 6945 of Lecture Notes in Computer Science, page 58-71. Springer, (2011)Definable sets in weak Presburger arithmetic., and . ICTCS, page 175-186. World Scientific, (2007)New designs from circular nearrings., , and . Electron. Notes Discret. Math., (2013)Deciding whether the ordering is necessary in a Presburger formula., and . Discret. Math. Theor. Comput. Sci., 12 (1): 21-38 (2010)