Institute of Informatics

Publications in 2013

On this page, you can search the on-line database of the Central Library of the SAS for the publications.

• BEŇUŠ, Štefan. Entrainment in spontaneous speech: the case of filled pauses in supreme court hearings. In CogInfoCom 2012. - IEEE, 2012, p. ISBN 978-1-4673-5188-1.Type: AED
• BEŇUŠ, Štefan. Prosodic forms and pragmatic meanings: the case of the discourse marker ´no´ in Slovak. In CogInfoCom 2012. - IEEE, 2012, p. ISBN 978-1-4673-5188-1.Type: AED
• BUDINSKÁ, Ivana - MASÁR, Marek. Koordinácia skupiny mobilných robotov s využitím biologicky inšpirovaných metód. In ATP Journal, 2012, no. 12, p. 26-28. ISSN 1336-233X.Type: ADFB
• DOBAI, Roland - BALÁŽ, Marcel. SAT-based generation of compressed skewed-load tests for transition delay faults. In Microprocessors and microsystems, 2013, vol. 37, p. 196-205. ISSN 0141-9331.Type: ADCA
• DOBAI, Roland - BALÁŽ, Marcel. Compressed skewed-load delay test generation based on evolution and deterministic initialization of populations. In Computing and Informatics, 2013, vol. 32, no. 2, p. 251-272. ISSN 1335-9150.Type: ADDA
• DOBAI, Roland - BALÁŽ, Marcel - TREBATICKÝ, Peter - GRAMATOVÁ, Elena. A low-overhead BIST architecture for digital data processing circuits. In Emerging trends in computing, informatics, systems sciences, and engineering. Eds. Tarek Sobh, Khaled Elleithy. - New York : Springer, 2013, p. 647-659. ISBN 978-1-4614-3557-0. ISSN 1876-1100.Type: AEC
• HAVLÍK, Štefan. Unmanned robotic vehicles for demining. In Advances in robotics : modeling, control and applications. - iConcept Press Ltd., 2013, p. 342-371. ISBN 978-1-922227-05-8.Type: ABC
• HAVLÍK, Štefan - HRICKO, Jaroslav. The analysis and design study of high speed robotic devices. In Applied mechanics and materials, 2013, vol. 282, p. 18-26. ISSN 1660-9336.Type: ADEB
• HAVLÍK, Štefan - HRICKO, Jaroslav. Mechanizmy presných polohovacích zariadení - návrhová štúdia. In atp journal plus, 2013, no. 1, p. 6-13. ISSN 1336-5010.Type: ADFB
• Acta Universitatis Apulensis : mathematics - informatics. 1 decembrie 1918 Univertsity of Alba Iulia, 2011. ISSN 1582-5329.Type:
• KINCEL, Andrej - BALÁŽ, Marcel. MBIST for LEON3 processor core cache. In RAIK, J. 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems : DDECS. - Brno : IEEE Computer Society Test Technology Technical Council, 2013, p. 287-288. ISBN 978-1-4673-6133-0.Type: AEC
• KVASSAY, Marcel - HLUCHÝ, Ladislav - SCHNEIDER, B. Summarizing the behaviour of complex dynamic systems. In IEEE 11th International Symposium an Applied Machine Intelligence and Informatics : proceedings. - Piscataway : IEEE, 2013, p. 15-20. ISBN 978-1-4673-5926-9.Type: AEC
• MASÁR, Marek - BUDINSKÁ, Ivana. Robot coordination based on biologically inspired methods. In Advanced Materials Research, 2013, vol. 664, pp. 891-896. ISSN 1022-6680.Type: ADEB
• NGUYEN, Binh Minh - TRAN, Dinh Viet - HLUCHÝ, Ladislav. Abstraction approach for developing and delivering cloud-based services. In Conference Proceedings for the 2012 IEEE Conference on Computer Systems and Industrial Informatics. - IEEE Computer Society, 2013, 6 p. ISBN 978-1-4673-5155-3.Type: AEC
• NGUYEN, Binh Minh - TRAN, Dinh Viet - HLUCHÝ, Ladislav. A novel approach for developing interoperable services in cloud environment. In The International Conference on Information Networking 2013 : ICOIN 2013. - IEEE Computer Society, 2013, p. 232-237. ISBN 978-1-4673-5742-5.Type: AEC
• RUSKO, Milan - BEŇUŠ, Štefan. Acoustic, semantic and personality dimensions in the speech of traditional puppeteers. In CogInfoCom 2012. - IEEE, 2012, p. 83-87. ISBN 978-1-4673-5188-1.Type: AED