Carlo Bellettini
Orcid: 0000-0001-8526-4790
According to our database1,
Carlo Bellettini
authored at least 53 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
To Be Or Not To Be . . . An Algorithm: The Notion According to Students and Teachers.
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024
2023
Proceedings of the Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education, 2023
Proceedings of the 15th International Conference on Computer Supported Education, 2023
2022
How is Two Better Than One? An Observational Study on the Impact of Working in Pairs When Solving Bebras Tasks.
Proceedings of the Informatics in Schools. A Step Beyond Digital Education, 2022
2019
Proceedings of the Informatics in Schools. New Ideas in School Informatics, 2019
An Analysis of the Performance of Italian Schools in Bebras and in the National Student Assessment INVALSI.
Proceedings of the 2nd Systems of Assessments for Computational Thinking Learning workshop (TACKLE 2019) co-located with 14th European Conference on Technology Enhanced Learning (EC-TEL 2019), 2019
Behind the Shoulders of Bebras Teams: Analyzing How They Interact with the Platform to Solve Tasks.
Proceedings of the Computer Supported Education - 11th International Conference, 2019
Proceedings of the 11th International Conference on Computer Supported Education, 2019
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2018
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018
Informatics and Computational Thinking: A Teacher Professional Development Proposal Based on Social-Constructivism.
Proceedings of the Informatics in Schools. Fundamentals of Computer Science and Software Engineering, 2018
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018
Proceedings of the 10th International Conference on Computer Supported Education, 2018
2017
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Design-Time to Run-Time Verification of Microservices Based Applications - (Short Paper).
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017
2016
Concurr. Comput. Pract. Exp., 2016
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016
2015
How Challenging are Bebras Tasks?: An IRT Analysis Based on the Performance of Italian Students.
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015
2014
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014
Extracurricular Activities for Improving the Perception of Informatics in Secondary Schools.
Proceedings of the Informatics in Schools. Teaching and Learning Perspectives, 2014
2013
Proceedings of the Reachability Problems - 7th International Workshop, 2013
2012
Proceedings of the Workshop in Primary and Secondary Computing Education, 2012
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
2011
Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011
2010
2008
A Product Machine Model for Anomaly Detection of Interposition Attacks on Cyber-Physical Systems.
Proceedings of The IFIP TC-11 23rd International Information Security Conference, 2008
Proceedings of the Critical Infrastructure Protection II, 2008
Proceedings of the 17th International Conference on Computer Communications and Networks, 2008
2007
Using a Stochastic Well-formed Net model for assessing a decentralized approach to configuration management.
Perform. Evaluation, 2007
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2007
2005
Multi-Dimensional Concerns Mining for Web Applications via Concept-Analysis.
Proceedings of the Second World Enformatika Conference, 2005
Validation of Reverse Engineered Web Application Models.
Proceedings of the Second World Enformatika Conference, 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Transmission Power Measurements for Wireless Sensor Nodes and their Relationship to the Battery Level.
Proceedings of the 2nd IEEE International Symposium on Wireless Communication Systems, 2005
Quotient Graphs for the Analysis of Asymmetric Distributed Systems: Surveying Two Alternative Approaches.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
2004
Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets.
Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Proceedings of the 12th International Workshop on Modeling, 2004
2001
2000
Proceedings of the Flexible Query Answering Systems, 2000
1999
Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented components.
ACM Trans. Softw. Eng. Methodol., 1999
A Hierarchy-aware Approach to Faceted Classification of Objected-Oriented Components.
ACM Trans. Softw. Eng. Methodol., 1999
Proceedings of the Fifth ACM SIGSOFT Symposium on Software Reusability, 1999
1998
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998
1996
1993
Proceedings of the 7th International Workshop on Software Specification and Design, 1993
Proceedings of the Software Engineering, 1993