2024
European Digital Transformation Needs Indicators of Informatics Competence.
Inroads, December, 2024
Report on Female Participation in Informatics degrees in Europe.
CoRR, 2024
2023
Informatics Education for School: A European Initiative.
Inroads, March, 2023
Learning Iteration for Grades 2-3: Puzzles vs. UMC in Code.org.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023
2022
The Unbearable Disembodiedness of Cognitive Machines.
Perspectives on Digital Humanism, 2022
2020
Is Data Protection a Relevant Indicator for Measuring Corporate Reputation?
Proceedings of the Advances in Human Factors in Cybersecurity, 2020
Developing Digital Awareness at School: A Fundamental Step for Cybersecurity Education.
Proceedings of the Advances in Human Factors in Cybersecurity, 2020
2019
Do we really need computational thinking?
Commun. ACM, 2019
Informatics as a fundamental discipline for the 21<sup>st</sup> century.
Commun. ACM, 2019
Informatics Education in School: A Multi-Year Large-Scale Study on Female Participation and Teachers' Beliefs.
Proceedings of the Informatics in Schools. New Ideas in School Informatics, 2019
Social Engineering and the Value of Data: The Need of Specific Awareness Programs.
Proceedings of the Advances in Human Factors in Cybersecurity, 2019
2018
Coding and Programming: What Do Italian Primary School Teachers Think? (Abstract Only).
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018
The CECE Report: Creating a Map of Informatics in European Schools.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018
A Core Informatics Curriculum for Italian Compulsory Education.
Proceedings of the Informatics in Schools. Fundamentals of Computer Science and Software Engineering, 2018
An Investigation of Italian Primary School Teachers' View on Coding and Programming.
Proceedings of the Informatics in Schools. Fundamentals of Computer Science and Software Engineering, 2018
2017
Computational Thinking in Italian Schools: Quantitative Data and Teachers' Sentiment Analysis after Two Years of.
Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, 2017
Conceptions and Misconceptions about Computational Thinking among Italian Primary School Teachers.
Proceedings of the 2017 ACM Conference on International Computing Education Research, 2017
2012
Modeling gene regulatory network motifs using statecharts.
BMC Bioinform., 2012
2010
On a Model for Integrated Information
CoRR, 2010
A Classification Framework for Interactive Digital Artworks.
Proceedings of the User Centric Media - Second International ICST Conference, 2010
2008
Identity Management for e-Government Services.
Proceedings of the Digital Government: E-Government Research, 2008
2006
Efficient unbalanced merge-sort.
Inf. Sci., 2006
2005
An Infrastructural Approach to Secure Interoperability of Electronic IDs: The Bridging Backbone.
Proceedings of the Electronic Government: 4th International Conference, 2005
2004
Nearly Linear Time Minimum Spanning Tree Maintenance for Transient Node Failures.
Algorithmica, 2004
A Layered IT Infrastructure for Secure Interoperability in Personal Data Registry Digital Government Services.
Proceedings of the 14th International Workshop on Research Issues in Data Engineering (RIDE-WS-ECEG 2004), 2004
A Specification for Security Services on Computational Grids.
Proceedings of the Grid Services Engineering and Management, 2004
Reliable Peer-to-Peer Access for Italian Citizens to Digital Government Services on the Internet.
Proceedings of the Electronic Government: Third International Conference, 2004
The Italian Electronic Identity Card: a short introduction.
Proceedings of the 2004 Annual National Conference on Digital Government Research, 2004
2003
Finding the most vital node of a shortest path.
Theor. Comput. Sci., 2003
Algorithms for Moving Objects Databases.
Comput. J., 2003
Swapping a Failing Edge of a Single Source Shortest Paths Tree Is Good and Fast.
Algorithmica, 2003
Region-Based Querz Languages for Spatial Databases in the Topological Data Model.
Proceedings of the Advances in Spatial and Temporal Databases, 8th International Symposium, 2003
Certifying performance of cooperative services in a digital government framework.
Proceedings of the 2003 Symposium on Applications and the Internet (SAINT 2003), 27-31 January 2003, 2003
Quality of Service in Wireless Networks.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Inter-Organizational E-Services Accounting Management on Computational Grids.
Proceedings of the Digital Communities in a Networked Society: eCommerce, 2003
Access Methods and Query Processing Techniques.
,
,
,
,
,
,
,
,
,
,
Proceedings of the Spatio-Temporal Databases: The CHOROCHRONOS Approach, 2003
Spatio-temporal Models and Languages: An Approach Based on Data Types.
Proceedings of the Spatio-Temporal Databases: The CHOROCHRONOS Approach, 2003
2002
Fully dynamic distributed search trees can be balanced in O(lg2 N) time.
J. Parallel Distributed Comput., 2002
Coherence Maintainance in Cooperative Information Systems: The Access Key Warehouse Approach.
Int. J. Cooperative Inf. Syst., 2002
A Reference Architecture for the Certification of E-Services in a Digital Government Infrastructure.
Distributed Parallel Databases, 2002
An Improved Upper Bound for Scalable Distributed Search Trees.
Proceedings of the Distributed Data & Structures 4, 2002
Allocation Problems in Scalable Distributed Data Structures.
Proceedings of the Distributed Data & Structures 4, 2002
Experiences and issues in the realization of e-government services.
Proceedings of the 12th International Workshop on Research Issues in Data Engineering: Engineering E-Commerce/E-Business Systems, 2002
2001
Finding All the Best Swaps of a Minimum Diameter Spanning Tree Under Transient Edge Failures.
J. Graph Algorithms Appl., 2001
A faster computation of the most vital edge of a shortest path.
Inf. Process. Lett., 2001
A generalized comparison of linear representations of thematic layers.
Data Knowl. Eng., 2001
ATM layouts with bounded hop count and congestion.
Distributed Comput., 2001
Keeping coherence among web sources.
Proceedings of the 3rd International Workshop on Web Information and Data Management (WIDM 2001), 2001
Distributed Territorial Data Management and Exchange for Public Organizations.
Proceedings of the Third International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS '01), 2001
ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs.
Proceedings of the SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24, 2001
SIM: a working example of an e-government service infrastructure for mountain cummunities (extended abstract).
Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001
A Very Efficient Order Preserving Scalable Distributed Data Structure.
Proceedings of the Database and Expert Systems Applications, 12th International Conference, 2001
2000
An efficient spatial access method for spatial images containing multiple non-overlapping features.
Inf. Syst., 2000
Characterization Results for the Poset Based Representation of Topological Relations - II: Intersection and Union.
Informatica (Slovenia), 2000
How to Survive While Visiting a Graph.
Discret. Appl. Math., 2000
Scalable Distributed Data Structures: A Survey.
Proceedings of the Distributed Data & Structures 3, 2000
An Amoritized Lower Bound for Distributed Searching of k-dimensional Data.
Proceedings of the Distributed Data & Structures 3, 2000
Introduction: Distributed Data & Structures 3.
Proceedings of the Distributed Data & Structures 3, 2000
A Data Model and Data Structures for Moving Objects Databases.
Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, 2000
Maintaining a Minimum Spanning Tree Under Transient Node Failures.
Proceedings of the Algorithms, 2000
Distributed Searching of <i>k</i>-Dimensional Data with Almost Constant Costs.
Proceedings of the Current Issues in Databases and Information Systems, 2000
Size Estimation of the Intersection Join between Two Line Segment Datasets.
Proceedings of the Current Issues in Databases and Information Systems, 2000
1999
Chorochronos: A Research Network for Spatiotemporal Database Systems.
,
,
,
,
,
,
,
,
,
,
,
,
,
SIGMOD Rec., 1999
Probabilistic models for images and quadtrees: differences and equivalences.
Image Vis. Comput., 1999
Intersection Reporting on Two Collections of Disjoint Sets.
Inf. Sci., 1999
Characterization Results for the Poset Based Representation of Topological Relations - I: Introduction and Models.
Informatica (Slovenia), 1999
Fully Dynamic Balanced and Distributed Search Trees with Logarithmic Costs.
Proceedings of the Distributed Data & Structures 2, 1999
The Italian Cadastral Information System: a Real-Life Spatio-Temporal DBMS.
Proceedings of the Spatio-Temporal Database Management, 1999
SICC: An Exchange System for Cadastral Information.
Proceedings of the Advances in Spatial Databases, 1999
Efficient Searching for Multi-dimensional Data Made Simple.
Proceedings of the Algorithms, 1999
Access Keys Warehouse: A New Approach to the Development of Cooperative Information Systems.
Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, 1999
How to Swap a Failing Edge of a Single Source Shortest Paths Tree.
Proceedings of the Computing and Combinatorics, 5th Annual International Conference, 1999
S*-Tree: An Improved S<sup>+</sup>-Tree for Coloured Images.
Proceedings of the Advances in Databases and Information Systems, 1999
1998
Distributed Searching of Multi-dimensional Data: A Performance Evaluation Study.
J. Parallel Distributed Comput., 1998
Finding the Detour-Critical Edge of a Shortest Path Between Two Nodes.
Inf. Process. Lett., 1998
Some Results on the Modelling of Spatial Data.
Proceedings of the SOFSEM '98: Theory and Practice of Informatics, 1998
1997
Time and Space Efficient Secondary Memory Representation of Quadtrees.
Inf. Syst., 1997
MOF-Tree: A Spatial Access Method to Manipulate Multiple Overlapping Features.
Inf. Syst., 1997
Computing a Poset from its Realizer.
Inf. Process. Lett., 1997
On building the Transitive Reduction of a Two-Dimensional Poset.
Inf. Process. Lett., 1997
A formal model for the discrete representation of spatial objects.
Proceedings of the 1997 ACM symposium on Applied Computing, 1997
1996
On the creation of quadtrees by using a branching process.
Image Vis. Comput., 1996
An Output Sensitive Solution to the Set Union and Intersection Problem.
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996
1995
Efficient Secondary Memory Processing of Window Queries on Spatial Data.
Inf. Sci., 1995
On the Generation of Aggregated Random Spatial Regions.
Proceedings of the CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28, 1995
1994
A Hybrid Pointerless Representation of Quadtrees for Efficient Processing of Window Queries.
Proceedings of the IGIS '94: Geographic Information Systems, International Workshop on Advanced Information Systems, Monte Verita, Ascona, Switzerland, February 28, 1994
CARTECH: A Prototype of Geographical Information System.
Proceedings of the IGIS '94: Geographic Information Systems, International Workshop on Advanced Information Systems, Monte Verita, Ascona, Switzerland, February 28, 1994
An Accurate Model for Quadtrees Representing Noiseless Images of Spatial Data.
Proceedings of the Proceedings 1994 International Conference on Image Processing, 1994
A Computer Aided System for Developing Graphical Telematic Applications.
Proceedings of the Computer Aided System Theory, 1994
1993
Un Modello di Riferimento per l'Interazione con Sistemi per la Gestione di Dati Geografici.
Proceedings of the Convegno SEBD'93, 1993
ADAMS: An Object-Oriented System for Epidemiological Data Manipulation.
Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993
Raster to object conversion aided by knowledge based image processing.
Proceedings of the 2nd International Conference Document Analysis and Recognition, 1993
The GeoSQL Language for the Manipulation of Geographical Data.
Proceedings of the Computing and Information, 1993
A Prototyping and Development Environment for Graphical Interactive Telematic Applications.
Proceedings of the Human-Computer Interaction: Applications and Case Studies, 1993
1992
LOTECH: An Interactive Problem Solver for Location.
Proceedings of the Advanced Visual Interfaces - Proceedings of the International Workshop, 1992
1991
A Pointer-Free Data Structure for Merging Heaps and Min-Max Heaps.
Theor. Comput. Sci., 1991
Abstract data types for the logical modeling of complex data.
Inf. Syst., 1991
1990
A Logical Data Model for Integrated Geographical Databases.
Proceedings of the First International Conference on Systems Integration, 1990
1989
A Mixed-Mode Man-Machine Interface for Interactive Problem Solving.
Proceedings of the Workstations for Experiments, 1989
1988
Hierarchies and planarity theory.
IEEE Trans. Syst. Man Cybern., 1988
A Conceptual Model for the Representation of Statistical Data in Geographical Information Systems.
Proceedings of the Statistical and Scientific Database Management, 1988
1986
A Layout Algorithm for Data Flow Diagrams.
IEEE Trans. Software Eng., 1986
An Algorithm for Testing Planarity of Hierarchical Graphs.
Proceedings of the Graphtheoretic Concepts in Computer Science, International Workshop, 1986
1985
What is a Good Diagram? A Pragmatic Approach.
Proceedings of the Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, 1985
GINCOD: A Graphical Tool for Conceptual Design of Data Base Applications.
Proceedings of the Computer-Aided Database Design: the DATAID approach., 1985