( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.

, , , , , , и . ARCH, том 74 из EPiC Series in Computing, стр. 1-15. EasyChair, (2020)

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.

Enea Parini

Constantin Enea

Enea Parini

 

Другие публикации лиц с тем же именем

Modular Analysis of Suspension Free cc Programs.. APPIA-GULP-PRODE, стр. 367-378. (1996)An Efficient Abstract Domain for Not Necessarily Closed Polyhedra., и . SAS, том 11002 из Lecture Notes in Computer Science, стр. 146-165. Springer, (2018)Enhanced sharing analysis techniques: a comprehensive evaluation., , и . PPDP, стр. 103-114. ACM, (2000)Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness., , и . Formal Methods Syst. Des., 35 (3): 279-323 (2009)ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking., , , , , и . ARCH@SAFECOMP, том 90 из EPiC Series in Computing, стр. 44-57. EasyChair, (2022)Exact join detection for convex polyhedra and other numerical abstractions., , и . Comput. Geom., 43 (5): 453-473 (2010)Synthesis of P-Stable Abstractions., , и . SEFM, том 12310 из Lecture Notes in Computer Science, стр. 214-230. Springer, (2020)Domain Independent Ask Approximation in CCP.. CP, том 976 из Lecture Notes in Computer Science, стр. 362-379. Springer, (1995)Abstracting Synchronization in Concurrent Constraint Programming., , и . J. Funct. Log. Program., (1997)Set-Sharing is Redundant for Pair-Sharing., , и . SAS, том 1302 из Lecture Notes in Computer Science, стр. 53-67. Springer, (1997)