Anton Nijholt
Orcid: 0000-0002-5669-9290Affiliations:
- University of Twente, NL
According to our database1,
Anton Nijholt
authored at least 299 papers
between 1976 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Frontiers Comput. Sci., 2023
Proceedings of the Adjunct Proceedings of the 2023 ACM International Joint Conference on Pervasive and Ubiquitous Computing & the 2023 ACM International Symposium on Wearable Computing, 2023
2022
Virtual Worlds: A New Open Access Journal of Virtual Reality, Augmented and Mixed Reality Technologies, and Their Uses.
Virtual Worlds, 2022
Frontiers Comput. Neurosci., 2022
Editorial: Brain-Computer Interfaces for Non-clinical (Home, Sports, Art, Entertainment, Education, Well-Being) Applications.
Frontiers Comput. Sci., 2022
Proceedings of the Adjunct Proceedings of the 2022 ACM International Joint Conference on Pervasive and Ubiquitous Computing and the 2022 ACM International Symposium on Wearable Computers, 2022
Proceedings of the Distributed, Ambient and Pervasive Interactions. Smart Living, Learning, Well-being and Health, Art and Creativity, 2022
2021
Frontiers Comput. Sci., 2021
Frontiers Comput. Sci., 2021
Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021
Proceedings of the Digital Economy. Emerging Technologies and Business Innovation, 2021
Proceedings of the UbiComp/ISWC '21: 2021 ACM International Joint Conference on Pervasive and Ubiquitous Computing and 2021 ACM International Symposium on Wearable Computers, 2021
Alignment in Augmented Reality: Beyond Sight.
Proceedings of the 5th International Conference on Computer-Human Interaction Research and Applications, 2021
2020
IEEE Trans. Hum. Mach. Syst., 2020
Ann. Math. Artif. Intell., 2020
Proceedings of the ICMI '20: International Conference on Multimodal Interaction, 2020
Proceedings of the Advances in Industrial Design, 2020
2019
Playful and Humorous Interactions in Urban Environments Made Possible with Augmented Reality Technology.
Proceedings of the Interactivity, Game Creation, Design, Learning, and Innovation, 2019
Proceedings of the ACI'19: Sixth International Conference on Animal-Computer Interaction, 2019
Proceedings of the Brain Art - Brain-Computer Interfaces for Artistic Expression, 2019
2018
Proceedings of the 2018 on International Conference on Multimodal Interaction, 2018
Proceedings of the 2018 ACM International Joint Conference and 2018 International Symposium on Pervasive and Ubiquitous Computing and Wearable Computers, 2018
Proceedings of the Distributed, Ambient and Pervasive Interactions: Understanding Humans, 2018
Proceedings of the Distributed, Ambient and Pervasive Interactions: Technologies and Contexts, 2018
Proceedings of the 36th European Conference on Cognitive Ergonomics, 2018
Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018
Proceedings of the Interactivity, Game Creation, Design, Learning, and Innovation, 2018
2017
Proceedings of the Companion Publication of the 22nd International Conference on Intelligent User Interfaces, 2017
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2017
MHFI 2017: 2nd international workshop on multisensorial approaches to human-food interaction (workshop summary).
Proceedings of the 19th ACM International Conference on Multimodal Interaction, 2017
Proceedings of the Distributed, Ambient and Pervasive Interactions, 2017
Proceedings of the 2017 International Conference on Cyberworlds, 2017
2016
Proceedings of the Toward Robotic Socially Believable Behaving Systems - Volume II, 2016
Int. J. Mob. Hum. Comput. Interact., 2016
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2016
Proceedings of the 1st Workshop on Multi-sensorial Approaches to Human-Food Interaction, 2016
1st international workshop on multi-sensorial approaches to human-food interaction (workshop summary).
Proceedings of the 18th ACM International Conference on Multimodal Interaction, 2016
Proceedings of the Foundations of Augmented Cognition: Neuroergonomics and Operational Neuroscience, 2016
Proceedings of the Distributed, Ambient and Pervasive Interactions, 2016
2015
Proceedings of the Brain-Computer Interfaces - Current Trends and Applications, 2015
IEEE Trans. Affect. Comput., 2015
Pattern Recognit. Lett., 2015
Best of affective computing and intelligent interaction 2013 in multimodal interactions.
J. Multimodal User Interfaces, 2015
Usability of Three Electroencephalogram Headsets for Brain-Computer Interfaces: A Within Subject Comparison.
Interact. Comput., 2015
Int. J. Arts Technol., 2015
Proceedings of the Distributed, Ambient, and Pervasive Interactions, 2015
Proceedings of the 21st International Conference on Distributed Multimedia Systems, Vancouver, Canada, August 31, 2015
Proceedings of the 10th International Conference on Information, 2015
Proceedings of the 12th International Conference on Advances in Computer Entertainment Technology, 2015
2014
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2014
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2014
Proceedings of the Universal Access in Human-Computer Interaction. Universal Access to Information and Knowledge, 2014
Proceedings of the Universal Access in Human-Computer Interaction. Design and Development Methods for Universal Access, 2014
New materials = new expressive powers: smart material interfaces and arts, an interactive experience made possible thanks to smart materials.
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2014
Proceedings of the Digital Da Vinci - Computers in Music, 2014
2013
Bombs, fish, and coral reefs - The role of in-game explanations and explorative game behavior on comprehension.
Vis. Comput., 2013
IEEE Trans. Cybern., 2013
IEEE Trans. Comput. Intell. AI Games, 2013
IEEE Trans. Comput. Intell. AI Games, 2013
Int. J. Soc. Robotics, 2013
Int. J. Auton. Adapt. Commun. Syst., 2013
Evaluating a multi-player brain-computer interface game: Challenge versus co-experience.
Entertain. Comput., 2013
Cogn. Technol. Work., 2013
Report on the 2013 Affective Computing and Intelligent Interaction Conference (ACII 2013).
AI Mag., 2013
Proceedings of the Human-Computer Interaction - INTERACT 2013, 2013
Smart material interfaces as a methodology for interaction: a survey of SMIs' state of the art and development.
Proceedings of the second international workshop on Smart material interfaces: another step to a material future, 2013
Proceedings of the 2013 International Conference on Multimodal Interaction, 2013
Proceedings of the Universal Access in Human-Computer Interaction. User and Context Diversity, 2013
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013
Proceedings of the 2013 Humaine Association Conference on Affective Computing and Intelligent Interaction, 2013
Proceedings of the 2013 Humaine Association Conference on Affective Computing and Intelligent Interaction, 2013
2012
IEEE Trans. Affect. Comput., 2012
J. Multimodal User Interfaces, 2012
J. Multimodal User Interfaces, 2012
Int. J. Hum. Comput. Interact., 2012
Digit. Creativity, 2012
Brain computer interfaces as intelligent sensors for enhancing human-computer interaction.
Proceedings of the International Conference on Multimodal Interaction, 2012
Proceedings of the International Conference on Multimodal Interaction, 2012
Proceedings of the International Conference on Multimodal Interaction, 2012
Proceedings of the Entertainment Computing - ICEC 2012 - 11th International Conference, 2012
Proceedings of the Entertainment Computing - ICEC 2012 - 11th International Conference, 2012
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012
2011
Proceedings of the Whole Body Interaction, 2011
Proceedings of the IEEE International Conference on Systems, 2011
Proceedings of the PETRA 2011, 2011
Proceedings of the Advances in Multimedia Modeling, 2011
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2011
Towards Mimicry Recognition during Human Interactions: Automatic Feature Selection and Representation.
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2011
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2011
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2011
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2011
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2011
Proceedings of the 13th International Conference on Multimodal Interfaces, 2011
Proceedings of the Universal Access in Human-Computer Interaction. Users Diversity, 2011
Proceedings of the Ninth IEEE International Conference on Automatic Face and Gesture Recognition (FG 2011), 2011
A subject-independent brain-computer interface based on smoothed, second-order baselining.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011
Proceedings of the ECCE 2011, 2011
Let the Game Do the Talking: The Influence of Explicitness and Game Behavior on Comprehension in an Educational Computer Game.
Proceedings of the 2011 International Conference on Cyberworlds, 2011
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2011
Automatic Understanding of Affective and Social Signals by Multimodal Mimicry Recognition.
Proceedings of the Affective Computing and Intelligent Interaction, 2011
Proceedings of the Affective Computing and Intelligent Interaction, 2011
Proceedings of the Affective Computing and Intelligent Interaction, 2011
Proceedings of the 8th International Conference on Advances in Computer Entertainment Technology, 2011
2010
Proceedings of the Interactive Collaborative Information Systems, 2010
Proceedings of the Brain-Computer Interfaces, 2010
Proceedings of the Brain-Computer Interfaces, 2010
Proceedings of the Social Robotics - Second International Conference on Social Robotics, 2010
Proceedings of the 6th Nordic Conference on Human-Computer Interaction 2010, 2010
Proceedings of the 12th Conference on Human-Computer Interaction with Mobile Devices and Services, 2010
Proceedings of the 7th International Conference on Methods and Techniques in Behavioral Research, 2010
Proceedings of the Entertainment Computing - ICEC 2010, 9th International Conference, 2010
Proceedings of the Entertainment Computing - ICEC 2010, 9th International Conference, 2010
Proceedings of the 15th International Conference on Intelligent User Interfaces, 2010
Proceedings of the Information Technology in Bio- and Medical Informatics, 2010
Proceedings of the 12th IEEE International Symposium on Multimedia, 2010
Proceedings of the UbiComp 2010: Ubiquitous Computing, 12th International Conference, 2010
Proceedings of the ECCE 2010, 2010
Proceedings of the 2010 International Conference on CyberWorlds, 2010
Proceedings of the 2010 International Conference on CyberWorlds, 2010
Proceedings of the Analysis of Verbal and Nonverbal Communication and Enactment. The Processing Issues, 2010
Proceedings of the Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues, 2010
Single Trial Classification of EEG and Peripheral Physiological Signals for Recognition of Emotions Induced by Music Videos.
Proceedings of the Brain Informatics, International Conference, 2010
Proceedings of 2nd International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2010
2009
Pers. Ubiquitous Comput., 2009
A tractable hybrid DDN-POMDP approach to affective dialogue modeling for probabilistic frame-based dialogue systems.
Nat. Lang. Eng., 2009
Preface for the Special Issue on Intelligent Technologies for Interactive Entertainment.
Entertain. Comput., 2009
Entertain. Comput., 2009
Entertain. Comput., 2009
Modality effects on cognitive load and performance in high-load information presentation.
Proceedings of the 14th International Conference on Intelligent User Interfaces, 2009
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2009
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2009
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2009
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2009
Proceedings of the Human-Computer Interaction, 2009
Towards Cognitive-Aware Multimodal Presentation: The Modality Effects in High-Load HCI.
Proceedings of the Engineering Psychology and Cognitive Ergonomics, 2009
Proceedings of the Gesture in Embodied Communication and Human-Computer Interaction, 2009
Proceedings of the Eleventh European Conference on Computer Supported Cooperative Work, 2009
Proceedings of the ECCE 2009 - Designing beyond the Product - Understanding Activity and User Experience in Ubiquitous Environments, European Conference on Cognitive Ergonomics 2009, Helsinki, Finland, September 30, 2009
Decision making with a time limit: the effects of presentation modality and structure.
Proceedings of the ECCE 2009 - Designing beyond the Product - Understanding Activity and User Experience in Ubiquitous Environments, European Conference on Cognitive Ergonomics 2009, Helsinki, Finland, September 30, 2009
Manipulating Stress and Cognitive Load in Conversational Interactions with a Multimodal System for Crisis Management Support.
Proceedings of the Development of Multimodal Interfaces: Active Listening and Synchrony, 2009
Proceedings of the Fourth International Conference on Communities and Technologies, 2009
Proceedings of the Agents for Games and Simulations, 2009
Proceedings of the Affective Computing and Intelligent Interaction, 2009
Proceedings of the Computer Vision, 2009
Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2009
Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2009
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009
2008
Inf. Sci., 2008
Human-Centred Intelligent Human-Computer Interaction (HCI<sup>2</sup>): how far are we from attaining it?
Int. J. Auton. Adapt. Commun. Syst., 2008
Comput. Entertain., 2008
Proceedings of the Machine Learning for Multimodal Interaction, 5th International Workshop, 2008
Proceedings of the Motion in Games, First International Workshop, 2008
Proceedings of the Entertainment Computing, 2008
Proceedings of the 2nd International Conference on INtelligent TEchnologies for interactive enterTAINment, 2008
The Virtual Conductor: Learning and Teaching about Music, Performing, and Conducting.
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008
Meeting behavior detection in smart environments: Nonverbal cues that help to obtain natural interaction.
Proceedings of the 8th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2008), 2008
Proceedings of the 8th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2008), 2008
Proceedings of the ECCE 2008, 2008
Proceedings of the ECCE 2008, 2008
Proceedings of the ECCE 2008, 2008
Proceedings of the Multimodal Signals: Cognitive and Algorithmic Issues, 2008
Proceedings of the Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions, 2008
Proceedings of the Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, 2008
Proceedings of the Bioinformatics Research and Development, 2008
2007
Proceedings of the Applications of Fuzzy Sets Theory, 2007
Proceedings of the Entertainment Computing, 2007
Proceedings of the 2007 workshop on Tagging, 2007
Proceedings of the Gesture-Based Human-Computer Interaction and Simulation, 2007
<i>Experiencing-in-the-world</i>: using pragmatist philosophy to design for aesthetic experience.
Proceedings of the 2007 conference on Designing for User eXperiences, 2007
Proceedings of the Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction, 2007
Proceedings of the Verbal and Nonverbal Communication Behaviours, 2007
Proceedings of the Artifical Intelligence for Human Computing, 2007
Proceedings of the Artifical Intelligence for Human Computing, 2007
Proceedings of the International Conference on Advances in Computer Entertainment Technology, 2007
2006
Vis. Comput., 2006
Lang. Resour. Evaluation, 2006
Informing Sci. Int. J. an Emerg. Transdiscipl., 2006
IEEE Intell. Syst., 2006
IEEE Intell. Syst., 2006
Break the Habit! Designing an e-Therapy Intervention Using a Virtual Coach in Aid of Smoking Cessation.
Proceedings of the Persuasive Technology, 2006
Proceedings of the Entertainment Computing, 2006
Proceedings of the Entertainment Computing, 2006
Proceedings of the Entertainment Computing, 2006
Proceedings of the Artificial Intelligence Applications and Innovations, 2006
Proceedings of the 8th International Conference on Multimodal Interfaces, 2006
Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, 2006
Proceedings of the EACL 2006, 2006
Proceedings of the Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, 2006
2005
Towards real-time Body Pose Estimation for Presenters in Meeting Environments.
Proceedings of the 13-th International Conference in Central Europe on Computer Graphics, 2005
Proceedings of the 6th SIGdial Workshop on Discourse and Dialogue, 2005
Proceedings of the Machine Learning for Multimodal Interaction, 2005
Presenting in Virtual Worlds: Towards an Architecture for a 3D Presenter Explaining 2D-Presented Information.
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2005
Bringing Hollywood to the Driving School: Dynamic Scenario Generation in Simulations and Games.
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2005
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2005
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2005
Proceedings of the Intelligent Technologies for Interactive Entertainment, 2005
Proceedings of the First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, 2005
Proceedings of the 4th International Conference on Cyberworlds (CW 2005), 2005
Proceedings of the Extended Abstracts Proceedings of the 2005 Conference on Human Factors in Computing Systems, 2005
Introducing an Embodied Virtual Presenter Agent in a Virtual Meeting Room.
Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005
Proceedings of the Affective Computing and Intelligent Interaction, 2005
2004
Proceedings of the Proceedings VRCAI 2004, 2004
Proceedings of the Text, Speech and Dialogue, 7th International Conference, 2004
Proceedings of the Technologies for Interactive Digital Storytelling and Entertainment, 2004
A Software Toolkit for Web-Based Virtual Environments Based on a Shared Database.
Proceedings of the IADIS International Conference WWW/Internet 2004, 2004
Proceedings of the Extended abstracts of the 2004 Conference on Human Factors in Computing Systems, 2004
Proceedings of the 2004 Computer Graphics International (CGI 2004), 16-19 June 2004, 2004
Multimodal Integration of Haptics, Speech, and Affect in an Educational Environment.
Proceedings of the 2nd International Conference Computing, 2004
Proceedings of the Advances in Web Intelligence, 2004
Proceedings of the Affective Dialogue Systems, Tutorial and Research Workshop, 2004
2003
Informing Sci. Int. J. an Emerg. Transdiscipl., 2003
Viewpoint adaptation during navigation based on stimuli from the virtual environment.
Proceedings of the Proceeding of the Eighth International Conference on 3D Web Technology, 2003
Proceedings of the Smart Graphics, Third International Symposium, 2003
Proceedings of the Intelligent Agents, 4th International Workshop, 2003
Proceedings of the 2003 IEEE International Conference on Advanced Learning Technologies, 2003
Prediction Strategies in a TV Recommender System - Method and Experiments.
Proceedings of the IADIS International Conference WWW/Internet 2003, 2003
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003
Proceedings of the 24th Annual Conference of the European Association for Computer Graphics, 2003
Proceedings of the 2nd International Conference on Cyberworlds (CW 2003), 2003
Proceedings of the Extended abstracts of the 2003 Conference on Human Factors in Computing Systems, 2003
Automatic Face Morphing for Transferring Facial Animation.
Proceedings of the Sixth IASTED International Conference on Computer Graphics and Imaging, 2003
Proceedings of the 16th International Conference on Computer Animation and Social Agents, 2003
Proceedings of the Advances in Artificial Intelligence, 2003
2002
Int. J. Speech Technol., 2002
Proceedings of the SIGDIAL 2002 Workshop, 2002
Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002
Proceedings of the Extended abstracts of the 2002 Conference on Human Factors in Computing Systems, 2002
Proceedings of the Working Conference on Advanced Visual Interfaces, 2002
2001
Proceedings of the New Frontiers in Artificial Intelligence, 2001
Building "Huys Hengelo" in VRML.
Proceedings of the International Cultural Heritage Informatics Meeting: Proceedings from ICHIM 2001. Politechnico di Milano, Milan, Italy, September 3-7, 2001, 2001
Agents, Believability and Embodiment in Advanced Learning Environments: Introduction to a Panel Discussion.
Proceedings of the Proceedings IEEE International Conference on Advanced Learning Technology: Issues, 2001
Eye gaze patterns in conversations: there is more the conversational agents than meets the eyes.
Proceedings of the CHI 2001 Conference on Human Factors in Computing Systems, Seattle, WA, USA, March 31, 2001
Proceedings of the CHI 2001 Extended Abstracts on Human Factors in Computing Systems, 2001
Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001
2000
Theor. Comput. Sci., 2000
Proceedings of the Trends in Distributed Systems: Towards a Universal Service Market, 2000
Proceedings of the Natural Language Processing, 2000
Proceedings of the Fourth International Conference on Knowledge-Based Intelligent Information Engineering Systems & Allied Technologies, 2000
Proceedings of the Advances in Multimodal Interfaces, 2000
Proceedings of the 21st Annual Conference of the European Association for Computer Graphics, 2000
Proceedings of the CHI '00 Extended Abstracts on Human Factors in Computing Systems, 2000
1999
Proceedings of the Text, Speech and Dialogue - Second International Workshop, 1999
Proceedings of the Eurographics Multimedia Workshop 1999, 1999
1997
Proceedings of the Handbook of Formal Languages, 1997
Proceedings of the International Workshop on Parsing Technologies, 1997
1995
SCHISMA: A Natural Language Accessible Theatre Information and Booking System.
Proceedings of the First International Workshop on Applications of Natural Language to Data Bases, 1995
Proceedings of the Fourth International Workshop on Parsing Technologies, 1995
1994
Geschiedenis van de rekenkunst - van kerfstok tot computer.
Academic Service, ISBN: 978-90-395-0048-4, 1994
1989
Proceedings of the First International Workshop on Parsing Technologies, 1989
1988
Computers and languages - theory and practice.
Studies in computer science and artificial intelligence 4, North-Holland, ISBN: 978-0-444-70463-4, 1988
1983
A general scheme for some deterministically parsable grammars and their strong equivalents.
Proceedings of the Theoretical Computer Science, 1983
1982
Translator Writing Tools since 1970: A Selective Bibliography (June 1982).
ACM SIGPLAN Notices, 1982
From <i>LL</i>-Regular to <i>LL (1)</i> Grammars: Transformations, Covers and Parsing.
RAIRO Theor. Informatics Appl., 1982
Inf. Process. Lett., 1982
1981
A survey of normal form covers for regular grammars.
Fundam. Informaticae, 1981
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981
1980
Lecture Notes in Computer Science 93, Springer, ISBN: 0-387-10245-0, 1980
1979
Strict Deterministic Grammars and Greibach Normal Form.
J. Inf. Process. Cybern., 1979
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979
Structure Preserving Transformations on Non-Left-Recursive Grammars (Preliminary Version).
Proceedings of the Automata, 1979
1978
Proceedings of the Automata, 1978
1977
Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977
1976
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976