Publications

2009

  • N. Catano and T. Wahls, "Executing JML Specifications of Java Card Applications: A Case Study," in Proc. 24th ACM Symposium on Applied Computing, Hawaii, USA.
  • G.G.R. Guilherme and P.N.M. Sampaio, "A specification and tool for the configuration of REST Applications," Presented at 4th International IEEE Workshop on Service Oriented Architectures in Converging Networked Environments, May 26-29, 2009.
  • V. Kostakos, "Temporal graphs," Physica A, vol. 388, iss. 6, pp. 1007–1023, 2009.
  • V. Kostakos and I. Oakley, "Designing Trustworthy Situated Services: an Implicit and Explicit Assessment of Locative Images’ Effect on Trust." Presented at Conference on Human factors in computing systems, Boston, US, 2009.
  • J.P. van Leeuwen, I. Oakley, N.J. Nunes, V. Nisi, and V. Kostakos, "Sensory Social Networks to Motivate Sustainable Behaviour," Presented at EuroIA 12 International Conference, 2009.
  • E.M.D. Marques, R.A.S.A. Plácido, and P.N.M. Sampaio, "Visual Network Simulator (VNS): A GUI to QoS Simulation for the ns-2 Simulator," Presented at ACS/IEEE International Conference on Computer Systems and Applications, May 10-13, 2009.
  • E.M.D. Marques, R.A.S.A. Plácido, and P.N.M. Sampaio, "A Graphical User Interface for ns-2 with Visual Network Simulator," Presented at 2nd International Conference on Simulation Tools and Techniques, Mar. 2-6, 2009.
  • N.J. Nunes, "IUCP - Estimating interaction design projects with enhanced use case points," Presented at 8th International workshop on TAsk MOdels and DIAgrams, Brussels, Belgium, Sept. 23-25, 2009.
  • I. Oakley and J. Park, "Motion Marking Menus: an eyes-free approach to motion input for handheld devices," International Journal of Human-Computer Studies, vol. 67, iss. 6, pp. 515–532June , 2009.
  • I.I.A. Rodello and P.N.M. Sampaio, "Customization of Virtual Environments with XML: Multimedia Content and Scenario Generation Issues," Presented at XI Symposium on Virtual and Augmented Reality, Porto Alegre, Brazil, May 25-28, 2009.
  • G. Roussos and V. Kostakos, "RFID in Pervasive Computing: State-of-the-art and Outlook," Pervasive and Mobile Computing, vol. 5, pp. 110–131, 2009.
  • P.N.M. Sampaio and L.M. Rodriguez Peralta, "Bringing Integrated Multimedia Content into Virtual Reality Environments," Transactions on Edutainment, 2009.

