Publications [2013]
Total number of titles in2013:91
Alphabetical list of 41 titles starting from:51
SVOREŇOVÁ, Mária - ČERNÁ, Ivana - BELTA, Calin.
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints. In Proceedings of 2013 American Control Conference. : 2013. submitted.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana.
Performance and Fairness for Users in Parallel Job Scheduling. In Job Scheduling Strategies for Parallel Processing. Berlin : Lecture Notes in Computer Science 7698, Springer, 2013. ISBN 978-3-642-35866-1, pp. 235-252. 2012, Shanghai, China.
PITNER, Tomáš.
Person-centered Approach in Informatics Teachers Training. In DidInfo. Vyd. 1. Banská Bystrica, Slovensko : Univerzita Mateja Bela, Banská Bystrica, 2013. ISBN 978-80-557-0527-9, pp. 15-20. 2013, Banská Bystrica.
ŠIMARA, Pavel - MOTL, Jason - KAUFMAN, Dan.
Pluripotent stem cells and gene therapy. Translational Research, , , USA. ISSN 1931-5244, 2013, vol. 161, no. 4, pp. 284-292.
TELEC, Ivo.
Politická svoboda a duševní vlastnictví: střet hodnot. Právník, Praha, Ústav státu a práva AV ČR, v. v. i. ISSN 0231-6625, 2013, vol. 152, no. 3, pp. 209-221.
TELEC, Ivo.
Poznámky k Internetu a proměnám práva. Průmyslové vlastnictví, Praha, Úřad průmyslového vlastnictví. ISSN 0862-8726, 2013, vol. 23, no. 2, pp. 73-79.
HORÁK, Aleš - RAMBOUSEK, Adam.
PRALED – A New Kind of Lexicographic Workstation. In Computational Linguistics - Applications. Berlin : Springer, 2013. Studies in Computational Intelligence, Vol. 458, ISBN 978-3-642-34398-8, pp. 131-141.
TELEC, Ivo.
Právní hodnocení průmyslového vzoru. 3. vyd. In Sekce práva duševního vlastnictví Olomouckých právnických dnů 2012. Sborník příspěvků z konference pořádané Právnickou fakultou Univerzity Palackého v Olomouci ve dnech 24. - 25. 5. 2012. Vyd. 1. Olomouc : Iuridicum olomoucense, o. p .s., 2013. ISBN 978-80-87382-49-3. 24.5.2012, Olomouc.
CHEN, Taolue - FOREJT, Vojtěch - KWIATKOWSKA, Marta - PARKER, David - SIMAITIS, Aistis.
PRISM-games: A model checker for stochastic multi-player games. In TACAS 2013. Berlin, Heidelberg : Springer, 2013. ISBN 978-3-642-36741-0, pp. 185-191. 2013, Rome.
ZLATUŠKA, Jiří.
Proměna knihoven a nové způsoby šíření poznání – digitální knihovny a otevřený přístup k vědeckým výsledkům. 2013.
STRNAD, Ondřej - ŠUSTR, Vilém - KOZLÍKOVÁ, Barbora - SOCHOR, Jiří.
Real-time visualization of protein empty space with varying parameters. IARIA XPS Press, 2013. ISBN 978-1-61208-260-8, 6 p. 22.3.2013, Lisbon, Portugal.
SOJKA, PetrHRDINA, Miroslav.
Recognition of Mathematical Texts. Petr Sojka (školitel). 2013.
KOCHANIKOVÁ, Beáta.
Rozvrhovanie študentov pre bakalárske štátne skúšky na FI. 2013.
CHRISTIANSON, B. - MALCOLM, J. A. - MATYÁŠ, Václav - ROE, M.
Security Protocols XVII - 17th International Workshop, Revised Selected Papers. 2013.
MAŠKA, Martin - DANĚK, Ondřej - GARASA, Saray - ROUZAUT, Ana - MUNOZ-BARRUTIA, Arrate - ORTIZ-DE-SOLÓRZANO, Carlos.
Segmentation and Shape Tracking of Whole Fluorescent Cells Based on the Chan-Vese Model. IEEE Transactions on Medical Imaging, , , USA. ISSN 0278-0062, 2013, vol. in press.
VYKOPAL, Jan.
SimFlow - a similarity-based detection of brute-force attacks. 2013.
PRÝMEK, Miroslav - HORÁK, Aleš.
Smart Household -- Selected Problem Solutions Using Intelligent Controllable Electric Appliances. In Proceedings of 5th International Conference on Agents and Artificial Intelligence (ICAART 2013). Vyd. accepted for publication. Vilamoura, Algarve, Portugal : SciTePress – Science and Technology Publications, 2013. pp. 1-7. Vilamoura, Algarve, Portugal.
ALETI, Aldeida - BÜHNOVÁ, Barbora - GRUNSKE, Lars - KOZIOLEK, Anne - MEEDENIYA, Indika.
Software Architecture Optimization Methods: A Systematic Literature Review. IEEE transactions on software engineering, New York, IEEE Computer Society, USA. ISSN 0098-5589, 2013, vol. PrePrint, no. 99, pp. 1-27.
KUMPOŠT, Marek.
Správa identit a řízení přístupu v prostředí cloudových aplikací. DSM - data security management, Praha, TATE International, s.r.o. ISSN 1211-8737, 2013, vol. XVII, no. 1, pp. 10-13.
HAPPE, Lucia - BÜHNOVÁ, Barbora - REUSSNER, Ralf.
Stateful component-based performance models. Software & Systems Modeling, , Springer-Verlag, Germany. ISSN 1619-1374, 2013, pp. 1-25.
HEARN, Jeff - NOVIKOVA, Irina - PRINGLE, Keith - ŠMÍDOVÁ, Iva - JYRKINEN, Marjut - IOVANNI, LeeAnn - ARRANZ, Fátima - KOLGA, Voldemar - BALKMAR, Dag.
Studying Men’s Violences: Some Key Methodological Principles in Developing a European Research Framework. MSC - Masculinities and social change, Barcelona, Španělsko, Hipathia Press, Spain. ISSN 2014-3605, 2013, vol. 2, no. 1, pp. 82-115.
SLABÝ, Jiří - STREJČEK, Jan - TRTÍK, Marek.
Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). In Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. Berlin, Heidelberg : Springer, 2013. ISBN 978-3-642-36741-0, pp. 630-632. 2013, Rome, Italy.
Systém pro optimalizaci medicínského kurikula. In 9. letní škola aplikované informatiky. Brno : Muni Press, 2013. ISBN 978-80-210-6058-6, pp. 41-44. 2012, Bedřichov.
CHEN, Yushan - TŮMOVÁ, Jana - ULUSOY, Alphan - BELTA, Calin.
Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics. International Journal of Robotics Research. 2013. To appear.
ŠMERK, Pavel.
Test. 2013. .
WOJCIECHOWSKI, Krzyś - NOWIŃSKI, Aleksander - SOJKA, Petr - LÍŠKA, Martin.
The EuDML Search and Browse Service - Final: Deliverable 5.3 of project EuDML. 2013.
DĚDKOVÁ, Lenka - MACHÁČKOVÁ, Hana.
The risk of online communities: Who is prone to behavioral change by community members?. 2013.
VAN GOETHEM, Simon - JACQUET, Jean-Marie - BRIM, Luboš - ŠAFRÁNEK, David.
Timed Modelling of Gene Networks with Arbitrary Expression Level Discretization. Electronic Notes in Theoretical Computer Science, , Elsevier. ISSN 1571-0661, 2013, vol. 293, no. 11.3.2013, pp. 67-81.
LEE, Mark - SOJKA, Petr - ŘEHŮŘEK, Radim - HATLAPATKA, Radim - KUCBEL, Maroš - BOUCHE, Thierry - GOUTORBE, Claude - ANGHELACHE, Romeo - WOJCIECHOWSKI, Krzysztof.
Toolset for Entity and Semantic Associations – Final Release: Deliverable 8.4 of project EuDML. 2013.
WOJCIECHOWSKI, Krzys - SOJKA, Petr - HOUILLON, Nicolas - RŮŽIČKA, Michal - HATLAPATKA, Radim - KREJČÍŘ, Vlastimil - HRDINA, Miroslav - SOCHOR, Jiří - RYCHLÝ, Pavel - HORÁK, Aleš - SEXTON, Alan - PEDROSA, Gilberto - LONTIN, Franck - BOUCHE, Thierry - KOŁUDA, Maciej.
Toolset for Image and Text Processing and Metadata Enhancements — Final Release: Deliverable 7.4 of project EuDML. 2013.
ŠKRABÁLEK, Jaroslav - KUNC, Petr - NGUYEN, Filip - PITNER, Tomáš.
Towards Effective Social Network System Implementation. In New Trends in Databases and Information Systems. Poznan, Polsko : Springer, 2013. ISBN 978-3-642-32517-5, pp. 327-336. 2012, Poznan, Poland.
RUSŇÁK, Vít - RUČKA, Lukáš - HOLUB, Petr.
Towards User-Aware Multi-Touch Interaction Layer for Group Collaborative Systems. Vyd. Revised Selected Papers. Berlin Heidelberg : Springer-Verlag Berlin / Heidelberg, 2013. ISBN 978-3-642-36044-2, pp. 200-212. 2012, Znojmo, Czech Republic.
HON, Jiří - LEXA, Matej - MARTÍNEK, Tomáš - RAJDL, Kamil - KOPEČEK, Daniel.
triplex. 2013.
HON, Jiří - MARTÍNEK, Tomáš - RAJDL, Kamil - LEXA, Matej.
Triplex: an R/Bioconductor package for identification and visualization of potential intramolecular triplex patterns in DNA sequences. Bioinformatics, Oxford, Oxford University Press, Great Britain. ISSN 1367-4803, 2013.
KŮR, Jiří - MATYÁŠ, Václav - ŠVENDA, Petr.
Two Improvements of Random Key Predistribution for Wireless Sensor Networks. In Security and Privacy in Communication Networks, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Volume 106. Berlin : Springer Berlin Heidelberg, 2013. ISBN 978-3-642-36882-0, pp. 61-75. 2012, Padua.
GANIAN, Robert - HLINĚNÝ, Petr - OBDRŽÁLEK, Jan.
Unified Approach to Polynomial Algorithms on Graphs of Bounded (bi-)Rank-width. European Journal of Combinatorics, , Elsevier, The Nederlands. ISSN 0195-6698, 2013, vol. 34, no. 3, pp. 680-701.
ANDERSEN, Mathias - LARSEN, Heine G. - SRBA, Jiří - SOERENSEN, Mathias G. - TAANKVIST, Jakob H.
Verification of Liveness Properties on Closed Timed-Arc Petri Nets. In Proceedings of Mathematical and Engineering Methods in Computer Science (MEMICS'12). Netherlands : Springer, 2013. ISBN 978-3-642-36044-2, pp. 69-81. 2012, Znojmo.
BERTOLINI, Cristiano - LIU, Zhiming - SRBA, Jiří.
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. In Proceedings of the 2nd International Symposium on the Foundations of Health Information Engineering and Systems (FHIES'12). Netherlands : Springer, 2013. pp. 1-18. 2012, Francie.
HERMAN, Lukáš - KÝNOVÁ, Andrea - RUSSNÁK, Jan.
Vybrané aspekty 3D modelování zástavby. In JUNIORSTAV 2013 - 15. odborná konference doktorského studia. 1. vydání. Brno : Vysoké učení technické v Brně, Fakulta stavební, 2013. ISBN 978-80-214-4670-0, nestránkováno-8 pp. 7.2.2013, Brno.
TELEC, Ivo.
Vývojové tendence na poli spolkového práva. 2013.
TELEC, Ivo.
Zastupitelstvo přece musí být veřejné. 1. vyd. Praha : MAFRA, a. s., 2013. 1 s. Lidové noviny, příloha Právo & justice, s. 16. ISSN 1213-1385.
