Publications [2012]
Total number of titles in2012:28
Alphabetical list of 28 titles starting from:1
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. to appear, 26 p.
KRMÍČEK, Vojtěch - VYKOPAL, Jan.
Automatic Network Protection Scenarios Using NetFlow. 2012.
TELEC, Ivo.
Autorský zákon a předpisy související [Beck, 1996]. Edited by Ivo Telec. 2. vyd. Praha : Beck, 2012. xxvii, 283. ISBN 3-406-40754-4.
TELEC, Ivo.
Autorský zákon a předpisy související : AutZ, Autorský zákon : Televizní právo, Rozhlasové právo, Tiskové právo, Audiovizuální produkce, Kulturní produkce a předpisy z dalších souvisejících oblastí. Edited by Ivo Telec. 1. vyd. Praha : Beck, SEVT, 2012. xxiv, 303. ISBN 3-406-39310-1.
BIDMANOVÁ, Šárka - HLAVÁČEK, Antonín - DAMBORSKÝ, Jiří - PROKOP, Zbyněk.
Conjugation of 5(6)-Carboxyfluorescein and 5(6)-Carboxynaphthofluorescein with Bovine Serum Albumin and Their Immobilization for Optical pH Sensing. SENSORS AND ACTUATORS B. 2012.
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.
BLAHUŠ, Marek - PALA, Karel.
Extending Czech WordNet Using a Bilingual Dictionary. In 6th International Global Wordnet Conference Proceedings. Matsue, Japan : Toyohashi University of Technology, 2012. pp. 50-55. 9.1.2012, Matsue, Japan.
PAUNKOVIC, N - BOUDA, Jan - MATEUS, P.
Fair and optimistic quantum contract signing. Phys. Rev. A, USA, The American Physical Society, USA. ISSN 1094-1622, 2012, p. to appear.
ŽILKA, Roman - MATYÁŠ, Václav - KYNCL, Libor.
Four Authorization Protocols for an Electronic Payment System. In Mathematical and Engineering Methods in Computer Science 2011, Springer LNCS 7119. Heidelberg : Springer Verlag, 2012. ISBN 978-3-642-25928-9, pp. 205-214. 2011, Lednice.
KARAS, Pavel.
GPU Implementation of Linear Morphological Openings with Arbitrary Angle. Journal of Real-Time Image Processing, , Springer-Verlag, Germany. 2012. Accepted under major revision.
LISAUSKAS, Tautvydas - MATULA, Petr - CLAAS, Christoph - REUSING, Susanne - WIEMANN, Stefan - ERFLE, Holger - LEHMANN, Lars - FISCHER, Peter - ROHR, Karl - STORRIE, Brian - STARKUVIENE, Vytaute.
Live cell assays to identify regulators of ER to Golgi trafficking. Traffic, , John Wiley & Sons, USA. ISSN 1398-9219, 2012, vol. 13, no. 3, p. 416–432.
GRÁC, Marek - RAMBOUSEK, Adam.
Low-cost ontology development. In 6th International Global Wordnet Conference Proceedings. Matsue, Japan : Toyohashi University of Technology, 2012. pp. 299-304. 9.1.2012, Matsue, Japan.
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. 15 p. 2012, Tallinn, Estonia.
KONEČNÝ, Štěpán.
Lying on the Internet. In Z. Yan (Ed.). Encyclopedia of Cyber Behavior. Vyd. 1st edition. Neuveden : IGI Global: Hershey, PA., 2012. Neuveden, ISBN 1-4666-0315-1, 21 p.
HORÁK, Aleš - RAMBOUSEK, Adam.
Migrating Cornetto Lexicon to New XML Database Engine. In 6th International Global Wordnet Conference Proceedings. Matsue, Japan : Toyohashi University of Technology, 2012. pp. 305-311. 9.1.2012, Matsue, Japan.
ŠKRABÁLEK, Jaroslav - CHARVÁT, Jiří - LUDVÍČEK, Josef - HRDLIČKA, Martin - ČEJKA, Tomáš.
Mobilní rozhraní Informačního systému Masarykovy univerzity. 2012.
ZEZULA, Pavel.
Multi Feature Indexing Network MUFIN for Similarity Search Applications. In Multi Feature Indexing Network MUFIN for Similarity Search Applications. Hidlberg : Springer, 2012. ISBN 978-3-642-27659-0, pp. 77-87. 2012, Špindlerův Mlýn.
KRMÍČEK, Vojtěch - VYKOPAL, Jan.
NetFlow Based Network Protection. In Proceedings of 7th International ICST Conference on Security and Privacy in Communication Networks. : 2012. .
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. ISSN 1545-5963, 2012, vol. 99, no. PrePrints, 14 p.
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.
GANIAN, Robert.
Parameterized Algorithms on Width Parameters of Graphs. 2012.
HORÁK, Aleš - PRÝMEK, Miroslav - SIKORA, Tadeusz.
Power Network Reliability Computations Using Multi-Agent Simulation. Transactions on Computational Collective Intelligence, , Springer, The Nederlands. ISSN 2190-9288, 2012, vol. 2012, 18 p.
DANĚK, Ondřej - MATULA, Pavel - MAŠKA, Martin - KOZUBEK, Michal.
Robust and Smooth Chan-Vese Segmentation via Graph Cuts. Pattern Recognition Letters, Amsterdam, Elsevier, The Nederlands. ISSN 0167-8655, 2012, 12 p. submitted.
ČAPEK, Tomáš.
SENEQA - System for Quality Testing of Wordnet Data. In 6th International Global Wordnet Conference Proceedings. Matsue, Japan : Toyohashi University of Technology, 2012. pp. 400-404. 9.1.2012, Matsue, Japan.
PRÝMEK, Miroslav - HORÁK, Aleš - SIKORA, Tadeusz.
Smart Power Network Reliability Modelling Using Intelligent Agents. In Emerging Technologies for a Smarter World (CEWIT 2011). New York, USA : IEEE Xplore, 2012. ISBN 978-1-4577-1592-1, pp. 1-6. 2011, Hauppauge, NY, USA.
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).
JAKUBÍK, Daniel.
Testovaci clanek. . 2012, pp. 15-18.
HLINĚNÝ, Petr - CHIMANI, Markus - MUTZEL, Petra.
Vertex insertion approximates the crossing number of apex graphs. European Journal of Combinatorics, , Elsevier, USA. ISSN 0195-6698, 2012, p. to appear.
