( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fuzzing-Based Grammar Inference

, , и . Model and Data Engineering, Springer Nature Switzerland, (ноября 2022)
DOI: 10.1007/978-3-031-21595-7_6

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

Flávio Siebeneichler

Flavio Roces

 

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

An automated evaluation of broker compatibility for the Message Queuing Telemetry Transport protocol., , и . J. Softw. Evol. Process., (июля 2023)SQL-Sampler: A Tool to Visualize and Consolidate Domain Semantics by Perfect SQL Sample Data., , и . APCCM, том 154 из CRPIT, стр. 71-80. Australian Computer Society, (2014)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)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)A Complete Logic for Non-Deterministic Database Transformations., , , и . CoRR, (2016)Expressivity Within Second-Order Transitive-Closure Logic., , и . CSL, том 119 из LIPIcs, стр. 22:1-22:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF, , и . CoRR, (2013)Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data., , и . ADBIS, том 11019 из Lecture Notes in Computer Science, стр. 99-112. Springer, (2018)Automated security test generation for MQTT using attack patterns., , и . ARES, стр. 97:1-97:9. ACM, (2020)Uniform Polylogarithmic Space Completeness, , , и . Frontiers in Computer Science, (апреля 2022)