2008

  • J. Abascal, I. Fajardo, and I. Oakley, Eds., European Conference on Cognitive Ergonomics 2008, 2008, European Association of Cognitive Ergonomics, Funchal, Madeira, Portugal, Sept. 16-19, 2008, 978-97298464-2-7.
  • N. Catano, F. Barraza, D. Garcia, and P. Ortega, "A Case Study in JML-Assisted Software Development," in Proc. Brazilian Symposium on Formal Methods.
  • L.L. Constantine, "Human Activity Modeling: Toward a Pragmatic Integration of Activity Theory and Usage-Centered Design," in Human-Centered Software Engineering: Software Engineering Architectures, Patterns and Models for Human Computer Interaction, A. Seffah, J. Vanderdonckt, and M. Desmarais, Eds. Springer Verlag, 2008, ISBN: 987-1-84800-906-6.
  • E. Fermé, M. Reis, and M. Krevneris, "An axiomatic characterization of ensconcement-based contraction," Journal of Logic and Computation, vol. To appear, 2008.
  • E. Fernandes, E. Fermé, and R. Oliveira, "Viajando com Robots na Aula de Matemática," in Ambientes Educativos Emergentes, To appear ed. P. Dias and A.J. Osorio, Eds. Braga: Centro Competência. Universidade do Minho, 2008, 978-972-98456-2-8.
  • Y. Kim, I. Oakley, and J. Ryu, "Human Perception of Pneumatic Tactile Cues," Advanced Robotics, vol. 22, iss. 8, pp. 807–828, 2008.
  • T. Kindberg, E. O'Neill, C. Bevan, V. Kostakos, D. Stanton-Fraser, and T. Jay, "Measuring Trust in Wi-Fi Hotspots," in Proc. Conference on Human factors in computing systems, Florence, Italy, 2008, pp. 173–182.
  • V. Kostakos and E. O'Neill, "Cityware: Urban Computing to Bridge Online and Real-world Social Networks," in Handbook of Research on Urban Informatics: The Practice and Promise of the Real-Time City, M. Foth, Ed. 2008.
  • V. Kostakos and E. O'Neill. (2008, May 6) Size matters: performance declines if your pixels are too big or too small. [Online]. Available: http://arxiv.org/abs/0804.3103
  • V. Kostakos. (2008, May 6) The privacy implications of Bluetooth. [Online]. Available: http://arxiv.org/abs/0804.3752
  • V. Kostakos and P. Kostakos. (2008, May 6) Intelligence gathering by capturing the social processes within prisons. [Online]. Available: http://arxiv.org/abs/0804.3064
  • V. Kostakos and E. O'Neill, "Human-in-the-loop: rethinking security in mobile and pervasive systems," in Proc. Conference on Human factors in computing systems, Florence, Italy, 2008, pp. 3075–3080.
  • V. Kostakos and E. O'Neill, "Urban encounters: the game of real life," in Proc. Conference on Human factors in computing systems, Florence, Italy, 2008, pp. 3381–3386.
  • V. Kostakos and E. O'Neill, "Social Networking 2.0," in Proc. Conference on Human factors in computing systems, Florence, Italy, 2008, pp. 3555–3560.
  • V. Kostakos and E. O'Neill, "Capturing and visualising Bluetooth encounters," Presented at Conference on Human factors in computing systems, Florence, Italy, 2008.
  • P. Kotze, W. Wong, J. Jorge, A. Dix, and P.A. Silva, Eds.Creativity and HCI: From Experience to Design in Education, 1st. ed.USA: Springer, 2008, 978-0-387-89021-0.
  • P. Kotze, W. Wong, J. Jorge, A. Dix, and P.A. Silva, "Preface - Creativity and HCI: From Experience to Design in Education," in Creativity and HCI: From Experience to Design in Education, 1st. ed. USA: Springer, 2008, pp. 1–11.
  • J.P. van Leeuwen, L.M. Rodriguez Peralta, and P.N.M. Sampaio, "Stimulating Collaborative Behaviour in Design Education," in Proc. 14th International Conference on Concurrent Enterprising – ICE´2008, 1st Workshop on IT-supported Cooperative Design in Education, Lisbon, Portugal, June 23-25, 2008, pp. 419–424, ISBN 978 0 85358 244 1.
  • V. Nisi, I. Oakley, and M. Haahr, "Location-Aware Multimedia Stories: Bringing Together Real and Virtual Spaces," Presented at ArTech, 2008.
  • N.J. Nunes, "What Drives Software Development: Bridging the Gap Between Software and Usability Engineering," in Human-Centered Software Engineering: Software Engineering Architectures, Patterns and Models for Human Computer Interaction, A. Seffah, J. Vanderdonckt, and M. Desmarais, Eds. Springer Verlag, 2008, ISBN: 987-1-84800-906-6.
  • I. Oakley and J. Park, "Did You Feel Something? Distracter Tasks and the Recognition of Vibrotactile Cues," Interacting with Computers, vol. 20, iss. 3, pp. 354–363May , 2008.
  • I. Oakley, J. Sunwoo, and I.-Y. Cho, "Pointing with Fingers, Hands and Arms for Wearable Computing," Presented at CHI '08 extended abstracts on Human factors in computing systemsApr. , 2008, 978-1-60558-012-X.
  • E. Oliveira, E. Fernandes, and E. Fermé, "Proporcionalidade directa com função:: Da perfeição à realidade a bordo de um robot (In Portuguese)," Quadrante, vol. To appear, 2008.
  • L.M. Pestana Leão de Brito and L.M. Rodriguez Peralta, "A model for Wireless Sensor Networks Supported Cooperative Work," in Proc. 3rd International Conference on Computer Graphics Theory and Applications (GRAPP 2008), Madeira, Portugal, Jan. 22-25, 2008, pp. 505–511.
  • L.M. Pestana Leão de Brito and L.M. Rodriguez Peralta, "Basic Concepts of Wireless Sensor Networks," in Encyclopedia of Networked and Virtual Organizations, G.D. Putnik and M.M. Cunha, Eds. United States of America: Information Science Reference, IGI Global, 2008, vol. 1, pp. 57–64, ISBN 978-1-59904-885-7.
  • L.M. Pestana Leão de Brito, L.M. Rodriguez Peralta, and M. Reis, "Towards A Collaborative Model for Wireless Sensor Networks," in Proc. Pervasive Collaborative Network, IFIP TC 5 WG 5.5 9th Working Conference on Virtual Enterprises (PRO-VE’08), ser. Springer Series in Computer Sciences, vol. 283, Poznan, Poland, Sept. 8-10, 2008, pp. 371–380, ISBN 978-0-387-84837-2.
  • L.M. Pestana Leão de Brito, L.M. Rodriguez Peralta, F.E. Sousa Santos, and R.P. Ramos Fernandes, "Environmental Monitoring of Museums Based on Wireless Sensor Networks," in Proc. Fourth International Conference on Wireless and Mobile Communications (ICWMC 2008), Athens, Greece, July 27-Aug. 1, 2008, pp. 364–369.
  • L.M. Pestana Leão de Brito and L.M. Rodriguez Peralta, "A Collaborative Model for Wireless Sensor Networks Applied to Museums," in Proc. 5th International Conference on Cooperative Design, Visualization and Engineering (CDVE’2008), vol. 5220/2008, Mallorca, Spain, Sept. 21-25, 2008, pp. 107–116, ISBN 978-3-540-88010-3.
  • L.M. Pestana Leão de Brito and L.M. Rodriguez Peralta, "An Analysis of Localization Problems and Solutions in Wireless Sensor Networks," Tékhne – Polytechnical Studies Review, vol. 6, iss. 9, pp. 141–162June , 2008, ISSN: 1645-9911.
  • L.M. Pestana Leão de Brito and L.M. Rodriguez Peralta, "Towards the Implementation of an Awareness Tool Based in a Collaborative Model for WSNs, Using XML," in Proc. 2nd International Conference on Sensor Technologies and Applications (SENSORCOMM 2008), Cap Esterel, France, Aug. 25-31, 2008, pp. 513–518.
  • L.M. Pestana Leão de Brito and L.M. Rodriguez Peralta, "A Collaborative Model for Representing Wireless Sensor Networks’ Entities and Properties," in Proc. 3rd ACM International Workshop on Performance Monitoring, Measurement and Evaluation Heterogeneous Wireless and Wired Networks (PM2HW2N’08), British Columbia, Canada, Oct. 31-31, 2008, pp. 104–111, ISBN 978-1-60558-239-9.
  • P.N.M. Sampaio and L.M. Rodriguez Peralta, "Interactive Multimedia Documents and Virtual Reality: Challenges and Solutions," International Journal on Virtual Reality, vol. 7, iss. 4, pp. 65–70Dec. , 2008.
  • P.N.M. Sampaio, I.I.A. Rodello, L.M. Rodriguez Peralta, and P.A. Bressan, ". Customizing Multimedia and Collaborative Virtual Environments," in Customizing Multimedia and Collaborative Virtual Environments Encyclopedia of Networked and Virtual Organizations, 2008, vol. 1, pp. 377–384, ISBN 978-1-59904-885-7.
  • P.N.M. Sampaio, R.I. de Freitas, and G.D.P. Cardoso, "OGRE-Multimedia: An API for the design of Multimedia and Virtual Reality Applications," in proceedings of the 12th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, ser. Springer-Verlag in Lecture Notes in Computer Science , 2008.
  • P.N.M. Sampaio, L.M. Rodriguez Peralta, and P.P.D. João, "Presenting Interactive Multimedia Documents within Virtual Environments," Presented at 3rd International Conference on Computer Graphics Theory and Applications, Jan. 22-Feb. 25, 2008.
  • P.N.M. Sampaio, R.I. de Freitas, and G.D.P. Cardoso, "Embedding Multimedia Content within virtual environments: The OGRE Approach," Presented at 3rd International Conference on Computer Graphics Theory and Applications, Jan. 22-25, 2008.
  • P.A. Silva, "Memories of a lively conference: HCIEd 2007," Interfaces Magazine, no. 5, 2008.
  • M. da Silva, V. Kostakos, and M. Matsumoto, "Improving emergency response to mass casualty incidents," Presented at Percom 2008, 2008.
  • G.N. Sol Teixeira and L.M. Rodriguez Peralta, "Comparing ZigBee, Bluetooth, UWB, and Wi-Fi," in Encyclopedia of Networked and Virtual Organizations, G.D. Putnik and M.M. Cunha, Eds. United States of America: Information Science Reference, IGI Global, 2008, vol. 1, pp. 288–296, ISBN 978-1-59904-885-7.
  • N. Taylor, K. Cheverst, A. Dix, P.A. Silva, and M. Rouncefield, "The Co-realisation of a Village Photo Display," Presented at CHI 2008 : Collocated Social Practices Surrounding Photos, Florence, Italy, 2008.

