appearance

MU › FI › About the faculty › Organizational structure › Department › Overview of publishing activities

Masaryk University - Faculty of Informatics

Skip navigation

Skip the Organizational structure panel
Organizational structure
On selecting a constituent part of MU the "Organizational structure" page will be displayed with information relevant to the selected constituent part. The "Organizational structure" page is not available for non-activated items.

Masaryk University
- Faculties
- Law
- Medicine
- Science
- Arts
- Education
- Economics
- Informatics
- Social Studies
- Sports Studies
- Institutes
- Computer Science
- CEITEC MU
- Politica
- Specialized Units
- Hostels & Canteens
- University Press
- Telč Centre
- UCB Management
- Rector`s Office
- Rectorate
- Other Units
- Archive
- Language Centre
- International Studies
- Disabled Students
- Technology Transfer
- Biostatistics
- Mendel Museum
- CERIT
- Civic Education
- Project Team CEITEC

Faculty of Informatics

Department of Computer Science

About the site People Statistics Publications Projects Teaching Methodology

Total number of titles in2012:24

Almost linear Büchi automata

BABIAK, Tomáš - STREJČEK, Jan - ŘEHÁK, Vojtěch.
Almost linear Büchi automata. Mathematical Structures in Computer Science, Cambridge, Cambridge University Press, Great Britain. ISSN 0960-1295, 2012, vol. 22, no. 02, pp. 203-235.

cswHMM: a novel context switching hidden Markov model for biological sequence analysis

BYSTRÝ, Vojtěch - LEXA, Matej.
cswHMM: a novel context switching hidden Markov model for biological sequence analysis. In Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms. Neuveden : SciTePress, 2012. ISBN 978-989-8425-90-4, pp. 208-213. 1.2.2012, Algarve, Portugal.

Designing Fast LTL Model Checking Algorithms for Many-core GPUs

BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Designing Fast LTL Model Checking Algorithms for Many-core GPUs. Journal of Parallel and Distributed Computing, , Elsevier. ISSN 0743-7315, 2012.

Dual-Priced Modal Transition Systems with Time Durations

BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - MOLLER, Mikael H. - SRBA, Jiří.
Dual-Priced Modal Transition Systems with Time Durations. In LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference. Heidelberg Dordrecht London New York : Springer, 2012. ISBN 978-3-642-28716-9, pp. 122-137. Merida, Venezuela.

Encryption with weakly random keys using quantum ciphertext

BOUDA, Jan - PIVOLUSKA, Matej - PLESCH, Martin.
Encryption with weakly random keys using quantum ciphertext. Quantum Information and Computing, Princeton, USA, Rinton, USA. ISSN 1533-7146, 2012, vol. 12, no. 5,6, pp. 0395-0403.

Gouy phase for full-aperture spherical and cylindrical waves

TYC, Tomáš.
Gouy phase for full-aperture spherical and cylindrical waves. Optics Letters, , , USA. ISSN 0146-9592, 2012, vol. 37, no. 5, pp. 924-926.

Krása fyziky - fyzika krásy

TYC, Tomáš.
Krása fyziky - fyzika krásy. 2012.

LTL to Büchi Automata Translation: Fast and More Deterministic

BABIAK, Tomáš - KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
LTL to Büchi Automata Translation: Fast and More Deterministic. In TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg : Springer-Verlag, 2012. ISBN 978-3-642-28755-8, pp. 95-109. 2012, Tallinn, Estonia.

Mathematical and Engineering Methods in Computer Science MEMICS 2011, Seventh International Doctoral Workshop, Revised Selected Papers

KOTÁSEK, Zdeněk - BOUDA, Jan - ČERNÁ, Ivana - SEKANINA, Lukáš - VOJNAR, Tomáš - ANTOŠ, David.
Mathematical and Engineering Methods in Computer Science MEMICS 2011, Seventh International Doctoral Workshop, Revised Selected Papers. 2012.

Modeling and Predicting Students Problem Solving Times

PELÁNEK, Radek - JARUŠEK, Petr.
Modeling and Predicting Students Problem Solving Times. In Proceedings of the 38th International Conference on Current Trends in Theory and Practice of Computer Science. Czech republic : Springer, 2012. ISBN 978-3-642-27659-0, pp. 637-648. 2012, Spindleruv mlyn.

MUFIN Image Annotation

BUDÍKOVÁ, Petra.
MUFIN Image Annotation. 2012.

On Parameter Synthesis by Parallel Model Checking

BARNAT, Jiří - BRIM, Luboš - KREJČÍ, Adam - STRECK, Adam - ŠAFRÁNEK, David - VEJNÁR, Martin - VEJPUSTEK, Tomáš.
On Parameter Synthesis by Parallel Model Checking. IEEE/ACM Transactions on Computational Biology and Bioinformatics, Los Alamitos, IEEE Computer Society. ISSN 1545-5963, 2012, vol. 9, no. 3, pp. 693-705.

On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties

BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties. Science of Computer Programming, , Elsevier. ISSN 0167-6423, 2012, vol. 2011, no. 0.

Parameterized Algorithms on Width Parameters of Graphs

GANIAN, Robert.
Parameterized Algorithms on Width Parameters of Graphs. 2012.

BUDÍKOVÁ, Petra - BATKO, Michal - ZEZULA, Pavel.
Similarity Query Postprocessing by Ranking. In Adaptive Multimedia Retrieval. Context, Exploration, and Fusion, LNCS 6817. Vyd. Revised Selected Papers. Berlin : Springer-Verlag, 2012. ISBN 978-3-642-27168-7, pp. 159-173. 17.8.2010, Linz, Austria.

Subwavelength imaging with materials of in-principle arbitrarily low index contrast

MA, Yun Gui - SAHEBDIVAN, Sahar - ONG, C K - TYC, Tomáš - LEONHARDT, Ulf.
Subwavelength imaging with materials of in-principle arbitrarily low index contrast. New Journal of Physics, Velká Británie, IOP, Great Britain. ISSN 1367-2630, 2012, vol. 14, no. 025001, pp. 1-14.

Temporal Logic Control of Discrete-Time Piecewise Affine Systems

YORDANOV, Boyan - TŮMOVÁ, Jana - ČERNÁ, Ivana - BARNAT, Jiří - BELTA, Calin.
Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Transactions on Automatic Control. ISSN 0018-9286, 2012. In print. Scheduled issue of publication: Volume 57 (2012), Issue 6 (June).

The choice of complete anonymity versus pseudonymity for aggression online.

TSIKERDEKIS, Michail.
The choice of complete anonymity versus pseudonymity for aggression online. eMinds International Journal on Human-Computer Interaction. ISSN 1697-9613, 2012, vol. 2, no. 8, pp. 35-57.

Timed Automata Approach to Verification of Systems with Degradation

BARNAT, Jiří - ČERNÁ, Ivana - TŮMOVÁ, Jana.
Timed Automata Approach to Verification of Systems with Degradation. In MEMICS 2011. Vyd. LNCS 7119. Heidelberg : Springer, 2012. ISBN 978-3-642-25928-9, pp. 84 - 93. 2012, Lednice.

Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs

BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. In NASA Formal Methods. : Springer-Verlag Berlin Heidelberg, 2012. ISBN 978-3-642-28890-6, pp. 252-266. 2012, Norfolk, VA, USA.

Using strategy improvement to stay alive

BRIM, Luboš - CHALOUPKA, Jakub.
Using strategy improvement to stay alive. International Journal of Foundations of Computer Science, , , Great Britain. ISSN 0129-0541, 2012, vol. 23, no. 3, pp. 585-608.

Vertex insertion approximates the crossing number of apex graphs

HLINĚNÝ, Petr - CHIMANI, Markus - MUTZEL, Petra.
Vertex insertion approximates the crossing number of apex graphs. European Journal of Combinatorics, , Elsevier, The Nederlands. ISSN 0195-6698, 2012, p. to appear.

Vertex insertion approximates the crossing number of apex graphs

Very Fast Decision Rules for Multi-class Problems

KOSINA, Petr - GAMA, Joao.
Very Fast Decision Rules for Multi-class Problems. ACM, 2012. pp. 538-543.

top