( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ASM Specification and Refinement of a Quantum Algorithm.

, и . Logic, Computation and Rigorous Methods, том 12750 из Lecture Notes in Computer Science, стр. 135-146. Springer, (2021)

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.

Andrea Ferrarotti

Flávio Justino

Flavio Carsughi

Flavio Roces

Flávio Siebeneichler

 

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

A Complete Logic for Non-Deterministic Database Transformations., , , и . CoRR, (2016)On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order., , и . WoLLIC, том 10388 из Lecture Notes in Computer Science, стр. 125-139. Springer, (2017)An automated evaluation of broker compatibility for the Message Queuing Telemetry Transport protocol., , и . J. Softw. Evol. Process., (июля 2023)Performance Analysis of Algorithms to Reason about XML Keys, , , , и . 23rd International Conference on Database and Expert Systems Applications (DEXA 2012), Vienna, Austria, 3-6 September, том 7446 из Lecture Notes in Computer Science, стр. 101-115. Springer, (3--6 September 2012)SQL-Sampler: A Tool to Visualize and Consolidate Domain Semantics by Perfect SQL Sample Data., , и . APCCM, том 154 из CRPIT, стр. 71-80. Australian Computer Society, (2014)Expressivity Within Second-Order Transitive-Closure Logic., , и . CSL, том 119 из LIPIcs, стр. 22:1-22:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Systematic Refinement of Abstract State Machines with Higher-Order Logic., , , и . ABZ, том 10817 из Lecture Notes in Computer Science, стр. 204-218. Springer, (2018)Towards an ASM Thesis for Reflective Sequential Algorithms., , и . ABZ, том 9675 из Lecture Notes in Computer Science, стр. 244-249. Springer, (2016)Conceptual Modelling with Specific Focus on Service-Oriented Systems., , , и . J. Univers. Comput. Sci., 20 (3): 254-256 (2014)Fuzzing-Based Grammar Inference., , и . MEDI, том 13761 из Lecture Notes in Computer Science, стр. 72-86. Springer, (2022)