2007

  • J. Beetz, B. de Vries, and J.P. van Leeuwen, "RDF-Based Distributed Functional Part Specifications for the Facilitation of Service-Based Architectures," in Proc. 24th W78 Conference Maribor 2007, D. Rebolj, Ed. 2007, pp. 183–188.
  • P. Campos and N.J. Nunes, "Practitioner Tools and Workstyles for User-Interface Design," IEEE Software, vol. 24, iss. 1, pp. 73–80Jan./Feb. , 2007.
  • P. Campos and N.J. Nunes, "Towards Useful and Usable Interaction Design Tools: CanonSketch," Interacting with Computers, vol. 19, iss. 5-6, pp. 597–613Dec. , 2007.
  • M.-C. Chen and R.L. Klatzky, "Displays attentive to unattended regions: Presenting information in a peripheral-vision-friendly way," Presented at 12th International Conference on Human-Computer Interaction, July 22-27, 2007.
  • D. Costa, L. Nóbrega, and N.J. Nunes, "An MDA Approach for Generating Web Interfaces with UML ConcurTaskTrees and Canonical Abstract Prototypes," in Task Models and Diagrams for Users Interface Design, K. Coninx, K. Luyten, and K.A. Schneider, Eds. Berlin: Springer, 2007, pp. 137–152.
  • A. Fatah gen Schiek and V. Kostakos, "Exploring digital encounters in the city," Presented at Conference on Human factors in computing systems, 2007.
  • E. Fermé, "Revisión de Creencias: (In Spanish)," Revista Iberoamericana de Inteligencia Artificial, vol. 11, iss. 34, pp. 17–39, 2007.
  • E. Fermé and E. Fernandes, "Crossing the river with robots: Changing the way of working in an AI subject," in Proc. 3rd UK Workshop on AI in Education, M. Fasli, Ed. Cambridge, UK, 2007, pp. 22–29.
  • E. Fermé and Luis. Gaspar, "RCX+PROLOG: A platform to use Lego Mindstorms(tm) Robots in Artificial Intelligence courses," in Proc. 3rd UK Workshop on AI in Education, M. Fasli, Ed. Cambridge, UK, 2007, pp. 30–36.
  • V. Kostakos, E. O'Neill, and P. Alan. (2007, May 6) Brief encounter networks. [Online]. Available: http://arxiv.org/abs/0709.0223
  • V. Kostakos and E. O'Neill, "NFC on mobile phones: issues, lessons and future research," Presented at Percom, 2007.
  • V. Kostakos and E. O'Neill, "Quantifying the effects of space on encounter," in Proc. Space Syntax Symposium, Istanbul, Turkey, 2007, pp. 9701–9709.
  • V. Kostakos and P. Kostakos, "Social Network Analysis: Real world methodological challenges," ESRC Standing group on organised crime newsletter, vol. 6, iss. 1, pp. 7–9, 2007.
  • L. Nóbrega, N.J. Nunes, and H. Coelho, "17: The Meta Sketch Editor," in Computer-Aided Design Of User Interfaces V, ser. Computer Science, G. Calvary, C. Pribeanu, G. Santucci, and J. Vanderdonckt, Eds. Netherlands: Springer, 2007, pp. 201–214.
  • V. Nisi, I. Oakley, and M. Haahr, "Evaluating inner city locative media," Presented at Workshop on Mobile Spatial Interaction, at ACM CHI'07Apr. , 2007.
  • I. Oakley and S. Brewster, Eds.Haptic and Audio Interaction Design, ser. Lecture Notes in Computer ScienceBerlin: Springer-Verlag, 2007, 3-540-76701-0.
  • I. Oakley and J. Park, "Designing Eyes-Free Interaction," Presented at Second International Workshop on Haptic and Audio Interaction Design, Nov. 29-30, 2007, 3-540-76701-0.
  • I. Oakley and J. Park, "A motion-based marking menu system," Presented at CHI '07 extended abstracts on Human factors in computing systems, San Jose, CAApr. , 2007, 978-1-59593-642-4.
  • I. Oakley and J. Park, "The Effect of a Distracter Task on the Recognition of Tactile Icons," Presented at WorldHaptics, Tsukuba, JapanMar. , 2007.
  • L.M. Pestana Leão de Brito and L.M. Rodriguez Peralta, "A Comparative Analysis of Localization Approaches in Wireless Sensor Networks," in Proc. IASK International Conference E-Activity and Leading Technologies 2007 (E-ALT2007), Porto, Portugal, Dec. 3-6, 2007, pp. 195–203.
  • L. Quintal and P.N.M. Sampaio, "A Methodology for Domain Dialogue Engineering with the Midiki Dialogue Manager," in Text, Speech and Dialogue - Proceedings of the 10th International Conference TSD 2007, ser. Springer-Verlag in Lecture Notes in Computer Science , 2007.
  • L.M. Rodriguez Peralta and L.M. Pestana Leão de Brito, "Collaborative Localization in Wireless Sensor Networks," in Proc. International Conference on Sensor Technologies and Applications, Valencia, Spain, Oct. 14-20, 2007, pp. 94–100, ISBN 13 978-0-7695-2799-4.
  • P.N.M. Sampaio, L.M. Rodriguez Peralta, and J.-P. Courtiat, "Designing Consistent Multimedia Documents: The RT-LOTOS Methodology," in Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems, ser. Springer-Verlag in Lecture Notes in Computer Science , 2007.
  • P.N.M. Sampaio and J.-P. Courtiat, "TLSA Player: A tool for presenting consistent SMIL 2.0 documents," Presented at 9th International Conference on Enterprise Information Systems, June 12-16, 2007.
  • P.A. Silva and A. Dix, "Usability – Not as we know it!" Presented at British HCI, 2007.
  • P.A. Silva and K. Van Laerhoven, "Creativity in Ubiquitous Computing Research," Presented at HCIEd. 2007, 2007.
  • P.A. Silva and K. Van Laerhoven, "BadIdeas for Usability and Design of Medicine and Healthcare Sensors," Presented at USAB2007 Symposium, 2007.
  • M. da Silva, V. Kostakos, and M. Matsumoto, "Study on the Use of Pervasive Technology to Improve the Emergency Response to Mass Casualty Incidents," Presented at GITS GITI Forum, 2007.
  • E. Sylvia, T. Sharil, and P.N.M. Sampaio, "On Multimedia Factors Effecting Learning," Presented at World Conference on Educational Multimedia, Hypermedia & TelecommunicationsJune , 2007.
  • P. Valente and P.N.M. Sampaio, "Process Use Cases: Use Cases Identification," Presented at 9th International Conference on Enterprise Information Systems, June 12-16, 2007.

