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 | 51 | 2016 |
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 | 23 | 2017 |
Efficiency frontiers of XML cardinality constraints F Ferrarotti, S Hartmann, S Link Data & Knowledge Engineering 87, 297-319, 2013 | 20 | 2013 |
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 | 18 | 2010 |
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 | 13 | 2017 |
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 | 12 | 2018 |
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 | 12 | 2016 |
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 | 12 | 2009 |
A behavioural theory for reflective sequential algorithms F Ferrarotti, KD Schewe, L Tec Perspectives of System Informatics: 11th International Andrei P. Ershov …, 2018 | 11 | 2018 |
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 | 11 | 2013 |
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 | 11 | 2011 |
Behavioural theory of reflective algorithms I: reflective sequential algorithms KD Schewe, F Ferrarotti Science of Computer Programming 223, 102864, 2022 | 10 | 2022 |
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 | 10 | 2012 |
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 | 10 | 2011 |
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 | 10 | 2009 |
Automated security test generation for MQTT using attack patterns H Sochor, F Ferrarotti, R Ramler Proceedings of the 15th International Conference on Availability …, 2020 | 9 | 2020 |
BSP abstract state machines capture bulk synchronous parallel computations F Ferrarotti, S González, KD Schewe Science of Computer Programming 184, 102319, 2019 | 9 | 2019 |
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 | 9 | 2008 |
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 | 8 | 2018 |
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 | 8 | 2014 |