( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Pattern definitions and semantically annotated instances

, и . Workshop on Ontology Patterns, стр. 131. (2009)

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.

Roberto Francisco Pérez Benito

José Guadalupe Pérez-Ramírez

Carlos Lazaro Perez Navarro

Elsa Pérez Rodriguez

Magaly Pèrez

 

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

Runtime verification and validation of functional reactive systems., и . J. Funct. Program., (2020)Extending the hybrid methodology for orbit propagation by fitting techniques., , , , , и . Neurocomputing, (2019)S-SMART++: A Low-Latency NoC Leveraging Speculative Bypass Requests., , и . IEEE Trans. Computers, 70 (6): 819-832 (2021)Efficient Bypass in Mesh and Torus NoCs., , и . CoRR, (2020)Trustworthy Runtime Verification via Bisimulation (Experience Report)., , , , и . Proc. ACM Program. Lang., 7 (ICFP): 305-321 (августа 2023)Information Reliability in Estimate Process: A Novel Blockchain Model., , , и . Res. Comput. Sci., 149 (6): 103-113 (2020)Automated Translation of Natural Language Requirements to Runtime Monitors., , , , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 387-395. Springer, (2022)Back to the future: time travel in FRP.. Haskell, стр. 105-116. ACM, (2017)Rhine: FRP with type-level clocks., и . Haskell@ICFP, стр. 145-157. ACM, (2018)Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing., , , , и . Haskell, стр. 59-71. ACM, (2023)