Selected recent research papers by Giuseppe Scollo
Selected recent research papers by Giuseppe Scollo
Research articles
G. Scollo, G. Franco, V. Manca, Relational state transition dynamics, Journal of Algebraic and Logic Programming 76:1 (2008) 130-144, doi:10.1016/j.jlap.2007.07.003 .
G. Scollo, G. Franco, V. Manca, A relational view of recurrence and attractors in state transition dynamics, in: R. Schmidt (Ed.), Relations and Kleene Algebra in Computer Science, LNCS 4136, Springer-Verlag (2006) 358-372, doi:10.1007/11828563_24 .
N. Piccinini and G. Scollo, Cooperative Project-based Learning in a Web-based Software Engineering Course, Educational Technology & Society 9:4 (2006) 54-62, freely available on-line .
G. Scollo, ω-rewriting the Collatz problem, Fundamenta Informaticae 64 (2005) 405-416. (Revised version of DI RR 25/2004)
V. Manca, G. Franco, G. Scollo, State transition dynamics: basic concepts and molecular computing perspectives, Chapter 2 of: M. Gheorghe, M. Holcombe (Eds.), Molecular Computational Models: Unconventional Approaches, Idea Group, Hershey, PA, USA (2005).
G. Scollo and S. Zecchini, Architectural Unit Testing, Proc. Int'l Workshop on Model Based Testing (MBT 2004), Barcelona, Spain, 27-28 March 2004. (Revised version of DI RR 12/2003). Electronic Notes in Theoretical Computer Science , 111 (2005) 27-52.
G. Scollo, An institution isomorphism for planar graph colouring, in: R. Berghammer, B. Möller, G. Struth (Eds.) Relational and Kleene-Algebraic Methods in Computer Science, Lecture Notes in Computer Science 3051, Springer-Verlag, Heidelberg, (2004) 251-264. (Short version of DI RR 03/2003). On-line available via SpringerLink .
Research reports
G. Scollo, ω-rewriting the Collatz problem, U. of Verona, Dip. Informatica, DI RR 25/2004, October 2004. PDF .
G. Scollo and S. Zecchini, Architectural Unit Testing in a Robot Teleoperation Case Study, U. of Verona, Dip. Informatica, DI RR 12/2003, October 2003. PDF .
G. Scollo, Morphism-driven design of graph colouring institutions, U. of Verona, Dip. Informatica, DI RR 03/2003, March 2003: RR paper (PDF) DI seminar sheets (PostScript) DI seminar handout (PostScript).
Research abstracts
G. Franco, V. Manca and G. Scollo, Research questions in state transition models of biomolecular dynamics (extended abstract), 8th Congress SIMAI, Special Session S2 on Mathematical and Computational Modeling in Bioinformatics and Systems Biology . Baia Samuele (RG), I, 25-26 May 2006. PDF .
G. Scollo, Graph colouring institutions, in: R. Berghammer, B. Möller (Eds.), 7th Seminar RelMiCS, 2nd Workshop Kleene Algebra, Malente, Germany, 12-17 May 2003, pp. 288-297. Available from the RelMiCS 7 website .
Comments are welcome.
Date: Thursday 8 October 2009
back to home page .