Publications
2014
- International conferences articlesSemantics of States and Transitions in statecharts-based markup languages: a comparative study between SWC and SCXML. Workshop on Engineering Interactive Computer Systems with SCXML 2014. p:28-32. Technical University of Darmstadt.
2012
- Books partsModels as Representations for Supporting the Development of e-Procedures. p:301-315. Morgan Kaufmann Publishers.
2011
- Books partsA Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces. Studies in Computational Intelligencevol:Vol. 340. p:143-170. Springer.
2010
- International journals articlesChallenges for the Development of User Interface Pattern Languages: A Case Study on the e-Government Domain. International Journal on WWW/INTERNET vol:Vol. 82. p:59-84. IADIS Digital Library.
2009
- International conferences articlesUser Interface Patterns: a field study evaluation. IADIS e-Society 2009. ISBN: 978-072-8924-80-5. p:105-112. IADIS.
2008
- International journals articlesAnalyzing Tool Support for Inspecting Accessibility Guidelines during the Development Process of Web Sites. Journal of Web Engineering vol:74. p:281-298. Rinton Press.
- International conferences articlesCascading Dialog Modeling with UsiXML. Design Specification and Verification of Interactive Systems 2008 (DSV-IS). LNCS5136. p:121-135. Springer.
- International conferences articlesAn Ontology-Based Approach for Dealing with Web Guidelines. International Workshop on Web Usability and Accessibility 2008. LNCSvol:5176. p:132-141. Springer.
2007
- International conferences articlesOrganizing user interface patterns for e-Government applications. Engineering Interactive Systems 2007 (EHCI-HCSE-DSVIS). ISBN 978-3-540-92697-9. p:601-619. Springer-Verlag.
2006
- International journals articlesWhat Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. Electronic Notes in Theoretical Computer Science vol:1572. p:207-211. Elsevier.
- International conferences articlesExtending Automated Guidelines Inspection with an Ontology of User Interface of Web Applications. Workshop on Automated Specification and Verification of Web Systems 2006 (WWV). (Short paper). IEEE : Institute of Electrical and Electronics Engineers.
- International conferences articlesA Model-Driven Architecture for Logging Navigation. Workshop on Logging Traces of Web Activity 2006 (WWW). ACM : Association for Computing Machinery.
2005
- International conferences articlesWhat Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. First International Workshop on Automated Specification and Verification of Web Sites (WWV'2005). p:33-36. LNCS.
2004
- International conferences articlesSWCEditor: A Model-based Tool for interactive Modelling of Web Navigation. CADUI 2004 5th International Conference on Computer-Aided Design of User Interfaces. p:55-56. Kluwer Academic Publisher.
2003
- International conferences articlesSynergistic Use of Visualisation Technique and Web Navigation Model for Information Space Exploration. 10th International Conference on Human-Computer Interaction ¿ HCI International¿2003. p:1091-1095. Lawrence Erlbaum Associates.
- International conferences articlesA Formal Description Technique Dedicated to Navigation Modelling of Web Applications. International Workshop on Design, Specification and Verification of Interactive Systems - DSVIS'2003. p:61-76. LNCS.
- International conferences articlesStateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. Design Specification and Verification of Interactive Systems 2003 (DSV-IS). p:61-67. Springer-Verlag.
2001
- International conferences articlesDesigning Navigation for Web Interfaces. Annual Conference of the BCS-HCI Group jointly with Annual Conference of AFIHM 2001 (IHM-HCI). (Short paper). p:43-46. Cépaduès Editions.