Filter your results
- 11
- 11
- 11
- 1
- 1
- 3
- 1
- 1
- 4
- 11
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A model checking based approach for detecting SDN racesICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.194-211, ⟨10.1007/978-3-030-31280-0_12⟩
Conference papers
hal-02448964v1
|
||
|
The History of Computers and Computing in Virtual Museums1st Soviet and Russian Computing (SoRuCom), Jul 2006, Petrozavodsk, Russia. pp.201-207, ⟨10.1007/978-3-642-22816-2_24⟩
Conference papers
hal-01568387v1
|
||
|
Flat Design vs Traditional Design: Comparative Experimental Study15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.106-114, ⟨10.1007/978-3-319-22668-2_10⟩
Conference papers
hal-01599895v1
|
||
|
Game Control Problem for Systems of Distributed Equations27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.360-369, ⟨10.1007/978-3-319-55795-3_34⟩
Conference papers
hal-01626906v1
|
||
|
Ternary Dialectical Informatics1st Soviet and Russian Computing (SoRuCom), Jul 2006, Petrozavodsk, Russia. pp.81-88, ⟨10.1007/978-3-642-22816-2_11⟩
Conference papers
hal-01568386v1
|
||
|
Search Results on Flight Booking Websites: Displaying Departure and Return Flights on a Single Page vs Two Consecutive Pages17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.668-671, ⟨10.1007/978-3-030-29390-1_59⟩
Conference papers
hal-02878641v1
|
||
|
Using an SMT Solver for Checking the Completeness of FSM-Based Tests32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.289-295, ⟨10.1007/978-3-030-64881-7_18⟩
Conference papers
hal-03239812v1
|
||
|
Teaching Computer Science in Moscow Universities: Evolution for Forty Years1st Soviet and Russian Computing (SoRuCom), Jul 2006, Petrozavodsk, Russia. pp.258-265, ⟨10.1007/978-3-642-22816-2_31⟩
Conference papers
hal-01568402v1
|
||
|
Ternary Computers: The Setun and the Setun 701st Soviet and Russian Computing (SoRuCom), Jul 2006, Petrozavodsk, Russia. pp.74-80, ⟨10.1007/978-3-642-22816-2_10⟩
Conference papers
hal-01568401v1
|
||
|
Visual Fixations Duration as an Indicator of Skill Level in eSports17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.397-405, ⟨10.1007/978-3-030-29381-9_25⟩
Conference papers
hal-02544566v1
|
||
|
Expert-Classification Methods for Estimation of the Structure and Parameters of Controlled Queueing SystemsIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.528-534, ⟨10.1007/978-3-030-85874-2_56⟩
Conference papers
hal-04030351v1
|