Department of Computer Science

Total number of titles in 2014: 35

Alphabetical list of 30 titles starting from: 1

Letter A, page 1Letter B, page 1Letter C, page 1Letter D, page 1Letter E, page 1Letter F, page 1Letter G, page 1Letter H, page 1Letter CH, page 1Letter I, page 1Letter J, page 1Letter K, page 1Letter L, page 1Letter M, page 1Letter N, page 1Letter O, page 1Letter P, page 1Letter Q, page 1Letter R, page 1Letter S, page 1Letter T, page 1Letter U, page 2Letter V, page 2Letter W, page 2Letter X, page 2Letter Y, page 2Letter Z, page 2
First pagePrevious page|1|2|Next pageLast page
found: 35 records, displayed 1 - 30

 

PITNER, Tomáš - MINISTR, Jan.
Academic-Industrial Cooperation in ICT in a Transition Economy – Two Cases from the Czech Republic. Information Technology for Development, USA. ISSN 0268-1102, 2014, vol. 20, no. 1, pp. 1-12.


more

 

KLEMENT, Matej - DĚD, Tadeáš - ŠAFRÁNEK, David - ČERVENÝ, Jan - MUELLER, Stefan - STEUER, Ralf.
Biochemical Space: A Framework for Systemic Annotation of Biological Models. In Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology (CS2Bio’14). Amsterdam : Elsevier, 2014. 31–44-14 pp. 2014, Berlin.


more

 

BRÁZDIL, Tomáš - BROŽEK, Václav - FOREJT, Vojtěch - KUČERA, Antonín.
Branching-time model-checking of probabilistic pushdown automata. Journal of Computer and System Sciences, Academic Press, The Nederlands. ISSN 0022-0000, 2014, vol. 80, no. 1, pp. 139-156.


more

 

BATKO, Michal - BUDÍKOVÁ, Petra - ELIÁŠ, Petr - ZEZULA, Pavel.
CLAN Photo Presenter: Multi-modal Summarization Tool for Image Collections. In Proceedings of ICMR 2014. New York, NY, USA : ACM, 2014. ISBN 978-1-4503-2782-4, pp. 541-542. 1.4.2014, Glasgow, UK.


more

 

FAHRENBERG, Uli - KŘETÍNSKÝ, Jan - LEGAY, Axel - TRAONOUEZ, Louis-Marie.
Compositionality for Quantitative Specifications. In The 11th International Symposium on Formal Aspects of Component Software - FACS 2014. Heidelberg Dordrecht London New York : Springer, 2014. 18 pp.


more

 

PITNER, Tomáš - MOTSCHNIG, Renate - KOZLÍKOVÁ, Barbora - ŠKRABÁLEK, Jaroslav - PEKÁRKOVÁ, Lucie - KOLÁŘ, Jiří - NOVÁK, Martin - TOMASCHEK, Nino - HAMMER, Edith - HASELBERGER, David - BÖHM, Christina - STANDL, Bernhard.
Constructive Communication in International Teams: An Experience-Based Guide. Vyd. 1. Münster : WAXMANN Verlag GmbH, 2014. 248 pp. Neuveden. ISBN 978-3-8309-3025-9.


more

 

BYDŽOVSKÁ, Hana - POPELÍNSKÝ, Lubomír.
Course Recommendation from Social Data. In 6th International Conference on Computer Supported Education - CSEDU 2014. Portugal : 2014 SCITEPRESS – Science and Technology Publications, 2014. ISBN 978-989-758-020-8, pp. 268-275. 1.4.2014, Barcelona, Spain.


more

 

GANIAN, Robert - HLINĚNÝ, Petr - KNEIS, Joachim - LANGER, Alexander - OBDRŽÁLEK, Jan - ROSSMANITH, Peter.
Digraph width measures in parameterized algorithmics. Discrete Applied Mathematics, Elsevier B.V., The Nederlands. ISSN 0166-218X, 2014, vol. 168, no. 1, pp. 88-107.


more

 

GANIAN, Robert - HLINĚNÝ, Petr - OBDRŽÁLEK, Jan - LANGER, Alexander - KNEIS, Joachim - ROSSMANITH, Peter.
Digraph Width Measures in Parameterized Algorithmics. Discrete Applied Mathematics, Elsevier Science, The Nederlands. ISSN 0166-218X, 2014, vol. 168, no. May, pp. 88-107.


more

 

TOVARŇÁK, Daniel - NGUYEN, Filip - PITNER, Tomáš.
Distributed Event-Driven Model for Intelligent Monitoring of Cloud Datacenters. In Intelligent Distributed Computing VII. Cham : Springer International Publishing Switzerland, 2014. ISBN 978-3-319-01570-5, pp. 87-92. Czech Republic, Prague.


more

 

BYDŽOVSKÁ, Hana - OBŠÍVAČ, Tomáš - BRANDEJS, Michal.
Do Desperate Students Trade Their Privacy for a Hope? An Evidence of the Privacy Settings Influence on the User Performance. In Proceedings of the 16th International Conference on Enterprise Information Systems - ICEIS 2014. Portugal : 2014 SCITEPRESS – Science and Technology Publications, 2014. ISBN 978-989-758-029-1, pp. 156-161. 27.4.2014, Lisbon, Portugal.


more

 

OXBURGH, Stephen - TYC, Tomáš - COURTIAL, Johannes Klaus.
Dr TIM: Ray-tracer TIM, with additional specialist scientific capabilities. Computer Physics Communications, AMSTERDAM, ELSEVIER SCIENCE BV, The Nederlands. ISSN 0010-4655, 2014, vol. 185, no. 3, 1027–1037-11 pp.


more

 

