Search - IFIP Open Digital Library Access content directly

Filter your results

11 results
Structure: Internal structure identifier : 302918
Image document

Using an SMT Solver for Checking the Completeness of FSM-Based Tests

Evgenii Vinarskii , Andrey Laputenko , Nina Yevtushenko
32th 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
Image document

Teaching Computer Science in Moscow Universities: Evolution for Forty Years

Olga Parakhina , Yuri Polak
1st Soviet and Russian Computing (SoRuCom), Jul 2006, Petrozavodsk, Russia. pp.258-265, ⟨10.1007/978-3-642-22816-2_31⟩
Conference papers hal-01568402v1
Image document

Flat Design vs Traditional Design: Comparative Experimental Study

Ivan Burmistrov , Tatiana Zlokazova , Anna Izmalkova , Anna Leonova
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.106-114, ⟨10.1007/978-3-319-22668-2_10⟩
Conference papers hal-01599895v1
Image document

Game Control Problem for Systems of Distributed Equations

Vyacheslav Maksimov
27th 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
Image document

The History of Computers and Computing in Virtual Museums

Yuri Polak
1st Soviet and Russian Computing (SoRuCom), Jul 2006, Petrozavodsk, Russia. pp.201-207, ⟨10.1007/978-3-642-22816-2_24⟩
Conference papers hal-01568387v1
Image document

A model checking based approach for detecting SDN races

Evgenii Vinarskii , Jorge Lopez , Natalia Kushik , Nina Yevtushenko , Djamal Zeghlache
ICTSS 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
Image document

Ternary Dialectical Informatics

Nikolay Petrovich Brusentsov , Julia Sergeevna Vladimirova
1st Soviet and Russian Computing (SoRuCom), Jul 2006, Petrozavodsk, Russia. pp.81-88, ⟨10.1007/978-3-642-22816-2_11⟩
Conference papers hal-01568386v1
Image document

Search Results on Flight Booking Websites: Displaying Departure and Return Flights on a Single Page vs Two Consecutive Pages

Tatiana Zlokazova , Irina Blinnikova , Sergey Grigorovich , Ivan Burmistrov
17th 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
Image document

Ternary Computers: The Setun and the Setun 70

Nikolay Petrovich Brusentsov , José Ramil Alvarez
1st Soviet and Russian Computing (SoRuCom), Jul 2006, Petrozavodsk, Russia. pp.74-80, ⟨10.1007/978-3-642-22816-2_10⟩
Conference papers hal-01568401v1
Image document

Visual Fixations Duration as an Indicator of Skill Level in eSports

Boris B. Velichkovsky , Nikita Khromov , Alexander Korotin , Evgeny Burnaev , Andrey Somov
17th 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
Image document

Expert-Classification Methods for Estimation of the Structure and Parameters of Controlled Queueing Systems

Alexander Mandel , Sergey Granin , Viktor Laptin
IFIP 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