Remi Bastide

 

ADD DESCRIPTION

 

Publications by Remi Bastide (bibliography)

» 2006 «

Navarre, David, Palanque, Philippe, Dragicevic, Pierre and Bastide, Remi (2006): An approach integrating two complementary model-based environments for the construction of multimodal interactive applications. In Interacting with Computers, 18 (5) pp. 910-941941

» 2005 «

Navarre, D., Palanque, Philippe, Bastide, Remi, Schyn, A., Winckler, M., Nedel, L. P. and Freitas, C. M. D. S. (2005): A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. In: Proceedings of IFIP INTERACT05: Human-Computer Interaction 2005. pp. 170-183. Available online

» 2003 «

Bastide, Remi, Navarre, David and Palanque, Philippe (2003): A tool-supported design framework for safety critical interactive systems. In Interacting with Computers, 15 (3) pp. 309-328328

Palanque, Philippe, Bastide, Remi and Winckler, M. (2003): Automatic Generation of Interactive Systems: Why A Task Model is not Enough. In: Proceedings of the Tenth International Conference on Human-Computer Interaction 2003. pp. 198-202.

Palanque, Philippe and Bastide, Remi (2003): User-Centered Point of View to End-User Development. In: Proceedings of the Tenth International Conference on Human-Computer Interaction 2003. pp. 577-581.

» 2001 «

Tabary, D., Bastide, Remi, Palanque, Philippe and Abed, M. (2001): Towards an Interactive Systems Design Based on the User Task with Petri Nets. In: Proceedings of the Ninth International Conference on Human-Computer Interaction 2001. pp. 61-65.

» 1997 «

Palanque, Philippe and Bastide, Remi (1997): Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. In Interacting with Computers, 9 (2) pp. 129-153153

» 1996 «

Pedrali, Mauro and Bastide, Remi (1996): DAVID: A Multimedia Tool for Accident Investigation. In: Sasse, Martina Angela, Cunningham, R. J. and Winder, R. L. (eds.) Proceedings of the Eleventh Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers XI August, 1996, London, UK. pp. 349-368.

Palanque, Philippe and Bastide, Remi (1996): Time Modelling in Petri Nets for the Design of Interactive Systems. In ACM SIGCHI Bulletin, 28 (2) pp. 43-4646

» 1995 «

Palanque, Philippe and Bastide, Remi (1995): Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. In: Kirby, M. A. R., Dix, Alan J. and Finlay, Janet E. (eds.) Proceedings of the Tenth Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers X August, 1995, Huddersfield, UK. pp. 213-231.

Palanque, Philippe, Bastide, Remi and Senges, V. (1995): Task Model -- System Model: Towards an Unifying Formalism. In: Proceedings of the Sixth International Conference on Human-Computer Interaction July 9-14, 1995, Tokyo, Japan. pp. 489-494.

» 1993 «

Palanque, Philippe, Bastide, Remi and Dourte, L. (1993): Contextual Help for Free with Formal Dialogue Design. In: Proceedings of the Fifth International Conference on Human-Computer Interaction 1993. pp. 615-620.

» 1990 «

Bastide, Remi and Palanque, Philippe (1990): Petri Net Objects for the Design, Validation and Prototyping of User-Driven Interfaces. In: Diaper, Dan, Gilmore, David J., Cockton, Gilbert and Shackel, Brian (eds.) INTERACT 90 - 3rd IFIP International Conference on Human-Computer Interaction August 27-31, 1990, Cambridge, UK. pp. 625-631.

 

ADD PUBLICATIONS

 

 

SHOW THIS LIST ON YOUR HOMEPAGE

 

User Contributed Notes

Do you have any comments/additions that you would like visitors to this page to see? Please submit your comments for the benefit of other visitors!

The Editorial Team (127.0.0.---)
Posted 09 Jul 2008 UTC

Be the first to add a thoughtful note to this page !

Your Name (127.0.0.1)
Posted July 9th, 2008 at 09:28

Your text will appear here !
 

+ Add note

 

Changes to this page (author)