2006

  • J. Beetz, J.P. van Leeuwen, and B. de Vries, "Towards a topological reasoning service for IFC-based building information models in a Semantic Web context," in Proc. Building on IT - Proceedings of the Joint International Conference on Computing and Decision Making in Civil and Building Engineering, Montréal, CAN, June 14-16, 2006, pp. 3426–3435.
  • J. Beetz, J.P. van Leeuwen, and B. de Vries, "Distributed Collaboration in the Context of the Semantic Web," in Proc. Design & Decision Support Systems 2006, Heeze, NL, July 4-7, 2006, pp. 313–323.
  • P. Campos and N.J. Nunes, "Rinciples and Practice of Work Style Modeling: Sketching Design Tools," in Proc. Human-Work Interaction Design 2006, 2006, pp. 203–219.
  • P. Campos and N.J. Nunes, "Principles and Practice of Work Style Modeling: Sketching Design Tools," in Proc. Proceedings of HWID'06 - Human-Work Interaction Design, 2006.
  • T. Chambel, N.J. Nunes, T. Romão, and J.C. Campos, Eds., Actas da 2ª Conferência Nacional em Interacção Pessoa-Máquina - Interacção 2006, 2006, Universidade do Minho, Braga, Oct. 16-18, 2006, ISBN: 972-98464-7-2.
  • M.-C. Chen, "Kinetic Pixels: Elements for Conveying Information Through Peripheral Visual Displays," Presented at 7th Asia-Pacific Conference on Computer-Human Interaction, Taipei, Taiwan, Oct. 11-14, 2006.
  • L.L. Constantine, "Activity Modeling: Toward a Pragmatic Integration of Activity Theory with Usage-Centered Design," Laboratory for Usage-centered Software Engineering, Madeira, Portugal, LabUSE Technical Paper, 2006.
  • L.L. Constantine, "8: Users, Roles, and Personas," in The Persona Lifecycle : Keeping People in Mind Throughout Product Design, ser. Interactive Technologies, J. Pruitt and T. Adlin, Eds. Morgan Kaufmann, 2006, pp. 498–519, 978-0125662512.
  • L.L. Constantine, "Trusted Interaction: User Control and System Responsibilities in Interaction Design for Information Systems," in Proc. Advanced Information Systems Engineering: 18th International Conference, Luxembourg, June 5-9, 2006, ISBN 978-3-540-34652-4.
  • N. Deshpande, B. de Vries, and J.P. van Leeuwen, "Collaborative Design Knowledge Construction and Measuring Shared Understanding," in Proc. Design & Decision Support Systems 2006, Heeze, NL, July 4-7, 2006, pp. 303–312.
  • A. Dix, T. Ormerod, M. Twidale, C. Sas, P.A. Silva, and L. McKnight, "Why bad ideas are a good idea," Presented at HCIEd. 2006, 2006.
  • M. Falappa, E. Fermé, and G. Kern-Isberner, "On the Logic of Theory Change: Relations between Incision and Selection Functions," in Proc. ECAI 2006 - 17th European Conference on Artificial Intelligence, G. Brewka, S. Coradeschi, A. Perini, and P. Traverso, Eds. 2006, pp. 402–406.
  • E. Fermé and R. Rodríguez, "DFT and Belief Revision," Análisis Filosófic, vol. XXVI, iss. 2, pp. 373–393, 2006.
  • E. Fernandes, E. Fermé, and R. Oliveira, "Using Robots to Learn Functions in Math Class," in Proc. ICMI 17 Study Conference: Technology Revisited, L.H. Son, N. Sinclair, J.B. Lagrange, and C. Hoyles, Eds. Hanoi, Vietnam, pp. 152–157.
  • Y. Kim, I. Oakley, and J. Ryu, "Combining Point Force Haptic and Pneumatic Tactile Displays," Presented at EuroHaptics 2006July , 2006.
  • V. Kostakos, E. O'Neill, and A. Penn, "Architectural Space, Interaction Space and Information Spheres: Designing Urban Pervasive Systems," IEEE Computer, vol. 39, iss. 9, pp. 52–59, 2006.
  • J.P. van Leeuwen and H.J.P. Timmermans, Eds.Innovations in Design & Decision Support Systems in Architecture and Urban PlanningDordrecht, NL: Springer, 2006, ISBN-13: 978-1-4020-5059-6.
  • J.P. van Leeuwen and H.J.P. Timmermans, Eds., Progress in Design & Decision Support Systems in Architecture and Urban Planning, 2006, Eindhoven University of Technology, Heeze, NL, July 4-6, 2006, ISBN-13: 978-1-4020-5059-6.
  • J.P. van Leeuwen and S. Fridqvist, "An Information Model for Collaboration in the Construction Industry," Computers in Industry, vol. 57, iss. 8-9, pp. 809–816, 2006.
  • J.P. van Leeuwen and L. van Berlo, "The Neighbourhood Wizard - Cause and effect of changes in urban neighbourhoods," in Proc. Design & Decision Support Systems 2006, Heeze, NL, July 4-7, 2006, pp. 391–406.
  • J.P. van Leeuwen, A. Wijnen, N. Benschop, and M. Eeltink, "Citizens and Public Services - A Digital Dialogue Regarding Building Permits," in Proc. Building on IT - Proceedings of the Joint International Conference on Computing and Decision Making in Civil and Building Engineering, Montréal, CAN, June 14-16, 2006, pp. 3364–3373.
  • V. Nisi, I. Oakley, and M. Haahr, "Community Networked Tales: Stories and Place of a Dublin," Presented at ISEA 2006 Symposium, San Jose, CA, 2006.
  • V. Nisi, I. Oakley, and M. Haahr, "Inner City Locative Media:: Design and Experience of a Location-Aware Mobile Narrative for the Dublin Liberties Neighborhood," Intelligent Agent, vol. 6, iss. 2Aug. , 2006.
  • E. O'Neill, V. Kostakos, T. Kindberg, and A. Fatah gen Schiek, "Instrumenting the city: developing methods for observing and understanding the digital cityscape," in Proc. Ubicomp, 2006, pp. 315–332.
  • I. Oakley, Y. Kim, and J. Ryu, "Determining the Feasability of Forearm Mounted Vibrotactile Displays," Presented at IEEE Haptics Symposium, Arlington, Virginia, 2006.
  • L.M. Rodriguez Peralta and A.M. Gonçalves Silva, "A Model-based Awareness Approach for Synchronous Collaborative Sessions on the Web," in Proc. 4th Latin American Web Congress, Puebla, México, Oct. 25-27, 2006, pp. 91–100, ISBN 0-7695-2693-4.
  • L.M. Rodriguez Peralta and A.M. Gonçalves Silva, "A Model-based Awareness Tool for Synchronous Collaborative Sessions," in Proc. 15th International Conference on Computing, Mexico City, Mexico, Nov. 21-24, 2006, pp. 347–354, ISBN 0-7695-2708-6.
  • P.N.M. Sampaio and P. Valente, "Goals: Interactive Multimedia Documents Modeling," in International Workshop on TAsk MOdels and DIAgrams for user interface design, ser. Lecture Notes in Computer Science Hasselt, Belgium: TAMODIA'2006 - 5th International Workshop on TAsk MOdels and DIAgrams for user interface design, 2006, pp. 169–185, 978-3540708155.
  • P.A. Silva, "Understanding materials," Presented at Convivio Faculty Forum Workshop, 2006.
  • P.A. Silva and A. Dix, "Chindogu and Scrapheap Spirit as Creativity Triggers," Presented at First International Symposium on Culture, Creativity and Interaction Design, 2006.
  • P. Valente and P.N.M. Sampaio, "Defining Goals for the design of Interactive Multimedia Documents," Presented at World Conference on Educational Multimedia, Hypermedia & TelecommunicationsJune , 2006.

