my photo
photograph by Ruggero Taradel

Daniela Cancila

Dipartimento di Matematica Pura e Applicata
Università degli Studi di Padova, Via Trieste, 63
35131 Padova -- ITALY
tel: +39 049 827 1426
email: cancila AT math.unipd.it       please replace "AT" with "@"

HOME

Publications

Books

  1. Daniela Cancila Investigation in the Categorical Foundation and Application of Coalgebra and Hyperset . PhD Thesis Series, Dipartimento di Matematica e Informatica, University of Udine, Forum ed., Udine, 2004

Journals

  1. Giorgio Brajnik, Daniela Cancila Effectiveness, Productivity and Satisfaction of Person with sight and motor disabilities Journal of Web Engineering, vol 5., no. 4, 2006

International Conferences

  1. Daniela Cancila and Roberto Passerone Functional and Structural Properties in the Model-Driven Engineering Approach IEEE International Conferences on Emerging Technologies and Factory Automation (ETFA), 2008, to be published in IEEE. Some Properties and Some Problems on Set Functors International Conference, CMCS'06, ENTCS, 2006, to appear
  2. Daniela Cancila, Furio Honsell, Marina Lenisa Some Properties and Some Problems on Set Functors International Conference, CMCS'06, ENTCS, 2006, to appear
  3. Daniela Cancila, Furio Honsell, Marina Lenisa Functors Determined by Values on Objects International Conference, MFPS'06, ENTCS, vol.158, 2006
  4. Giorgio Brajnik, Daniela Cancila, Daniela Nicoli, Mery Pignatelli Do dynamic text-only web pages improve usability for PDA users? First Usability Symposium Austrian Computer Society, Nov. 2005, Vienna, Austria
  5. Giorgio Brajnik, Daniela Cancila, Daniela Nicoli,Mery Pignatelli Do text transcoders improve usability for disabled users? International Cross-Disciplinary Workshop on Web Accessibility, May 2005, Chiba, Japan.
  6. Giorgio Brajnik, Daniela Cancila, Daniela Nicoli,Mery Pignatelli Are text transcoders effective? . CSUN 2005 Annual International Conference "Technology and Persons with Disabilities", Los Angeles, 2005
  7. Daniela Cancila, Furio Honsell,Marina Lenisa. Generalized Coiteration Schemata. Conf. Proc. CMCS03, ENTCS, 2003
  8. Daniela Cancila, Furio Honsell. A coalgebraic description of web interaction. Long Abstract. Technical Report 0207, Institut fur Informatik, LMU Muchen, 2002. 16 International Workshop on Algebraic Development Techniques 2002, WADT 02. Frauenchiemsee, Germany.
  9. Remi Baudot, Daniela Cancila. Curry and NoCLog: a study of concurrency through the dining philosophers problem Functional and (constraint) Logic Programming. 11 International Workshop WFLP 2002, M. Falaschi ed., Research Report UDMI/18/2002/RR, pag. 131-144.

National Conferences

  1. Giorgio Brajnik, Daniela Cancila, Daniela Nicoli, Mery Pignatelli Do dynamic text--only web pages improve usability for disabled users? HCItaly 2005, Simposio su Human-Computer Interaction, Roma, Italy, Sept. 2005
  2. Daniela Cancila, Furio Honsell A Coalgebraic Description of Web Interaction. Conf. Proc. of Italian Conference of Theoretical Computer Science (ITCS), LNCS, vol. 2841, 2003, pag.271-283.
    Conference Paper of Usability in website by exploitinig the Log File: a coalgebraic approach. Research Report UDMI/6/2003/RR
  3. Daniela Cancila Investigations in the Categorical Foundations and Applications of Coalgebras and Hyperset. Workshop in Computational Metamodels CoMeta, Como, may 2003.
  4. Daniela Cancila, Furio Honsell, Marina Lenisa Properties of Set Functors Conf. Proc. of Computational Metamodels, COMETA 2003, ENTCS, Springer, dec. 2003.
  5. Daniela Cancila, Furio Honsell, Marina Lenisa.T-coiteration generalized, Workshop in Computational Metamodels, CoMeta, Milano, marzo 2002
  6. Daniela Cancila, Furio Honsell, Marina Lenisa. Towards web sites' analysis based on coalgebras Workshop in Computational Metamodels, CoMeta02. Venezia. 2002.

    7. ASSERT Technical Reports

    1. Daniela Cancila, Marco Trevisan HRT-UML/RCM Tutorial ASSERT Release, Univerity of Padova, August 2007, http://www.math.unipd.it/\%7Etullio/Research/ASSERT/Tutorial/
    2. Daniela Cancila, Marco Panunzio Deployment Attributes ASSERT - Internal Release, Univerity of Padova, December 2006
    3. Daniela Cancila, Tullio Vardanega A UML2.0 View of the Structural Properties of the Ravenscar Computational Model ASSERT - Internal Release, Univerity of Padova, December 2006
    4. Daniela Cancila, Tullio Vardanega AP-level Containers: A Survival Kit ASSERT - Internal Release, 004033.DDHRT3-1.TN.1, December 2006
    5. Daniela Cancila, Tullio Vardanega An HRT-UML/RCM Interface Grammar for AP-level Modeling ASSERT - External Public Release, 004033.DDHRT\_UPD.DVRB.03, September, 2006
    6. Daniela Cancila, Enrico Mezzetti, Rocco Moretti (UPD), Maria Rosaria Barone, Stefano Puri (Intecs). A UML2 Profile of the Ravenscar Computational Model ASSERT- External Public release, ID 004033.DVT_UPD.DVRB.02, January, 2006

      7. Technical Reports

      1. Daniela Cancila, Furio Honsell, Marina Lenisa. Usability in website by exploitinig the Log File: a coalgebraic approach. Research Report UDMI/6/2003/RR
      2. Daniela Cancila, Furio Honsell, Marina Lenisa. Generalized Coiteration Schemata. Research Report UDMI/20/RR