关注
Flavio Ferrarotti
标题
引用次数
引用次数
年份
A new thesis concerning synchronised parallel computing–simplified parallel ASM thesis
F Ferrarotti, KD Schewe, L Tec, Q Wang
Theoretical Computer Science 649, 25-53, 2016
512016
Evolving concurrent systems: behavioural theory and logic
KD Schewe, F Ferrarotti, L Tec, Q Wang, W An
Proceedings of the Australasian Computer Science Week Multiconference, 1-10, 2017
232017
Efficiency frontiers of XML cardinality constraints
F Ferrarotti, S Hartmann, S Link
Data & Knowledge Engineering 87, 297-319, 2013
202013
Distributing a metric-space search index onto processors
M Marin, F Ferrarotti, V Gil-Costa
2010 39th International Conference on Parallel Processing, 433-442, 2010
182010
A complete logic for database abstract state machines
F Ferrarotti, KD Schewe, L Tec, Q Wang
Logic Journal of the IGPL 25 (5), 700-740, 2017
132017
A unifying logic for non-deterministic, parallel and concurrent abstract state machines
F Ferrarotti, KD Schewe, L Tec, Q Wang
Annals of Mathematics and Artificial Intelligence 83, 321-349, 2018
122018
Reducing hardware hit by queries in web search engines
M Mendoza, M Marín, V Gil-Costa, F Ferrarotti
Information Processing & Management 52 (6), 1031-1052, 2016
122016
Location cache for web queries
M Marin, F Ferrarotti, M Mendoza, C Gomez-Pantoja, V Gil-Costa
Proceedings of the 18th ACM conference on Information and knowledge …, 2009
122009
A behavioural theory for reflective sequential algorithms
F Ferrarotti, KD Schewe, L Tec
Perspectives of System Informatics: 11th International Andrei P. Ershov …, 2018
112018
Effective recognition and visualization of semantic requirements by perfect SQL samples
VBT Le, S Link, F Ferrarotti
Conceptual Modeling: 32th International Conference, ER 2013, Hong-Kong …, 2013
112013
A precious class of cardinality constraints for flexible XML data processing
F Ferrarotti, S Hartmann, S Link
Conceptual Modeling–ER 2011: 30th International Conference, ER 2011 …, 2011
112011
Behavioural theory of reflective algorithms I: reflective sequential algorithms
KD Schewe, F Ferrarotti
Science of Computer Programming 223, 102864, 2022
102022
Performance analysis of algorithms to reason about XML keys
F Ferrarotti, S Hartmann, S Link, M Marin, E Muñoz
International Conference on Database and Expert Systems Applications, 101-115, 2012
102012
Codd table representations under weak possible world semantics
F Ferrarotti, S Hartmann, VBT Le, S Link
Database and Expert Systems Applications: 22nd International Conference …, 2011
102011
A last-resort semantic cache for web queries
F Ferrarotti, M Marin, M Mendoza
International Symposium on String Processing and Information Retrieval, 310-321, 2009
102009
Automated security test generation for MQTT using attack patterns
H Sochor, F Ferrarotti, R Ramler
Proceedings of the 15th International Conference on Availability …, 2020
92020
BSP abstract state machines capture bulk synchronous parallel computations
F Ferrarotti, S González, KD Schewe
Science of Computer Programming 184, 102319, 2019
92019
The relational polynomial-time hierarchy and second-order logic
FA Ferrarotti, JM Turull Torres
Semantics in Data and Knowledge Bases: Third International Workshop, SDKB …, 2008
92008
The polylog-time hierarchy captured by restricted second-order logic
F Ferrarotti, S González, KD Schewe, JM Turull-Torres
2018 20th International Symposium on Symbolic and Numeric Algorithms for …, 2018
82018
Expressing properties in second-and third-order logic: hypercube graphs and SATQBF
F Ferrarotti, W Ren, JMT Torres
Logic Journal of the IGPL 22 (2), 355-386, 2014
82014
系统目前无法执行此操作,请稍后再试。
文章 1–20