2005

  • J. Beetz, J.P. van Leeuwen, and B. de Vries, "An Ontology Web Language Notation of the Industry Foundation Classes," in Proc. 22nd CIB W78 Conference on Information Technology in Construction, ser. CIB publication, R. Scherer, Katranuschkov, and Schapke, Eds. Dresden, DE, 2005, pp. 193–198.
  • P. Campos and N.J. Nunes, "Galactic Dimensions: A Unifying Workstyle Model for User-Centered Design," in Proc. INTERACT 2005, ser. Lecture Notes in Computer Science, M.F. Costabile and F. Paternò, Eds. vol. 3585/2005, Rome, Italy, Sept. 12-16, 2005, pp. 158–169, 978-3-540-28943-2.
  • N. Catano, "Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS," in Proc. Theorem Proving in Higher Order Logics, ser. Lectures Notes in Computer Science, vol. 3603, pp. 22–25.
  • N. Catano, M. Huisman, B. Jacobs, and C. Breunesse, "Formal Methods for Smart Cards: An Experience Report," Science of Computer Programming, vol. 55, iss. 1-3, pp. 53–80, 2005.
  • J. Cha, I. Oakley, J. Lee, and J. Ryu, "An AR system for haptic communication," Presented at 2005 International Conference on Augmented Tele-Existence, Christchurch, New ZealandDec. , 2005.
  • L.L. Constantine, "Peer Reviews for Usability," Cutter IT Journal, vol. 18, iss. 1, pp. 5–13Jan. , 2005, ISSN: 1522-7383.
  • L.L. Constantine and P. Campos, "CanonSketch and TaskSketch: Innovative Modeling Tools for Usage-Centered Software Design," in Proc. OOPSLA'05 Demonstrations, San Diego, 2005.
  • N. Deshpande, B. de Vries, and J.P. van Leeuwen, "Building and Supporting Shared Understanding in Collaborative Problem-solving," in Proc. Proceedings of the Ninth International Conference on Information Visualisation, E. Banissi, M. Sarfraz, J.C. Roberts, B. Loften, A. Ursyn, R.A. Burkhard, A. Lee, and G. Andrienko, Eds. 2005, pp. 737–744.
  • B.B. Ekkelkamp, J.P. van Leeuwen, and S.J.E. Maussen, "Meerjarenonderhoud op basis van een digitaal gebouwmodel," Gebouwbeheer, Facilitair & Onderhoudsmanagement, vol. 16, iss. 3, pp. 24–27, 2005.
  • J.P. van Leeuwen and A. van der Zee, "Distributed Object Models for Collaboration in the Construction Industry," Automation in Construction, vol. 14, iss. 4, pp. 491–499, 2005, ISSN: 0926-5805.
  • J.P. van Leeuwen, F.J.M. van Gassel, and A.F.H.J. den Otter, "Collaborative Design in Education - Evaluation of three Approaches," in Proc. Digital Design: the quest for new paradigms - proceedings of ECAADE 2005, Duarte, Ducla-Soares, and Sampaio, Eds. Lisbon, 2005, pp. 173–180.
  • J.P. van Leeuwen, A.J. Jessurun, and G. Jansen, "Searching with Experience - A Search Engine for Product Information that Learns from its Users," in Proc. Learning from the past - proceedings of CAAD Futures 2005, B. Martens and A. Brown, Eds. Vienna, 2005, pp. 203–214.
  • L. Nóbrega, N.J. Nunes, and H. Coelho, "DialogSketch: Dynamics of the canonical prototypes," Presented at 4th international workshop on Task models and diagrams, Gdansk, Poland, Sept. 26, 2005.
  • L. Nóbrega, N.J. Nunes, and H. Coelho, "Mapping ConcurTaskTrees into UML 2.0," Presented at 12th International Workshop on Design, Specification, and Verification of Interactive System (DSV-IS’2005), July 13-15, 2005.
  • N.J. Nunes, B. Selic, A. Toval, and A. Silva, Eds., UML Modeling Languages and Applications: UML 2004 Satellite Activities, 2005, Oct. 11-15, 2004.
  • I. Oakley and S. O'Modhrain, "Tilt to Scroll: Evaluating a Motion Based Vibrotactile Mobile Interface," Presented at WorldHaptics 2005, Pisa, Italy, 2005.
  • M.-H. Sohn, S.A. Douglass, and M.-C. Chen, "Characteristics of Fluent Skills in a Complex, Dynamic Problem-Solving Task," Human Factors, vol. 47, iss. 4, pp. 742–752, 2005.
  • B. de Vries, H.H. Achten, and J.P. van Leeuwen, "Understanding Design Through Design Support Tools," in Proc. Design Research in the Netherlands 2005, ser. Bouwstenen, H.H. Achten, K. Dorst, P.J.P.J. Stappers, and B. de Vries, Eds. Eindhoven, NL, 2005, pp. 205–214.

