Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

27 results
Page :
sorted by
Image document

Playing with Persiflage: The Impact of Free-Form Dialogue on the Play of Computer Role Playing Games

 Bernard Cheng , T. Graham
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.187-200, ⟨10.1007/978-3-030-34644-7_15⟩
Conference papers hal-03652025v1
Image document

Site-Directed Insertion: Decision Problems, Maximality and Minimality

 Da-Jung Cho , Yo-Sub Han , Kai Salomaa , Taylor J. Smith
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.49-61, ⟨10.1007/978-3-319-94631-3_5⟩
Conference papers hal-01905635v1
Image document

When Paper Meets Multi-touch: A Study of Multi-modal Interactions in Air Traffic Control

 Cheryl Savery , Christophe Hurter , Rémi Lesbordes , Maxime Cordeil , T. Nicholas Graham
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.196-213, ⟨10.1007/978-3-642-40477-1_12⟩
Conference papers hal-01504884v1

Formal Techniques for Distributed Systems

 Roberto Bruni , Juergen Dingel
Springer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩
Books hal-01583312v1
Image document

Cultural Congruence and Rating Scale Biases in Homepages

 Gitte Lindgaard , Cathy Dudek , Gerry Chan
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.531-538, ⟨10.1007/978-3-642-40498-6_42⟩
Conference papers hal-01510545v1

Human-Computer Interaction – INTERACT 2011, Part III: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings

 Pedro Campos , Nicholas Graham , Joaquim Jorge , Nuno Nunes , Philippe Palanque , et al.
Pedro Campos; Nicholas Graham; Joaquim Jorge; Nuno Nunes; Philippe Palanque; Marco Antonio Winckler. Springer, 6948, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23773-7. ⟨10.1007/978-3-642-23765-2⟩
Books hal-01590548v1
Image document

Model Assisted Creativity Sessions for the Design of Mixed Interactive Systems: a Protocol Analysis

 Christophe Bortolaso , Emmanuel Dubois
14th International Conference on Human-Computer Interaction (INTERACT 2013), Sep 2013, Cap Town, South Africa. pp.126-143, ⟨10.1007/978-3-642-40477-1_8⟩
Conference papers hal-01264520v1
Image document

Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity

 Yo-Sub Han , Sang-Ki Ko , Kai Salomaa
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.158-170, ⟨10.1007/978-3-030-23247-4_12⟩
Conference papers hal-02387306v1
Image document

The Quotient Operation on Input-Driven Pushdown Automata

 Alexander Okhotin , Kai Salomaa
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.299-310, ⟨10.1007/978-3-319-60252-3_24⟩
Conference papers hal-01657008v1
Image document

Theory and Implementation of a Real-Time Extension to the π-Calculus

 Ernesto Posse , Juergen Dingel
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.125-139, ⟨10.1007/978-3-642-13464-7_11⟩
Conference papers hal-01055159v1
Image document

State Complexity of Suffix Distance

 Timothy Ng , David Rappaport , Kai Salomaa
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.287-298, ⟨10.1007/978-3-319-60252-3_23⟩
Conference papers hal-01656995v1
Image document

How Can Adding a Movement Improve Target Acquisition Efficacy?

 Alexander R. Payne , Beryl Plimmer , Andrew Mcdaid , Andrew Luxton-Reilly , T. Claire Davies
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.496-514, ⟨10.1007/978-3-319-67687-6_34⟩
Conference papers hal-01717196v1
Image document

State Complexity of Prefix Distance of Subregular Languages

 David Rappaport , Kai Salomaa , Timothy Ng
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.192-204, ⟨10.1007/978-3-319-41114-9_15⟩
Conference papers hal-01633944v1
Image document

PrintPut: Resistive and Capacitive Input Widgets for Interactive 3D Prints

 Jesse Burstyn , Nicholas Fellion , Paul Strohmeier , Roel Vertegaal
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.332-339, ⟨10.1007/978-3-319-22701-6_25⟩
Conference papers hal-01599622v1
Image document

Generating a Real-Time Constraint Engine for Network Protocols

 Mohamed Sami Rakha , Fahim T. Imam , Thomas R. Dean
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.44-60, ⟨10.1007/978-3-030-20074-9_5⟩
Conference papers hal-02294615v1
Image document

Exploring Haptic Feedback in Exergames

 Tadeusz Stach , T. Graham
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.18-35, ⟨10.1007/978-3-642-23771-3_2⟩
Conference papers hal-01590833v1
Image document

Further Closure Properties of Input-Driven Pushdown Automata

 Alexander Okhotin , Kai Salomaa
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.224-236, ⟨10.1007/978-3-319-94631-3_19⟩
Conference papers hal-01905626v1

Human-Computer Interaction – INTERACT 2011, Part II

 Pedro Campos , Nicholas Graham , Joaquim Jorge , Nuno Nunes , Philippe Palanque , et al.
Springer, LNCS-6947, 2011, Lecture Notes in Computer Science, 978-3-642-23770-6. ⟨10.1007/978-3-642-23771-3⟩
Books hal-01590866v1
Image document

Nondeterminism Growth and State Complexity

 Chris Keeler , Kai Salomaa
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.210-222, ⟨10.1007/978-3-030-23247-4_16⟩
Conference papers hal-02387283v1
Image document

Branching Measures and Nearly Acyclic NFAs

 Chris Keeler , Kai Salomaa
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.202-213, ⟨10.1007/978-3-319-60252-3_16⟩
Conference papers hal-01657000v1
Image document

Cycle Height of Finite Automata

 Chris Keeler , Kai Salomaa
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.200-211, ⟨10.1007/978-3-319-94631-3_17⟩
Conference papers hal-01905622v1
Image document

FPGuard: Detection and Prevention of Browser Fingerprinting

 Amin Faizkhademi , Mohammad Zulkernine , Komminist Weldemariam
29th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2015, Fairfax, VA, United States. pp.293-308, ⟨10.1007/978-3-319-20810-7_21⟩
Conference papers hal-01745817v1
Image document

Enhancing Communication and Awareness in Asymmetric Games

 Christophe Bortolaso , Jérémy Bourdiol , T. Graham
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.250-262, ⟨10.1007/978-3-030-34644-7_20⟩
Conference papers hal-03652019v1
Image document

Scenarchitectures: The Use of Domain-Specific Architectures to Bridge Design and Implementation

 Nicholas Graham , Emmanuel Dubois , Christophe Bortolaso , Christopher Wolfe
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.341-358, ⟨10.1007/978-3-642-23771-3_26⟩
Conference papers hal-01590876v1
Image document

Co-designing Tangible Break Reminders with People with Repetitive Strain Injury

 Aditi Singh , Sara Nabil , Anne Roudaut , Audrey Girouard
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.289-311, ⟨10.1007/978-3-030-85623-6_18⟩
Conference papers hal-04330967v1
Image document

BendFlip: Examining Input Techniques for Electronic Book Readers with Flexible Form Factors

 Doug Wightman , Tim Ginn , Roel Vertegaal
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.117-133, ⟨10.1007/978-3-642-23765-2_9⟩
Conference papers hal-01591802v1

Human-Computer Interaction – INTERACT 2011, Part IV

 Pedro Campos , Nicholas Graham , Joaquim Jorge , Nuno Nunes , Philippe Palanque , et al.
Springer, 6949, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23767-6. ⟨10.1007/978-3-642-23768-3⟩
Books hal-01597099v1
Page :