CASAGRANDE, Alberto - DREOSSI, Tommaso - FABRIKOVÁ, Jana - PIAZZA, Carla.
Epsilon-Semantics computations on biological systems. Information and computation, Academic Press, The Nederlands. ISSN 0890-5401, 2014, vol. Neuveden, no. January 2014, nestránkováno-35 pp.


more

 

ESPARZA, Javier - KŘETÍNSKÝ, Jan.
From LTL to Deterministic Automata: A Safraless Compositional Approach. In Computer Aided Verification - 26th International Conference, CAV 2014. Heidelberg Dordrecht London New York : Springer, 2014.


more

 

GANIAN, Robert - HLINĚNÝ, Petr - OBDRŽÁLEK, Jan - LANGER, Alexander - ROSSMANITH, Peter - SIKDAR, Somnath.
Lower Bounds on the Complexity of MSO_1 Model-Checking. Journal of Computer and System Sciences, Elsevier, The Nederlands. ISSN 0022-0000, 2014, vol. 80, no. 1, pp. 180-194.


more

 

BRÁZDIL, Tomáš - KLAŠKA, David - KUČERA, Antonín - NOVOTNÝ, Petr.
Minimizing Running Costs in Consumption Systems. CoRR. 2014, vol. 2014.


more

 

BARNAT, Jiří - BAUCH, Petr - HAVEL, Vojtěch.
Model Checking Parallel Programs with Inputs. Turin : IEEE Computer Society, 2014. 4 pp. 2014.


more

 

ZHENG, Shenggen - GRUSKA, Jozef - QIU, Daowen.
On the state complexity of semi-quantum finite automata. In Language and Automata Theory and Applications. Vyd. LNCS 8370. Germany : Springer, 2014. ISBN 978-3-319-04920-5, pp. 601-612. 10.3.2014, Madrid, Spain.


more

 

ZHENG, Shenggen - GRUSKA, Jozef - QIU, Daowen.
On the state complexity of semi-quantum finite automata. RAIRO - Theoretical Informatics and Applications, EDP Sciences. ISSN 0988-3754, 2014, vol. 2014.


more

 

HERMANNS, Holger - KRČÁL, Jan - KŘETÍNSKÝ, Jan.
Probabilistic Bisimulation: Naturally on Distributions. In CONCUR 2014 - Concurrency Theory - 25th International Conference. Heidelberg Dordrecht London New York : Springer, 2014.


more

 

KOMÁRKOVÁ, Zuzana - KŘETÍNSKÝ, Jan.
Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata. In Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Heidelberg Dordrecht London New York : Springer, 2014.


more

 

NAVRÁTIL, Jaromír - POPELÍNSKÝ, Lubomír.
Rapid prototyping of a web categorization tool. In IDEAS '14 Proceedings of the 18th International Database Engineering & Applications Symposium. NY, USA : ACM New York, 2014. ISBN 978-1-4503-2627-8, pp. 294-297. 2014, Porto, Portugal.


more

 

GRUSKA, Jozef.
Roads to New Grand Challenges of Informatics. In 14th International Conference on Membrane Computing. Berlin : Springer, 2014. pp. 10-18. 2013, Chisinau, Moldava. In print.


more

 

ČEŠKA, Milan - ŠAFRÁNEK, David - DRAŽAN, Sven - BRIM, Luboš.
Robustness Analysis of Stochastic Biochemical Systems. Plos One, SAN FRANCISCO, PUBLIC LIBRARY SCIENCE, USA. ISSN 1932-6203, 2014, vol. 9, no. 4, pp. 1-23.


more

 

NGUYEN, Filip - TOVARŇÁK, Daniel - PITNER, Tomáš.
Semantically Partitioned Peer to Peer Complex Event Processing. In Intelligent Distributed Computing VII. Proceedings of the 7th International Symposium on Intelligent Distributed Computing - IDC 2013, Prague, Czech Republic, September 2013. Vyd. 511. Cham : Springer International Publishing Switzerland, 2014. ISBN 978-3-319-01570-5, pp. 55-65. 2013, Praha.


more

 

ABAFFY, Michal - BRÁZDIL, Tomáš - ŘEHÁK, Vojtěch - BOŠANSKÝ, Branislav - KUČERA, Antonín - KRČÁL, Jan.
Solving adversarial patrolling games with bounded error: (extended abstract). In Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14). Richland, SC, USA : International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2014. ISBN 978-1-4503-2738-1, pp. 1617-1618. paris.


more

 

BRIM, Luboš - DLUHOŠ, Petr - ŠAFRÁNEK, David - VEJPUSTEK, Tomáš.
STL*: Extending signal temporal logic with signal-value freezing operator. Information and computation, Academic Press. ISSN 0890-5401, 2014, vol. 236, no. January, pp. 52-67.


more

 

SLABÝ, Jiří - STREJČEK, Jan.
Symbiotic 2: More Precise Slicing (Competition Contribution). In Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. Berlin, Heidelberg : Springer, 2014. ISBN 978-3-642-54861-1, pp. 415-417. 2014, Grenoble, France.


more

 

BARNAT, Jiří - BAUCH, Petr - HAVEL, Vojtěch.
Temporal Verification of Simulink Diagrams. In Proceedings of HASE 2014. Miami : IEEE Computer Society, 2014. 8 pp. 2014.


more

 

ORDYNIAK, Sebastian - SZEIDER, Stefan - EUN JUNG, Kim.
The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation. In Lecture Notes in Computer Science. Lecture Notes in Computer Science : Springer, 2014. ISBN 978-3-642-54372-2, pp. 158-175. 2013, Bejing.


more

 
First pagePrevious page|1|2|Next pageLast page
found: 35 records, displayed 1 - 30