2004

  • H.H. Achten, J.P. van Leeuwen, and S. Fridqvist, "Communicating Concepts for Shared Understanding - A Multi-Agent Approach," in Proc. Local Values in a Networked Design World - Added Value of Computer Aided Architectural Design, M. Stellingwerff and J. Verbeke, Eds. Delft, NL, 2004, pp. 183–196.
  • J. Beetz, J.P. van Leeuwen, and B. de Vries, "Towards a Multi Agent System for the Support of Collaborative Design - Assembling a toolbox for the creation of a proof of concept," in Proc. Developments in Design & Decision Support Systems in Architecture and Urban Planning, J.P. van Leeuwen and H.J.P. Timmermans, Eds. Eindhoven, NL, 2004, pp. 269–280.
  • P. Campos and N.J. Nunes, "A UML-Based Tool for Designing User Interfaces," Presented at UML Modeling Languages and Applications: UML 2004 Satellite Activities, Oct. 11-15, 2004, 78-3-540-25081-4.
  • P. Campos and N.J. Nunes, "CanonSketch: uma ferramenta para Prototipagem Abstracta e Desenho de Padrões de Interface," in Proc. 1a. Conferência Nacional em Interacção Pessoa-Máquina, Lisbon, Portugal, 2004.
  • P. Campos and N.J. Nunes, "CanonSketch: a User-Centered Tool for Canonical Abstract Prototyping," in Proc. EHCI/DSV-IS’2004, International Conference on Engineering Human-Computer Interaction / International Workshop on Design, Specification and Verification of Interactive Systems, Hamburg, Germany, 2004.
  • P. Campos and N.J. Nunes, "Canonsketch: uma ferramenta para Prototipagem Abstracta e Desenho de Padroes de Interface," in Proc. Conferencia Nacional em Interaccao Pessoa-Maquina, 2004.
  • P. Campos and N.J. Nunes, "Canonsketch: a User-Centered Tool for Canonical Abstract Prototyping," in Proc. Conferencia Nacional em Interaccao Pessoa-Maquina, 2004.
  • L.L. Constantine, "Beyond User-Centered Design and User Experience," Cutter IT Journal, vol. 17, iss. 2, pp. 16–25Feb. , 2004, ISSN: 1522-7383.
  • L.L. Constantine, "The Usability Challenge," Cutter Executive Report, Agile Project Management, vol. 5, iss. 4, 2004.
  • N. Deshpande, B. de Vries, and J.P. van Leeuwen, "Collocated, Multi-Disciplinary, Collaborative Designspace - An overview," in Proc. Developments in Design & Decision Support Systems in Architecture and Urban Planning, J.P. van Leeuwen and H.J.P. Timmermans, Eds. Eindhoven, NL, 2004, pp. 253–268.
  • E. Fermé and H. Rott, "Revision by Comparison," Artificial Intelligence, iss. 157, pp. 5–47, 2004.
  • F.J.M. van Gassel, J.P. van Leeuwen, and A.F.H.J. den Otter, "Experiences with a Course on Collaborative Design on Distance," in Proc. 21th International Symposium on Automation and Robotics in Construction, Sept. 21-24, 2004.
  • J.P. van Leeuwen and H.J.P. Timmermans, Eds.Recent Advances in Design & Decision Support Systems in Architecture and Urban PlanningDordrecht, NL: Kluwer Academic Publishers, 2004, ISBN: 1-4020-2408-8.
  • J.P. van Leeuwen and H.J.P. Timmermans, Eds., Developments in Design & Decision Support Systems in Architecture and Urban Planning, 2004, Eindhoven University of Technology, Eindhoven, NL, July 2-5, 2004, ISBN: 90-6814-115-4.
  • J.P. van Leeuwen, F.J.M. van Gassel, and A.F.H.J. den Otter, "Teaching Collaborative Design," in Proc. International Workshop on Construction Information Technology in Education, Istanbul, Turkey, Sept. 7, 2004.
  • J.P. van Leeuwen, A.J. Jessurun, and E. de Wit, "The Digital Dormer - Applying for Building Permits Online," in Proc. European Conference on Product and Process Modelling, A. Dikbas and R. Scherer, Eds. Istanbul, Turkey, Sept. 8, 2004, pp. 355–361.
  • V. Nisi, A. Wood, G. Davenport, and I. Oakley, Eds., Hopstory: an interactive, location-based narrative distributed in space and time, 2004, Technologies for Interactive Digital Storytelling and Entertainment : TIDSE 2004, Darmstadt, Germany, June 24-26, 2004, 3-540-22283-9.
  • V. Nisi, A. Wood, G. Davenport, and I. Oakley, Eds."A Mediated Portrait of the Dublin Liberties," in Spark! Design and LocalityHelsinki, Finland: University of Art and Design Helsinki, 2004.
  • V. Nisi and M. Haahr, "Weird View: Interactive Multilinear Narratives and Real-Life Community Stories," Crossings: eJournal of Art and Technology, vol. 4, iss. 1Dec. , 2004.
  • N.J. Nunes and P. Campos, "Towards Usable Analysis, Design and Modeling Tools," in Proc. First International Workshop on Making model-based user interface design practical: usable and open methods and tools, vol. 103, 2004, ISSN 1613-0073.
  • N.J. Nunes and C. Rich, Eds., Proceedings of the 2004 International Conference on Intelligent User-Interfaces, 2004, Universidade da Madeira, Funchal, Portugal, Jan. 13-16, 2004, ISBN: 1-58113-815-6.
  • L. Patrício, J.F. Cunha, R. Fisk, and N.J. Nunes, "Customer Experience Requirements for Multi-platform Service Interaction: Bringing Services Marketing to the Elicitation of User Requirements," in Proc. 12th IEEE International Requirements Engineering Conference, Kyoto, Japan, Sept. 6-10, 2004.
  • L. Patrício, J.F. Cunha, R. Fisk, and N.J. Nunes, "Designing Interaction Experiences for Multi-Platform Service Provision with Essential Use Cases," in Proc. 9th international conference on Intelligent user interface: Short Papers, Funchal, Portugal, 2004, p. 298-300, ISBN:1-58113-815-6.
  • L.M. Rodriguez Peralta, T.T. Villemur, and K.K. Drira, "A Model-Driven and Web-enabled Coordination Approach for Managing Synchronous Collaborative Sessions," in Proc. 5ª Conferência da APSI (Associação Portuguesa de Sistemas de Informação), Lisboa, Portugal, Nov. 3-5, 2004.
  • P.N.M. Sampaio and J.-P. Courtiat, "An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents," Journal of the Brazilian Computer Society, iss. 3, pp. 39–51Apr. , 2004.
  • P.N.M. Sampaio and J.-P. Courtiat, "Providing the design and presentation of consistent multimedia documents," Presented at 5a. Conferência da Associação Portuguesa de Sistemas de Informação, Nov. 3-5, 2004.
  • H. Tratteberg, P.J. Molina, and N.J. Nunes, Eds., Proceedings of the First International Workshop on Making model-based user interface design practical: usable and open methods and tools - CEUR-Workshop Proceedings, 2004, Jan. 13, 2004, ISSN 1613-0073.

2003

  • N. Catano, "Slicing Event Spaces: Towards a Java Programs Checking Framework," in Proc. Formal Methods for Industrial Critical Systems, ser. Lecture Notes in Computer Science, vol. 80.
  • N. Catano and M. Huisman, "Chase: A Static Checker for JML's Assignable Clause. Verification," in Proc. Verification, Model Checking and Abstract Interpretation.
  • M.-C. Chen, J.R. Anderson, and M.-H. Sohn, "Eye-hand coordination during Web browsing," in Human factors and Web development, 2nd ed. J. Ratner, Ed. Mahwah, NJ: Lawrence Erlbaum Associates, 2003, pp. 207–224.
  • L.L. Constantine, R. Biddle, and J. Noble, "Usage-Centered Design and Software Engineering: Models for Integration," in Proc. ICSE 2003 Workshop on Bridging the Gap Between Software Engineering and Human-Computer Interaction, 25th International Conference on Software Engineering, R. Kazman, L. Bass, and J. Bosch, Eds. Portland, Oregon, 2003, ISBN: 0-7695-1877-X.
  • L.L. Constantine and H. Windl, "Usage-Centered Design: Scalability and Integration with Software Engineering," in Proc. Human-Computer Interaction: Theory and Practice. Proceedings of the 10th International Conference on Human-Computer Interaction, C. Stephanidis and J. Jacko, Eds. Crete, Greece, June 22-27, 2003, ISBN: 978-0805849301.
  • L.L. Constantine, "Canonical abstract prototypes for abstract visual and interaction design," in Proc. Interactive Systems. Design, Specification, and Verification: 10th International Workshop, ser. Lecture Notes in Computer Science, J. Jorge, N.J. Nunes, and J.F. Cunha, Eds. vol. 2844, Funchal, Portugal, June 11-13, 2003, ISBN: 3-540-20159-9.
  • L.L. Constantine and L. Lockwood, "Usability by Inspection: Collaborative Techniques for Software and Web Applications," in Proc. forUSE 2003 Performance by Design: Proceedings of the Second International Conference on Usage-Centered Design, L.L. Constantine, Ed. 2003, pp. 253–282.
  • L.L. Constantine, Ed., ForUSE 2003 Performance by Design: Proceedings of the Second International Conference on Usage-Centered Design, 2003, 2003.
  • J. Dijkstra, J.P. van Leeuwen, and H.J.P. Timmermans, "Evaluating Design Alternatives Using Conjoint Experiments in Virtual Reality," Environment and Planning B, vol. 30, pp. 357–367, 2003.
  • E. Fermé, J. Mikalef, and J. Taboada, "Credibility-Limited Functions for Belief Bases," Journal of Logic and Computation, vol. 13, iss. 1, pp. 101–112, 2003.
  • E. Fermé, S. Karina, and S. Pablo, "Multiple Kernel Contraction," Sanz. Studia Logica, vol. 73, iss. 2, pp. 183–195, 2003.
  • J. Jorge, N.J. Nunes, and J.F. Cunha, Eds., 10th International Workshop on Design, Specification, and Verification of Interactive System - Lecture Notes in Computer Science, Vol.2844, 2003, June 11-13, 2003, ISBN: 3-540-20159-9.
  • J.P. van Leeuwen and A. van der Zee, "A Distributed Object Model for CSCW in the Construction Industry," in Proc. International Symposium on Automation and Robotics in Construction, G. Maas and F.J.M. van Gassel, Eds. Eindhoven, NL, Sept. 21-25, 2003, pp. 221–228.
  • J.P. van Leeuwen and S. Fridqvist, "Object Version Control for Collaborative Design - Characteristics of the concept-modelling framework," in Proc. E-Activities in Building Design and Construction - 9th EuropIA International Conference, B. Tunçer, S.S. Ozsariyildiz, and S. Sariyildiz, Eds. Istanbul, Turkey, Oct. 8-10, 2003, pp. 129–139.
  • J.P. van Leeuwen, "Computer Support for Collaborative Work in the Construction Industry," in Proc. Advanced Design, Production and Manufacturing Systems: Proceedings of the International Conference on Concurrent Engineering, J. Cha and R. Jardim Gonçalves, Eds. Madeira, Portugal, July 26-31, 2003, pp. 599–606.
  • C.-S.R. Li, Y.Y. Yang, and M.-C. Chen, "Auditory discrimination in female adolescents varying in schizotypal features: Preliminary findings," Psychiatry and Clinical Neurosciences, vol. 57, iss. 4, pp. 391–397, 2003.
  • N.J. Nunes, "Representing User-Interface Patterns in UML," in Proc. 9th International Conference on Object-Oriented Information Systems, Geneva, SwitzerlandSept. , 2003, pp. 142–151, LNCS 2817.
  • N.J. Nunes, "What drives software development: issues integrating software engineering and human-computer interaction," in Proc. Interact’2003 Workshop on Closing the Gaps: Software Engineering and Human-Computer Interaction, Zurich, SwitzerlandSept. , 2003, pp. 89–95.
  • L. Patrício, J.F. Cunha, R. Fisk, and N.J. Nunes, "Addressing Marketing Requirements in User-Interface Design for Multiple Platforms," in Proc. 10th International Workshop on Design, Specification, and Verification of Interactive System, ser. Lecture Notes in Computer Science, vol. 2844, 2003.
  • P.N.M. Sampaio and J.-P. Courtiat, "An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents," Presented at Brazilian Symposium on Multimedia and Web, Nov. 3-6, 2003.
  • Share/Save