Research Project Results
Highly Parallel and Distributed Computing Systems
| Project Identification: | MSM0021622419 |
| MU Investigator: | Prof. RNDr. Jozef Gruska, DrSc. |
| MU Faculty/Unit: | Faculty of Informatics |
| Project Period: | 1/2005 - 12/2011 |
| Investor/Programme: | Ministry of Education, Youth and Sports of the CR / Research Intents- |
Results: (Czech only)
Předpokládané výzkumné výsledky budou mít standardní formu zahrnující publikace ve sbornících mezinárodních vědeckých konferencí a symposií a v mezinárodních vědeckých časopisech. Kromě toho lze očekávat experimentální výsledky a implementace prototypů.
Publications:
BURKE, Edmund - MAREČEK, Jakub - PARKES, Andrew - RUDOVÁ, Hana.
A Branch-and-cut Procedure for the Udine Course Timetabling Problem. Annals of Operations Research, , Springer Science+Business Media, LLC, The Nederlands. ISSN 0254-5330, 2012, vol. 194, no. 1, pp. 71-87.
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.
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.
VAŘECHA, Miroslav - POTĚŠILOVÁ, Michaela - MATULA, Pavel - KOZUBEK, Michal.
Endonuclease G interacts with histone H2B and DNA topoisomerase II alpha during apoptosis. Mol Cell Biochem, , , The Nederlands. ISSN 0300-8177, 2012, vol. 363, no. 1-2, pp. 301-307.
KARAS, Pavel - MORARD, Vincent - BARTOVSKÝ, Jan - GRANDPIERRE, Thierry - DOKLÁDALOVÁ, Eva - MATULA, Petr - DOKLÁDAL, Petr.
GPU Implementation of Linear Morphological Openings with Arbitrary Angle. Journal of Real-Time Image Processing, , Springer-Verlag, Germany. ISSN 1861-8200, 2012, pp. 1-15.
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.
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.
FIALÍK, Ivan.
Noise and the Magic Square Game. Quantum Information Processing, , Springer, Germany. ISSN 1570-0755, 2012, vol. 11, no. 2, pp. 411-429.
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.
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.
FIALÍK, Ivan.
Pseudo-Telepathy Games. In Quantum Entanglement. USA : Nova Publishers, 2012. Neuveden, ISBN 978-1-61761-814-7, pp. 165-182.
DANĚK, Ondřej - MATULA, Pavel - MAŠKA, Martin - KOZUBEK, Michal.
Smooth Chan-Vese Segmentation via Graph Cuts. Pattern Recognition Letters, Amsterdam, Elsevier, The Nederlands. ISSN 0167-8655, 2012, vol. 33, no. 10, pp. 1405-1410. in press.
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).
ZIMAN, Mário - HEINOSAARI, Teiko.
The Mathematical Language of Quantum Theory. Velká Británie : Cambridge University Press, 2012. 327 s. Neuveden. ISBN 978-0-521-19583-6.
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.
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.
DANĚK, Ondřej - MAŠKA, Martin.
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (Selected Papers). Saarbrücken, Warden : Schloss Dagstuhl Publishing, 2011. ISBN 978-3-939897-22-4, pp. 19-25. 22.10.2010, MikulovOASIcs: Open Access Series in Informatics.
CHIMANI, Markus - HLINĚNÝ, Petr.
A Tighter Insertion-based Approximation of the Crossing Number. In Automata, Languages and Programming 38th International Colloquium, ICALP 2011. Gremany : Springer, 2011. ISBN 978-3-642-22005-0, pp. 122-134. 2011, Zurich, Switzerland.
HLINĚNÝ, Petr - CHIMANI, Markus.
A Tighter Insertion-based Approximation of the Graph Crossing Number. 2011.
DANĚK, Ondřej - MATULA, Pavel.
An Improved Riemannian Metric Approximation for Graph Cuts. In 16th International Conference on Discrete Geometry for Computer Imagery. Berlin, Heidelberg : Springer-Verlag, 2011. ISBN 978-3-642-19866-3, pp. 71-82. 2011, NancyLNCS 6607.
BRÁZDIL, Tomáš - BROŽEK, Václav - ETESSAMI, Kousha - KUČERA, Antonín.
Approximating the Termination Value of One-Counter MDPs and Stochastic Games. In Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011). Berlin : Springer, 2011. ISBN 978-3-642-22011-1, pp. 332-343. 2011, Zurich, Switzerland.
KUBA, Martin.
Automated trust negotiation in identity federations using OWL-based abduction of missing credentials. In Proceedings of the 6th International Conference forInternet Technology and Secured Transactions (ICITST-2011). Abu Dhabi : IEEE Xplore DigitalLibrary, 2011. ISBN 978-1-4577-0884-8, 164–169-6 pp. 2011, Abu Dhabi.
FOUSEK, Jan - FILIPOVIČ, Jiří - MADZIN, Matúš.
Automatic Fusions of CUDA-GPU Kernels for Parallel Map. In Second International workshop on highly-efficient accelerators and reconfigurable technologies (HEART). London (UK) : 2011. pp. 42-47. 2011, London, UK.
FOUSEK, Jan - FILIPOVIČ, Jiří - MADZIN, Matúš.
Automatic Fusions of CUDA-GPU Kernels for Parallel Map. ACM SIGARCH Computer Architecture News, New York, ACM Press., USA. ISSN 0163-5964, 2011, vol. 39, no. 4, pp. 98-99.
ULMAN, Vladimír.
Boundary Treatment for Young-van Vliet Recursive Zero-Mean Gabor Filtering. EURASIP Journal on Advances in Signal Processing, NEW YORK (USA), HINDAWI PUBLISHING CORPORATION, USA. ISSN 1687-6172, 2011, vol. 2011, no. ID 234090, pp. 1-9.
BENEŠ, Nikola - ČERNÁ, Ivana - KŘIVÁNEK, Milan.
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. In Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. Neuveden : Open Publishing Association, 2011. pp. 63-67. 2011, Snowbird, Utah, USA.
RUDOVÁ, Hana - MÜLLER, Tomáš - KEITH, Murray.
Complex university course timetabling. Journal of Scheduling, , Springer US, USA. ISSN 1094-6136, 2011, vol. 14, no. 2, pp. 187-207.
GOLEMBIOVSKÝ, Tomáš - KŘENEK, Aleš.
Compression of Vector Field Changing in Time. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Dagstuhl : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. ISBN 978-3-939897-22-4, pp. 40-46. 22.10.2010, Mikulov.
BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Computing Optimal Cycle Mean in Parallel on CUDA. Electronic Proceedings in Theoretical Computer Science, , , USA. ISSN 2075-2180, 2011, vol. 72, no. 2011, pp. 68-83. PDMC 2011.
BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Computing Strongly Connected Components in Parallel on CUDA. In Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium. Anchorage, AK : IEEE Computer Society, 2011. ISBN 978-1-61284-372-8, pp. 544 - 555.
CHEN, Huanyang - LEONHARDT, Ulf - TYC, Tomáš.
Conformal cloak for waves. Physical Review A, USA, American Physical Society, USA. ISSN 1050-2947, 2011, vol. 83, no. 5, "nestrankovano"-4 pp.
KARAS, Pavel - SVOBODA, David.
Convolution of Large 3D Images on GPU and its Decomposition. EURASIP Journal on Advances in Signal Processing, NEW YORK (USA), HINDAWI PUBLISHING CORPORATION, USA. ISSN 1687-6172, 2011, vol. 2011, no. 120, pp. 1-12.
TROUBIL, Pavel - RUDOVÁ, Hana.
Cycle Avoidance in Integer Programming for Media Streams Planning. 2011.
HOLUB, Petr - RUDOVÁ, Hana - LIŠKA, Miloš.
Data Transfer Planning with Tree Placement for Collaborative Environments. Constraints, , Springer, The Nederlands. ISSN 1383-7133, 2011, vol. 16, no. 3, pp. 283-316.
GRUSKA, Jozef.
De- quantisation (Čína). 2011.
GRUSKA, Jozef.
De-quantisation. In AIP Conference Proceedings. Neuveden : American Institute of Physics, 2011. To appear.
GRUSKA, Jozef.
De-quantisation (Alžírsko). 2011.
GRUSKA, Jozef.
De-randomization and de-quantisation. 2011.
BARNAT, Jiří - CHALOUPKA, Jakub - VAN DE POL, Jaco.
Distributed Algorithms for SCC Decomposition. Journal of Logic and Computation, , Oxford University Press, Great Britain. ISSN 0955-792X, 2011, vol. 21, no. 1, pp. 23-44.
PETERLÍK, Igor - FILIPOVIČ, Jiří.
Distributed Construction of Configuration Spaces for Real-Time Haptic Deformation Modeling. IEEE Transactions on Industrial Electronics, , , USA. ISSN 0278-0046, 2011, vol. 58, no. 8, pp. 3205-3212.
SVOBODA, David.
Efficient Computation of Convolution of Huge Images. In Image Analysys and Processing - ICIAP 2011. Vyd. LNCS 6978, Part I. Berlin, Heidelberg : Springer-Verlag, 2011. ISBN 978-3-642-24084-3, pp. 453-462. 13.9.2011, Ravenna, Italy.
KARAS, Pavel.
Efficient Computation of Morphological Greyscale Reconstruction. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (Selected Papers). Saarbrücken, Warden : Schloss Dagstuhl Publishing, 2011. ISBN 978-3-939897-22-4, pp. 54-61. 22.10.2010, Mikulov.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana.
Efficient Data Representation of Large Job Schedules. In MEMICS 2011, Revised Selected Papers. Berlin : Springer, Lecture Notes in Computer Science 7119, 2011. ISBN 978-3-642-25928-9, pp. 103-113. 2011, Lednice.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana.
Efficient Grid Scheduling through the Incremental Schedule-based Approach. Computational Intelligence, , Wiley-Blackwell Publishing, Inc, USA. ISSN 0824-7935, 2011, vol. 27, no. 1, pp. 4-22.
MATELA, Jiří - RUSŇÁK, Vít - HOLUB, Petr.
Efficient JPEG2000 EBCOT Context Modeling for Massively Parallel Architectures. In Data Compression Conference (DCC), 2011. Washington, DC, USA : IEEE Computer Society, 2011. ISBN 978-0-7695-4352-9, pp. 423-432. 2011, Snowbird, Utah, USA.
VAŘECHA, Miroslav - POTĚŠILOVÁ, Michaela - MATULA, Pavel - KOZUBEK, Michal.
Endonuclease G interacts with histone H2B, AIF, and DNA topoisomerase II alpha during apoptosis as revealed by FRET analysis of living cells. 2011.
FAHRENBERG, Uli - JUHL, Line - LARSEN, Kim G. - SRBA, Jiří.
Energy Games in Multiweighted Automata. In Proceedings of the 8th International Colloquium on Theoretical Aspects of Computing ({ICTAC}'11). Neuveden : Springer-Verlag, 2011. ISBN 978-3-642-23283-1, pp. 95--115. 2011, South Africa.
GRUSKA, Jozef.
Entanglement and new perception of Informatics. 2011.
GRUSKA, Jozef.
Entanglement and new Perception of Informatics. In AIP Conference Proceedings Volume 1384. 75 YEARS OF QUANTUM ENTANGLEMENT: FOUNDATIONS AND INFORMATION THEORETIC APPLICATIONS: S. N. Bose National Centre for Basic Sciences Silver Jubilee Symposium. Neuveden : Neuveden, 2011. ISBN 978-0-7354-0945-3, pp. 59-65. 2011, Kalkata.
ŠAFRÁNEK, David - ČERVENÝ, Jan - KLEMENT, Matej - POSPÍŠILOVÁ, Jana - BRIM, Luboš - LAZÁR, Dušan - NEDBAL, Ladislav.
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes. BioSystems, , Elsevier. ISSN 0303-2647, 2011, vol. 103, no. 2, pp. 115-124.
KLUSÁČEK, Dalibor.
Event-based Optimization of Schedules for Grid Jobs. 2011.
MA, Yun Gui - SAHEBDIVAN, Sahar - ONG, C. K. - TYC, Tomáš - LEONHARDT, Ulf.
Evidence for subwavelength imaging with positive refraction. New Journal of Physics, Velká Británie, IOP, Great Britain. ISSN 1367-2630, 2011, vol. 13, no. 033016, pp. 1-10.
BAUER, Sebastian - JUHL, Line - LARSEN, Kim G. - LEGAY, Axel - SRBA, Jiří.
Extending Modal Transition Systems with Structured Labels. Mathematical Structures in Computer Science, , Cambridge University Press, Great Britain. 2011, 35 p. To appear.
PAUNKOVIC, N. - BOUDA, Jan - MATEUS, P.
Fair and Optimistic Quantum Contract Signing. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2011, vol. 84, no. 6, pp. 062331-62341.
ULMAN, Vladimír.
Fast Anisotropic Filtering and Performance Evaluation Tool for Optical Flow in Biomedical Image Analysis. 2011.
MAŠKA, Martin - MATULA, Pavel - MUNOZ-BARRUTIA, Arrate - ORTIZ-DE-SOLÓRZANO, Carlos.
Fast Tracking Algorithm of GFP-Transfected Living Cells Based on the Chan-Vese Model. 2011.
BRIM, Luboš - CHALOUPKA, Jakub - DOYEN, Laurent - GENTILINI, Raffaella - RASKIN, Jean-François.
Faster algorithms for mean-payoff games. Formal Methods in System Design, , Springer Netherlands, The Nederlands. ISSN 0925-9856, 2011, vol. 38, no. 2, pp. 97-118.
BRÁZDIL, Tomáš - KRČÁL, Jan - KŘETÍNSKÝ, Jan - ŘEHÁK, Vojtěch.
Fixed-delay Events in Generalized Semi-Markov Processes Revisited. In CONCUR 2011 - Concurrency Theory: 22nd International Conference. Berlin Heidelberg New York : Springer, 2011. ISBN 978-3-642-23216-9, pp. 140-155. Aachen, Německo.
EDELKAMP, Stefan - SULEWSKI, Damian - BARNAT, Jiří - BRIM, Luboš - ŠIMEČEK, Pavel.
Flash memory efficient LTL model checking. Science of Computer Programming, , Elsevier, The Nederlands. ISSN 0167-6423, 2011, vol. 76, no. 2, pp. 136--157.
HLINĚNÝ, Petr - MORIŠ, Ondrej.
Generalized Maneuvers in Route Planning. In MEMICS 2011 Proceedings LNCS. Berlin Heidelberg : Springer-Verlag, 2011. to appear p. 14.10.2011, Lednice.
MATELA, Jiří - RUSŇÁK, Vít - HOLUB, Petr.
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- Selected Papers. Dagstuhl, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. ISBN 978-3-939897-22-4, pp. 77--84.
FOUSEK, Jan - GOLEMBIOVSKÝ, Tomáš - FILIPOVIČ, Jiří - PETERLÍK, Igor.
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Vyd. 16. Leibniz : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. ISBN 978-3-939897-22-4, pp. 26-31.
GRUSKA, Jozef.
History of TC1 - Foundations of Computer Science. 2011.
HLINĚNÝ, Petr - DERKA, Martin - CHIMANI, Markus - KLUSÁČEK, Matěj.
How Not to Characterize Planar-emulable Graphs. In IWOCA 2011, Lecture Notes in Computer Science 7056. Německo : Springer Verlag, 2011. ISBN 978-3-642-25010-1, pp. 106-120. 2011, Victoria, Canada.
BRÁZDILOVÁ, Silvie Luisa - KOZUBEK, Michal.
Image Division Technique in Pre-acquisition Analysis of Information Content for Automated Microscopy. Journal of Microscopy, Oxford, Blackwell Science, Great Britain. ISSN 0022-2720, 2011, vol. 242, no. 3, pp. 279-289.
GRUSKA, Jozef.
Impacts of informatics on QIPC. Journal of Nanjing university of Posts and Telecommunications, Čína, Nanjing university of Post and Telecommunication, China. ISSN 1673-5439, 2011, vol. 31, no. 2, pp. 40-48.
GRUSKA, Jozef.
Informatics as basis of new methodology for science. 2011.
TROUBIL, Pavel - RUDOVÁ, Hana.
Integer Linear Programming Models and Cycle Avoidance Methods for Media Streams Planning. 2011.
TROUBIL, Pavel - RUDOVÁ, Hana.
Integer Linear Programming Models for Media Streams Planning. Lecture Notes in Management Science, Istanbul, Bahcesehir University, Istanbul, Turkey. ISSN 2008-0050, 2011, vol. 2011, no. 3, pp. 509-522.
TROUBIL, Pavel - RUDOVÁ, Hana.
Integer Programming for Media Streams Planning Problem. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Dagstuhl, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. ISBN 978-3-939897-22-4, pp. 116--123.
VAŘECHA, Miroslav - POTĚŠILOVÁ, Michaela - MATULA, Pavel - KOZUBEK, Michal.
Interaction of endonuclease G with histone H2B, AIF, and DNA topoisomerase II alpha during apoptosis as revealed by FRET imaging of living cells. 2011.
MATELA, Jiří - ŠROM, Martin - HOLUB, Petr.
Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000. Mathematical and Engineering Methods in Computer Science, Lecture Notes in Computer Science, Heidelberg, Springer Berlin / Heidelberg, Germany. ISSN 0302-9743, 2011, vol. 2012, no. 7119, pp. 136-145.
BRÁZDIL, Tomáš - KRČÁL, Jan - KŘETÍNSKÝ, Jan - KUČERA, Antonín - ŘEHÁK, Vojtěch.
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata. In HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control. New York : ACM, 2011. ISBN 978-1-4503-0629-4, pp. 33-42. 12.4.2011, Chicago, IL, USA.
RUDOVÁ, Hana - TROUBIL, Pavel.
Media Streams Planning. 2011.
TROUBIL, Pavel - RUDOVÁ, Hana.
Media Streams Planning for Larger Groups. 2011.
COURTIAL, Johannes Klaus - TYC, Tomáš.
METATOYs and optical vortices. Journal of Optics, Bristol, GB, IOP Publishing Ltd, Great Britain. ISSN 2040-8978, 2011, vol. 13, no. 11, "nestránkováno"-5 pp.
STAIER, Florian - EIPEL, Heinz - MATULA, Petr - EVSIKOV, Alexei V - KOZUBEK, Michal - CREMER, Christoph - HAUSMANN, Michael.
Micro axial tomography: A miniaturized, versatile stage device to overcome resolution anisotropy in fluorescence light microscopy. Rev. Sci. Instrum., USA, American Institute of Physica, USA. ISSN 0034-6748, 2011, vol. 82, no. 9, pp. "093701-1"-"093701-8".
JUHL, Line - LARSEN, Kim G. - SRBA, Jiří.
Modal Transition Systems with Weight Intervals. Journal of Logic and Algebraic Programming, Holland, Elsevier, The Nederlands. 2011. To appear.
BENEŠ, Nikola - ČERNÁ, Ivana - KŘETÍNSKÝ, Jan.
Modal Transition Systems: Composition and LTL Model Checking. In ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium. Heidelberg Dordrecht London New York : Springer, 2011. ISBN 978-3-642-24371-4, pp. 228-242. Taipei, Taiwan.
RAVN, Anders P. - SRBA, Jiří - VIGHIO, Saleem.
Modelling and Verification of Web Services Business Activity Protocol. In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ({TACAS}'11). Neuveden : Springer-Verlag, 2011. ISBN 978-3-642-19835-9, pp. 357--371. 2011, Saarbrücken, Germany.
GRUSKA, Jozef - QIU, Daowen - LI, Lvjun - ZOU, Xiangfu - MATEUS, Paulo.
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states. Acta Informatica, , Springer-Verlag, Germany. ISSN 0001-5903, 2011, vol. 48, no. 5-6, pp. 271-290.
MATELA, Jiří - PULEC, Martin - HOLUB, Petr.
multiOUT. 2011. Software licencován komerční firmě.
RUSŇÁK, Vít - RUČKA, Lukáš.
Multi-Touch Tiled Screens: New Collaborative Workspace Headstone. 2011.
RUSŇÁK, Vít - RUČKA, Lukáš - HOLUB, Petr.
MUSE framework. 2011.
RUSŇÁK, Vít - RUČKA, Lukáš - HOLUB, Petr.
MUSE: Multi-Sensor Framework. 2011. 
WWW.
HLINĚNÝ, Petr - DERKA, Martin - CHIMANI, Markus - KLUSÁČEK, Matěj.
New Development in Planar Emulators. 2011.
GRUSKA, Jozef.
New perception of informatics (Čína). 2011.
GRUSKA, Jozef.
New perception of Informatics (Japonsko). 2011.
GRUSKA, Jozef.
New perception of Informatics (Německo). 2011.
GRUSKA, Jozef.
New perception of Informatics (Nový Zéland). 2011.
GRUSKA, Jozef.
New perception of Informatics (USA). 2011.
KNAPP, Bettina - REBHAN, Ilka - KUMAR, Anil - MATULA, Petr - KIANI, Narsis A - BINDER, Marco - ERFLE, Hoger - ROHR, Karl - EILS, Roland - BARTENSCHLAGER, Ralf - KADERALI, Lars.
Normalizing for Individual Cell Population Context in the Analysis of High-Content Cellular Screens. BMC Bioinformatics, , BioMed Central, Great Britain. ISSN 1471-2105, 2011, vol. 12, no. 485, pp. 1-14.
DANĚK, Ondřej - MATULA, Pavel.
On Euclidean Metric Approximation via Graph Cuts. In Computer Vision, Imaging and Computer Graphics. Theory and Applications. Berlin, Heidelberg : Springer-Verlag, 2011. ISBN 978-3-642-25381-2, pp. 125-134. 2010, Angers.
GRUSKA, Jozef - ZHENG, Shenggen - QIU, Daowen - LI, Lvzhou.
One-way finite automata with quantum and classical states. In LNCS Festschrift Series. : Springer-Verlag, 2011. To appear.
DALSGAARD, Andreas E. - HANSEN, Rene R. - JOERGENSEN, Kenneth Y. - LARSEN, Kim G. - OLESEN, Mads Chr. - SRBA, Jiří.
opaal: A Lattice Model Checker. In Proceedings of the 3rd NASA Formal Methods Symposium ({NFM}'11). Neuveden : Springer-Verlag, 2011. ISBN 978-3-642-20398-5, pp. 487--493. 2011, USA.
ZIMAN, Mário - BUŽEK, Vladimír.
Open system dynamics of simple collision models. In Quantum Dynamics and Information (Proceedings of the 46th Karpacz Winter School of Theoretical Physics). Singapur : World Scientific Publishing, 2011. ISBN 978-981-4317-43-6, pp. 199-229. 2010, Vratislav, Polsko.
BUŽEK, Vladimír - OLIVARES, Stefano - SEDLÁK, Michal - RAPČAN, Peter - PARIS, Matteo G. A.
Optimal unambiguous comparison of two unknown squeezed vacua. Physical Review A, USA, American Physical Society, USA. ISSN 1050-2947, 2011, vol. 83, no. 1, nestránkováno-7 pp.
HLINĚNÝ, Petr - JELÍNKOVÁ, Eva - KRATOCHVÍL, Jan - SUCHÝ, Ondřej.
Parameterized Problems Related to Seidel's Switching. Discrete Mathematics & Theoretical Computer Science, France, DMTCS, France. ISSN 1365-8050, 2011, vol. 13, no. 2, pp. 19-42.
BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - MOLLER, Mikael H. - SRBA, Jiří.
Parametric Modal Transition Systems. In ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium. Heidelberg Dordrecht London New York : Springer, 2011. ISBN 978-3-642-24371-4, pp. 275-289. Taipei, Taiwan.
BENEŠ, Nikola - BRIM, Luboš - BÜHNOVÁ, Barbora - ČERNÁ, Ivana - SOCHOR, Jiří - MORAVCOVÁ VAŘEKOVÁ, Pavlína.
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata. Science of Computer Programming, , Elsevier. ISSN 0167-6423, 2011, vol. 76, no. 10, pp. 877-890.
GRUSKA, Jozef.
Physics and Informatics as two ways to see and explore the world (Alžírsko). 2011.
GRUSKA, Jozef.
Physics and Informatics as two ways to see and explore the world (Čína). 2011.
GRUSKA, Jozef.
Physics and Informatics as two ways to see and explore the world (Indie). 2011.
GRUSKA, Jozef.
Physics and Informatics as two ways to see and explore the world (Rakousko). 2011.
GRUSKA, Jozef.
Physics and Informatics as two ways to see and explore the world (USA). 2011.
BRIM, Luboš - BARNAT, Jiří.
Platform Dependent Verification: On Engineering Verification Tools for 21st Century. Electronic Proceedings in Theoretical Computer Science, , , USA. ISSN 2075-2180, 2011, vol. 72, no. 2011, pp. 1-12. PDMC 2011, Invited talk.
BENEŠ, Nikola - KŘETÍNSKÝ, Jan.
Process Algebra for Modal Transition Systemses. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Dagstuhl, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. ISBN 978-3-939897-22-4, pp. 9--18. 2011, Mikulov.
FIALÍK, Ivan.
Pseudo-Telepathy Games. Saarbrücken : Lambert Academic Publishing, 2011. 122 s. Neuveden. Ph.D. thesis. ISBN 978-3-8443-3281-0.
FIALÍK, Ivan.
Pseudo-Telepathy Games. 2011. Ph.D. thesis.
BRÁZDIL, Tomáš - BROŽEK, Václav - KUČERA, Antonín - OBDRŽÁLEK, Jan.
Qualitative Reachability in Stochastic BPA Games. Information and Computation, , Elsevier, The Nederlands. ISSN 0890-5401, 2011, vol. 209, no. 8, pp. 1160-1183.
MATULA, Petr - LISAUSKAS, Tautvydas - STARKUVIENE, Vytaute - ROHR, Karl.
Quantification of Golgi Complex Assembly and Disassembly in LiveCell Fluorescence Microscopy Images. In Proceedings of Workshop on Microscopic Image Analysis with Applications in Biology. Neuveden : Neuveden, 2011. 4 p. 2.9.2011, Heidelberg.
BOUDA, Jan - ŠPROJCAR, Josef.
QUANTUM COMMUNICATION BETWEEN ANONYMOUS SENDER AND ANONYMOUS RECEIVER IN THE PRESENCE OF STRONG ADVERSARY. International Journal of Quantum Information, , World Scientific. ISSN 0219-7499, 2011, vol. 9, no. 2, pp. 651-663.
GRUSKA, Jozef - QIU, Daowen - LI, Lvjun.
Quantum finite automata. In CRC Handbook on Finite State based Models and Applications. : CRC Press, 2011. 36 p. To appear.
RUDOVÁ, Hana - MÜLLER, Tomáš.
Rapid Development of University Course Timetable. 2011.
BRIM, Luboš - FABRIKOVÁ, Jana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. Electronic Proceedings in Theoretical Computer Science, , , USA. ISSN 2075-2180, 2011, vol. Neuveden, no. 67, pp. 97-112.
REISS, S. - REBHAN, Ilka - BACKES, P. - ROMERO-BREY, I. - ERFLE, Holger - MATULA, Petr - KADERALI, Lars - POENISCH, Marion - BLANKENBURG, H. - HIET, M.S. - LONGERICH, T. - DIEHL, S. - RAMIREZ, F. - BALLA, T. - ROHR, Karl - KAUL, A. - BÜHLER, S. - PEPPERKOK, Rainer - LENGAUER, T. - ALBRECHT, M. - EILS, Roland - SCHIRMACHER, P. - LOHMANN, V. - BARTENSCHLAGER, Ralf.
Recruitment and activation of a lipid kinase by hepatitis C virus NS5A is essential for integrity of the membranous replication compartment. Cell Host & Microbe, , , USA. ISSN 1931-3128, 2011, vol. 9, no. 1, pp. 32-45.
GRUSKA, Jozef.
Roots and stimuli to a new perception of informatics. In Rainbow of Computer Science. Německo : Springer-Verlag, 2011. ISBN 978-3-642-19390-3, pp. 183-199.
BRÁZDIL, Tomáš - KIEFER, Stefan - KUČERA, Antonín - HUTAŘOVÁ VAŘEKOVÁ, Ivana.
Runtime Analysis of Probabilistic Programs with Unbounded Recursion. In Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011). Berlin : Springer, 2011. ISBN 978-3-642-22011-1, pp. 319-331. 2011, Zurich, Switzerland.
BUŽEK, Vladimír - RAPČAN, Peter - CALSAMIGLIA, John - MUNOZ-TAPIA, Ramon - BAGAN, Emilio.
Scavenging quantum information: Multiple observations of quantum systems. Physical Review A, USA, American Physical Society, USA. ISSN 1050-2947, 2011, vol. 84, no. 3, nestránkováno-16 pp.
HLINĚNÝ, Petr - MORIŠ, Ondrej.
Scope-Based Route Planning. In ESA’11: Proceedings of the 19th conference on Annual European Symposium. Berlin Heidelberg : LNCS 6942, Springer-Verlag, 2011. ISBN 978-3-642-23718-8, pp. 445-456. 5.9.2011, Saarbrücken.
MAŠKA, Martin - MATULA, Pavel - KOZUBEK, Michal.
Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (Selected Papers). Saarbrücken, Wadern : Schloss Dagstuhl Publishing, 2011. ISBN 978-3-939897-22-4, pp. 69-76. 22.10.2010, Mikulov.
ČERNÁ, Ivana - GYIMÓTHY, Tibor - HROMKOVIČ, Juraj - JEFFEREY, Keith - KRÁĽOVIČ, Rastislav - VUKOLIC, Marko - WOLF, Stefan.
SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science. 2011.
KEHR, Susanne - MA, Yun Gui - SAHEBDIVAN, Sahar - DI FALCO, Andrea - DANNER, Aaron - TYC, Tomáš - LEONHARDT, Ulf.
Sub-diffraction-limited imaging in the far-field. 2011.
GANIAN, Robert.
Thread graphs, linear rank-width and their algorithmic applications. In Combinatorial Algorithms 2010. Londýn, Velká Británie : Springer, 2011. ISBN 978-3-642-19221-0, pp. 38-42. 2010, Londýn, Velká Británie.
ULMAN, Vladimír - SVOBODA, David.
Tool for Generation of Synthetic Image Datasets for Time-Lapse Fluorescence Microscopy. 2011.
MARQUES, Abinoam Jr. - RAVN, Anders P. - SRBA, Jiří - VIGHIO, Saleem.
Tool Supported Analysis of Web Services Protocols. In Proceedings of the 5th International Workshop of Harnessing Theories for Tool Support in Software ({TTSS}'11). Oslo : University of Oslo, 2011. ISBN 82-7368-371-0, pp. 50--64. 2011, Oslo.
ZIMAN, Mário - BUŽEK, Vladimír - BONANOME, Marianna - HILLERY, Mark.
Toward protocols for quantum-ensured privacy and secure voting. Physical Review A, USA, American Physical Society, USA. ISSN 1050-2947, 2011, vol. 84, no. 2, nestránkováno-9 pp.
RUSŇÁK, Vít - RUČKA, Lukáš.
Towards Collaborative System Based on Tiled Multi-Touch Screens. In TEI '11 Work-in-Progress Workshop Proceedings. Funchal, Portugal : Association for Computing Machinery, 2011. ISBN 978-1-4503-0478-8, pp. 73-78. 23.1.2011, Madeira, Portugal.
KUČERA, Antonín.
Turn-Based Stochastic Games. In Apt, Krzysztof R. - Grädel, Erich. Lectures in Game Theory for Computer Scientists. Cambridge, United Kingdom : Cambridge University Press, 2011. Neuveden, ISBN 978-0-521-19866-0, pp. 146-184.
GANIAN, Robert.
Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics. In Parameterized and Exact Computation. Neuveden : Springer, 2011. ISBN 978-3-642-28049-8, pp. 259-271. 2011, Saarbrucken.
FIALÍK, Ivan.
Unitary Noise and the Mermin-GHZ Game. Journal of Nanjing university of Posts and Telecommunications, Čína, Nanjing university of Post and Telecomm., China. ISSN 1673-5439, 2011, vol. 31, no. 2, pp. 69-73.
GANIAN, Robert.
Using Neighborhood Diversity to Solve Hard Problems. 2011. p. to appear.
JACOBSEN, Lasse - JACOBSEN, Morten - MOLLER, H. Mikael - SRBA, Jiří.
Verification of Timed-Arc {P}etri Nets. In Proceedings of the 37th International Conference on Current Trends in Theory and Practice of Computer Science ({SOFSEM}'11). Neuveden : Springer-Verlag, 2011. ISBN 978-3-642-18380-5, pp. 46--72. 2011, High Tatras, Slovak Republic.
JACOBSEN, Lasse - JACOBSEN, Morten - MOLLER, H. Mikael - SRBA, Jiří.
Verification of Timed-Arc Petri Nets (invited talk). 2011.
HLINĚNÝ, Petr.
20 years of Negami's planar cover conjecture. Graphs and Combinatorics, Tokyo, Springer Japan, Japan. ISSN 0911-0119, 2010, vol. 26, no. 4, pp. 525-536.
HLINĚNÝ, Petr - KUČERA, Antonín.
35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010). 2010. Czech Republic, Brno, Czech Republic. 23.8.2010 - 27.8.2010, Worldwide Activity.
KUČERA, Antonín - POTAPOV, Igor.
4th International Workshop on Reachability Problems. 2010. Czech Republic, Brno, Czech Republic. 28.8.2010 - 29.8.2010, Worldwide Activity.
MAŠKA, Martin - MATULA, Pavel - DANĚK, Ondřej - KOZUBEK, Michal.
A Fast Level Set-Like Algorithm for Region-Based Active Contours. In 6th International Symposium on Visual Computing. Berlin, Heidelberg : Springer-Verlag, 2010. ISBN 978-3-642-17276-2, pp. 387-396. 27.11.2010, Las VegasLNCS 6455.
GRUSKA, Jozef.
A new perception of informatics. 2010.
GRUSKA, Jozef.
A Perception of Informatics. 2010.
DANĚK, Ondřej - MAŠKA, Martin.
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation. In 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno : NOVPRESS, 2010. ISBN 978-80-87342-10-7, pp. 45-52. 22.10.2010, Mikulov.
BURKE, K - MAREČEK, Jakub - PARKES, Andrew - RUDOVÁ, Hana.
A supernodal formulation of vertex colouring with applications in course timetabling. Annals of Operations Research, , Springer Netherlands, The Nederlands. ISSN 0254-5330, 2010, vol. 179, no. 1, pp. 105--130.
TŮMOVÁ, Jana - YORDANOV, Boyan - BELTA, Calin - ČERNÁ, Ivana - BARNAT, Jiří.
A Symbolic Approach to Controlling Piecewise Affine Systems. In Proceedings of of the 49th IEEE Conference on Decision and Control (CDC). Neuveden : Omnipress for IEEE Control Systems Society, 2010. ISBN 978-1-4244-7744-9, pp. 4230-4235. 2010, Atlanta, GA, USA.
VAŘECHA, Miroslav.
AIFM2 (apoptosis-inducing factor, mitochondrion-associated, 2). Atlas of Genetics and Cytogenetics in Oncology and Haematology, Francie, INIST-CNRS, France. ISSN 1768-3262, 2010, vol. 5, no. 14, pp. 435-436.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana.
Alea 2 - Job Scheduling Simulator. In SIMUTools'10 3rd International Conference on Simulation Tools and Techniques. Vyd. 1. Belgium : ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) ICST, Brussels, 2010. ISBN 978-963-9799-87-5, 10 p. 2010, Malaga (Španělsko).
CHALOUPKA, Jakub.
Algorithm for Two-Energy Games. In Mathematical and Engineering Methods in Computer Science (MEMICS) 2010. Brno : NOVPRESS s.r.o., 2010. ISBN 978-80-87342-10-7, 9 p. Mikulov.
BABIAK, Tomáš - STREJČEK, Jan - ŘEHÁK, Vojtěch.
Almost Linear Büchi Automata. 2010.
Alteration in mitochondrial superoxide production by shRNA gene silencing of AIF in various cell line. 2010.
VAŘECHA, Miroslav - PÁCLOVÁ, Daniela - PROCHÁZKOVÁ, Jiřina - MATULA, Pavel - KOZUBEK, Michal.
Alteration in mitochondrial superoxide production by shRNA gene silencing of AIF in various cell lines. 2010.
SRBA, Jiří.
An Experiment with Using Google Tools for Project Supervision at Tertiary Education. In Proceedings of the 11th International Conference on Computer Systems and Technologies ({CompSysTech}'10). Neuveden : ACM, 2010. ISBN 978-1-4503-0243-2, 6 p. 2010, Sofia, Bulgaria.
JARUŠEK, Petr - PELÁNEK, Radek.
Analýza obtížnosti logických úloh na základě modelů lidského chování. In Kognice a umělý život X. Neuveden : Slezská univerzita v Opavě, 2010. ISBN 978-80-7248-589-5, pp. 171-176. 2010, Ostravice.
KMUNÍČEK, Jan - STŘELCOVÁ, Zora - KULHÁNEK, Petr.
Applicability of Free Energy Calculations using High-Throughput Grid Approach. In Proceedings of International Symposium on Grid Computing (ISGC) 2010. : 2010. .
BÜHNOVÁ, Barbora.
Application of the Automata Theory to Economic Systems: Modelling, Simulation and Analysis. Saarbrücken (DE) : LAP Lambert Academic Publishing, 2010. 108 s. Neuveden. ISBN 978-3-8383-5054-7.
ZIMAN, Mário - HEINOSAARI, Teiko - JIVULESCU, Maria Anastasia - REITZNER, Daniel.
Approximating incompatible von Neumann measurements simultaneously. Physical Review A, USA, American Physical Society, USA. ISSN 1050-2947, 2010, vol. 82, no. 3, pp. 032328-032336.
HLINĚNÝ, Petr - CHIMANI, Markus.
Approximating the Crossing Number of Graphs Embeddable in Any Orientable Surface. In ACM-SIAM Symposium on Discrete Algorithms (SODA 2010). USA, internet : SIAM / ACM, 2010. ISBN 978-0-89871-698-6, pp. 918-927. 17.1.2010, Austin, Texas.
GANIAN, Robert - HLINĚNÝ, Petr - OBDRŽÁLEK, Jan - KNEIS, Joachim - MEISTER, Daniel - SIKDAR, Somnath - ROSSMANITH, Peter.
Are there any good digraph width measures?. In Parameterized and exact computation, IPEC 2010. Vyd. 6478. India : Lecture Notes in Computer Science, Springer-Verlag, 2010. ISBN 978-3-642-17492-6, pp. 135-146. 2010, Chennai, India.
MEEDENIYA, Indika - BÜHNOVÁ, Barbora - ALETI, Aldeida - GRUNSKE, Lars.
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems. In Proceedings of the International Conference on the Quality of Software Architectures (QoSA'10). Berlin / Heidelberg (DE) : Springer Verlag, 2010. ISBN 978-3-642-13820-1, pp. 52-67. 23.6.2010, Prague, Czech Republic.
VAŘECHA, Miroslav - MATULA, Pavel - KOZUBEK, Michal.
Automated spinning disk confocal microscopy in 3D live cell imaging. 2010.
GANIAN, Robert - HLINĚNÝ, Petr - OBDRŽÁLEK, Jan.
Better algorithms for satisfiability problems for formulas of bounded rank-width. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010). Vyd. 2010. Dagstuhl, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, LIPICS, 2010. ISBN 978-3-939897-23-1, pp. 73-83. 2010, Chennai, India.
HLINĚNÝ, Petr.
Canonical generation of matroids. 2010. Invited talk.
KOZUBEK, Michal.
Centre for Biomedical Image Analysis. 2010. p. 23.
RUDOLFOVÁ, Ivana - ZENDULKA, Jaroslav - LEXA, Matej.
Clustering of Protein Substructures for Discovery of a Novel Class of Sequence-Structure Fragments. In ITBAM 2010 (Information Technology in Bio- and Medical Informatics), LNCS 6266. Heidelberg, DE : Springer Verlag, 2010. ISBN 978-3-642-15019-7, pp. 94-101. 2010, Bilbao, Spain.
HOLUB, Petr - LIŠKA, Miloš - RUDOVÁ, Hana - TROUBIL, Pavel.
Comparison of CP and IP Techniques for Data Transfer Planning. 2010.
GOLEMBIOVSKÝ, Tomáš - KŘENEK, Aleš.
Compression of Vector Field Changing in Time. In MEMICS 2010: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno : NOVPRESS, s.r.o., 2010. ISBN 978-80-87342-10-7, pp. 76-83. 22.10.2010, Mikulov.
OBDRŽÁLEK, JanHLINĚNÝ, Petr - VETCHÝ, VladimírGANIAN, Robert.
Česko-Slovenská Konference GRAFY 2010. 2010. Czech Republic, Lednice. 31.5.2010 - 4.6.2010, European Activity.
ŘEHÁK, Vojtěch - SLOVÁK, Petr - STREJČEK, Jan - HÉLOUËT, Loic.
Decidable Race Condition and Open Coregions in HMSC. In Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010). Paphos, Kypr : ECEASST, 2010. 12 p. 2010, Paphos, Kypr.
BURKE, Edmund K. - MAREČEK, Jakub - PARKES, Andrew J. - RUDOVÁ, Hana.
Decomposition, reformulation, and diving in university course timetabling. Computers & Operations Research, Amsterdam, Elsevier, The Nederlands. ISSN 0305-0548, 2010, vol. 37, no. 3, pp. 582-597.
WELSHONS, Kenny - DORN, Patrick - HUTANU, Andrei - HOLUB, Petr - VOLLBRECHT, John - ALLEN, Gabrielle.
Design and Implementation of a Production Dynamically Configurable Testbed. In TG '10 Proceedings of the 2010 TeraGrid Conference. Pittsburgh, PA, USA : ACM New York, NY, USA, 2010. ISBN 978-1-60558-818-6, pp. 1-8. 2.8.2010, Pittsburgh, PA, USA.
JARUŠEK, Petr - PELÁNEK, Radek.
Difficulty Rating of Sokoban Puzzle. In STAIRS 2010, Proceedings of the Fifth Starting AI Researchers' Symposium. Lisbon, Portugal : IOS Press BV, 2010. ISBN 978-1-60750-675-1, pp. 140-146. 16.8.2010, Lisbon.
HLADKÁ, Eva.
Distribuce a zpracování multimediálních dat v IP sítích. 2010.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
DiVinE 2.4. 2010.
BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan - ROČKAI, Petr.
DiVinE: Parallel Distributed Model Checker (Tool paper). In Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010). : 2010. 4 p. 2010, Twente, Netherlands.
SOJKA, Petr.
DML 2010 workshop. 2010. French Republic, Paris, France. 7.7.2010 - 7.7.2010, Worldwide Activity.
KUČERA, Antonín.
Effective Analysis of Infinite State Stochastic Processes and Games. In Esparza, Javier - Spanfelner, Bernd - Grumberg, Orna. Logics and Languages for Reliability and Security. Amsterdam, The Netherlands : IOS Press, 2010. NATO Science for Peace and Security Series, D, 25, ISBN 978-1-60750-099-5, pp. 155-179.
PLESCH, Martin - BUŽEK, Vladimír.
Efficient compression of unknown quantum information. Physical Review A, USA, American Physical Society, USA. ISSN 1050-2947, 2010, vol. 81, no. 3, pp. 032317-032324.
KARAS, Pavel.
Efficient Computation of Morphological Greyscale Reconstruction. In 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno : NOVPRESS, 2010. ISBN 978-80-87342-10-7, pp. 92-100. 22.10.2010, Mikulov.
BARNAT, Jiří - BAUCH, Petr - BRIM, Luboš - ČEŠKA, Milan.
Employing Multiple CUDA Devices to Accelerate LTL Model Checking. In Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010). Neuveden : IEEE Computer Society, 2010. ISBN 978-0-7695-4307-9, pp. 259-266. 2010, Shanghai, China.
ZIMAN, Mário - MORAVČÍKOVÁ, Lenka.
Entanglement-annihilating and entanglement-breaking channels. Journal of Physics A: Mathematical and Theoretical, Velká Británie, IOP Publishing, Great Britain. ISSN 1751-8113, 2010, vol. 43, no. 27, pp. 275306-275318.
KLEMENT, Matej - ŠAFRÁNEK, David - ČERVENÝ, Jan - BRIM, Luboš - NEDBAL, Ladislav.
E-photosynthesis: web software for modeling and analysis of biological processes behind photosynthesis. 2010.
ZIMAN, Mário - BUŽEK, Vladimír - HILLERY, Mark.
Equivalent programmable quantum processors. Optics Communications, , , The Nederlands. ISSN 0030-4018, 2010, vol. 283, no. 5, pp. 822-826.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana - PLACHÁ, Miroslava.
Experiments with Job Scheduling in MetaCentrum. 2010.
OLŠÁK, Marek - FILIPOVIČ, Jiří - PROKOP, Martin.
FastGrid -- The Accelerated AutoGrid Potential Maps Generation for Molecular Docking. Computing and Informatics, Bratislava, Slovak Academy of Sciences, Slovakia. ISSN 1335-9150, 2010, vol. 29, no. 6+, pp. 1325-1336.
ULMAN, Vladimír.
Filtering with Anisotropic 3D~Gabor Filter Bank Efficiently Computed with 1D~Convolutions without Interpolation. In Proceedings of the Seventh IASTED International Conference on Signal Processing, Pattern Recognition and Applications. Calgary : ACTA Press, 2010. ISBN 978-0-88986-823-6, pp. 33-42. 17.2.2010, Innsbruck.
BUŽEK, Vladimír - FELDMAN, Edgar - HILLERY, Mark - LEE, Hai-Woong - REITZNER, Daniel - ZHENG, Hongjun.
Finding structural anomalies in graphs by means of quantum walks. Physical Review A, USA, American Physical Society, USA. ISSN 1050-2947, 2010, vol. 82, no. 4, pp. 040301-040304.
YORDANOV, Boyan - TŮMOVÁ, Jana - BELTA, Calin - ČERNÁ, Ivana - BARNAT, Jiří.
Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement. In Proceedings of of the 49th IEEE Conference on Decision and Control (CDC). Neuveden : Omnipress for IEEE Control Systems Society, 2010. ISBN 978-1-4244-7744-9, pp. 5899-5904. 2010, Atlanta, GA, USA.
ČERNÁ, Ivana.
Formal Verification of Component-based Architectures - Motivation, Methods & Challenges. 2010.
KOZUBEK, Michal - BRÁZDILOVÁ, Silvie Luisa.
From autofocusing to automatic 3D information content analysis. 2010. Faculty of Informatics, Masaryk University, Brno, Czech republic.
GRUSKA, Jozef.
From Quantum Informatics to a New Perception of Informatics. 2010.
SLOVÁK, Petr - TROUBIL, Pavel - HOLUB, Petr.
GColl: enhancing trust in flexible group-to-group videoconferencing. In Proceedings of the 28th of the international conference extended abstracts on Human factors in computing systems. New York, NY, USA : ACM, 2010. ISBN 978-1-60558-930-5, pp. 3607-3612. 12.4.2010, Atlanta, Georgia, USA.
MATELA, Jiří - FILIPOVIČ, Jiří.
GPU work at FI MUNI and results. 2010.
MATELA, Jiří - RUSŇÁK, Vít - HOLUB, Petr.
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000. In MEMICS 2010 Proceedings. Vyd. first. Brno : NOVPRESS, 2010. ISBN 978-80-87342-10-7, pp. 126-134. 2010, Mikulov.
DANĚK, Ondřej - MATULA, Pavel.
Graph Cuts and Approximation of the Euclidean Metric on Anisotropic Grids. In VISAPP International Conference on Computer Vision Theory and Applications. Portugal : Institute for Systems and Technologies of Information, Control and Communication, 2010. ISBN 978-989-674-029-0, pp. 68-73. 17.5.2010, AngersUděleno ocenění Best Student Paper Award.
GRUSKA, Jozef.
Gruska pre HN: Viac sebavedomia nikomu neuškodí. Neuveden : Neuveden, 2010. 1 s. Neuveden. ISSN 1335-4701.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana.
Handling Inaccurate Runtime Estimates by Event-based Optimization. 2010.
PETERLÍK, Igor - MATYSKA, Luděk - FILIPOVIČ, Jiří.
Haptic Interaction with Complex Models Based on Precomputations. In Advances in Haptics. Vukovar (Croatia) : IN-TECH, 2010. Neuveden, ISBN 978-953-307-093-3, pp. 333-356.
FOUSEK, Jan - GOLEMBIOVSKÝ, Tomáš - FILIPOVIČ, Jiří - PETERLÍK, Igor.
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data. In MEMICS 2010: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno (Czech Republic) : NOVPRESS, 2010. ISBN 978-80-87342-10-7, pp. 53-59.
BARNAT, Jiří - BRIM, Luboš - ŠAFRÁNEK, David.
High-performance analysis of biological systems dynamics with the DiVinE model checker. Briefings in Bioinformatics, Oxford (UK), Oxford University Press. ISSN 1467-5463, 2010, vol. 11, no. 3, pp. 301-312.
BRÁZDILOVÁ, Silvie Luisa - KOZUBEK, Michal.
Image Division Technique in Automated Fluorescence Microscopy with Complex Content. In PROCEEDINGS OF THE IADIS INTERNATIONAL CONFERENCE COMPUTER GRAPHICS, VISUALIZATION, COMPUTER VISION AND IMAGE PROCESSING 2010. Vyd. 2010. Freiburg, Germany : International Association for Development of the Information Society, 2010. ISBN 978-972-8939-15-1, pp. 176-183. 26.7.2010, Freiburg.
ULMAN, Vladimír.
Improving Accuracy of Optical Flow of Heeger's Original Method on Biomedical Images. In Proceedings of the 7th International Conference on Image Analysis and Recognition, ICIAR 2010. Povoa de Varzim (Portugal) : Springer, 2010. ISBN 978-3-642-13771-6, pp. 263-273. 21.6.2010, Povoa de Varzim (Portugal)LNCS 6111.
GRUSKA, Jozef.
Informatics approaches to quantum information processing. 2010.
BRÁZDILOVÁ, Silvie Luisa.
Information Content Analysis in Automated Fluorescence Microscopy. 2010.
BRÁZDILOVÁ, Silvie Luisa - KOZUBEK, Michal.
Information content analysis in automated microscopy imaging using modified autofocusing approach. 2010. p. 40.
TROUBIL, Pavel - RUDOVÁ, Hana.
Integer Programming for Media Streams Planning Problem. In Mathematical and Engineering Methods in Computer Science 2010. Vyd. first. Brno : NOVPRESS, 2010. ISBN 978-80-87342-10-7, pp. 175-183. 2010, Mikulov.
STEJSKAL, Stanislav - KRONTORÁD KOUTNÁ, Irena - RUČKA, Zdeněk.
Isolation of granulocytes: Which transcriptome do we analyze neutrophils or eosinophils?. Folia Biol. ISSN 0015-5500, 2010, vol. Neuveden, no. 56, pp. 252 - 255.
BABIAK, Tomáš.
LTL to Büchi Automata: Improved Once Again. 2010.
HLINĚNÝ, Petr - KUČERA, Antonín.
Mathematical Foundations of Computer Science 2010. 2010.
FILIPOVIČ, Jiří - FOUSEK, Jan.
Medium-grained functions mapping using modern GPUs. 2010.
MATYSKA, Luděk - KOZUBEK, Michal - VOJNAR, Tomáš - ZEMČÍK, Pavel - ANTOŠ, David.
MEMICS 2010: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2010.
HLADKÁ, Eva.
Multimedia Data Distribution and Processing in IP Networks. 2010.
BARNAT, Jiří - BRIM, Luboš - BAUCH, Petr - ČEŠKA, Milan.
MWC-DiVinE. 2010.
TYC, Tomáš.
Neviditelnost aneb fyzika neviditelného pláště. 2010.
GANIAN, Robert.
New Results on the Complexity of the Max- and Min-Rep Problems. In SOFSEM 2011: Theory and Practice of Computer Science. Nový Smokovec, Slovensko : Springer-Verlag, 2010. ISBN 978-3-642-18380-5, pp. 238-247. 2011, Nový Smokovec, SlovenskoDo RIV presunu az budou zname chybejici udaje.
TYC, Tomáš - CHEN, Huanyang - CHAN, Che Ting - LEONHARDT, Ulf.
Non-Euclidean Cloaking for Light Waves. IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS, 445 HOES LANE, PISCATAWAY, NJ 08855-4141, IEEE, USA. ISSN 1077-260X, 2010, vol. 16, no. 2, pp. 418-426.
GANIAN, Robert - HLINĚNÝ, Petr.
On parse trees and Myhill-Nerode-type tools for handling graphs of bounded rank-width. Discrete Applied Mathematics, Amsterdam, Elsevier B.V., USA. ISSN 0166-218X, 2010, vol. 158, no. 1, pp. 851-867.
KUČERA, Antonín - MAYR, Richard.
On the Complexity of Checking Semantic Equivalences between Pushdown Processes and Finite-state Processes. Information and Computation, , Elsevier, The Nederlands. ISSN 0890-5401, 2010, vol. 208, no. February, pp. 772-796.
BRÁZDIL, Tomáš - BROŽEK, Václav - ETESSAMI, Kousha - KUČERA, Antonín - WOJTCZAK, Dominik.
One-Counter Markov Decision Processes. In Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms. Neuveden : SIAM, 2010. ISBN 978-0-89871-698-6, pp. 863-874. 2010, Austin (Texas, USA).
BRÁZDIL, Tomáš - BROŽEK, Václav - ETESSAMI, Kousha.
One-Counter Stochastic Games. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010). Dagstuhl, Germany : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2010. ISBN 978-3-939897-23-1, pp. 108-119. 15.12.2010, Chennai, Indie.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
Parallel Partial Order Reduction with Topological Sort Proviso. In Software Engineering and Formal Methods (SEFM 2010). Los Alamos : IEEE Computer Society Press, 2010. ISBN 978-0-7695-4153-2, pp. 222-231. 2010, CNR, Pisa, Italy.
FILIPOVIČ, Jiří - PETERLÍK, Igor - MADZIN, Matúš.
Parallel Real-time Deformation Simulator. 2010.
BARNAT, Jiří - BRIM, Luboš - ŠAFRÁNEK, David - VEJNÁR, Martin.
Parameter Scanning by Parallel Model Checking with Applications in Systems Biology. In Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology. Los Alamitos : IEEE Computer Society, 2010. ISBN 978-0-7695-4265-2, pp. 95-104. 2010, Enschede.
BROSCH, Franz - KOZIOLEK, Heiko - BÜHNOVÁ, Barbora - REUSSNER, Ralf.
Parameterized Reliability Prediction for Component-Based Software Architectures. In Proceedings of the International Conference on the Quality of Software Architectures (QoSA'10). Berlin / Heidelberg (DE) : Springer Verlag, 2010. ISBN 978-3-642-13820-1, pp. 36-51. 23.6.2010, Prague, Czech Republic.
TYC, Tomáš - LEONHARDT, Ulf - DANNER, Aaron.
Perfect imaging with positive refraction. 2010.
GRUSKA, Jozef.
Physics and informatics as two roads to understand the world. 2010.
TIBOR GYIRES - HLADKÁ, Eva - PASCAL LORENZ - IWONA POZNIAK-KOSZALKA.
Proceedings of the Ninth International Conference on Networks. 2010.
BENEŠ, Nikola - KŘETÍNSKÝ, Jan.
Process Algebra for Modal Transition Systemses. In MEMICS 2010. Brno : NOVPRESS s.r.o., 2010. ISBN 978-80-87342-10-7, pp. 20-27. 2010, Mikulov.
MATULA, Petr - VERISSIMO, Fatima - WÖRZ, Stefan - EILS, Roland - PEPPERKOK, Rainer - ROHR, Karl.
Quantification of Fluorescent Spots in Time Series of 3-D Confocal Microscopy Images Based on the HMAX Transform. 2010. 15. Leipziger Workshop, Cytomics and Stem Cells Incorporating: 8th International Workshop, Slide-Based Cytometry, Biotechnological-Biomedical Centre, Bio-City Leipzig.
MATULA, Petr - VERISSIMO, Fatima - WÖRZ, Stefan - EILS, Roland - PEPPERKOK, Rainer - ROHR, Karl.
Quantification of Fluorescent Spots in Time Series of 3D Confocal Microscopy Images of Endoplasmic Reticulum Exit Sites Based on the HMAX Transform. In Proceedings of SPIE Medical Imaging. Neuveden : Neuveden, 2010. ISBN 978-0-8194-8027-9, 7 p. 2010, San DiegoVol. 7626.
GRUSKA, Jozef.
Quantum automata, algorithms and complexity. 2010.
GRUSKA, Jozef.
Quantum cryptography. 2010.
GRUSKA, Jozef.
Quantum Informatics - a Revolution in Making. 2010.
BRÁZDIL, Tomáš - JANČAR, Petr - KUČERA, Antonín.
Reachability Games on Extended Vector Addition Systems with States. In Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010). Berlin : Springer, 2010. ISBN 3-642-14161-7, pp. 478-489. 2010, Bordeaux, France.
KUČERA, Antonín - POTAPOV, Igor.
Reachability Problems. 2010.
PETERLÍK, Igor - SEDEF, Mert - BASDOGAN, Cagatay - MATYSKA, Luděk.
Real-time visio-haptic interaction with static soft tissue models having geometric and material nonlinearity. Computers & Graphics, , Elsevier, The Nederlands. ISSN 0097-8493, 2010, vol. 34, no. 1, pp. 43-54.
BUŽEK, Vladimír - RAPČAN, Peter - CALSAMIGLIA, John - MUŇOZ-TAPIA, Ramon - BAGAN, Emili.
Recycling of qubits. Physica Scripta, Švédsko, , Sweden. ISSN 0031-8949, 2010, vol. 82, no. T140, pp. 014059-014062.
RUDOVÁ, Hana - MÜLLER, Tomáš - MURRAY, Keith.
Rozvrhování předmetů pro univerzitu. 2010.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
Scalable shared memory LTL model checking. International Journal on Software Tools for Technology Transfer (STTT), , Springer-Verlag GmbH, Germany. ISSN 1433-2779, 2010, vol. 12, no. 2, pp. 139-153.
BUŽEK, Vladimír - HILLERY, Mark - REITZNER, Daniel.
Searching via walking: How to find a marked clique of a complete graph using quantum walks. Physical Review A, USA, American Physical Society, USA. ISSN 1050-2947, 2010, vol. 81, no. 6, pp. 062324-062328.
LIŠKA, Miloš.
Self-organizing Collaborative Environments. 2010.
MAŠKA, Martin - MATULA, Pavel - KOZUBEK, Michal.
Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm. In 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno : NOVPRESS, 2010. ISBN 978-80-87342-10-7, pp. 117-125. 22.10.2010, Mikulov.
ZIMAN, Mário - SEDLÁK, Michal.
Single-shot discrimination of quantum unitary processes. Journal of Modern Optics, , , Great Britain. ISSN 0950-0340, 2010, vol. 57, no. 3, pp. 253-259.
BARTÁK, Roman - RUDOVÁ, Hana.
Special issue on applications and methodologies for planning and scheduling: editorial. 2010.
HLINĚNÝ, Petr - SALAZAR, Gelasio.
Stars and Bonds in Crossing-Critical Graphs. Journal of Graph Theory, New York, John Wiley & Sons, USA. ISSN 0364-9024, 2010, vol. 65, no. 3, pp. 198-215.
KAPOVA, Lucia - BÜHNOVÁ, Barbora - MARTENS, Anne - HAPPE, Jens - REUSSNER, Ralf.
State dependence in performance evaluation of component-based software systems. In Proceedings of the Joint WOSP/SIPEW International Conference on Performance Engineering (ICPE'10). New York, NY, USA : ACM, 2010. ISBN 978-1-60558-563-5, pp. 37-48. 28.1.2010, San Jose, California, USA.
BRÁZDIL, Tomáš - KRČÁL, Jan - KŘETÍNSKÝ, Jan - KUČERA, Antonín - ŘEHÁK, Vojtěch.
Stochastic Real-Time Games with Qualitative Timed Automata Objectives. In CONCUR 2010 - Concurrency Theory. Berlin Heidelberg New York : Springer, 2010. ISBN 3-642-15374-7, pp. 207-221. 31.8.2010, Paris, France.
RUDOVÁ, Hana - MURRAY, Keith - RUDOVÁ, Hana.
System Demonstration of Interactive Course Timetabling. 2010.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana.
The importance of complete data sets for job scheduling simulations. 2010.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana.
The importance of complete data sets for job scheduling simulations. In Job Scheduling Strategies for Parallel Processing, Revised Selected Papers. Heidelberg : Springer, Lecture Notes in Computer Science 6253, 2010. ISBN 978-3-642-16504-7, pp. 132-153. 2010, Atlanta (USA).
TYC, Tomáš.
The Physics of Everyday Life. 2010. Invited talk.
STEJSKAL, Stanislav - KRONTORÁD KOUTNÁ, Irena - MATULA, Pavel - RUČKA, Zdeněk - DANĚK, Ondřej - MAŠKA, Martin - KOZUBEK, Michal.
The role of chromatin condensation during granulopoiesis in the regulation of gene cluster expression. Epigenetics, USA, Landes Bioscience, USA. ISSN 1559-2294, 2010, vol. 5, no. 8, pp. 759-767.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana.
The Use of Incremental Schedule-based Approach for Efficient Job Scheduling. 2010.
BABIAK, Tomáš.
Translation of LTL to Büchi Automata: Improved Once Again. In Proceedings of 9th International Summer School on Modelling and Verifying Parallel Processes 2010 (MOVEP 2010). Aachen, Germany : 2010. pp. 41-46. 28.6.2010, Aachen, Germany.
FIALÍK, Ivan.
Unitary Noise and the Mermin-GHZ Game. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180, 2010, vol. 25, no. Neuvedeno, pp. 188-198.
FIALÍK, Ivan.
Unitary Noise and the Mermin-GHZ Game. 2010.
TYC, Tomáš.
Unusual phenomena of a usual day. 2010. Invited talk.
TYC, Tomáš.
Unusual phenomena of a usual day. 2010. Invited talk.
PROCHÁZKA, Michal - KOUŘIL, Daniel - MATYSKA, Luděk.
User Centric Authentication for Web Applications. In Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems. Chicago, USA : IEEE, 2010. ISBN 978-1-4244-6620-7, pp. 67-74. 17.5.2010, Chicago, USA.
BRIM, Luboš - CHALOUPKA, Jakub.
Using Strategy Improvement to Stay Alive. In Games, Automata, Logics and Formal Verification (GandALF) 2010. Neuveden : Electronic Proceedings in Theoretical Computer Science (EPTCS), 2010. pp. 40-54. 2010, Minori, Itálie.
RUDA, Miroslav - ŠUSTR, Zdeněk - SITERA, Jiří - ANTOŠ, David - HEJTMÁNEK, Lukáš - HOLUB, Petr.
Virtual Clusters as a New Service of MetaCentrum, the Czech NGI. In Cracow Grid Workshop '09. Krakow : Academic Computer Centre CYFRONET AGH, 2010. ISBN 978-83-61433-01-9, pp. 64-71. 12.10.2009, Krakow.
HOLUB, Petr - HLADKÁ, Eva.
Virtual Multicast. In Trends in Telecommunications Technologies. Vyd. 1. Vukovar, Croatia : IN-TECH, 2010. Neuveden, ISBN 978-953-307-072-8, pp. 63-85.
HLADKÁ, Eva - LIŠKA, Miloš.
Vizualization Via HD Videoconferencing. 2010.
MATELA, Jiří.
Využití GPU pro urychlení obrazové komprese. 2010.
KOZUBEK, Michal.
Využití laseru ve světelné mikroskopii při studiu prostorového uspořádání a dynamiky buněčných struktur. 2010.
GRUSKA, Jozef.
Významnou asijskou konferenci vede profesor z České republiky. Brno : Masarykova univerzita v Brně, 2010. ISSN 1801-0806.
CHALOUPKA, Jakub.
Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P. In Reachability Problems. Berlin : Springer Berlin / Heidelberg, 2010. ISBN 978-3-642-15348-8, pp. 104-119. 2010, Brno.
HLINĚNÝ, Petr.
21 years of Negami's planar cover conjecture. 2009. Invited talk.
MAŠKA, Martin - MATULA, Pavel.
A Fast Level Set-Like Algorithm with Topology Preserving Constraint. In 13th International Conference on Computer Analysis of Images and Patterns. Berlin, Heidelberg : Springer-Verlag, 2009. ISBN 978-3-642-03766-5, pp. 930-938. 2.9.2009, MuensterLNCS 5702.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. In Formal Methods and Software Engineering. Germany : Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-10372-8, pp. 407-425. 2009, Rio de Janeiro.
MAŠKA, Martin - DANĚK, Ondřej - ORTIZ-DE-SOLÓRZANO, Carlos - MUNOZ-BARRUTIA, Arrate - KOZUBEK, Michal - FERNÁNDEZ GARCÍA, Ignacio.
A Two-Phase Segmentation of Cell Nuclei Using Fast Level Set-Like Algorithms. In 16th Scandinavian Conference on Image Analysis. Berlin, Heidelberg : Springer-Verlag, 2009. ISBN 978-3-642-02229-6, pp. 390-399. 15.6.2009, OsloLNCS 5575.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana.
Alea 2 - job scheduling simulator. 2009.
BABIAK, Tomáš - ŘEHÁK, Vojtěch - STREJČEK, Jan.
Almost Linear Büchi Automata. In Proceedings 16th International Workshop on Expressiveness in Concurrency 2009 (EXPRESS'09). Vyd. 1st ed. internet : EPTCS, 2009. pp. 16-25. 2009, Bologna, Italia.
HLINĚNÝ, Petr - CHIMANI, Markus - MUTZEL, Petra.
Approximating the Crossing Number of Apex Graphs (poster). In Symposium Graph Drawing 2008, Lecture Notes in Computer Science. Vyd. 5417. Berlin : Springer Verlag, 2009. ISBN 978-3-642-00218-2, pp. 432-434. 21.10.2008, Heraklion, Greece.
BRÁZDILOVÁ, Silvie Luisa - KOZUBEK, Michal.
Autofocusing software issues in automated fluorescence microscopy. 2009.
BRÁZDILOVÁ, Silvie Luisa - KOZUBEK, Michal.
Automated search for information content in fluorescence microscopy images using modified autofocusing approach. 2009.
VAŘECHA, Miroslav - AMRICHOVÁ, Jana - MATULA, Pavel - KOZUBEK, Michal.
Automated spinning disk confocal microscopy in 3D live cell imaging. 2009.
BROŽEK, Václav.
Basic Model Checking Problems for Stochastic Games. 2009. Ph.D. Thesis.
GANIAN, Robert - HLINĚNÝ, Petr.
Better Polynomial Algorithms on Graphs of Bounded Rank-width. In IWOCA 2009: International Workshop On Combinatorial Algorithms, Lecture Notes in Computer Science 5874. Vyd. 5874. Berlin : Springer, 2009. ISBN 978-3-642-10216-5, pp. 266-277. 2009, Hradec nad Moravicí.
BARNAT, Jiří - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David - BRIM, Luboš - ČERNÁ, Ivana - LÁNÍK, Jan.
BioDiVinE. 2009.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - LÁNÍK, Jan - ŠAFRÁNEK, David - HONGWU, Ma.
BioDiVinE: A Framework for Parallel Analysis of Biological Models. In Proceedings of 2nd International Workshop on Computational Models for Cell Processes. Neuveden : EPTCS, 2009. pp. 31-45. 2009, Eindhoven.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - LÁNÍK, Jan - ŠAFRÁNEK, David.
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models. In Computational Mehotds in Systems Biology: Abstract of the Posters. Pisa : University of Pisa, 2009. pp. 1-5. 2009, Bologna.
BRIM, Luboš - ŠAFRÁNEK, David - VRBAS, Jakub.
BIOMS: Biological Models Specification Tool. 2009.
MISZCZAK, Jarosław - PUCHALA, Zbigniew.
Bound on trace distance based on super-fidelity. Physical Review A, USA, American Physical Society, USA. ISSN 1050-2947, 2009, vol. 79, no. 2, pp. 024302-024305.
BRÁZDIL, Tomáš - BROŽEK, Václav - FOREJT, Vojtěch.
Branching-Time Model-Checking of Probabilistic Pushdown Automata. Electronic Notes in Theoretical Computer Science, , Elsevier, Portugal. ISSN 1571-0661, 2009, vol. 2009, no. 239, pp. 73-83.
LEONHARDT, Ulf - TYC, Tomáš.
Broadband Invisibility by Non-Euclidean Cloaking. Science, , , USA. ISSN 0036-8075, 2009, vol. 323, no. 5910, pp. 110-112.
BARNAT, Jiří - BRIM, Luboš - EDELKAMP, Stefan - SULEWSKI, Damian - ŠIMEČEK, Pavel.
Can Flash Memory Help in Model Checking?. In Formal Methods for Industrial Critical Systems. Neuveden : Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-03239-4, pp. 150-165. 2008, L'Aquila, Italy.
BOUDA, Jan - BUŽEK, Vladimír - GRUSKA, Jozef - PLESCH, Martin - ZIMAN, Mário.
CEQIP 2009. 2009. Czech Republic, Jindřichův Hradec. 1.6.2009 - 4.6.2009, Worldwide Activity.
GRUSKA, Jozef.
Classical and quantum complexity theory. 2009.
BARNAT, Jiří - BRIM, Luboš - ŠIMEČEK, Pavel.
Cluster-Based I/O-Efficient LTL Model Checking. In 24th IEEE/ACM International Conference on Automated Software Engineering. Los Calamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3891-4, pp. 635-639. 2009, Auckalnd, New Zealand.
ZIMAN, Mário - HEINOSAARI, Teiko - REITZNER, Daniel - STANO, Peter.
Coexistence of quantum operations. Journal of Physics A: Mathematical and Theoretical, , , USA. ISSN 1751-8113, 2009, vol. 42, no. 36, 14 p.
BENEŠ, Nikola - BÜHNOVÁ, Barbora - ČERNÁ, Ivana - KŘIVÁNEK, Milan.
CoIn Tool Set. 2009.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana.
Complex Real-life Data Sets in Grid Simulations. 2009.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David.
Computational Analysis of Large-Scale Multi-Affine ODE Models. In International Workshop on High Performance Computational Systems Biology. Los Alamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3809-9, pp. 81-90. 2009, Trento.
BRÁZDIL, Tomáš - FOREJT, Vojtěch - KRČÁL, Jan - KŘETÍNSKÝ, Jan - KUČERA, Antonín.
Continuous-Time Stochastic Games with Time-Bounded Reachability. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009). Dagstuhl, Germany : Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2009. ISBN 978-3-939897-13-2, pp. 61-72. 15.12.2009, IIT Kanpur, India.
FOREJT, Vojtěch.
Controller Synthesis for Markov Decision Processes with Branching-Time Objectives. 2009.
LIŠKA, Miloš - HOLUB, Petr.
CoUniverse: Framework for Building Self-Organizing Collaborative Environments Using Extreme-Bandwidth Media Applications. In The Eighth International Conference on Networks ICN 2009. Cancún, Mexico : IARIA, 2009. ISBN 978-0-7695-3552-4, pp. 259-265. 2009, Cancún, Mexico.
FIALÍK, Ivan.
Cryptographic Applications of Pseudo-Telepathy Games. In MEMICS 2009: Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno, Czech Republic : Masaryk University and Technical University of Brno, 2009. ISBN 978-80-87342-04-6, pp. 62-68. 2009, Znojmo, Czech Republic.
BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan - LAMR, Tomáš.
CUDA Accelerated LTL Model Checking. In Proceedings of the 15th International Conference on Parallel and Distributed Systems. Neuveden : Roy Sterritt, 2009. ISBN 978-0-7695-3900-3, pp. 34-41. 8.12.2009, Shezhen, Čína.
LEXA, Matej - SNÁŠEL, Václav - ZELINKA, Ivan.
Data-mining protein structure by clustering, segmentation and evolutionary algorithms. In Data Mining: Theoretical Foundations and Applications. Germany : Springer Verlag, 2009. Studies in Computational Intelligence, Volume 204, ISBN 978-3-642-01087-3, pp. 221-248.
REBOK, Tomáš.
DiProNN: Distributed Programmable Network Node. 2009.
ROČKAI, Petr - BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan.
DiVinE 2.0. 2009.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
DiVinE 2.0: High-Performance Model Checking. In International Workshop on High Performance Computational Systems Biology. Los Alamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3809-9, pp. 31-32. 2009, Trento.
BARNAT, Jiří - BRIM, Luboš - BAUCH, Petr - ČEŠKA, Milan - LAMR, Tomáš.
DiVinE Cuda. 2009.
BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan.
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking. Electronic Proceedings in Theoretical Computer Science, , , USA. ISSN 2075-2180, 2009, vol. 14, no. Prosinec, pp. 107--111.
SOJKA, Petr.
DML 2009 workshop. 2009. Canada, Grand Bend, Ontario, Canada. 8.7.2009 - 9.7.2009, Worldwide Activity.
VERSTOEP, Kees - BAL, Henri E. - BARNAT, Jiří - BRIM, Luboš.
Efficient Large-Scale Model Checking. In 23rd IEEE International Parallel & Distributed Processing Symposium. IEEE : IEEE, 2009. ISBN 978-1-4244-3751-1, pp. 201-212. 2009, Rome, Italy.
PAVEL, Šimeček.
External Memory LTL Model Checking. 2009.
CHALOUPKA, Jakub - BRIM, Luboš.
Faster Algorithm for Mean-Payoff Games. In MEMICS 2009. Brno : NOVPRESS s.r.o., 2009. ISBN 978-80-87342-04-6, pp. 45-53. Znojmo.
CHALOUPKA, Jakub - BRIM, Luboš.
Faster Algorithm for Mean-Payoff Games. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Německo : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Německo, 2009. ISBN 978-3-939897-15-6, 9 p. Znojmo, Česká republika.
OLŠÁK, Marek - FILIPOVIČ, Jiří - PROKOP, Martin.
FastGrid -- The Accelerated AutoGrid Potential Maps Generation for Molecular Docking. In MEMICS 2009: Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno, Czech Republic : Masaryk University and Technical University of Brno, 2009. ISBN 978-80-87342-04-6, pp. 160-167. 2009, Znojmo, Czech Republic.
OLŠÁK, Marek - FILIPOVIČ, Jiří - PROKOP, Martin.
FastGrid -- The Accelerated Computation of Potential Maps for Molecular Docking. 2009.
KOZUBEK, Michal.
Free tools for automated cell image acquisition and analysis. 2009.
GRUSKA, Jozef.
From classical cryptography to quantum physics through quantum cryptography. Journal of the Indian Institute of Science, , , India. ISSN 0970-4140, 2009, vol. 89, no. 3, pp. 271-282.
GRUSKA, Jozef.
From classical cryptography to quantum physics through quantum cryptography. 2009.
GRUSKA, Jozef.
From quantum informatics towards a new perception of informatics. 2009.
FILIPOVIČ, Jiří - PETERLÍK, Igor - FOUSEK, Jan.
GPU Acceleration of Equations Assembly in Finite Elements Method -- Preliminary Results. 2009.
MATELA, Jiří.
GPU-Based DWT Acceleration for JPEG2000. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno : NOVPRESS s.r.o., 2009. ISBN 978-80-87342-04-6, pp. 136-143. 2009, Znojmo.
MATELA, Jiří.
gpudwt. 2009.
PETERLÍK, Igor.
Haptic Interaction with Non-linear Deformable Objects. 2009.
BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - SRBA, Jiří.
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. In Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings. Heidelberg : Springer-Verlag, 2009. ISBN 978-3-642-03465-7, pp. 112-126. 2009, Kuala Lumpur.
MOGILEVTSEV, Dmitri - TYC, Tomáš - KOROLKOVA, Natalia.
Influence of modal loss on the quantum state generation via cross-Kerr nonlinearity. Physical Review A, New York, American physical society, USA. ISSN 1050-2947, 2009, vol. 79, no. 5, pp. 053832-53843.
GRUSKA, Jozef.
Informatic and physics as two windows to explore the world. 2009.
BRÁZDILOVÁ, Silvie Luisa - KOZUBEK, Michal.
Information Content Analysis in Automated Microscopy Imaging using an Adaptive Autofocus Algorithm for Multimodal Functions. Journal of Microscopy, Oxford, Blackwell Science, Great Britain. ISSN 0022-2720, 2009, vol. 236, no. 3, pp. 194-202.
TOMÁŠ, Müller - RUDOVÁ, Hana - MURRAY, Keith.
Interactive Course Timetabling. 2009.
HOLUB, Petr - LIŠKA, Miloš - LAKE, Andrew - VOLLBRECHT, John.
Interfacing CoUniverse & Internet2 DCN. 2009.
HOLUB, Petr - LIŠKA, Miloš - LAKE, Andrew - TRACY, Chris - LEHMAN, Tom - VOLLBRECHT, John - CASHMAN, Brian.
Interfacing CoUniverse & Internet2 DCN. 2009. Demonstration and presentation.
TYC, Tomáš - LEONHARDT, Ulf.
Invisibility devices. 2009.
PROCHÁZKA, Michal - HOLUB, Petr - HLADKÁ, Eva.
jSon: Network of Active Elements with Peer-to-Peer Control Plane. In The Eighth International Conference on Networks ICN 2009. Cancun, Mexico : IARIA, 2009. ISBN 978-0-7695-3552-4, 8 p. 1.3.2009, Cancun, Mexico.
HLINĚNÝ, Petr - MATYÁŠ, Václav - VOJNAR, Tomáš.
MEMICS 2009, Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, selected papers. 2009.
ANTOŠ, David - SITERA, Jiří - MATYSKA, Luděk - HOLUB, Petr.
MetaCenter Virtual Networks. In Cracow Grid Workshop 2008. Cracow, Poland : Cyfronet AGH, Kraków, Poland, 2009. ISBN 978-83-61433-00-2, pp. 86-93. 13.10.2008, Cracow, Poland.
MORAVCOVÁ VAŘEKOVÁ, Pavlína - VAŘEKOVÁ.
Model Checking of Control-User Systems. 2009. Ph.D. Thesis.
FIALÍK, Ivan.
Noise and the Mermin-GHZ Game. Electronic Notes in Theoretical Computer Science, , , The Nederlands. ISSN 1571-0661, 2009, vol. 251, no. Neuvedeno, pp. 17-26.
AMBAINIS, Andris - BOUDA, Jan - WINTER, Andreas.
Nonmalleable encryption of quantum information. Journal of Mathematical Physics, USA, American Institute of Physics, USA. ISSN 0022-2488, 2009, vol. 50, no. 4, pp. 042106-42113.
FILIPOVIČ, Jiří.
Obecné výpočty na grafických procesorech. 2009.
MATELA, Jiří - HLADKÁ, Eva.
Obraz jako Brno. Brno : Masarykova Univerzita, 2009. ISSN 1212-0901.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - FABRIKOVÁ, Jana - ŠAFRÁNEK, David.
On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science. ISSN 0304-3975, 2009, vol. 2009, no. 410, pp. 3128-3148.
BOZZELLI, Laura - KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
On Decidability of LTL Model Checking for Process Rewrite Systems. Acta informatica, Berlin, Springer-Verlag, Germany. ISSN 0001-5903, 2009, vol. 46, no. 1, pp. 1-28. DOI: 10.1007/s00236-008-0082-3.
KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008). Vyd. 2009. Amsterdam, The Netherlands : Elsevier Science Publishers, 2009. pp. 105-117. 2007, Lisbon, Portugal.
BENEŠ, Nikola - KŘETÍNSKÝ, Jan - LARSEN, Kim G. - SRBA, Jiří.
On Determinism in Modal Transition Systems. Theoretical Computer Science, , Elsevier, The Nederlands. ISSN 0304-3975, 2009, vol. 410/2009, no. 41, pp. 4026-4043.
GANIAN, Robert - HLINĚNÝ, Petr - OBDRŽÁLEK, Jan - LANGER, Alexander - KNEIS, Joachim - ROSSMANITH, Peter.
On Digraph Width Measures in Parameterized Algorithmics. In IWPEC 2009: International Workshop on Parameterized and Exact Computation, Lecture Notes in Computer Science. Vyd. 5917. Berlin : Springer Verlag, 2009. ISBN 978-3-642-11268-3, pp. 185-197. 10.9.2009, Copenhagen, Denmark.
LIŠKA, Miloš.
On Media Streams Planning Problem in CoUniverse. In 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo : FIT VUT, FI MU, 2009. ISBN 978-80-87342-04-6, 10 p. 2009, Znojmo.
FILIPOVIČ, Jiří - PETERLÍK, Igor - MATYSKA, Luděk.
On-Line Precomputation Algorithm for Real-Time Haptic Interaction with Non-Linear Deformable Bodies. In Third Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems. Salt Lake City, Utah, USA : The Institute of Electrical and Electronics Engineers, 2009. ISBN 978-1-4244-3858-7, pp. 24 - 29. 18.3.2009, Salt Lake City, Utah, USA.
CHALOUPKA, Jakub.
Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation. In Algorithms - European Symposium on Algorithms (ESA) 2009. Berlin : Springer Berlin / Heidelberg, 2009. ISBN 978-3-642-04127-3, pp. 599-610. 2009, Kodaň.
BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Partial Order Reduction for State/Event LTL. In Proceedings of the International Conference on Integrated Formal Methods (IFM'09). Berlin / Heidelberg, Germany : Springer Verlag, 2009. ISBN 978-3-642-00254-0, pp. 307-321. 16.2.2009, Düsseldorf, Germany.
VAŘECHA, Miroslav - ZIMMERMANN, Michal - AMRICHOVÁ, Jana - ULMAN, Vladimír - MATULA, Pavel - KOZUBEK, Michal.
Prediction of localization and interactions of apoptotic proteins. Journal of Biomedical Science, BioMed website, BioMed Central, London, England, Great Britain. ISSN 1021-7770, 2009, vol. 16, no. 59, pp. 1-14.
VAŘECHA, Miroslav - ULMAN, Vladimír - MATULA, Pavel - KOZUBEK, Michal.
Prediction of localization and interactions of apoptotic proteins. 2009.
VAŘECHA, Miroslav - PÁCLOVÁ, Daniela - PROCHÁZKOVÁ, Jiřina - MATULA, Pavel - KOZUBEK, Michal.
Prediction of localization and interactions of proteins involved in caspase-independent apoptosis. 2009.
Proceedings of DML 2009 Towards a Digital Mathematics Library. 2009.
ČEŠKA, Milan - KOTÁSEK, Zdeněk - KŘETÍNSKÝ, Mojmír - MATYSKA, Luděk - VOJNAR, Tomáš.
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers. Electronic Notes in Theoretical Computer Science, Amsterdam, The Netherlands, Elsevier B.V. ISSN 1571-0661, 2009, vol. 251, 96 p.
ZIMAN, Mário.
Process POVM. 2009.
ŠPROJCAR, Josef.
PROPOSAL OF A SEMIFORMAL MODEL OF ANONYMOUS COMMUNICATION. International Journal of Foundations of Computer Science, Singapore, World Scientific Publishing. ISSN 1793-6373, 2009, vol. 20/2009, no. 3, 26 p.
BRÁZDIL, Tomáš - BROŽEK, Václav - KUČERA, Antonín - OBDRŽÁLEK, Jan.
Qualitative Reachability in Stochastic BPA Games. In Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science. Freiburg, Germany : IBFI Schloss Dagstuhl, 2009. ISBN 978-3-939897-09-5, pp. 207-218. 2009, Freiburg, Germany.
GRUSKA, Jozef.
Quantum complexity theory. 2009.
GRUSKA, Jozef.
Quantum computing. In Wiley Encyclopedia of Computer Science and Engineering. USA : Wiley, 2009. vol. 4, ISBN 978-0-471-38393-2, pp. 2297-2310.
ZIMAN, Mário - RYBÁR, Tomáš.
Quantum Finite-Depth Memory Channels: Case Study. Physical Review A, , , USA. ISSN 1050-2947, 2009, vol. 80, no. 4, 7 p.
BUŽEK, Vladimír - HILLERY, Mark.
Quantum Machines. Contemporary Physics, , , Great Britain. ISSN 0010-7514, 2009, vol. 50, no. 5, pp. 575-586.
BUŽEK, Vladimír - HILLERY, Mark - FELDMAN, Edgar - REITZNER, Daniel.
Quantum searches on highly symmetric graphs. Physical Review A. ISSN 1050-2947, 2009, vol. 79, no. 1, pp. 012323-12333.
BOUDA, Jan - KONIORCZYK, Matyas - VARGA, Árpád.
Random unitary qubit channels: entropy relations,private quantum channels and non-malleability. The European Physical Journal D, , Springer, Germany. ISSN 1434-6060, 2009, vol. 53, no. 3, pp. 365-372.
KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
Reachability is decidable for weakly extended process rewrite systems. Information and Computation, , Elsevier, The Nederlands. ISSN 0890-5401, 2009, vol. 207, no. 6, pp. 671-680.
GRUSKA, Jozef.
Recent developments in quantum cryptography. 2009.
BROŽEK, Václav.
Regularity in PDA Games Revisited. Electronic Notes in Theoretical Computer Science, Amsterdam, The Netherlands, Elsevier Science Publishers, The Nederlands. ISSN 1571-0661, 2009, vol. 2009, no. 251, pp. 5-16.
DANĚK, Ondřej - MATULA, Pavel - ORTIZ-DE-SOLÓRZANO, Carlos - MUNOZ-BARRUTIA, Arrate - MAŠKA, Martin - KOZUBEK, Michal.
Segmentation of Touching Cell Nuclei using a Two-Stage Graph Cut Model. In 16th Scandinavian Conference on Image Analysis. Berlin, Heidelberg : Springer-Verlag, 2009. ISBN 978-3-642-02229-6, pp. 410-419. 15.6.2009, OsloLNCS 5575.
NIELSEN, Mogens - KUČERA, Antonín - MILTERSEN, Peter Bro - PALAMIDESSI, Catuscia - TŮMA, Petr - VALENCIA, Frank - BIELIKOVÁ, Mária.
SOFSEM 2009: Theory and Practice of Computer Science. 2009.
MOGENS, Nielsen - KUČERA, Antonín - MILTERSEN, Peter Bro - PALAMIDESSI, Catuscia - TŮMA, Petr - VALENCIA, Frank.
SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science : Špindlerův Mlýn, Czech Republic, January 2009, Proceedings. 2009.
BENEŠ, Nikola - KŘIVÁNEK, Milan - ŠTEFAŇÁK, Filip.
Space Effective Model Checking for Component-Interaction Automata. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Německo : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Německo, 2009. ISBN 978-3-939897-15-6, 8 p. 2009, Znojmo, Česká republika.
BYG, Joakim - JOERGENSEN, Kenneth Yrke - SRBA, Jiří.
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. In Proceedings of 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), pages 84-89, volume 5799 of LNCS, Springer-Verlag, 2009. Netherlands : Springer Verlag, 2009. ISBN 978-3-642-04760-2, 6 p. Macao.
ACETO, Luca - INGOLFSDOTTIR, Anna - LARSEN, Kim G. - SRBA, Jiří.
Teaching Concurrency: Theory in Practice. In Proceedings of 2nd International FME Conference on Teaching Formal Methods (TFM'09), pages 158-175, volume 5846 of LNCS, Springer-Verlag, 2009. Netherlands : Springer Verlag, 2009. ISBN 978-3-642-04911-8, 18 p.
GRUSKA, Jozef.
Towards a new perception of informatics (Čína). 2009.
GRUSKA, Jozef.
Towards a new perception of informatics (Itálie). 2009.
GRUSKA, Jozef.
Towards a new perception of Informatics (Německo). 2009.
BOUDA, Jan - KRHOVJÁK, Jan - MATYÁŠ, Václav - ŠVENDA, Petr.
Towards True Random Number Generation in Mobile Environments. In LNCS, Identity and Privacy in the Internet Age. Vyd. 5838/2009. Berlin : Springer, 2009. ISBN 978-3-642-04765-7, pp. 179-189. 2009, Oslo.
ZIMAN, Mário - HEINOSAARI, Teiko - SEDLÁK, Michal.
Unambiguous comparison of quantum measurements. Physical Review A, , , USA. ISSN 1050-2947, 2009, vol. 80, no. 5, 10 p.
ZIMAN, Mário - SEDLÁK, Michal.
Unambiguous comparison of unitary channels. Physical Review A, , , USA. ISSN 1050-2947, 2009, vol. 79, no. 1, pp. 012303-1;012303-7.
ZIMAN, Mário.
Unambiguous identification of coherent states. 2009.
ZIMAN, Mário - SEDLÁK, Michal - BUŽEK, Vladimír - HILLERY, Mark.
Unambiguous identification of coherent states II: Multiple resources. Physical Review A, , , USA. ISSN 1050-2947, 2009, vol. 79, no. 6, 15 p.
SLOVÁK, Petr - TROUBIL, Pavel - HOLUB, Petr.
VIDEOKONFERENČNÍ PROSTŘEDÍ PRO KOMUNIKACI VZDÁLENÝCH SKUPIN. Odeslaná patentová přihláška. Patent. Czech Republic. Úřad průmyslového vlastnictví, 2009. Number : PV 2009-361.
ANTOŠ, David - MATYSKA, Luděk - HOLUB, Petr - SITERA, Jiří.
VirtCloud: Virtual Network for User-controlled Virtual Clusters. 2009. CESNET technical report 1/2009.
ANTOŠ, David - MATYSKA, Luděk - HOLUB, Petr - SITERA, Jiří.
VirtCloud: Virtualising Network for Grid Environments--First Experiences. In The 23rd IEEE International Conference on Advanced Information Networking and Applications AINA 2009. Bradford, UK : IEEE Comp. Soc., 2009. ISBN 978-1-4244-4000-9, pp. 876-883. 26.5.2009, Bradford, UK.
HLINĚNÝ, Petr.
20 years of Negami's planar cover conjecture. In 20th Workshop on topological graph theory in Yokohama. Yokohama, Japan : YNU Yokohama, 2008. pp. 50-59. 22.11.2008, Yokohama National University, Japan.
HLINĚNÝ, Petr.
20 years of Negami's planar cover conjecture. 2008. Invited talk.
HLINĚNÝ, Petr.
20 years of Negami's planar cover conjecture. 2008.
BURKE, Edmund K. - MAREČEK, Jakub - PARKES, Andrew J. - RUDOVÁ, Hana.
A Branch-and-Cut Procedure for the Udine Course Timetabling Problem. 2008.
BENEŠ, Nikola - ČERNÁ, Ivana - SOCHOR, Jiří - MORAVCOVÁ VAŘEKOVÁ, Pavlína - BÜHNOVÁ, Barbora.
A Case Study in Parallel Verification of Component-Based Systems. Electronic Notes in Theoretical Computer Science, Neuveden, Elsevier, Hungary. ISSN 1571-0661, 2008, vol. 220, no. 2, pp. 67-83.
BENEŠ, Nikola - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
A Case Study in Parallel Verification of Component-Based Systems. In Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08). Budapest, Hungary : ETAPS, 2008. pp. 35-51. 29.3.2008, Budapest, Hungary.
BUŽEK, Vladimír.
Accreditation Process of Academic Institutions in Slovakia. 2008. Invited Talk.
BARTÁK, Roman - RUDOVÁ, Hana.
AI Planning and Scheduling, 15-17 May. 2008. 2 s. The Reasoner, vol. 2, no. 7, p. 6-7. ISSN 1757-0522.
KLUSÁČEK, Dalibor - MATYSKA, Luděk - RUDOVÁ, Hana.
Alea - Grid Scheduling Simulation Environment. In Parallel Processing and Applied Mathematics. Heidelberg, Germany : Springer-Verlag, Lecture Notes in Computer Science 4967, 2008. ISBN 978-3-540-68105-2, pp. 1029-1038. 2007, Gdansk, Poland.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana - MATYSKA, Luděk.
Alea - Grid Scheduling Simulation Environment. 2008.
BRÁZDILOVÁ, Silvie Luisa - KOZUBEK, Michal.
An Adaptive Algorithm for Multimodal Focus Functions in Automated Fluorescence Microscopy. In Medical Imaging Conference. Dresden : IEEE, 2008. ISBN 978-1-4244-2714-7, pp. 1-5. 22.10.2008, DresdenM06-291.
HUBENÝ, Jan.
Applications of PDE-Based Image Processing in Fluorescence Microscopy. 2008.
HLINĚNÝ, Petr.
Approaching tree-width of graphs from matroidal perspective. 2008. Invited talk.
GRUSKA, Jozef.
AQIS 2008 (8th Asian Conference on Quantum Information Science), Steering Committee Chair. 2008. Republic of Korea, Seoul, Korea. 25.8.2008 - 31.8.2008, Worldwide Activity.
ULMAN, Vladimír.
Arbitrarily-Oriented Anisotropic 3D Gaussian Filtering Computed with 1D Convolutions without Interpolation. In Proceedings of 8th WSEAS International Conference on Signal Processing, Computational Geometry and Artificial Vision. Ateny : WSEAS, 2008. ISBN 978-960-6766-95-4, pp. 56-62. 20.8.2008, Rhodes, Greece.
HLINĚNÝ, Petr - GANIAN, Robert.
Automata Approach to Graphs of Bounded Rank-width. In Workshop MEMICS 2008. Brno : FI MU, 2008. ISBN 978-80-7355-082-0, p. 257-257. 17.11.2008, Znojmo.
ZIMMERMANN, Michal - VAŘECHA, Miroslav - AMRICHOVÁ, Jana - ULMAN, Vladimír - MATULA, Pavel - KOZUBEK, Michal.
Bioinformatic prediction, molecular modelling and image analysis of localization and interactions of apoptotic proteins endonuclease G, AIF, and AMID. 2008.
BOUDA, Jan - BUŽEK, Vladimír - GRUSKA, Jozef - PLESCH, Martin - ZIMAN, Mário.
CEQIP 2008 (5th Central European Quantum Information Processing Workshop). 2008. Czech Republic, Telč. 5.6.2008 - 8.6.2008, Worldwide Activity.
SRBA, Jiří.
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. In 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08). Netherlands : Springer-Verlag, 2008. ISBN 978-3-540-85777-8, pp. 15-32. 2008, Saint MaloInvited talk.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana - BARAGLIA, Ranieri - PASQUALI, Marco - CAPANNI, Gabriele.
Comparison of Multi-Criteria Scheduling Techniques. In Integrated Research in Grid Computing, CoreGRID Integration Workshop. Heraklion : Crete University Press, 2008. ISBN 978-960-524-260-2, pp. 153-164. 2008, Hersonissos, Crete, Greece.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana - BARAGLIA, Ranieri - PASQUALI, Marco - CAPANNI, Gabriele.
Comparison of Multi-Criteria Scheduling Techniques. In Grid Computing Achievements and Prospects. Heidelberg : Springer, 2008. ISBN 978-0-387-09456-4, pp. 173-184. 2008, Hersonissos, Crete, Greece.
ZIMMEROVÁ, Barbora - VAŘEKOVÁ, Pavlína - BENEŠ, Nikola - ČERNÁ, Ivana - BRIM, Luboš - SOCHOR, Jiří.
Component-Interaction Automata Approach (CoIn). In The Common Component Modeling Example: Comparing Software Component Models. Berlin / Heidelberg, Germany : Springer Verlag, 2008. LNCS 5153, ISBN 978-3-540-85288-9, pp. 146-176.
BRÁZDIL, Tomáš - FOREJT, Vojtěch - KUČERA, Antonín.
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. In Automata, Languages and Programming. 35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008. Proceedings, Part II. Berlin, Heidelberg, New York : Springer, 2008. ISBN 3-540-70582-1, pp. 148-159. 7.7.2008, Reykjavik, Iceland.
HOLUB, Petr - LIŠKA, Miloš.
CoUniverse. 2008.
LIŠKA, Miloš - HOLUB, Petr.
CoUniverse: Framework for Building Self-organizing Collaborative Environments Using Extreme-Bandwidth Media Applications. In Lecture Notes in Computer Science vol. 5415 Euro-Par 2008 Workshops - Parallel Processing. Las Palmas de Gran Canaria, Spain : Springer Berlin / Heidelberg, 2008. ISBN 978-3-642-00954-9, pp. 339-351. 2008, Las Palmas de Gran Canaria, Spain.
KLUSÁČEK, Dalibor.
Dealing with uncertainties in Grids through the event-based scheduling approach. In Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008). 1. vydání. Brno : Ing. Zdeněk Novotný CSc., Ondráčkova 105, 628 00 Brno, 2008. ISBN 978-80-7355-082-0, pp. 91-98. 14.11.2008, Znojmo.
BRÁZDIL, Tomáš - KUČERA, Antonín - STRAŽOVSKÝ, Oldřich.
Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Acta informatica, Berlin, Springer-Verlag, Germany. ISSN 0001-5903, 2008, vol. 45, no. 2, pp. 131-154.
BRÁZDIL, Tomáš - BROŽEK, Václav - HOLEČEK, Jan - KUČERA, Antonín.
Discounted Properties of Probabilistic Pushdown Automata. In Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008. Berlin Heidelberg New York : Springer, 2008. ISBN 978-3-540-89438-4, pp. 230-242. 22.11.2008, Doha, Qatar.
ZIMAN, Mário.
Discrimination of quantum observables. 2008. invited talk.
ZIMAN, Mário - HEINOSAARI, Teiko.
Discrimination of quantum observables using limited resources. Physical Review A, , , USA. ISSN 1050-2947, 2008, vol. 77, no. 1, pp. 042321-42328.
REBOK, Tomáš - HOLUB, Petr.
Distributed Synchronous Infrastructure for Multimedia Streams Transmission and Processing. In Networking Studies II : Selected Technical Reports. Praha : CESNET z.s.p.o., 2008. ISBN 978-80-254-2151-2, pp. 147-169. 2008, Praha.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - ŠIMEČEK, Pavel.
DiVinE Cluster. 2008.
RUDOVÁ, Hana.
Dynamic Scheduling. 2008.
ANTOŠ, David - DENEMARK, Jiří - FOUSEK, Jan.
Effects of Virtualisation on Behaviour and Performance Characteristics of Network Processing. 2008. CESNET technical report 3/2008. WWW.
PETERLÍK, Igor.
Efficient Precomputation of Configuration Space for Haptic Deformation Modeling. In Proceedings of Conference on Human System Interactions, 2008. Krakow : IEEE Xplore, 2008. ISBN 978-1-4244-1542-7, pp. 225-230. 2008, Krakow.
ČERVENKA, Aleš.
Encapsulation of a Communication Reflector into a Virtual Machine. In CESNET Conference 2008: Security, Middleware, and Virtualization - Glue of Future Networks. Prague (Czech Republic) : CESNET, 2008. ISBN 978-80-904173-0-4, pp. 123-130. 25.9.2008, Prague.
TYC, Tomáš.
Engineering invisibility cloaks, black holes and superantennas with optical fibres. 2008. Invited talk.
KOROLKOVA, Natalia - TYC, Tomáš.
Entanglement distribution: New concepts and the continuous variable toolbox. 2008. Invited talk.
ŠIMEČEK, Pavel - PELÁNEK, Radek.
Estimating State Space Parameters. 2008.
HLINĚNÝ, Petr - OUM, Sang-il.
Finding branch-decomposition and rank-decomposition. SIAM Journal on Computing, USA, SIAM, USA. ISSN 0097-5397, 2008, vol. 38, no. 3, pp. 1012-1032.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks. In Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation. Budapest : Ivana Cerna and Gerald Luettgen, 2008. pp. 83-96. 2008, Budapest.
GRUSKA, Jozef.
Fundamentals of quantum computing. 2008. Invited talk.
EISERT, Jens - TYC, Tomáš - RUDOLPH, Terry - SANDERS, Barry.
Gaussian Quantum Marginal Problem. Communications in Mathematical Physics, Berlin / Heidelberg, Springer, Germany. ISSN 0010-3616, 2008, vol. 280, no. 1, pp. 263-280.
KŘENEK, Aleš - SITERA, Jiri - MATYSKA, Luděk - DVORAK, Frantisek - MULAČ, Miloš - RUDA, Miroslav - SALVET, Zdeněk.
gLite Job Provenance - a job-centric view. Concurrency and Computation: Practice and Experience, , John Wiley & Sons, Inc, USA. ISSN 1532-0626, 2008, vol. 20, no. 5, pp. 453-462.
GRUSKA, Jozef.
Globalizácia a veda v ére informatiky. 2008. Invited talk.
ZIMAN, Mário - HEINOSAARI, Teiko.
Guide to Mathematical Concepts of Quantum Theory. Acta Physica Slovaca, , , Slovakia. ISSN 0323-0465, 2008, vol. 58, no. 4, pp. 487-674.
PETERLÍK, Igor - MATYSKA, Luděk.
Haptic Interaction with Soft Tissues Based on State-Space Approximation. In LNCS Haptics: Perception, Devices and Scenarios. Berlin / Heidelberg : Springer, 2008. ISBN 978-3-540-69056-6, pp. 886-895.
MATYSKA, Luděk - HLADKÁ, Eva - HOLUB, Petr - LIŠKA, Miloš.
High Quality Large Scale Virtual Classroom. In Proceedings of the 14th International Conference of European University Information Systems (EUNIS 2008). Arhus, Denmark : Aarhus University, 2008. ISBN 978-87-91234-58-3, 4 p. 25.6.2008, Arhus, DenmarkUvedené ISBN je pro elektronickou publikaci. Pro tištěnou publikaci je ISBN 978-87-91234-56-9.
TYC, Tomáš - KOROLKOVA, Natalia.
Highly non-Gaussian states created via cross-Kerr nonlinearity. New Journal of Physics, Velká Británie, IOP, Great Britain. ISSN 1367-2630, 2008, vol. 10, no. 023041, pp. 1-13.
GRUSKA, Jozef.
Challenges of quantum cryptography. 2008. Invited talk.
ŠIMEČEK, Pavel.
I/O Efficient Model Checking. 2008.
VAŘECHA, Miroslav - AMRICHOVÁ, Jana - ZIMMERMANN, Michal - ULMAN, Vladimír - KOZUBEK, Michal.
Image analysis of localization and translocation of apoptotic proteins in living cells. 2008.
BARNAT, Jiří - CHALOUPKA, Jakub - VAN DE POL, Jaco.
Improved Distributed Algorithms for SCC Decomposition. Electronic Notes in Theoretical Computer Science, , Elsevier, Germany. ISSN 1571-0661, 2008, vol. 2008, no. 198(1), pp. 63-77.
KLUSÁČEK, Dalibor - RUDOVÁ, Hana.
Improving QoS in Computational Grids through Schedule-based Approach. 2008.
ZIMAN, Mário.
Incomplete quantum process tomography and principle of maximal entropy. Physical Review A, , , USA. ISSN 1050-2947, 2008, vol. 78, no. 3, pp. 032118-32125.
BOUYER, Patricia - FAHRENBERG, Uli - LARSEN, Kim G. - MARKEY, Nicolas - SRBA, Jiří.
Infinite Runs in Weighted Timed Automata with Energy Constraints. In Proceedings of Formal Modeling and Analysis of Timed Systems (FORMATS'08), Lecture Notes in Computer Science 5215. Netherlands : Springer-Verlag, 2008. ISBN 978-3-540-85777-8, pp. 33-47. 2008, Saint Malo, France.
VAŘECHA, Miroslav - ZIMMERMANN, Michal - AMRICHOVÁ, Jana - ULMAN, Vladimír - KOZUBEK, Michal.
Interactions of apoptotic proteins AIF and endonuclease G analyzed by bioinformatic predictions, molecular docking, and fluorescent microscopy. 2008.
RUDA, Miroslav - SITERA, Jiri - KŘENEK, Aleš - MATYSKA, Luděk - SUSTR, Zdenek - VOCŮ, Michal.
Job Centric Monitoring on the Grid 7 years of experience with L&B and JP services. In CESNET CONFERENCE 2008-SECURITY, MIDDLEWARE, AND VIRTUALIZATION-GLUE OF FUTURE NETWORKS. Praha : CESNET, 2008. ISBN 978-80-904173-0-4, pp. 3-12. 25.9.2008, Praha.
KŘENEK, Aleš - MATYSKA, Luděk - SITERA, Jiří - RUDA, Miroslav - DVOŘÁK, František - FILIPOVIČ, Jiří - ŠUSTR, Zdeněk - SALVET, Zdeněk.
Job Provenance - Insight into Very Large Provenance Datasets. In Provenance and Annotation of Data and Processes. Second International Provenance and Annotation Workshop, IPAW 2008; LNCS. Berlin : Springer Berlin / Heidelberg, 2008. ISBN 978-3-540-89964-8, pp. 144-151. 2008, Salt Lake City, UT, USA.
SOJKA, Petr.
Mathematical Document Representation and Processing. 2008.
SOJKA, Petr.
Mathematical Knowledge Management in the DML-CZ project (invited talk 27.11.2008, Kyushu Univ.,JP). 2008.
GRUSKA, Jozef.
MEMICS 2008 (Mathematical and Engineering Methods in Computer Science), Programme Committee member. 2008. Czech Republic, Znojmo. 14.11.2008 - 16.11.2008, Worldwide Activity.
ČEŠKA, Milan - KOTÁSEK, Zdeněk - KŘETÍNSKÝ, Mojmír - MATYSKA, Luděk - VOJNAR, Tomáš - ANTOŠ, David.
MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2008.
ČEŠKA, Milan - KOTÁSEK, Zdeněk - KŘETÍNSKÝ, Mojmír - MATYSKA, Luděk - VOJNAR, Tomáš - ANTOŠ, David.
MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2008. Czech Republic, Znojmo. 14.11.2008 - 16.11.2008, Worldwide Activity.
MORAVCOVÁ VAŘEKOVÁ, Pavlína - ČERNÁ, Ivana.
Model Checking of Control-User Component-Based Parametrised Systems. In Lecture Notes in Computer Science 5282. Germany : Springer Verlag, 2008. ISBN 978-3-540-87890-2, pp. 146-162. 2008, Karlsruhe.
ZIMMEROVÁ, Barbora.
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction. Czech Republic : Masaryk University, Faculty of Informatics, 2008. PhD thesis.
BUŽEK, Vladimír - KATRIEL, Jacob.
Multipartitle EPR states. Molecular Physics, , , Great Britain. ISSN 1362-3028, 2008, vol. 106, no. 2-4, pp. 497-508.
BUŽEK, Vladimír.
Multiple observations of quantum systems. 2008. Invited talk.
VAŘECHA, Miroslav - MATULA, Pavel - KOZUBEK, Michal.
New approaches to automated cell image acquisition and analysis using fluorescence microscopy. 2008. Invited talk.
GRUSKA, Jozef - BOUDA, Jan.
New directions in quantum cryptography. 2008. Invited talk.
FIALÍK, Ivan.
Noise and the Mermin-GHZ Game. In Asian Conference on Quantum Information Science. Soul, Jižní Korea : Korea Institute for Advanced Study, 2008. pp. 143-144. 2008, Soul.
FIALÍK, Ivan.
Noise and the Mermin-GHZ Game. In MEMICS 2008: Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno, Czech Republic : Masaryk University and Technical University of Brno, 2008. ISBN 978-80-7355-082-0, pp. 37-44. 2008, Znojmo, Czech Republic.
ŠAFRÁNEK, David.
On Algorithmic Analysis of Biological Networks. 2008.
KUČERA, Antonín - STRAŽOVSKÝ, Oldřich.
On the Controller Synthesis for Finite-State Markov Decision Processes. Fundamenta Informaticae, Polsko, IOS Press, Nizozemí, Poland. ISSN 0169-2968, 2008, vol. 82, no. 1-2, pp. 141-153.
BOUDA, Jan - MATEUS, Paulo - PAUNKOVIC, Nicola - RASGA, Joao.
ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES. International Journal of Quantum Information, , World Scientific, Singapore. ISSN 0219-7499, 2008, vol. 6, no. 2, pp. 281 - 302.
BUŽEK, Vladimír - ZIMAN, Mário - PLESCH, Martin.
Optimal Approximation of Nonphysical Maps via Maximum Likelihood Estimation. In Advances in Information Optics and Photonics. USA : SPIE Press, 2008. 11, ISBN 978-0819472342, pp. 513-532.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Electronic Notes in Theoretical Computer Science. Vyd. Vol. 194/3. Elsevier : Elsevier Science, 2008. pp. 35-50. 2007, LisbonProceedings of From Biology to Concurrency and Back (FBTC 2007).
BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Partial Order Reduction for State/Event LTL. Brno, Czech Republic : Faculty of Informatics, Masaryk University, 2008. Technical report FIMU-RS-2008-07.
BURKE, Edmund K. - MAREČEK, Jakub - PARKES, Andrew J. - RUDOVÁ, Hana.
Penalising Patterns in Timetables: Novel Integer Programming Formulations. In Operations Research Proceedings 2007. Berlin : Springer, 2008. ISBN 978-3-540-77902-5, pp. 409-414.
KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
Petri Nets Are Less Expressive Than State-Extended PA. Theoretical Computer Science, Amsterdam, North Holland, Elsevier Science Publishers, The Nederlands. ISSN 0304-3975, 2008, vol. 394, no. 1-2, pp. 134-140. DOI 10.1016/j.tcs.2007.12.003.
TYC, Tomáš.
Physics of everyday life. 2008. Invited talk.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE-MC. 2008.
ZIMAN, Mário.
Process positive operator valued measure: A mathematical framework for the description of process tomography experiments. Physical Review A, , , USA. ISSN 1050-2947, 2008, vol. 77, no. 6, pp. 062112-62115.
ŠPROJCAR, Josef.
Proposal of semiformal model of anonymity based cryptographic tasks and protocols and their analyses. 2008. PhD thesis.
BUŽEK, Vladimír - KONIORCZYK, Matyas - VARGA, Arpad - RAPČAN, Peter.
Quantum homogenization and state randomization in semi-quantal spin systems. Physical Review A, , , USA. ISSN 1050-2947, 2008, vol. 77, no. 5, pp. 052106-52115.
GRUSKA, Jozef.
QUANTUM INFORMATION PRIMITIVES and QUANTUM COMPLEXITY THEORY. 2008. Invited talk.
BUŽEK, Vladimír.
Quantum observation: Optimal estimation of quantum states and processes from incomplete measurements. 2008. Invited talk.
BRÁZDIL, Tomáš - BROŽEK, Václav - FOREJT, Vojtěch - KUČERA, Antonín.
Reachability in Recursive Markov Decision Processes. Information and Computation, , Elsevier, The Nederlands. ISSN 0890-5401, 2008, vol. 206, no. 5, pp. 520-537.
GRUSKA, Jozef - BOUDA, Jan.
Recent developments and challenges of quantum cryptography. In Sborník Mikulášské kryptobesídky 2008. Praha : Neuveden, 2008. pp. 25-27. 2008, Praha.
BROŽEK, Václav.
Regularity in PDA Games Revisited. In MEMICS 2008 proceedings. Brno : L. Matyska, D. Antoš, M. Češka, Z. Kotásek, T. Vojnar, M. Křetínský (Eds.), 2008. ISBN 978-80-7355-082-0, pp. 21-28. 2008, Znojmo.
ZIMAN, Mário - RYBÁR, Tomáš.
Repeatable quantum memory channels. Phys. Rev. A, , , USA. ISSN 1050-2947, 2008, vol. 78, no. 5, pp. 052114-52118.
BARNAT, Jiří - BRIM, Luboš - ŠIMEČEK, Pavel - WEBER, Michael.
Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking. In Tools and Algorithms for the Construction and Analysis of Systems. Berlin, Heidelberg : Springer-Verlag, 2008. ISBN 978-3-540-78799-0, pp. 48-62. 2008, Budapest, Hungary.
MLNAŘÍK, Hynek.
Semantics of quantum programming language LanQ. International Journal of Quantum Information, , World Scientific, Singapore. ISSN 0219-7499, 2008, vol. 6, no. 1 supp, pp. 733-738.
EDELKAMP, Stefan - SANDERS, Peter - ŠIMEČEK, Pavel.
Semi-external LTL Model Checking. In 20th International Conference on Computer Aided Verification. Berlin, Heidelberg : Springer, 2008. ISBN 978-3-540-70543-7, pp. 530-542.
ŠIMEČEK, Pavel.
Semi-External LTL Model Checking. Co-authors of the original paper in CAV 2008 proceedings. 2008.
FIALÍK, Ivan.
Separation between Classical and Quantum Winning Strategies for the Matching Game. International Journal of Foundations of Computer Science, Singapur, World Scientific, Singapore. ISSN 0129-0541, 2008, vol. 19, no. 6, pp. 1449-1459.
BARNAT, Jiří - ROČKAI, Petr.
Shared Hash Tables in Parallel Model Checking. Electronic Notes in Theoretical Computer Science, , Elsevier, Germany. ISSN 1571-0661, 2008, vol. 2008, no. 198(1), pp. 79-91.
MOREAU, Luc - LUDASCHER, Bertram - ALTINTAS, Ilkay - BARGA, Roger - BOWERS, Shawn - CALLAHAN, Steven - CHIN, George - CLIFFORD, Ben - COHEN, Shirley - COHEN-BOULAKIA, Sarah - DAVIDSON, Susan - DEELMAN, Ewa - DIGIAMPIETRI, Luciano - FOSTER, Ian - FREIRE, Juliana - FREW, James - FUTRELLE, Joe - GIBSON, Tara - GIL, Yolanda - GOBLE, Carole - GOLBECK, Jennifer - GROTH, Paul - HOLLAND, David - JIANG, Sheng - KIM, Jihie - KOOP, David - KŘENEK, Aleš - MCPHILLIPS, Timothy - MEHTA, Gaurang - MILES, Simon - METZGER, Dominic - MUNROE, Steve - MYERS, Jim - PLALE, Beth - PODHORSZKI, Norbert - RATNAKAR, Varun - SANTOS, Emanuele - SCHEIDEGGER, Carlos - SCHUCHARDT, Karen - SELTZER, Margo - SIMMHAN, Yogesh - SILVA, Claudio - SLAUGHTER, Peter - STEPHAN, Eric - STEVENS, Robert - TURI, Daniele - VO, Huy - WILDE, Mike - ZHAO, Jun - ZHAO, Yong.
Special issue: The first provenance challenge. Concurrency and Computation: Practice and Experience, , John Wiley & Sons, Inc, USA. ISSN 1532-0626, 2008, vol. 20, no. 5, pp. 409-418.
TYC, Tomáš - LEONHARDT, Ulf.
Super-antenna. In METAMATERIALS: FUNDAMENTALS AND APPLICATIONS. BELLINGHAM, WA 98227-0010 USA : SPIE-INT SOC OPTICAL ENGINEERING, 2008. ISBN 978-0-8194-7249-6, p. D290-D290. 2008, 2008.
LEONHARDT, Ulf - TYC, Tomáš.
Superantenna made of transformation media. 2008. Invited talk.
LEONHARDT, Ulf - TYC, Tomáš.
Superantenna made of transformation media. New Journal of Physics, Velká Británie, IOP, Great Britain. ISSN 1367-2630, 2008, vol. 10, no. 115026, pp. 1-9.
BENEŠ, Nikola - BRIM, Luboš - ČERNÁ, Ivana - SOCHOR, Jiří - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems. In Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08). Málaga, Spain : Department of Computer Science, University of Málaga, 2008. pp. 221-225. 10.9.2008, Málaga, Spain.
HLINĚNÝ, Petr - SALAZAR, Gelasio - GITLER, Isidoro - LEANOS, Jesus.
The crossing number of a projective graph is quadratic in the face--width. Electronic Journal of Combinatorics, internet, -, USA. ISSN 1077-8926, 2008, vol. 15, no. 1, R46-8 pp.
BRÁZDIL, Tomáš - FOREJT, Vojtěch - KŘETÍNSKÝ, Jan - KUČERA, Antonín.
The Satisfiability Problem for Probabilistic CTL. In 23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings. Los Alamitos, California : IEEE Computer Society, 2008. ISBN 978-0-7695-3183-0, pp. 391-402. 24.6.2008, Pittsburgh, USA.
STEJSKAL, Stanislav - MATULA, Pavel - KOUTNÁ, Irena - DANĚK, Ondřej - MAŠKA, Martin - KOZUBEK, Michal.
The Use of RNA Polymerase II in Epigenetic Analysis. 2008.
SEDLAK, Michal - ZIMAN, Mário - BUŽEK, Vladimír - HILLERY, Mark.
Unambiguous comparison of ensembles of quantum states. Physical Review A (Atomic, Molecular, and Optical Physics), , , USA. ISSN 1050-2947, 2008, vol. 77, no. 1, pp. 042304-42311.
JANČAR, Petr - SRBA, Jiří.
Undecidability of Bisimilarity by Defender's Forcing. Journal of the ACM, New York, ACM, USA. ISSN 0004-5411, 2008, vol. 55/2008, no. 1, pp. 1-26.
ANTOŠ, David.
Úvod do IPv6. Brno : Masarykova univerzita, 2008. 4 s. Zpravodaj ÚVT MU, XIX, 2, 2-5.
KUČERA, Antonín.
Verification of Infinite State Probabilistic Systems. 2008.
HOLUB, Petr.
VirtCloud & CoUniverse: On E2E Services for Grids and Multimedia. 2008. Invited talk.
KUČERA, Luděk - KUČERA, Antonín.
32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007). 2007.
MAŠKA, Martin - HUBENÝ, Jan - SVOBODA, David - KOZUBEK, Michal.
A Comparison of Fast Level Set-Like Algorithms for Image Segmentation in Fluorescence Microscopy. In 3rd International Symposium on Visual Computing. Berlin, Heidelberg : Spinger-Verlag, 2007. ISBN 978-3-540-76855-5, pp. 571-581. 26.11.2007, Lake Tahoe, Nevada/CaliforniaLNCS 4842.
GRUSKA, Jozef.
Algebraic methods in quantum informatics. 2007. Invited talk.
GRUSKA, Jozef.
Algebraic Methods in Quantum Informatics. In Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers. Thessaloniki : Springer-Verlag Berlin, 2007. ISBN 978-3-540-75413-8, pp. 87-111. 2007, Thessaloniki.
PETERLÍK, Igor - MATYSKA, Luděk.
An Algorithm of State-Space Precomputation Allowing Non-linear Haptic Deformation Modelling Using Finite Element Method. In Second Joint EuroHaprics Conference and Symposium on Haptic Interfaces for Virtual Environments and Teleoperator Systems. Los Alamitos : IEEE Computer Society Press, 2007. ISBN 0-7695-2738-8, pp. 231-236. 2007, Tokyo.
BONANOME, Marianna - HILLERY, Mark - BUŽEK, Vladimír.
Applications of quantum algorithms to the study of group automorphisms. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2007, vol. 76, no. 1, A012324-6 pp. arXiv:0708.2560.
HLINĚNÝ, Petr.
Approximating the Crossing Number for Graphs close to "Planarity". In Structure Theory and FPT Algorithmics for Graphs, Digraphs and Hypergraphs. Abstracts collection, Dagstuhl Seminar 07281. Dagstuhl, Germany : Schloss Dagstuhl GmbH, 2007. pp. 6-7. 2007, Dagstuhl, Germany.
GRUSKA, Jozef.
AQIS (Asia Conference on Quantum Information Science). Steering Committee Chair. 2007. Japan, Kyoto, Japan. 3.9.2007 - 6.9.2007, Worldwide Activity. Kyoto, September 3 - 6, 2007, Shiran Kaikan, Kyoto University, Japan.
LIŠKA, Miloš - RUSŇÁK, Vít - HLADKÁ, Eva.
Automated Hypermedia Authoring for Individualized Learning. In Programm and Abstracts of 8th International Conference on Information Technology Based Higher Education and Training. Kumamoto, Japonsko : Kumamoto University, 2007. 4 p. 10.7.2007, Kumamoto, Japan.
MARTÍNEK, Tomáš - LEXA, Matej - BECK, Patrik - FUČÍK, Otto.
Automatic generation of circuits for approximate string matching. In Proceedings of 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems. Krakow : IEEE Computer Society, 2007. ISBN 1-4244-1161-0, pp. 203-208. 2007, Krakow.
KOZUBEK, Michal.
Automation of biomedical image acquisition and analysis in optical microscopy. 2007. Uppsala University, Sweden, Invited talk.
VAŘECHA, Miroslav - AMRICHOVÁ, Jana - ZIMMERMANN, Michal - ULMAN, Vladimír - LUKÁŠOVÁ, Emilie - KOZUBEK, Michal.
Bioinformatic and image analyses of cellular localization of apoptotic proteins endonuclease G, AIF, and AMID. 2007. Invited talk.
VAŘECHA, Miroslav - AMRICHOVÁ, Jana - ZIMMERMANN, Michal - ULMAN, Vladimír - LUKÁŠOVÁ, Emilie - KOZUBEK, Michal.
Bioinformatic and image analyses of the cellular localization of the apoptotic proteins endonuclease G, AIF, and AMID during apoptosis in human cells. Apoptosis, USA, Springer Science, USA. ISSN 1360-8185, 2007, vol. 12, no. 7, pp. 1155-1171.
VAŘECHA, Miroslav - AMRICHOVÁ, Jana - ZIMMERMANN, Michal - ULMAN, Vladimír - MATULA, Pavel - KOZUBEK, Michal.
Bioinformatic predictions and image analysis of localization and interactions of endonuclease G, AIF, and AMID in human cells. 2007.
BRÁZDIL, Tomáš - BROŽEK, Václav - FOREJT, Vojtěch.
Branching-Time Model-Checking of Probabilistic Pushdown Automata. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. Lisboa : Univerisity of Lisboa, 2007. pp. 24-33. 2007, Lisboa.
BRÁZDIL, Tomáš - BROŽEK, Václav - FOREJT, Vojtěch.
Branching-Time Model-Checking of Probabilistic Pushdown Automata. 2007. Opravená verze téže publikace: místo "D" typ "k" kvůli chybějícímu ISBN.
BOUDA, Jan - BUŽEK, Vladimír - GRUSKA, Jozef - PLESCH, Martin - ZIMAN, Mário.
CEQIP 2007. 2007. Czech Republic, Valtice. 24.6.2007 - 27.6.2007, Worldwide Activity.
FIALÍK, Ivan.
Classical Winning Strategies for the Matching Game. In MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno, Czech Republic : Masaryk University and Technical University of Brno, 2007. ISBN 978-80-7355-077-6, pp. 35-42. 2007, Znojmo, Czech Republic.
FIALÍK, Ivan.
Classical Winning Strategies for the Matching Game. In Asian Conference on Quantum Information Science. Kyoto, Japonsko : Kyoto University, 2007. pp. 28-29. 2007, Kyoto University, Kyoto, Japonsko.
HLINĚNÝ, Petr.
Combinatorial Generation of Matroid Representations: Theory and Practice. In Innovative Applications of Information Technology for the Developing World. Singapore : World Scientific Publishing, 2007. ISBN 978-1-86094-827-5, pp. 3-7. 2005, Kathmandu, Nepal.
EILAND, Daniel - STERLING, Thomas - APON, Amy - LEANGSUKSUN, Box - HOLUB, Petr.
Community Building in Distance Learning Environments: Using uncompressed high-definition videos as a medium for classroom interactivity. Chicago, USA : AccessGrid Retreat, 2007. AccessGrid Retreat 2007. March 30, 2005. Invited talk. WWW.
ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component Substitutability via Equivalencies of Component-Interaction Automata. Electronic Notes in Theoretical Computer Science, , Elsevier, Germany. ISSN 1571-0661, 2007, vol. 182, no. 1, pp. 39-55.
PETERLÍK, Igor - MATYSKA, Luděk.
Contact Modeling in Haptic Interaction Based on Off-line Precomputation Algorithm. Simulation in Healthcare, Hagerstown, Society for Simulation in Healthcare, Canada. ISSN 1559-2332, 2007, vol. 2, no. 2, p. 146-146.
KRAJÍČEK, Ondřej - CECCANTI, Andrea - RUDA, Miroslav - KŘENEK, Aleš.
Designing a distributed mediator for the C-GMA monitoring architecture. In Distributed and Parallel Systems: From Cluster to Grid Computing. Innsbruck, Austria : Springer, 2007. ISBN 978-0-387-69857-1, pp. 155-164.
REBOK, Tomáš.
DiProNN Programming Model. In MEMICS 2007. Znojmo : MEMICS 2007, 2007. ISBN 978-80-7355-077-6, pp. 177-184. 26.10.2007, Znojmo.
REBOK, Tomáš.
DiProNN: Distribuovaný programovatelný síťový prvek s podporou virtuálních strojů. In Širokopásmové sítě a jejich aplikace. Olomouc : CESNET, z. s. p. o. a Univerzita Palackého Olomouc, 2007. ISBN 978-80-244-1687-8, pp. 95-99. 29.5.2007, Olomouc.
REBOK, Tomáš.
DiProNN: Distributed Programmable Network Node Architecture. Krakow, Polsko : Cracow Grid Workshop 2007, 2007. Conference poster. WWW.
REBOK, Tomáš.
DiProNN: VM-based Distributed Programmable Network Node Architecture. Lyngby, Denmark : TERENA Networking Conference TNC2007, 2007. Poster Presentation. WWW.
REBOK, Tomáš.
DiProNN: VM-based Distributed Programmable Network Node Architecture. In European Computing Conference 2007 (ECC'07). Atény : European Computing Conference 2007, 2007. ISBN 978-0-387-84813-6, pp. 265-274. 25.9.2007, Atény.
SKALNÍKOVÁ, Magdalena - BÁRTOVÁ, Eva - ULMAN, Vladimír - MATULA, Petr - SVOBODA, David - HARNIČAROVÁ, Andrea - KOZUBEK, Michal - KOZUBEK, Stanislav.
Distinct patterns of histone methylation and acetylation in human interphase nuclei. Physiological Research, Prague, Czech Academy of Sciences. ISSN 0862-8408, 2007, vol. 56, no. 6, pp. 797-806.
PETERLÍK, Igor.
Distributed Precomputation of State-space for Haptic Interaction with Non-linear Model of Liver. In MEMICS07 Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno : Ing. Zdeněk Novotný CSc., 2007. ISBN 978-80-7355-077-6, pp. 169-176. 2007, Znojmo.
HOLUB, Petr - HLADKÁ, Eva.
Distributed Active Element in 10Gbps Network. In ICT 2007, 14th International Conference on Telecommunications. Penang, Malaysia : IEEE/MICC, 2007. ISBN 978-1-4244-1094-1, pp. 455-460. 14.5.2007, Penang, Malaysia.
HEJTMÁNEK, Lukáš.
Distributed Storage Framework with Offline Support. 2007.
REBOK, Tomáš - HOLUB, Petr.
Distributed Synchronous Infrastructure for Multimedia Streams Transmission and Processing. CESNET z.s.p.o., 2007. 19/2007.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
DiVinE Multi-Core. 2007.
RUDOVÁ, Hana.
Dynamic Scheduling I. 2007.
SLOVÁK, Petr.
Effect of Videoconferencing Environments on Perception of Communication. Cyberpsychology: Journal of Psychosocial Research on Cyberspace, Brno, . ISSN 1802-7962, 2007, vol. 1, no. 1, pp. 20-36.
VAŘEKOVÁ, Pavlína - MORAVEC, Pavel - ČERNÁ, Ivana - ZIMMEROVÁ, Barbora.
Effective verification of systems with a dynamic number of components. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA : ACM Press, 2007. ISBN 978-1-59593-721-6, pp. 3-13. 3.9.2007, Dubrovnik, Croatia.
HOLUB, Petr - PARUCHURI, Ravi - SIMMONS, Stacey - REBOK, Tomáš - HUTANU, Andrei - EILAND, Daniel - LIŠKA, Miloš.
Enabling Technologies for Teaching an HPC Class as a Distributed Course. 2007. Invited talk.
ZIMAN, Mário - BUŽEK, Vladimír.
Entanglement measures: state ordering vs local operations. In Quantum Communication and Security (edited by Marek Żukowski, Sergei Kilin, Janusz Kowalik). Amsterdam : IOP Press, 2007. Vol. 11, ISBN 978-1-58603-749-9, pp. 196-204. NATO Science for Peace and Security Series, D: Information and Communication Security.
BOHÁČ, Lukáš.
Equivalence of Programmable Quantum Processors. In MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno, Czech Republic : Masaryk University and Technical University of Brno, 2007. ISBN 978-80-7355-077-6, pp. 11-18. 26.10.2007, Znojmo, Czech Republic.
HUBENÝ, Jan - ULMAN, Vladimír - MATULA, Pavel.
Estimating Large Local Motion in Live-Cell Imaging Using Variational Optical Flow. In VISAPP 2007 Second International Conference On Computer Vision Theory And Applications, Proceedings. Portugal : INSTICC PRESS, 2007. ISBN 978-972-8865-74-0, pp. 542-548. 8.3.2007, Barcelona, Spain.
HLINĚNÝ, Petr - OUM, Sang-il.
Finding branch-decomposition and rank-decomposition (Extended abstract). In European Symposium on Algorithms (ESA 2007). Berlin : Springer Verlag, 2007. ISBN 978-3-540-75519-7, pp. 163-174. 8.10.2007, Eilat, Israel.
VAŘECHA, Miroslav - AMRICHOVÁ, Jana - ZIMMERMANN, Michal - ULMAN, Vladimír - KAŠÍK, Marek - KOZUBEK, Michal.
Fluorescent microscopy of living cells. 2007.
BABICA, Jindřich - ŘEHÁK, Vojtěch - SLOVÁK, Petr - TROUBIL, Pavel - ZAVADIL, Martin.
Formalisms and Tools for Design and Specification of Network Protocols. Brno : FI MU, 2007. FIMU-RS-2007-02. WWW.
GRUSKA, Jozef.
From classical cryptography to quantum physics through (challenges of) quantum cryptography. 2007. Invited talk.
GRUSKA, Jozef.
From classical cryptography to quantum physics through quantum cryptography. 2007. Invited talk.
GRUSKA, Jozef.
From New Challenges of Classical Cryptography to Challenges for Quantum Cryptography. 2007. Invited talk.
LEXA, Matej - MARTÍNEK, Tomáš - BECK, Patrik - FUČÍK, Otto - VALLE, Giorgio - ZARA, Ivano.
Genomic PCR simulation with hardware-accelerated approximate sequence matching. In Proceedings 21st European Conference on Modelling and Simulation. Praha : ECMS, 2007. ISBN 978-0-9553018-2-7, pp. 333-338. 4.6.2007, Praha.
RUDA, Miroslav - RUDOVÁ, Hana.
Grid Simulator with Production Scheduling Algorithms (abstract). Cracow, Poland : 2007. Cracow Grid Workshop '07. WWW.
MATYSKA, Luděk - HOLUB, Petr - HLADKÁ, Eva.
HD Collaborative Framework for Distributed Distance Learning. In Proceedings of the 4th High-End Visualization Workshop. Rakousko : University of Innsbruck, 2007. ISBN 978-3-86541-216-4, pp. 40-45. 18.6.2007, Obergurgl, Tyrol, Austria.
HLADKÁ, Eva - MATYSKA, Luděk.
HD Video in Teaching Environment. Internet2 Fall Member Meeting, San Diego, California, USA, 7-11 October, 2007. zvaná přednáška. WWW.
BARNAT, Jiří - BRIM, Luboš - ŠIMEČEK, Pavel.
I/O Efficient Accepting Cycle Detection. In 19th International Conference on Computer Aided Verification. Berlin, Heidelberg : Springer, 2007. ISBN 978-3-540-73367-6, pp. 281-293.
BARNAT, Jiří - CHALOUPKA, Jakub - VAN DE POL, Jaco.
Improved Distributed Algorithms for SCC Decomposition. CTIT Workshop Proceedings, University of Twente, CTIT, Germany. ISSN 0929-0672, 2007, vol. 2007, no. WP 07-04, pp. 65-80.
ZIMAN, Mário.
Lecture on Quantum Estimation. 2007. Invited talk.
KLUSÁČEK, Dalibor - MATYSKA, Luděk - RUDOVÁ, Hana.
Local Search for Deadline Driven Grid Scheduling. In Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). 1. vydání. Brno : Ing. Zdeněk Novotný CSc., Ondráčkova 105, 628 00 Brno, 2007. ISBN 978-80-7355-077-6, pp. 74-81. 2007, Znojmo.
KLUSÁČEK, Dalibor - MATYSKA, Luděk - RUDOVÁ, Hana - BARAGLIA, Ranieri - CAPANNINI, Gabriele.
Local Search for Grid Scheduling. 2007.
DENEMARK, Jiří - RUDA, Miroslav - MATYSKA, Luděk.
Magrathea -- Grid Management Using Virtual Machine. In Cracow Grid Workshop '06. Krakow, Polsko : Academic Computer Centre CYFRONET AGH, 2007. ISBN 83-915141-7-X, pp. 138-145. 15.10.2006, Krakow, Polsko.
KUČERA, Luděk - KUČERA, Antonín.
Mathematical Foundations of Computer Science 2007. 2007.
KUČERA, Luděk - KUČERA, Antonín.
Mathematical Foundations of Computer Science 2007. Berlin Heidelberg New York : Springer, 2007. 764 s. Lecture Notes in Computer Science, vol. 4708. ISBN 3-540-74455-X.
MATYSKA, Luděk - ANTOŠ, David - ČEŠKA, Milan - KŘETÍNSKÝ, Mojmír - HLINĚNÝ, Petr.
MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2007.
MATYSKA, Luděk - ANTOŠ, David - ČEŠKA, Milan - KŘETÍNSKÝ, Mojmír - HLINĚNÝ, Petr.
MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2007. Czech Republic, Znojmo. 26.10.2007 - 28.10.2007, Worldwide Activity.
BRIM, Luboš - KŘETÍNSKÝ, Mojmír.
Model Checking Large Finite-State Systems and Beyond. In 33rd Conference on Current Trends in Theory and Practice of Computer Science. Berlin : Springer-Verlag, 2007. ISBN 978-3-540-69506-6, pp. 9-28. 2007, Harrachov.
MURRAY, Keith - TOMÁŠ, Müller - RUDOVÁ, Hana.
Modeling and Solution of a Complex University Course Timetabling Problem. In Practice and Theory of Automated Timetabling VI, Revised and Selected Papers. Heidelberg : Springer-Verlag GmbH, Lecture Notes in Computer Science 3867, 2007. ISBN 978-3-540-77344-3, pp. 189-209.
ŠUSTR, Zdeněk - KŘENEK, Aleš - PETŘEK, Martin - FILIPOVIČ, Jiří - KMUNÍČEK, Jan - WIESNER, Jiří - SITERA, Jiří - DVOŘÁK, František - MATYSKA, Luděk.
Multiple Ligand Trajectory Docking Study: Semiautomatic Analysis of Molecular Dynamics Simulations Using EGEE gLite Services. In Proceedings of the 16th Euromicro Conference on Parallel, Distributed and Network-based Processing. Toulouse, France : IEEE CPS, 2007. ISBN 978-0-7695-3089-5, pp. 447-454. 13.2.2008, Toulouse, France.
DENEMARK, Jiří - ANTOŠ, David.
Network Overhead in Virtual Machines. Lyngby, Denmark : TERENA Networking Conference TNC2007, 2007. Poster Presentation. WWW.
KOUTNÁ, Irena - KRONTORÁD, Petr - SVOBODA, Zbyněk - BÁRTOVÁ, Eva - KOZUBEK, Michal - KOZUBEK, Stanislav.
New insights into gene positional clustering and its properties supported by large-scale analysis of various differentiation pathways. Genomics, United States, Elsevier Science Inc, USA. ISSN 0888-7543, 2007, vol. 89, no. 1, pp. 81-88.
ŠPROJCAR, Josef.
New procedure for multipartite entanglement distillation. In Asian Conference on Quantum Information Science. Kyoto, Japonsko : Kyoto University, 2007. pp. 199-200. 2007, Kyoto University, Kyoto, JaponskoPoster.
TYC, Tomáš - HAMILTON, Brett - SANDERS, Barry C. - OLIVER, William.
No Approximate Complex Fermion Coherent States. Foundations of Physics, , Springer Science+Business Media B. V., The Nederlands. ISSN 0015-9018, 2007, vol. 37, no. 7, pp. 1027-1048.
KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
On Decidability of LTL+Past Model Checking for Process Rewrite Systems. 2007.
ULMAN, Vladimír - HUBENÝ, Jan.
On Generating Ground-truth Time-lapse Image Sequences and Flow Fields. In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics. Vyd. RA-1. Angers : INSTICC, 2007. ISBN 978-972-8865-83-2, pp. 234-239. 9.5.2007, Angers, France.
BOUAJJANI, Ahmed - STREJČEK, Jan - TOUILI, Tayssir.
On Symbolic Verification of Weakly Extended PAD. In Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006). Neuveden : Elsevier, 2007. pp. 47-64. 26.8.2006, Bonn, Německo.
HLINĚNÝ, Petr - SALAZAR, Gelasio.
On the Crossing Number of Almost Planar Graphs. In Graph Drawing, Symposium GD2006. Vyd. 4372. Berlin : Springer Verlag, 2007. ISBN 3-540-70903-7, pp. 162-173. 17.9.2006, TH Karlsruhe, Germany.
BOUDA, Jan - ZIMAN, Mário.
Optimality of private quantum channels. Journal of Physics A, London, IOP Publishing Limited, Great Britain. ISSN 0305-4470, 2007, vol. 40, no. 20, pp. 5415-5426.
KOZUBEK, Michal - KULAVIAK, Jakub.
Optimizing light throughput in image cytometry. 2007.
KOZUBEK, Michal - KULAVIAK, Jakub.
Optimizing light throughput in image cytometry. 2007. Czech Society for Analytical Cytology, Brno, Invited talk.
BARNAT, Jiří - MORAVEC, Pavel.
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Formal Methods: Applications and Technology. Berlin, Heidelberg : Springer-Verlag, 2007. ISBN 978-3-540-70951-0, pp. 316-330. 2006, Bonn, Germany.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Parallel Analysis of Genetic Regulatory Networks. 2007.
BARNAT, Jiri - BRIM, Lubos - LEUCKER, Martin.
Parallel Model Checking and the FMICS-jETI Platform. In Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems. Los Alamitos : IEEE Computer Society, 2007. ISBN 0-7695-2895-3, pp. 330-339. 2007, The University of Auckland, New Zealand.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David.
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Preproceedings of the Workshop From Biology to Concurrency and Back. Lisbon : Complex System Research Group, University of Camerino, 2007. pp. 80-95. 2007, Lisbon.
RUDOVÁ, Hana.
PATAT 2006 Conference. ERCIM EEIG, 2007. 1 s. ERCIM EEIG, vol. 68, no. 1, p. 62. ISSN 0926-4981.
BURKE, Edmund - RUDOVÁ, Hana.
Practice and Theory of Automated Timetabling VI, Revised Selected Papers. 2007. Federal Republic of Germany, Brno, Česká republika. 30.8.2006 - 1.9.2006, Worldwide Activity.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE. 2007.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
ProbDiVinE: A Parallel Qualitative LTL Model Checker. In Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07). United States of America : IEEE Computer Society, 2007. ISBN 0-7695-2883-X, pp. 215-216. 2007, Edinburgh, Scotland.
KLUSÁČEK, Dalibor - MATYSKA, Luděk - RUDOVÁ, Hana.
Problematika plánování úloh v prostředí Gridu. In Širokopásmové sítě a jejich aplikace. 1. vydání. Olomouc : Univerzita Palackého v Olomouci, 2007. ISBN 978-80-244-1687-8, pp. 55-59.
ZIMAN, Mário.
Programmable quantum devices (Quantum programmable processors). 2007. Invited talk.
ULMAN, Vladimír - HUBENÝ, Jan.
Pseudo-real Image Sequence Generator for Optical Flow Computations. In Proceedings of 15th Scandinavian Conference on Image Analysis. Vyd. LNCS 4522. Heidelberg : Springer, 2007. ISBN 978-3-540-73039-2, pp. 976-985. 10.6.2007, Aalborg, Denmark.
ZIMAN, Mário.
Quantum Entanglement. 2007. Invited talk.
CALUDE, Cristian S. - GRUSKA, Jozef.
Quantum Informatics and the relations between Informatics, Physics and Mathematics: A dialogue of C. Calude with J. Gruska (part I). Bulletin of the European Association for Theoretical Computer Science EATCS, , , Great Britain. ISSN 0252-9742, 2007, vol. Neuveden, no. 92, pp. 20-30.
CALUDE, Cristian S. - GRUSKA, Jozef.
Quantum Informatics and the relations between Informatics, Physics and Mathematics: A dialogue of C. Calude with J. Gruska (second part). Bulletin of the European Association for Theoretical Computer Science EATCS, , , Great Britain. ISSN 0252-9742, 2007, vol. Neuveden, no. 93, pp. 33-49.
BUŽEK, Vladimír.
Quantum observations: Reconstruction of quantum states and processes. 2007. Invited talk.
KOŠÍK, Jozef - MISZCZAK, Jarek A. - BUŽEK, Vladimír.
Quantum Parrondo's game with random strategies. Journal of Modern Optics, London, UK, Taylor and Francis, LtD, Great Britain. ISSN 0950-0340, 2007, vol. 54, no. Iss. 13-15, pp. 2275-2287. arXiv:0704.2937.
MLNAŘÍK, Hynek.
Quantum programming language LanQ. 2007. PhD thesis.
TYC, Tomáš - SANDERS, Barry C. - SYMUL, Thomas - BOWEN, Warwick P. - LANCE, Andrew M. - LAM, Ping Koy.
Quantum state sharing with continuous variables. In Quantum Information with Continuous Variables of Atoms and Light. Vyd. 1. London, United Kingdom : Imperial College Press, 2007. World Scientific, ISBN 978-1-86094-776-6, pp. 321-352.
ZIMAN, Mário.
Quantum-based privacy. 2007. Invited talk.
ACETO, Luca - INGOLFSDOTTIR, Anna - LARSEN, Kim Guldstrand - SRBA, Jiří.
Reactive Systems: Modelling, Specification and Verification. Vyd. 1. Cambridge, UK : Cambridge University Press, 2007. 300 s. Cambridge University Press. ISBN 978-0-521-87546-2.
BUŽEK, Vladimír.
Recycling of quantum information: Multiple observations of quantum systems. 2007. Invited talk.
ZIMMEROVÁ, Barbora - VAŘEKOVÁ, Pavlína.
Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification. In MEMICS proceedings. Brno, Czech Republic : Ing. Zdeněk Novotný CSc., 2007. ISBN 978-80-7355-077-6, pp. 257-264. 26.10.2007, Znojmo, Czechia.
BROŽEK, Václav.
Regularity in Model Checking PDA Games. In MEMICS proceedings. Brno : Luděk Matyska, David Antoš, Milan Češka, Mojmír Křetínský, and Petr Hliněný (Eds.), 2007. ISBN 978-80-7355-077-6, pp. 27-34. 2007, Znojmo.
MORAVEC, Pavel - ŠIMŠA, Jiří.
Relaxed Cycle Condition Improves Partial Order Reduction. In 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo, Czech Republic : FI MU, FIT VUT, 2007. ISBN 978-80-7355-077-6, pp. 140-147. 2007, Znojmo, Czech Republic.
BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr.
Scalable Multi-core LTL Model-Checking. In Model Checking Software. Vyd. 1. Berlin, Heidelberg : Springer-Verlag, 2007. ISBN 978-3-540-73369-0, pp. 187-203. 2007, Berlin, Germany.
HOLUB, Petr - HLADKÁ, Eva - PROCHÁZKA, Michal - LIŠKA, Miloš.
Secure and Pervasive Collaborative Platform for Medical Applications. Studies in Health Technology and Informatics, Amsterdam, The Netherlands, IOS Press, The Nederlands. ISSN 0926-9630, 2007, vol. 126, no. 1, pp. 229-238.
HEJTMÁNEK, Lukáš - MATYSKA, Luděk - PROCHÁZKA, Michal.
Secure Logistical Networking in Virtual Organizations. CESNET z.s.p.o., 2007. 16 s. 2/2007.
HEJTMÁNEK, Lukáš - MATYSKA, Luděk - PROCHÁZKA, Michal.
Secure Logistical Networking in Virtual Organizations. In Cracow'06 Grid Workshop. Krakow, Polsko : Academic Computer Centre CYFRONET AGH, 2007. ISBN 83-915141-7-X, pp. 450-458. 15.10.2006, Krakow, Polsko.
BARNAT, Jiří - ROČKAI, Petr.
Shared Hash Tables in Parallel Model Checking. CTIT Workshop Proceedings, University of Twente, CTIT, Germany. ISSN 0929-0672, 2007, vol. 2007, no. WP 07-04, pp. 81-95.
ZIMAN, Mário.
Short introduction to quantum entanglement. 2007. Invited talk.
RUDA, Miroslav - DENEMARK, Jiří - MATYSKA, Luděk.
Scheduling Virtual Grids: the Magrathea System. In Second International Workshop on Virtualization Technology in Distributed Computing. USA : ACM digital library, 2007. ISBN 978-1-59593-897-8, pp. 1-7. 2007, Reno, USA.
KOZUBEK, Michal.
Simulace degradace obrazu v optické mikroskopii. 2007. FI MU, Brno, Invited talk.
AMRICHOVÁ, Jana - VAŘECHA, Miroslav - MEDŘÍKOVÁ, Daša - LUKÁŠOVÁ, Emilie - FAJKUS, Jiří - KOZUBEK, Stanislav - KOZUBEK, Michal.
Spatial Organization, Dynamics, and Associations of Telomeres in Healthy, Telomerase-Positive and ALT Human Cell Lines. 2007.
KLABUSAY, Martin - KOUTNÁ, Irena - HRABČÁKOVÁ, Viera - KRONTORÁD, Petr - MAYER, Jiří.
Srovnání dvou metod imunomagnetické separace hematopoetických kmenových buněk (CD34+ a Lin) z transplantátů PBSC pomocí cDNA microarrays během ex vivo kultivace. 2007.
BAIER, Christel - BRÁZDIL, Tomáš - GRÖßER, Marcus - KUČERA, Antonín.
Stochastic Game Logic. In Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007). Los Alamitos, Washington, Tokyo : IEEE Computer Society, 2007. ISBN 0-7695-2883-X, pp. 227-236. 16.9.2007, Edinburgh, Scotland.
HOLUB, Petr - HLADKA, Eva.
Streaming HD videa. In Sborník příspěvků konference Širokopásmové sítě a jejich aplikace. Vyd. 1. Olomouc : Univerzita Palackého v Olomouci, 2007. ISBN 978-80-244-1687-8, pp. 100-102. 29.5.2007, Olomouc.
BURKE, Edmund K. - MAREČEK, Jakub - RUDOVÁ, Hana.
Strengthened Integer Programming Formulation of Constraints Counting Matches of Patterns in Timetables. 2007.
VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Subject-observer specification with component-interaction automata. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA : ACM Press, 2007. ISBN 978-1-59593-721-6, pp. 75-81. 3.9.2007, Dubrovnik, Croatia.
MLNAŘÍK, Hynek.
Syntactic Type Soundness in Structured Imperative Languages. In MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno, Czech Republic : Masaryk University and Technical University of Brno, 2007. ISBN 978-80-7355-077-6, pp. 132-139. 26.10.2007, Znojmo, Czechia.
BUŽEK, Vladimír - HILLERY, Mark - ZIMAN, Mário.
Towards Quantum-based Election Scheme. In Quantum Communication and Security (edited by Marek Żukowski, Sergei Kilin, Janusz Kowalik). Amsterdam : IOP Press, 2007. Vol. 11, ISBN 978-1-58603-749-9, pp. 215-223. NATO Science for Peace and Security Series, D: Information and Communication Security.
BRÁZDILOVÁ, Silvie Luisa.
Towards Reliable Autofocusing in Automated Microscopy. In Proceedings of the 4th International Conference on Informatics in Control, Automation and Robotics. Portugal : Insticc Press, 2007. ISBN 978-972-8865-82-5, pp. 440-448. 9.5.2007, Angers, France.
BRIM, Luboš - BARNAT, Jiří.
Tutorial: Parallel Model Checking. In Model Checking Software. Berlin, Heidelberg : Springer-Verlag, 2007. ISBN 978-3-540-73369-0, pp. 2-3. 2007, Berlin, Germany.
SEDLÁK, Michal - ZIMAN, Mário - PŘIBYLA, Ondřej - BUŽEK, Vladimír - HILLERY, Mark.
Unambiguous coherent state identification: Searching quantum database. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2007, vol. 76, no. 2, A022326-12 pp. arXiv:0706.1892.
SMRČKA, Aleš - ŘEHÁK, Vojtěch - VOJNAR, Tomáš - ŠAFRÁNEK, David - MATOUŠEK, Petr - ŘEHÁK, Zdeněk.
Verifying VHDL Designs with Multiple Clocks in SMV. In Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006. Bonn : Springer-Verlag, 2007. ISBN 978-3-540-70951-0, pp. 148-164.
SLOVÁK, Petr - HLADKÁ, Eva - TROUBIL, Pavel.
Videoconferencing Design for Remote Groups. In The 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing. White Plains, New York : ICST, 2007. ISBN 1-4244-1317-6, 4 p. 2007, White Plains, New York.
HLADKÁ, Eva - HOLUB, Petr - PROCHÁZKA, Michal.
Videokonference za zdí. Brno : MU, 2007. 4 s. Zpravodaj ÚVT MU, 17, 5, 8-11. ISSN 1212-0901.
MATYSKA, Luděk - HLADKÁ, Eva - HOLUB, Petr.
Virtual Classroom with a Time Shift. In Programm and Abstracts of 8th International Conference on Information Technology Based Higher Education and Training. Kumamoto, Japonsko : Kumamoto University, 2007. p. 56-56. 10.7.2007, Kumamoto, Japan.
MATYSKA, Luděk - HLADKÁ, Eva - HOLUB, Petr.
Virtual Classroom with a Time Shift. In Proceedings of the Eigth International Technology Based Higher Education and Training. Kumamoto : Kumamoto Univerzity, 2007. pp. 1-8. 2007, Kumamoto, JapanSborník na CD, nečíslováno.
ANTOŠ, David - PETERLÍK, Igor - DENEMARK, Jiří - MATYSKA, Luděk.
Virtualizace rozsáhlé výpočetní infrastruktury. In Širokopásmové sítě a jejich aplikace. Olomouc : CESNET, z. s. p. o. a Univerzita Palackého Olomouc, 2007. ISBN 978-80-244-1687-8, pp. 51-54. 29.5.2007, Olomouc.
JANKOWSKI, Michał - WOLNIEWICZ, Paweł - DENEMARK, Jiří - MEYER, Norbert - MATYSKA, Luděk.
Virtualized Access to the Grid Computational Resources. In Cracow Grid Workshop '06. Krakow, Polsko : Academic Computer Centre CYFRONET AGH, 2007. ISBN 83-915141-7-X, pp. 384-391. 15.10.2006, Krakow, Polsko.
HLINĚNÝ, Petr - GOTTLOB, Georg - SEESE, Detlef - OUM, Sang-il.
Width Parameters Beyond Tree-width and Their Applications. Computer Journal, UK, Oxford University Press, Great Britain. ISSN 0010-4620, 2007, vol. 51, no. 3, pp. 326-362.
BRIM, Luboš - LEUCKER, Martin.
11th International Workshop on Formal Methods for Industrial Critical Systems. 2006. Federal Republic of Germany, Bonn, Germany. 26.8.2006 - 27.8.2006, Worldwide Activity.
KUČERA, Antonín - SCHNOEBELEN, Philippe.
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications. Theoretical Computer Science, Amsterdam, Nizozemí, Elsevier, The Nederlands. ISSN 0304-3975, 2006, vol. 358, no. 2-3, pp. 315-333.
PROCHÁZKA, Michal - HOLUB, Petr - HLADKÁ, Eva.
Active Element Network with P2P Control Plane. Lecture Notes in Computer Science, Heidelberg, Springer-Verlag GmbH, Germany. ISSN 0302-9743, 2006, vol. 4124, no. -, p. 257-257.
HOLUB, Petr - HLADKÁ, Eva - DENEMARK, Jiří - REBOK, Tomáš.
Active Elements for High-Definition Video Distribution. In ICT 2006, 13th International Conference on Telecommunications. Funchal, Madeira : University of Aveiro, Portugal, 2006. ISBN 972-98368-4-1, pp. 1-4. 8.5.2005, Funchal, Portugal.
VAŘECHA, Miroslav - AMRICHOVÁ, Jana - ZIMMERMANN, Michal - KOZUBEK, Michal - KOZUBEK, Stanislav.
Analýza lokalizace a interakce fluorescenčně značených molekul v živých i fixovaných lidských buňkách. 2006.
ŠAFRÁNEK, David.
Architectural Interoperability Checking in Visual Coordination Networks. In Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006). Bologna : Elsevier Science, 2006. pp. 81-96. 2006, Bolognavol. 181.
KOZUBEK, Michal.
Automated analysis of multi-dimensional biomedical image data acquired using optical microscopy. In Proceedings of the 6th International Conference on Stereology, Spatial Statistics and Stochastic Geometry. Prague : Union of Czech Mathematicians and Physicists, 2006. ISBN 80-7015-037-8, pp. 465-476. 26.6.2006, Prague.
KOZUBEK, Michal.
Automated analysis of multi-dimensional biomedical image data acquired using optical microscopy. 2006. Prague, Invited talk.
MATULA, Petr - KOZUBEK, Michal - MATULA, Pavel - VAŘECHA, Miroslav - AMRICHOVÁ, Jana - ONDŘEJ, Vladan - LUKÁŠOVÁ, Emilie - KOZUBEK, Stanislav.
Automated confocal live cell microscopy based on spinning disks. 2006.
ULMAN, Vladimír.
Automatic Detection of Histones on Chromosome X in Images of Cell Nuclei. Clinician and Technology (Lékař a technika), Praha, Czech Medical Association J.E.Purkyne. ISSN 0301-5491, 2006, vol. 36, no. 2, pp. 160-164.
KOZUBEK, Michal.
Automation of biomedical image acquisition and processing in optical microscopy: Exploring the structure and function of human genome. 2006. University of Navarra, Pamplona, Spain, Invited talk.
DENEMARK, Jiří - JANKOWSKI, Michał - KŘENEK, Aleš - MATYSKA, Luděk - MEYER, Norbert - RUDA, Miroslav - WOLNIEWICZ, Paweł.
Best Practices of User Account Management with Virtual Organization Based Access to Grid. Lecture Notes in Computer Science, , Springer Berlin/Heidelberg, Poland. ISSN 0302-9743, 2006, vol. 3911, no. -, pp. 633-642.
HLINĚNÝ, Petr.
Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids. Journal of Combinatorial Theory, Ser B, Amsterdam, Elsevier B.V., USA. ISSN 0095-8956, 2006, vol. 96, no. 3, pp. 325-351.
KRAJÍČEK, Ondřej - KISS, Tamas - SIPOS, Gergely.
Building Biomedical Grid Infrastructure with P-GRADE Portal and GEMLCA. In Integrated Research in Grid Computing. Cracow : CoreGRID Network of Excellence, 2006. ISBN 83-915141-6-1, pp. 237-248. 2006, Cracow.
KRAJÍČEK, Ondřej - KŘENEK, Aleš - MATYSKA, Luděk - RUDA, Miroslav - SITERA, Jiří.
Capability languages in C-GMA. In Proceedings of the Cracow Grid Workshop 2005. Vyd. April 2006. Cracow : Academic Computer Center CYFRONET AGH, Cracow, Poland, 2006. ISBN 83-915141-5-3, pp. 131-138. 2005, Cracow.
BOUDA, Jan - BUŽEK, Vladimír - GRUSKA, Jozef - ZIMAN, Mário.
CEQIP 2006. 2006. Czech Republic, Znojmo. 4.5.2006 - 8.5.2006, Worldwide Activity.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana.
Cluster-Based LTL Model Checking of Large Systems. In Formal Methods for Components and Objects. Berlin : Springer, 2006. ISBN 978-3-540-36749-9, pp. 259-279. 2006, Amsterdam.
JANSOVÁ, Eva - KOUTNÁ, Irena - KRONTORÁD, Petr - SVOBODA, Zbyněk - KŘIVÁNKOVÁ, Silvie - ŽALOUDÍK, Jan - KOZUBEK, Michal - KOZUBEK, Stanislav.
Comparative transcriptome maps: a new approach to the diagnosis of colorectal carcinoma patients using cDNA microarrays. Clinical Genetics, Denmark, Blackwell Munksgaard, Denmark. ISSN 0009-9163, 2006, vol. 69, no. 3, pp. 218-227.
ZIMMEROVÁ, Barbora.
Component Placement in Distributed Environment w.r.t. Component Interaction. In Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'06). Brno, Czech Republic : FIT VUT, 2006. ISBN 80-214-3287-X, pp. 260-267. 27.10.2006, Mikulov, Czech Republic.
BRIM, Luboš - ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. ACM SIGSOFT Software Engineering Notes, New York, USA, ACM Press, USA. ISSN 0163-5948, 2006, vol. 31, no. 2, pp. 1-8. SESSION: Specification and Verification of Component-Based Systems Workshop (SAVCBS 2005), Article No. 4.
ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata Modelling Language. Brno, Czech Republic : Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08.
GIMENEZ, Omer - HLINĚNÝ, Petr - NOY, Marc.
Computing the Tutte Polynomial on Graphs of Bounded Clique-Width. SIAM Journal on Discrete Mathematics, Philadelphia, SIAM, USA. ISSN 0895-4801, 2006, vol. 20, no. 4, pp. 932-946.
HLINĚNÝ, Petr.
Crossing Number is Hard for Cubic Graphs. Journal of Combinatorial Theory, Ser B, Amsterdam, Elsevier B.V., USA. ISSN 0095-8956, 2006, vol. 96, no. 4, pp. 455-471.
KRAJÍČEK, Ondřej - CECCANTI, Andrea - KŘENEK, Aleš - MATYSKA, Luděk - RUDA, Miroslav.
Designing a Distributed Mediator for the C-GMA Monitoring Architecture. In Proceedings of the Austrian Hungarian Workshop on Parallel and Distributed Systems 2006. Vyd. 1. Innsbruck : 2006. TO APPEAR-10 pp. 2006, Innsbruck, Rakouskoaccepted for publication, the proceedings are published after the conference.
GRUSKA, Jozef - LA TORRE, Salvatore - NAPOLI, Margherita - PARENTE, Mimmo.
Different time solutions for the firing squad synchronization problem on basic grid networks. RAIRO - Theoretical Informatics and Applications, , EDP, Germany. ISSN 0988-3754, 2006, vol. 40, no. 2, pp. 177-206.
HOLUB, Petr - HLADKÁ, Eva.
Distributed Active Element for High-Performance Data Distribution. In Network and Parallel Computing (NPC 2006). Tokio : University of Tokio, 2006. pp. 27-36. 2.10.2006, Tokyowill appear also in LNCS series.
HUTANU, Andrei - ALLEN, Gabrielle - BECK, Stephen D. - HOLUB, Petr - KAISER, Hartmut - KULSHRESTHA, Archit - LIŠKA, Miloš - MACLAREN, Jon - MATYSKA, Luděk - PARUCHURI, Ravi - PROHASKA, Steffen - SEIDEL, Ed - ULLMER, Brygg - VENKATARAMAN, Shalini.
Distributed and collaborative visualization of large data sets using high-speed networks. Future Generation Computer Systems, Amsterdam, The Netherlands, Elsevier Science, The Nederlands. ISSN 0167-739X, 2006, vol. 22, no. 8, pp. 1004-1010.
BARNAT, Jiří - ČERNÁ, Ivana.
Distributed breadth-first search LTL model checking. Formal Methods in System Design, , Springer Netherlands, The Nederlands. ISSN 0925-9856, 2006, vol. 29, no. 2, pp. 117-134.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ČEŠKA, Milan - TŮMOVÁ, Jana.
Distributed Qualitative LTL Model Checking of Markov Decision Processes. In Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation. Bonn, Germany : University of Bonn, 2006. pp. 1-15. 2006, Bonn.
BRIM, Luboš.
Distributed Verification: Exploring the Power of Raw Computing Power. In 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006). Bonn, Germany : TU Munchen, 2006. ISBN 3-540-70951-7, pp. 23-34. 2006, Bonn, Germany.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ROČKAI, Petr - ŠIMEČEK, Pavel.
DiVinE -- A Tool for Distributed Verification. In Computer Aided Verification. Berlin : Springer Verlag, 2006. ISBN 978-3-540-37406-0, pp. 278-281. Seatle, WA, USA.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMEČEK, Pavel - CHALOUPKA, Jakub.
DiVinE Library. 2006.
KOUŘIL, Daniel - KMUNÍČEK, Jan.
Do Gridu snadno a rychle - prostředí VOCE. Zpravodaj ÚVT MU, Brno, Masarykova univerzita. ISSN 1212-0901, 2006, vol. 16, no. 3, pp. 6-9.
ZIMAN, Mário.
Entanglement vs. local operations. 2006. NATO workshop: Quantum communications and security, September, Gdansk. Invited talk.
MCHUGH, Derek - ZIMAN, Mário - BUŽEK, Vladimír.
Entanglement, purity and energy: Two qubits vs Two modes. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2006, vol. 74, no. 4, A042303-13 pp.
HŘEBÍČEK, Jiří - HEJČ, Michal.
Environmental Modelling with Uncertainty. In 20th International Conference on Informatics for Environmental Protection. Managing Environmental Knowledge. Austria : Shaker Verlag, 2006. ISBN 3-8322-5321-1, pp. 215-222. 6.9.2006, Graz, Austria.
HLINĚNÝ, Petr.
Equivalence-free exhaustive generation of matroid representations. Discrete Applied Mathematics, Amsterdam, Elsevier B.V., USA. ISSN 0166-218X, 2006, vol. 154, no. 8, pp. 1210-1222.
KUČERA, Antonín - JANČAR, Petr.
Equivalence-Checking on Infinite-State Systems: Techniques and Results. Theory and practice of logic programming, Cambridge, Cambridge University Press, Great Britain. ISSN 1471-0684, 2006, vol. 6, no. 3, pp. 227-264.
HLINĚNÝ, Petr - OBDRŽÁLEK, Jan.
Escape-width: Measuring "width" of digraphs. 2006.
PLESCH, Martin - ZIMAN, Mário - BUŽEK, Vladimír - ŠTELMACHOVIČ, Peter.
Estimation of potentially unphysical maps. Open Systems & Information Dynamics, , Springer Science+Business Media B. V., The Nederlands. ISSN 1230-1612, 2006, vol. 13, no. 3, pp. 255-262.
MORAVEC, Pavel.
Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction. In 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Mikulov, Czech Republic : FI MU Report Series, 2006. pp. 129-136. 2006, Mikulov, Czech Republic.
HUBENÝ, Jan - MATULA, Pavel.
Fast and Robust Segmentation of Low Contrast Biomedical Images. In Visualization Imaging and Image Processing. Anaheim, Calgary, Zurich : ACTA Press, 2006. ISBN 0-88986-598-1, pp. 189-196. 28.8.2006, Palma De Mallorca, Spain.
HUBENÝ, Jan - MATULA, Pavel.
Fast and Robust Segmentation of Low Contrast Biomedical Images. Mikulov : 2nd Doctoral Workshop on Mathematical and Engeneering methods in Computer Science, 2006.
MATULA, Petr - MATULA, Pavel - KOZUBEK, Michal - DVOŘÁK, Vladimír.
Fast Point-Based 3D Alignment of Live Cells. IEEE Transactions on Image Processing, , , USA. ISSN 1057-7149, 2006, vol. 15, no. 8, pp. 2388-2396.
KRAMÁREKOVÁ, Miroslava - JAKUBÍK, Daniel - ŽÁDNÍK, Martin - ŠAFRÁNEK, David.
FlowMon Cache Simulation and Analysis of Inter-Packet Gaps. Vyd. CESNET, z.s.p.o. Praha : CESNET, z.s.p.o., 2006. CESNET Technical Report Series 32/2006. WWW.
BRÁZDILOVÁ, Silvie Luisa.
Focus Function for Biomedical Images as a Result of Genetic Programming. In 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS). Brno : Brno University of Technology, 2006. ISBN 80-214-3287-X, pp. 24-31. 27.10.2006, Mikulov.
ZIMMEROVÁ, Barbora.
Formal Analysis of Component-Based Systems in View of Comp. Interactions. In Proceedings of the International Research Training Groups Workshop 2006. Berlin, Germany : GITO-Verlag, 2006. ISBN 3-936771-87-1, pp. 34-36. 6.11.2006, Dagstuhl, Germany.
KRATOCHVÍLA, Tomáš - ŘEHÁK, Vojtěch - ŠAFRÁNEK, David.
Formal Verification of a FIFO Component in Design of Network Monitoring Hardware. In 10 years of CESNET - CESNET CONFERENCE 2006. Praha : CESNET, z.s.p.o., 2006. ISBN 978-80-239-6533-9, pp. 151-160. 2006, Praha.
SMRČKA, Aleš - HLÁVKA, Petr - ŠAFRÁNEK, David - ŘEHÁK, Vojtěch - ŠIMEČEK, Pavel - VOJNAR, Tomáš.
Formal Verification of the CRC Algorithm Properties. In Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Brno : FIT BUT, 2006. ISBN 80-214-3287-X, pp. 55-62. 2006, Mikulov.
GRUSKA, Jozef.
From informatics to quantum informatics. In Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 at the World Computer Congress. Neuveden : Springer-Verlag GmbH, 2006. ISBN 0-387-34633-3, pp. 17-46. 2006, Santiago de Chile.
GRUSKA, Jozef.
From informatics to quantum informatics. 2006. IFIP World Computer Congress, TC1, August, Santiago de Chile. Invited talk.
GRUSKA, Jozef.
From quantum physics to quantum informatics and back. 2006. Abdus Salam Memorial, 31th Nathiagali Summer College on Physics and Contemporary Needs, June, Nathiagali. Invited talk.
ANTOŠ, David.
Hardware-constrained Packet Classification. 2006. Ph.D. Thesis.
HOLUB, Petr.
HD Multi-point Videoconferencing. 2006. May 18, 2006. Invited talk.
HLADKÁ, Eva - HOLUB, Petr.
HDTV streaming. In Proceedings of Inteligent Technologies for Remote Information and Communication International Conference ITVIK 2006. Pardubice : UP Pardubice INTELIGENTNÍ TECHNOLOGIE PRO VZDÁLENOU INFORMACI A KOMUNIKACI, 2006. ISBN 80-903478-5-1, pp. 31 -33. 2006, Pardubice.
HOLUB, Petr - MATYSKA, Luděk - LIŠKA, Miloš - HEJTMÁNEK, Lukáš - DENEMARK, Jiří - REBOK, Tomáš - HUTANU, Andrei - PARUCHURI, Ravi - RADIL, Jan - HLADKÁ, Eva.
High-definition multimedia for multiparty low-latency interactive communication. Future Generation Computer Systems, Amsterdam, The Netherlands, Elsevier Science, The Nederlands. ISSN 0167-739X, 2006, vol. 22, no. 8, pp. 856-861.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. Electronic Notes in Theoretical Computer Science, Nizozemsko, Elsevier, Portugal. ISSN 1571-0661, 2006, vol. 135, no. 2, pp. 3-18.
GRUSKA, Jozef.
Challenges of quantum informatics. 2006. Grand challenges of informatics, September, Budapest. Invited talk.
HOLUB, Petr - HLADKÁ, Eva - MATYSKA, Luděk.
iGrid2005. Brno : Masarykova univerzita v Brně, 2006. 6 s. Zpravodaj ÚVT MU, 16, 3, 12-17. ISSN 1212-0901.
HUBENÝ, Jan - MATULA, Pavel - MATULA, Petr - KOZUBEK, Michal.
Improved 3D Reconstruction of Interphase Chromosomes Based on Nonlinear Diffusion Filtering. In Proceedings of PDE-Based Image Processing and Related Inverse Problems. Berlin : Springer-Verlag, 2006. ISBN 3-540-33266-9, pp. 163-173. 8.8.2005, Oslo, NorwayMathematics and Visualization serie.
KOUŘIL, Daniel - MATYSKA, Luděk - PROCHÁZKA, Michal.
Improving Security in Grids Using the Smart Card Technology. In Proceedings of the IEEE/ACM International Conference on Grid Computing (Grid 2006). Barcelona, Spain : IEEE Computer Society, 2006. ISBN 1-4244-0344-8, pp. 303-304. 28.9.2006, Barcelona, Spain.
HLADKÁ, Eva - MATYSKA, Luděk.
Konference CESNET 2006. Brno : Masarykova univerzita v Brně, 2006. 3 s. Zpravodaj ÚVT MU, 16, 4, 8-10. ISSN 1212-0901.
MLNAŘÍK, Hynek.
LanQ - an Imperative Quantum Programming Language. In MEMICS 2006, 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno : Faculty of Information Technology, Brno University of Technology, 2006. ISBN 80-214-3287-X, pp. 113-120. 27.10.2006, Mikulov, Czech Republic.
RUČKA, Zdeněk - STEJSKAL, Stanislav - KOUTNÁ, Irena.
Looking for the Role of Metallothioneins in Colorectal Carcinoma Cell Lines. Lausanne, Švýcarsko : ISREC, 2006. p. 87. 11.10.2006, Lausanne, Švýcarsko.
PELÁNEK, Radek - LARSEN, Kim G. - BEHRMANN, Gerd - BOUYER, Patricia.
Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata. International Journal on Software Tools for Technology Transfer (STTT), , Springer-Verlag GmbH, Germany. ISSN 1433-2779, 2006, vol. 8, no. 3, pp. 204-215.
HLINĚNÝ, Petr - WHITTLE, Geoff.
Matroid Tree-Width. European Journal of Combinatorics, , Elsevier, The Nederlands. ISSN 0195-6698, 2006, vol. 27, no. 7, pp. 1117-1128.
KUČERA, Antonín.
Methods for Quantitative Analysis of Probabilistic Pushdown Automata. Electronic Notes in Theoretical Computer Science, , Elsevier, Germany. ISSN 1571-0661, 2006, vol. 149, no. 1, pp. 3-15.
ČERNÁ, Ivana - BRÁZDIL, Tomáš.
Model Checking of RegCTL. Computing and Informatics, , , Slovakia. ISSN 1335-9150, 2006, vol. 25, no. 1, pp. 81-97.
ESPARZA, Javier - KUČERA, Antonín - MAYR, Richard.
Model Checking Probabilistic Pushdown Automata. Logical Methods in Computer Science, , , The Nederlands. ISSN 1860-5974, 2006, vol. 2, no. 1-2, pp. 1-31.
DELZANNO, Giorgio - ESPARZA, Javier - SRBA, Jiří.
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. In Automated Technology for Verification and Analysis (ATVA'06). Netherlands : Springer-Verlag, 2006. ISBN 3-540-47237-1, 15 p. 2006, Beijing.
HOLUB, Petr.
Multi-Point Uncompressed HD Conferencing Using UltraGrid. 2006. Invited talk.
MATYSKA, Luděk - KOUŘIL, Daniel.
MyProxy and EGEE. Washington, USA : 2006. GridWorld 2006. September 12, 2006. Invited talk.
ČERNÁ, Ivana.
Návrh algoritmů II. 2006.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
On Combining Partial Order Reduction with Fairness Assumptions. In Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006). Bonn, Germany : University Bonn, 2006. ISBN 978-3-540-70951-0, pp. 1-16. 2006, Bonn, Germany.
BOZZELLI, Laura - KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
On Decidability of LTL Model Checking for Process Rewrite Systems. In FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings. Berlin : Springer-Verlag, 2006. ISBN 978-3-540-49994-7, pp. 248-259. 2006, Kolkata, IndiaLecture Notes in Computer Science 4337.
BOZZELLI, Laura - KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems. Brno : FI MU, 2006. FIMU-RS-2006-05. full and extended version of FST&TCS'06 paper. WWW.
BOUAJJANI, Ahmed - STREJČEK, Jan - TOUILI, Tayssir.
On Symbolic Verification of Weakly Extended PAD. In Preliminary Proceedings - 13th International Workshow on Expressiveness in Concurrency - EXPRESS'06. London : Imperial College London, 2006. pp. 29-41. 26.8.2006, Bonn, Germany.
HLINĚNÝ, Petr - SALAZAR, Gelasio.
On the Crossing Number of Almost Planar Graphs. 2006.
MLNAŘÍK, Hynek.
Operational Semantics of Quantum Programming Language LanQ. Brno : FI MU, 2006. 43 s. Technical Reports. FIMU-RS-2006-10.
KOZUBEK, Michal - KULAVIAK, Jakub.
Optimizing light throughput in fluorescence microscopy. 2006.
ANTOŠ, David - ŘEHÁK, Vojtěch - HOLUB, Petr.
Packet Filtering for FPGA-Based Routing Accelerator. In CESNET Conference 2006 Proceedings. Prague : CESNET, z. s. p. o., 2006. ISBN 80-239-6533-6, pp. 161--173. 6.3.2006, Prague.
BARNAT, Jiří - MORAVEC, Pavel.
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Proceedings of the 5th International Workshop on
Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006). Bonn, Germany : University Bonn, 2006. pp. 20-34. 2006, Bonn, Germany.
BURKE, Edmund - RUDOVÁ, Hana.
PATAT 2006: Proceedings of the 6th International Conference on the Practice and Theory of Automated Timetabling. 2006. Czech Republic, Brno, Česká republika. 30.8.2006 - 1.9.2006, Worldwide Activity. Selected and Revised papers will be published in Lecture Notes in Computer Science, Heidelberg : Springer-Verlag GmbH.
GRUSKA, Jozef.
Primitives of QIPC. 2006. 31th Nathiagali Summer College on Physics and Contemporary Needs, July, Nathiagali. Invited talk.
BRIM, Luboš - LINDEN, Isabelle.
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005). NIzozemsko : Elsevier, 2006. 159 s. ENTCS Volume 150, Issue 1. ISBN 1571-0661.
MATYSKA, Luděk - KUČERA, Antonín - VOJNAR, Tomáš - KOTÁSEK, Zdeněk - ANTOŠ, David - KRAJÍČEK, Ondřej.
Proceedings of the Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). 2006.
BUŽEK, Vladimír - HILLERY, Mark - ZIMAN, Mário - ROŠKO, Marián.
Programmable Quantum Processors. Quantum Information Processing, , Springer, Germany. ISSN 1570-0755, 2006, vol. 5, no. 5, pp. 313-420.
BERGOU, Janos A. - BUŽEK, Vladimír - FELDMAN, Edgar - HERZOG, Ulrike - HILLERY, Mark.
Programmable quantum state discriminators with simple programs. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2006, vol. 73, no. 6, A062334-17 pp.
REBOK, Tomáš - HOLUB, Petr - HLADKÁ, Eva.
Quality of Service Oriented Active Router Design. In Proceedings of MIPRO 2006 / Hypermedia and Grid Systems. Opatija (Croatia) : Croatian Society for Information and Communication Technology, Electronics and Microelectronics, 2006. ISBN 953-233-018-6, pp. 206-211. 22.5.2006, Opatija, Croatia.
GRUSKA, Jozef.
Quantum automata. 2006. WATA workshop, April, Leipzig. Invited talk.
GRUSKA, Jozef.
Quantum complexity impacts on quantum physics. 2006. Quantum Computing: BackAction, March, IIT Kanpur. Invited talk.
GRUSKA, Jozef.
Quantum entanglement and non-locality as new resources for quantum computation and communication. 2006. 16. Theorietag, September, TU Wien, Vienna, Invited talk.
GRUSKA, Jozef.
Quantum entanglement and non-locality as new resources for quantum computation, communication and cryptography. In 16. Theorietag, Automaten und Formale Sprache. Wien : TU Wien, 2006. pp. -. 2006, Vienna, Austria.
GRUSKA, Jozef.
Quantum finite automata. Studies in Computational Intelligence, Recent Advantages in Formal Languages and Applications, , Springer, Germany. ISSN 1860-949X, 2006, vol. 2006, no. Vol. 25, pp. 81-197.
GRUSKA, Jozef.
Quantum informatics paradigms and tools for QIPC. In Proceedings of Quantum Computing: BackAction 2006. Neuveden : American Institute Of Physics, 2006. ISBN 0-7354-0362-7, pp. 1-15. 2006, Kanpur, India.
ZIMAN, Mário.
Quantum process estimation procedures. 2006. von Neumann workshop, May, Budapest. Invited talk.
KOŠÍK, Jozef - BUŽEK, Vladimír - HILLERY, Mark.
Quantum walks with random phase shifts. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2006, vol. 74, no. 2, A022310-9 pp.
BRÁZDIL, Tomáš - BROŽEK, Václav - FOREJT, Vojtěch - KUČERA, Antonín.
Reachability in Recursive Markov Decision Processes. In 17th International Conference on Concurrency Theory. Berlin Heidelberg New York : Springer, 2006. ISBN 3-540-37376-4, pp. 358-374. 2006, Bonn, Germany.
PELÁNEK, Radek.
Reduction and Abstraction Techniques for Model Checking. Brno : Masarykova univerzita, 2006. 160 s.
KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
Refining Undecidability Border of Weak Bisimilarity. In Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). Vyd. 2006. Amsterdam, The Netherlands : Elsevier Science, 2006. pp. 17-36. 2005, San Francisco, USAmodified and extended version of INFINITY 2005 paper.
ANTOŠ, David - ŘEHÁK, Vojtěch.
Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications. In ICT 2006, 13th International Conference on Telecommunications. Funchal, Madeira : University of Aveiro, Portugal, 2006. ISBN 972-98368-4-1, pp. 1-4. 8.5.2005, Funchal, Portugal.
ANTOŠ, David - ŘEHÁK, Vojtěch.
Routing, L2 Addressing, and Packet Filtering in a Hardware Engine. In Proceedings of MEMICS 2006. Mikulov : FIT BUT, 2006. ISBN 80-214-3287-X, pp. 1-8. 27.10.2006, Mikulov.
BOUDA, Jan - MAURHART, Oliver - THEMEL, Thomas - JANK, Stephan - PLUCH, Philipp - NAGARAJAN, Rajagopal.
SECOQC node keystore module and crypto engine. 2006. 17 s.
KRAJÍČEK, Ondřej - LORENC, Václav - KUBA, Martin.
Secure References for Reliable Knowledge Sharing on the Biomedical Grid. In Proceedings of the Second Workshop on Mathematical and Engineering Methods in Computer Science. Vyd. 2006. Brno : Vysoké učení technické v Brně, 2006. ISBN 80-214-3287-X, pp. 83-90. 2006, Mikulov.
ČERNÝ, Tomáš - RUDOVÁ, Hana.
Scheduling with Soft CLP(FD) Solver. In PATAT 2006: Proceedings of The 6th International Conference on the Practice and Theory of Automated Timetabling. Brno : Vydavatelství MU, 2006. ISBN 80-210-3726-1, pp. 381-383. 30.8.2006, Brno.
KONIORCZYK, Matyas - BUŽEK, Vladimír.
Simulation of generators of Markovian dynamics on programmable quantum processors. The European Physical Journal D, , Springer, Germany. ISSN 1434-6060, 2006, vol. 37, no. 2, pp. 275-282.
VAŘECHA, Miroslav - AMRICHOVÁ, Jana - ZIMMERMANN, Michal - ULMAN, Vladimír - MATULA, Pavel - MATULA, Petr - KOZUBEK, Michal.
Single-cell image analysis of cellular localization and colocalization of endonuclease G, AIF and AMID in living cells. 2006.
HUBENÝ, Jan.
Software for the computation and visualization of optical flow between two images. 2006. Ve spolupráci se skupinou prof. J. Weickerta ze Saarbruckenu, Německo.
BRIM, Luboš - LEUCKER, Martin.
Special Issue on Parallel and Distributed Verification - Foreword. Formal Methods in System Design, , Springer Netherlands, The Nederlands. ISSN 0925-9856, 2006, vol. 29, no. 2, pp. 115-116.
LIŠKA, Miloš - HOLUB, Petr.
Standard Definition Stereoscopic Video. 2006. Phoenix, AZ, USA. Invited talk.
GRUSKA, Jozef.
Steering chair. AQIS Asian Conference on Quantum Information Science 2006. 2006. People's Republic of China, Beijing, China. 1.9.2006 - 4.9.2006, Worldwide Activity.
BRÁZDIL, Tomáš - BROŽEK, Václav - FOREJT, Vojtěch - KUČERA, Antonín.
Stochastic Games with Branching-Time Winning Objectives. In 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, Washington, USA, Proceedings. Los Alamitos, California : IEEE Computer Society, 2006. ISBN 0-7695-2631-4, pp. 349-358. 12.8.2006, Seattle, Washington, USA.
PELÁNEK, Radek - PASAREANU, Corina - VISSER, Willem.
Test Input Generation for Java Containers using State Matching. In International Symposium on
International Symposium on Software Testing and Analysis. USA : ACM, 2006. ISBN 1-59593-263-1, pp. 37--48. 2006, Portland, Maine.
GRUSKA, Jozef.
The Emergence and Challenges of Quantum Informatics. it - Information Technology, , Springer-Verlag, Germany. ISSN 1611-2776, 2006, vol. 48, no. 6, pp. 336-343.
GRUSKA, Jozef - LA TORRE, Salvatore - PARENTE, Mimmo.
The firing squad synchronization problem on squares, toruses and rings. International Journal of Foundations of Computer Science, , World Scientific, Singapore. ISSN 0129-0541, 2006, vol. 18, no. 3, pp. 637-654.
ŠPROJCAR, Josef.
The Primitive beyond Voting Schemes. In MEMICS 2006, 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno : Faculty of Information Technology, Brno University of Technology, 2006. ISBN 80-214-3287-X, pp. 230-236. 27.10.2006, Mikulov, Czech Republic.
KOUTNÁ, Irena - KRONTORÁD, Petr - TESAŘOVÁ, Lenka - KLABUSAY, Martin - HRABČÁKOVÁ, Viera - KOZUBEK, Michal.
Transcription density map as a new tool for evaluation of various expression profiles: Ex vivo differentiation of CD34+ cells. 2006.
HLINĚNÝ, Petr - SEESE, Detlef.
Trees, grids, and MSO decidability: From graphs to matroids. Theoretical Computer Science, Amsterdam, Elsevier, The Nederlands. ISSN 0304-3975, 2006, vol. 351, no. 3, pp. 372-393.
HOLUB, Petr - LIŠKA, Miloš.
Uncompressed HD Technology. 2006. Phoenix, AZ, USA. Invited talk.
JANČAR, Petr - SRBA, Jiří.
Undecidability Results for Bisimilarity on Prefix Rewrite Systems. LNCS, Foundations of Software Science and Computation Structures (FOSSACS'06), Netherlands, Spinger-Verlag, The Nederlands. 2006, vol. 2006, no. 3921, pp. 277-291.
GRUSKA, Jozef.
Universal sets of quantum information processing primitives and their optimal use. Lecture Notes in Computer Science, , Springer-Verlag Berlin, USA. ISSN 0302-9743, 2006, vol. 2006, no. Vol. 4123, pp. 425-451.
ZIMAN, Mário - BUŽEK, Vladimír.
Universality and optimality of programmable quantum processors. Acta Physica Hungarica B, , Akademiai Kiado, Hungary. ISSN 1589-9535, 2006, vol. 2006, no. 26, pp. p. 277-291.
ZIMAN, Mário.
Universality and optimality questions of programmable quantum processors. 2006. CEWQO, May, Wien. Invited talk.
DENEMARK, Jiří - JANKOWSKI, Michał - MATYSKA, Luděk - MEYER, Norbert - RUDA, Miroslav - WOLNIEWICZ, Paweł.
User Management for Virtual Organizations. In CoreGRID Integration Workshop. EU : CoreGRID, 2006. 2005, Pisa, Italy.
HLADKÁ, Eva - HOLUB, Petr.
Videokonference s vysokou kvalitou. Brno : Masarykova univerzita v Brně, 2006. 4 s. Zpravodaj ÚVT MU, 16, 3, 9-12. ISSN 1212-0901.
JANKOWSKI, Michał - WOLNIEWICZ, Paweł - DENEMARK, Jiří - MEYER, Norbert - MATYSKA, Luděk.
Virtual Environments -- Framework for Virtualized Resource Access in the Grid. In CoreGRID Workshop on Grid Middleware. : 2006. 11 p. 2005, Dresden.
DENEMARK, Jiří.
Virtual Grid Execution Environment. In Proceedings of MIPRO 2006 / Hypermedia and Grid Systems. Opatija, Croatia : Croatian Society for Information and Communication Technology, Electronics and Microelectronics, 2006. ISBN 953-233-018-6, pp. 227-231. 22.5.2006, Opatija, Croatia.
JANKOWSKI, Michał - WOLNIEWICZ, Paweł - DENEMARK, Jiří - MEYER, Norbert - MATYSKA, Luděk.
Virtualized Access to the Grid Computational Resources. 2006. Presentation. WWW.
SRBA, Jiří.
Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. LNCS, Annual Conference on Computer Science Logic (CSL'06), Netherlands, Springer-Verlag, The Nederlands. 2006, vol. 2006, no. 4207, pp. 89-103.
ŠAFRÁNEK, David.
Visual Coordination Networks. 2006.
ŘEHÁK, Vojtěch.
Weakly Extended Process Rewrite Systems. 2006.
MCHUGH, Derek - BUŽEK, Vladimír - ZIMAN, Mário.
When Non-Gaussian States are Gaussian: Generalization of Non-Separability Criterion for Continous Variables. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2006, vol. 74, no. 5, A050306-4 pp.
GRUSKA, Jozef - BOUDA, Jan - KUČERA, Antonín - KRAJÍČEK, Ondřej.
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2005. Czech Republic, Znojmo. 14.10.2005 - 17.10.2005, Worldwide Activity.
GRUSKA, Jozef - BOUDA, Jan.
2nd Central European Quantum Information Processing Workshop. 2005. Czech Republic, Znojmo. 6.6.2005 - 9.6.2005, European Activity.
HUBENÝ, Jan - MATULA, Pavel - MATULA, Petr - KOZUBEK, Michal.
3D Reconstruction of Interphase Chromosomes. 2005.
RUDOVÁ, Hana.
7th International Workshop on Preferences and Soft Constraints. 2005. United States of America, Sitges, Spain. 1.10.2005 - 1.10.2005, Worldwide Activity.
GRUSKA, Jozef.
A broader view on limitations of information processing and communication by nature. Natural Computing, , Springer, The Nederlands. ISSN 1567-7818, 2005, vol. 6, no. 2, pp. 75-112.
GRUSKA, Jozef.
A broader view on the limitations of information processing and communication by nature. 2005. Natural processes and models of computation workshop, June, Bologna. Invited talk.
ZIMAN, Mário - BUŽEK, Vladimír.
All (qubit) decoherences: Complete characterization and physical implementation. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2005, vol. 72, no. 2, A022110-9 pp.
BRÁZDIL, Tomáš - ESPARZA, Javier - KUČERA, Antonín.
Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion. In Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005). Los Alamitos, California : IEEE Computer Society, 2005. ISBN 0-7695-2468-0, pp. 521-530. 23.10.2005, Pittsburgh, Pennsylvania, USA.
KOZUBEK, Michal - MATULA, Pavel - MATULA, Petr - SVOBODA, David.
Analysis of biomedical image data acquired using optical microscopy. In Prague Post Genome Technology Workshop. Prague, Czech Republic : Czech Pattern Recognition Society, 2005. ISBN 80-01-03239-6, pp. 24-27. 6.6.2005, Praha.
DUŠEK, LadislavKOZUBEK, MichalHŘEBÍČEK, Jiří - MATULA, Pavel - MATULA, PetrJARKOVSKÝ, Jiří - SVOBODA, David.
Analysis of biomedical image data acquired using optical microscopy. In Dušek, Ladislav - Hřebíček, Jiří - Jarkovský, Jiří. Proceedings of the 1st International Summer School on Computational Biology. Brno : Masaryk University, 2005. ISBN 80-210-3907-8, pp. 21-28. 4.9.2005, Brno.
KOZUBEK, Michal - MATULA, Pavel - MATULA, Petr - SVOBODA, David.
Analysis of biomedical image data acquired using optical microscopy. 2005. Brno, Invited talk.
KRONTORÁD, Petr - SVOBODA, Zbyněk - KOUTNÁ, Irena - JANSOVÁ, Eva - KOZUBEK, Michal.
Analýza obrazů získaných snímáním microarrays. 2005.
HILLERY, Mark - ZIMAN, Mário - BUŽEK, Vladimír.
Approximate programmable quantum processors. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2005, vol. Vo. 73, no. 2, A022345-7 pp.
BRIM, Luboš - ŽIDKOVÁ, Jitka - YORAV, Karen.
Assumption-based distribution of CTL model checking. International Journal on Software Tools for Technology Transfer (STTT), , Springer-Verlag GmbH, Germany. ISSN 1433-2779, 2005, vol. 7, no. 1, pp. 61-73.
KOZUBEK, Michal - MATULA, Petr - MATULA, Pavel - VAŘECHA, Miroslav - AMRICHOVÁ, Jana - ONDŘEJ, Vladan - LUKÁŠOVÁ, Emilie - KOZUBEK, Stanislav.
Automated confocal in vivo microscopy based on spinning disks. 2005.
ŠTELMACHOVIČ, Peter - BUŽEK, Vladimír.
Bounds on action of local quantum channels. Journal of Physics A, Bristol, Institute of Physics Publishing, Great Britain. ISSN 0305-4470, 2005, vol. 38, no. 26, pp. 6051-6064.
SITERA, Jiří - MATYSKA, Luděk - KŘENEK, Aleš - RUDA, Miroslav - VOCŮ, Michal - SALVET, Zdeněk - MULAČ, Miloš.
Capability and Attribute Based GRID Monitoring Architecture. In Proc. Cracow Grid Workshop'04. Krakow, Polsko : Academic Computing Centre CYFRONET AGH, 2005. ISBN 83-9151414-4-5, pp. 176-183. 2004, Krakow, Polsko.
KOUTNÁ, Irena - JANSOVÁ, Eva - KRONTORÁD, Petr - SVOBODA, Zbyněk - KOZUBEK, Michal - KOZUBEK, Stanislav.
cDNA Microarray Technology as a Tool for Better Understanding of Progress of Malignant Diseases. In Prague Post Genome Technology Workshop. Prague, Czech Republic : Czech Pattern Recognition Society, 2005. ISBN 80-01-03239-6, pp. 69-72. 6.6.2005, Prague, Czech Republic.
JANSOVÁ, Eva - KRONTORÁD, Petr - KOUTNÁ, Irena - STEJSKAL, Stanislav - MATULA, Petr - SVOBODA, David - KOZUBEK, Michal - KOZUBEK, Stanislav.
Combination of cDNA microarray technology and fluorescence leads to better understanding of relationships between gene expression and epigenetic regulation. 2005.
BRIM, Luboš - ČERNÁ, Ivana - VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. In Proceedings of SAVCBS 2005. Ames, USA : Department of Computer Science, Iowa State University, 2005. pp. 31-38. 5.9.2005, Lisbon, Portugal.
VAŘEKOVÁ, Pavlína - ZIMMEROVÁ, Barbora.
Component-Interaction Automata for Specification and Verification of Component Interactions. In IFM 2005 Doctoral Symposium on Integrated Formal Methods. Eindhoven, The Netherlands : Technische Universiteit Eindhoven (TU/e), 2005. pp. 71-75. 29.11.2005, Eindhoven, The Netherlands.
BRÁZDIL, Tomáš - KUČERA, Antonín.
Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains. In 25th International Conference on Foundations of Software Technology and Theoretical Computer Science. Berlin Heidelberg New York : Springer, 2005. ISBN 3-540-30495-9, pp. 372-383. 2005, Hyderabad, India.
HLINĚNÝ, Petr - GIMENEZ, Omer - NOY, Marc.
Computing the Tutte Polynomial with Restricted “Width”. 2005.
PELÁNEK, Radek - PASAREANU, Corina - VISSER, Willem.
Concrete Search with Abstract Matching and Refinement. In Computer Aided Verification. Edinburgh : Springer, 2005. ISBN 3-540-27231-3, pp. 52-66. 2005, Edinburgh.
ZIMAN, Mário - BUŽEK, Vladimír.
Concurrence versus purity: Influence of local channels on Bell states of two qubits. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2005, vol. 72, no. 5, A052325-9 pp.
LANCE, A. - SYMUL, T. - BOWEN, W. P. - SANDERS, B. C. - TYC, T. - RALPH, T. C. - LAM, P. K.
Continuous-variable quantum-state sharing via quantum disentanglement. Physical Review A, New York, American physical society, USA. ISSN 1050-2947, 2005, vol. 71, no. 33814, pp. 1-11.
ŠAFRÁNEK, David - ŘEHÁK, Vojtěch - KRATOCHVÍLA, Tomáš - ŠIMEČEK, Pavel - HLÁVKA, Petr - VOJNAR, Tomáš.
CRC64 Algorithm Analysis and Verification. Brno : CESNET, z. s. p. o., 2005. Technical Report 27/2005. WWW.
HUTTEL, Hans - SRBA, Jiří.
Decidability Issues for Extended Ping-Pong Protocol. Journal of Automated Reasoning, USA, Kluwer, USA. 2005, vol. ?, no. ?, pp. 1-26. To appear.
PELÁNEK, Radek - STREJČEK, Jan.
Deeper Connections between LTL and Alternating Automata. In Implementation and Application of Automata. Berlin, Heidelberg : Springer-Verlag, 2005. ISBN 978-3-540-31023-5, pp. 238-249. 2005, Sophia Antipolis.
ZIMAN, Mário - ŠTELMACHOVIČ, Peter - BUŽEK, Vladimír.
Description of Quantum Dynamics of Open Systems Based on Collision-Like Models. Open Systems & Information Dynamics, , Springer Science+Business Media B. V., The Nederlands. ISSN 1230-1612, 2005, vol. 12, no. 1, pp. 81-91.
HOROVÁ, Ivanka - FORBELSKÁ, Marie - ZELINKA, Jiří.
Different approaches to ROC curve fitting for a continuous -scale diagnostic test. In 3rd World Conference on Computational Statistics and Data Analysis. Vyd. 1. Limassol,Cyprus : CSDA, 2005. p. 30-30. 28.10.2005, Limassol,Cyprus.
KONIORCZYK, Matyas - RAPČAN, Peter - BUŽEK, Vladimír.
Direct versus measurement-assisted bipartite entanglement in multiqubit systems and their dynamical generation in spin systems. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2005, vol. 72, no. 2, A022321-12 pp.
HEJTMÁNEK, Lukáš - MATYSKA, Luděk.
Distribuované Datové Sklady. In Širokopásmové sítě a jejich aplikace. Olomouc : CESNET, z.s.p.o. a UP Olomouc, 2005. ISBN 80-244-1035-4, pp. 168-175. 24.5.2005, Olomouc.
HEJTMÁNEK, Lukáš - HOLUB, Petr - MATYSKA, Luděk.
Distribuované datové sklady a protokol IBP. Praha : DCD Publishing s.r.o., 2005. 7 s. Professional Computing, 2005/9, 15-21. ISSN 1214-5335.
KŘENEK, Aleš - PETERLÍK, Igor.
Distribuované výpočty složitých stavových prostorů. In Širokopásmové sítě a jejich aplikace. Olomouc : CESNET, z.s.p.o., 2005. ISBN 80-244-1035-4, pp. 176-185. 24.5.2005, Olomouc.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana.
Distributed Analysis of Large Systems. In Formal Methods for Components and Objects. Amsterdam : CWI Amsterdam, 2005. pp. 31-35. 2005, Amsterdam.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
Distributed Partial Order Reduction of State Spaces. Electronic Notes on Theoretical Computer Science, , Elsevier, The Nederlands. ISSN 1571-0661, 2005, vol. 128, no. 3, pp. 63-74.
BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - ŠIMEČEK, Pavel.
DIVINE - The Distributed Verification Environment. In In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisboa, Portugal : TU Munchen, 2005. pp. 89-94. 2005, Lisboa, Portugalsko.
KOUTNÁ, Irena - KRONTORÁD, Petr - JANSOVÁ, Eva - SVOBODA, Zbyněk - KOZUBEK, Michal - KOZUBEK, Stanislav.
Důkaz klastrování genů na chromosomových doménách studiem diferenciací buněčných nádorových linií. 2005.
BUŽEK, Vladimír.
Dynamics of open quantum systems: Quantum information theory approach. 2005. Quantum Optics Meeting, March, Obergurgl. Invited talk.
HUBENÝ, Jan.
Enhancement of Images Acquired using Optical Microscope. In Proceedings of the 1st International Summer School on Computational Biology. Brno (Česká republika) : Masarykova universita, 2005. ISBN 80-210-3907-8, pp. 29-38.
PELÁNEK, Radek - HANŽL, Tomáš - ČERNÁ, Ivana - BRIM, Luboš.
Enhancing Random Walk State Space Exploration. In Formal Methods for Industrial Critical Systems. Lisbon : ACM SIGSOFT, 2005. ISBN 1-59593-148-1, pp. 98-105. 2005, Lisbon.
SEN DE, Aniti - SEN, Ujjwal - BRUKNER, Caslav - BUŽEK, Vladimír - ZUKOWSKI, Marek.
Entanglement swapping of noisy states: A kind of superadditivity in nonclassicality. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2005, vol. 72, no. 4, A042310-10 pp.
ZIMAN, Mário - BUŽEK, Vladimír.
Entanglement-induced state ordering under local operations. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2005, vol. 73, no. 1, A012312-4 pp.
BOUDA, Jan.
Exact and approximate encryption of quantum information. In Aspects of Network and Information Security, NATO Security through Science Series, D: Information and Communication Security. Amsterdam, Netherlands : IOP Press, 2008, 2005. Vol. 17, ISBN 978-1-58603-856-4, pp. 218-233.
BARNAT, Jiří - BRIM, Luboš - CHALOUPKA, Jakub.
From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Electronical Notes in Theoretical Computer Science, , Elsevier, The Nederlands. ISSN 1571-0661, 2005, vol. 2005, no. 133, pp. 21-39.
RUDA, Miroslav - RUDOVÁ, Hana.
Grid Scheduling and Monitoring. Workshop of the UK Planning and Scheduling Special Interest Group, London, UK, City University, UK, Great Britain. ISSN 1368-5708, 2005, vol. 2005, no. -, pp. 98-99.
HOLUB, Petr.
Grid Video Processing: Distributed Approach to Video Processing. Philadelphia, PA, USA : Internet2, 2005. I2 Fall 2005 Member Meeting. September 20, 2005. Invited talk. WWW.
PETERLÍK, Igor - KŘENEK, Aleš.
Haptically Driven Travelling Through Conformational Space. In First Joint EUROHAPTICS CONFERENCE and SYMPOSIUM ON HAPTIC INTERFACES FOR VIRTUAL ENVIRONMENT AND TELEOPERATOR SYSTEMS. Pisa : IEEE Computer Society, 2005. ISBN 0-7695-2310-2, pp. 342-347. 2005, Pisa.
HOLUB, Petr.
High-Definition Video at CESNET. Philadelphia, PA, USA : Internet2, 2005. I2 Fall 2005 Member Meeting. Invited talk. WWW.
MORAVEC, Pavel.
How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking. In 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Znojmo, Czech Republic : FI MU Report Series, 2005. pp. 186-192. 2005, Znojmo.
BRIM, Luboš - ČERNÁ, Ivana - MORAVEC, Pavel - ŠIMŠA, Jiří.
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. In Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005). Lisboa, Portugal : TU Munchen, 2005. pp. 1-12. 2005, Lisboa, Portugal.
GRUSKA, Jozef.
Challenges of QIPC. 2005. KIAS/KAIST Quantum information science, August, Soul. Invited talk.
KUČERA, Antonín - STREJČEK, Jan.
Characteristic Patterns for LTL. In SOFSEM 2005: Theory and Practice of Computer Science. Berlin, Heidelberg : Springer-Verlag, 2005. ISBN 3-540-24302-X, pp. 239-249. 2005, Liptovský Ján, Slovakia.
KULHÁNEK, Petr - PETŘEK, Martin - KMUNÍČEK, Jan.
CHARON System - A Framework for Comfortable Grid Applications & Jobs Management. Pisa : 2005. Invited talk. WWW.
KMUNÍČEK, Jan - KULHÁNEK, Petr - PETŘEK, Martin.
CHARON System - Framework for Applications and Jobs Management in Grid Environment. In Cracow Grid Workshop 05. Cracow : Academic Computer Center CYFRONET AGH, Cracow, Poland, 2005. ISBN 83-915141-5-3, pp. 332-340. 20.10.2005, Cracow.
VAŘECHA, Miroslav - AMRICHOVÁ, Jana - ONDŘEJ, Vladan - LUKÁŠOVÁ, Emilie - ULMAN, Vladimír - MATULA, Petr - KOZUBEK, Michal - KOZUBEK, Stanislav.
Imaging of mitochondrial apoptogenic proteins released during apoptosis in living and fixed cells. 2005.
PROCHÁZKA, Michal - REBOK, Tomáš - HOLUB, Petr.
Implementace P2P sítě zrcadel v prostředí JXTA. In Širokopásmové sítě a jejich aplikace. Olomouc : CVT UP Olomouc, 2005. ISBN 80-244-1035-4, pp. 144-152. 25.5.2005, Olomouc, ČR.
BOCCHI, Laura - KRAJÍČEK, Ondřej - KUBA, Martin.
Infrastructure for Adaptive Workflows in Semantic Grids. In Proceedings of the first CoreGRID Integration Workshop. Pisa : University of Pisa, 2005. pp. 327-336. 2005, Pisa.
BUŽEK, Vladimír - ORSZAG, Miguel - ROŠKO, Marián.
Instability and Entanglement of the Ground State of the Dicke Model. Physical Review Letters, New York, American Physical Society, USA. ISSN 0031-9007, 2005, vol. 94, no. 16, A163601-4 pp.
BRIM, Luboš - GRUMBERG, Orna.
Introductory paper: Parallel and Distributed Model Checking. International Journal on Software Tools for Technology Transfer (STTT), , Springer-Verlag GmbH, Germany. ISSN 1433-2779, 2005, vol. 7, no. 1, pp. 1-3.
POSPÍŠIL, Zdeněk.
Kvalitativní teorie diferenciálních rovnic pro studenty ekonomie. In XXIII. mezinárodní kolokvium o řízení osvojovacího procesu : sborník abstraktů a elektronických verzí příspěvků na CD-ROMu. Brno : Univerzita obrany, Fakulta ekonomiky a managementu, 2005. ISBN 80-85960-92-3, pp. 1-6. 19.5.2005, Brno.
HOLUB, Petr - LIŠKA, Miloš.
Lecture Recording, Processing, Archiving, and Streaming. Atlanta, Internet2, USA : SURA/ViDe, 2005. SPR2005 - The 7th Annual SURA/ViDe Conference. March 30, 2005. Invited talk.
BARTÁK, Roman - RUDOVÁ, Hana.
Limited Assignments: A New Cutoff Strategy for Incomplete Depth-First Search. In Proceedings of the 2005 ACM symposium on Applied computing. New York, NY, USA : ACM Press, 2005. ISBN 1-58113-964-0, pp. 288-292.
STREJČEK, Jan.
Linear Temporal Logic: Expressiveness and Model Checking. Faculty of Informatics, Masaryk University, 2005. 148 s. Ph.D. Thesis.
HLINĚNÝ, Petr.
MACEK: A software package for real structural computations with representable matroids. Vyd. verze 1.2. 2005. WWW.
GRUSKA, Jozef.
Main challenges and driving forces of IT in the era of globalization. In Shanghai Forum, Economic Globalization and the Choice of Asia. Shanghai : Fudan University Press, 2005. pp. 60-72. 2005, Shanghai, Čína.
HLINĚNÝ, Petr - WHITTLE, Geoff.
Matroid Tree-Width and Chordality. 2005.
MULLER, Tomáš - RUDOVÁ, Hana - BARTÁK, Roman.
Minimal Perturbation Problem in Course Timetabling. In Practice and Theory of Automated Timetabling V. Heidelberg : Springer-Verlag GmbH, 2005. ISBN 978-3-540-30705-1, pp. 126-146. Practice and Theory of Automated Timetabling V, Revised and Selected Papers.
FIBICH, Pavel - MATYSKA, Luděk - RUDOVÁ, Hana.
Model of Grid Scheduling Problem. In Exploring Planning and Scheduling for Web Services, Grid and Autonomic Computing. Menlo Park, California, USA : AAAI Press, 2005. ISBN 1-57735-239-4, pp. 17-24.
ULMAN, Vladimír.
Mosaicking of High-resolution Biomedical Images Acquired from Wide-field Optical Microscope. In Proceedings of the 3rd European Medical and Biological Engineering Conference EMBEC'05. Praha : IFMBE Proceedings Series, vol. 11, 2005. pp. 1-5. 20.11.2005, Praha.
ULMAN, Vladimír.
Mosaicking of High-resolution Biomedical Images Acquired from Wide-field Optical Microscope. Znojmo : 1st Doctoral Workshop on Mathematical and Engeneering methods in Computer Science, 2005.
BRIM, Luboš - LINDEN, Isabelle.
MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems. 2005. Kingdom of Belgium, Namur, Belgie. 23.4.2005 - 23.4.2005, Worldwide Activity.
RUDOVÁ, Hana - VLK, Miroslav.
Multi-Criteria Soft Constraints in Timetabling (extended abstract). In Proceedings of the 2nd Multidisciplinary International Conference on Scheduling (MISTA 2005). New York, USA : New York University, 2005. pp. 11-15.
HOLUB, Petr.
Network and Grid Support for Multimedia Distribution and Processing. 2005.
KRONTORÁD, Petr - SVOBODA, Zbyněk - KOUTNÁ, Irena - JANSOVÁ, Eva - KOZUBEK, Michal.
New practical tools for microarray data analysis. 2005.
KONIORCZYK, Matyas - BUŽEK, Vladimír.
Nonmaximally entangled bases and their application in entanglement purification via swapping. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2005, vol. 71, no. 3, A032331-10 pp.
SVOBODA, Zbyněk - KRONTORÁD, Petr - JANSOVÁ, Eva - KOUTNÁ, Irena - KOZUBEK, Michal.
Normalizační metody ve zpracování dat z DNA Microarrays. 2005.
SRBA, Jiří.
On Counting the Number of Consistent Genotype Assignments for Pedigrees. In Proceedings of 25th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05). Netherlands : Spring-Verlag, 2005. pp. 1-12. 2005, IndiaTo appear.
HLINĚNÝ, Petr.
On Crossing-Critical Graphs. 2005.
PELÁNEK, Radek - KRČÁL, Pavel.
On Sampled Semantics of Timed Systems. In Foundations of Software Technology and Theoretical Computer Science. India : Springer, 2005. ISBN 978-3-540-30495-1, pp. 310-321. Hyderabad.
KUČERA, Antonín - STRAŽOVSKÝ, Oldřich.
On the Controller Synthesis for Finite-State Markov Decision Processes. In 25th International Conference on Foundations of Software Technology and Theoretical Computer Science. Berlin Heidelberg New York : Springer, 2005. ISBN 3-540-30495-9, pp. 541-552. 2005, Hyderabad, India.
BRÁZDIL, Tomáš - KUČERA, Antonín - STRAŽOVSKÝ, Oldřich.
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. In Proceedings of 22nd Symposium on Theoretical Aspects of Computer Science (STACS 2005). Berlin : Springer, 2005. ISBN 3-540-24998-2, pp. 145-157. 2005, February 24 - 26, 2005, Stuttgart, Germany.
BUŽEK, Vladimír.
Optimal manipulations with quantum information: Programmable quantum processors. 2005. Science and Art in Europe, meeting of Max Planck Society, May, Dresden. Invited talk.
BUŽEK, Vladimír.
Optimal manipulations with quantum information: Programmable quantum processors. 2005. 15. konferencia českých a slovenských fyzikov, September, Košice. Invited talk.
GRUSKA, Jozef.
Organizing commitee membership. KIAS-KAIST 2005 Workshop on Quantum Information Science. 2005. Republic of Korea, Soul. 22.8.2005 - 24.8.2005, Worldwide Activity.
KŘENEK, Aleš - SEBESTIANOVÁ, Zora.
Perun -- Fault-Tolerant Management of Grid Resources. In Krakow Grid Workshop 2004. Krakow : Academic Computer Centre CYFRONET AGH, 2005. ISBN 83-915141-4-5, pp. 133-140. 2005, Krakow.
BUŽEK, Vladimír.
Physics of qubit applications. 2005. QIST (Quantum Information Science and Technology )meeting, February, Innsbruck. Invited talk.
RUDOVÁ, Hana.
Practice and Theory of Automated Timetabling V, Selected Revised Papers. 2005. United States of America, Pittsburgh, USA. 18.8.2005 - 20.8.2005, Worldwide Activity.
BRAZIER, Adam - BUŽEK, Vladimír - KNIGHT, Peter L.
Probabilistic programmable quantum processors with multiple copies of program states. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2005, vol. 71, no. 3, A032306-7 pp.
BRIM, Luboš - LINDEN, Isabelle.
Proceedings of the 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems. Namur, Belgie : FNDP Namur, 2005. 105 s. Tech. Rep.
ZIMAN, Mário - PLESCH, Martin - BUŽEK, Vladimír.
Process reconstruction from incomplete and/or inconsistent data. The European Physical Journal D, New York, Springer Verlag, USA. ISSN 1434-6060, 2005, vol. 32, no. 2, pp. 215-222.
ZIMAN, Mário - PLESCH, Martin - BUŽEK, Vladimír - ŠTELMACHOVIČ, Peter.
Process reconstruction: From unphysical to physical maps via maximum likelihood. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2005, vol. 72, no. 2, A022106-5 pp.
GRUSKA, Jozef.
Program commitee membership. CIAA '05. 2005. French Republic, Nice. 27.6.2005 - 29.6.2005. Tenth International Conference on Implementation and Application of Automata.
ULMAN, Vladimír.
Quantitative Analysis of Intracellular Processes in Living Cells. In Proceedings of the 1st International Summer School on Computational Biology. Brno : Masarykova universita, 2005. ISBN 80-210-3907-8, pp. 84-94. 4.9.2005, Brno.
ESPARZA, Javier - KUČERA, Antonín - MAYR, Richard.
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances. In Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005). Los Alamitos, California : IEEE Computer Society, 2005. ISBN 0-7695-2266-1, pp. 117-126. 26.7.2005, Chicago, Illinois, USA.
GRUSKA, Jozef.
Quantum Complexity Theory Goals and Challenges. International Journal of Quantum Information: Special Issue Proceedings of the International Meeting on Quantum Information Science, Foundations of Quantum Information, Camerino, Italy, , World Scientific, Singapore. ISSN 0219-7499, 2005, vol. 3, no. 1, pp. 31-39.
GRUSKA, Jozef.
Quantum complexity theory potential and challenges for QIPC and quantum mechanics. 2005. Quantum Information and Communication ' 05, February, IIT Kharagpur. Invited talk.
GRUSKA, Jozef.
Quantum complexity theory tools, goals and challenges. In Quantum Information, Computation and Communication. New Delhi : Allied Publishers, 2005. ---, ISBN 81-8424-064-3, pp. 175-197.
GRUSKA, Jozef.
Quantum finite automata: an invitation. In Proceedings of Tarragona PhD School. Vyd. In Press. Tarragona : Tarragona PhD School, 2005. pp. -.
GRUSKA, Jozef.
Quantum information processing primitives. 2005. Quantum Information and Communication '05, February, IIT Kharagpur. Invited talk.
BUŽEK, Vladimír.
Quantum information processing with three qubits. 2005. QUPON - Quantum Physics of Nature, May, Vienna. Invited talk.
HILLERY, Mark - MLODINOW, Leonard - BUŽEK, Vladimír.
Quantum interference with molecules: The role of internal states. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2005, vol. 71, no. 6, A062103-9 pp.
BUŽEK, Vladimír - HILLERY, Mark - ZIMAN, Mário.
Quantum processors. In QUPON 2005. Vienna, Austria : QUPON, 2005. pp. -. 2005, Vienna, Austria.
BOUAJJANI, Ahmed - ESPARZA, Javier - SCHWOON, Stefan - STREJČEK, Jan.
Reachability Analysis of Multithreaded Software with Asynchronous Communication. In FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference. Berlin, Heidelberg : Springer-Verlag, 2005. ISBN 3-540-30495-9, pp. 348-359. 2005, Hyderabad, India.
KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
Reachability of Hennessy - Milner properties for weakly extended PRS. In FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference. Berlin, Heidelberg : Springer-Verlag, 2005. ISBN 3-540-30495-9, pp. 213-224. 2005, Hyderabad, India.
ZIMAN, Mário - BUŽEK, Vladimír.
Realization of positive-operator-valued measures using measurement-assisted programmable quantum processors. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2005, vol. 72, no. 2, A022343-7 pp.
ZIMAN, Mário.
Reconstruction of quantum states and processes. 2005. RESQ meeting, May, Budapest. Invited talk.
ZIMAN, Mário - PLESCH, Martin - BUŽEK, Vladimír.
Reconstruction of superoperators from incomplete data. Foundations of Physics, , Springer Science+Business Media B. V., The Nederlands. ISSN 0015-9018, 2005, vol. 36, no. 1, pp. 127-156.
HUTTEL, Hans - SRBA, Jiří.
Recursion vs. Replication in Simple Cryptographic Protocols. In Proceedings of 31st Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05). Netherlands : Springer-Verlag, 2005. pp. 175-184. 2005, Slovak Republic.
KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
Refining Undecidability Border of Weak Bisimilarity. BRICS Notes Series, San Francisco, USA, . ISSN 0909-3206, 2005, vol. 2005, no. NS-05-4, pp. 3-14.
KŘETÍNSKÝ, Mojmír - ŘEHÁK, Vojtěch - STREJČEK, Jan.
Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper). Brno : FI MU, 2005. FIMU-RS-2005-06. WWW.
HOLUB, Petr - HLADKÁ, Eva - MATYSKA, Luděk.
Scalability and Robustness of Virtual Multicast for Synchronous Multimedia Distribution. Lecture Notes in Computer Science, Germany, Springer Berlin / Heidelberg, France. ISSN 0302-9743, 2005, vol. 3421, no. -, pp. 876-883.
KOŠÍK, Jozef - BUŽEK, Vladimír.
Scattering model for quantum random walks on a hypercube. Physical Review A, New York, American Physical Society, USA. ISSN 1050-2947, 2005, vol. 71, no. 1, A012306-8 pp.
GRUSKA, Jozef.
Security in quantum cryptography and networks. 2005. NATO ASI on Network Security, October, Jerevan. Invited talks.
GRUSKA, Jozef.
Security in quantum cryptography and quantum networks. In Aspects of Network and Information Security, NATO Security through Science Series, D: Information and Communication Security. Amsterdam, Netherlands : IOS Press, 2008, 2005. Vol. 17, ISBN 978-1-58603-856-4, pp. 19-46.
JANSOVÁ, Eva - KOUTNÁ, Irena - KRONTORÁD, Petr - SVOBODA, Zbyněk - KOZUBEK, Michal - KOZUBEK, Stanislav.
Sledování změn genové exprese u pacientů s kolorektálním karcinomem pomocí cDNA microarrays technologie a jejich diagnostika pomocí transkripčních map. 2005.
GRUSKA, Jozef.
Steering Chair. EQIS 2005 ERATO conference on Quantum Information Science. 2005. Japan, Tokyo, Japonsko. 26.8.2005 - 31.8.2005, Worldwide Activity.
HLADKÁ, Eva - LIŠKA, Miloš - REBOK, Tomáš.
Stereoscopic Video over IP networks. In Proceedings of the International Conference on Networking and Services 2005. Papeete, Tahiti : Institute of Electrical and Electronics Engineers, 2005. ISBN 0-7695-2450-8, pp. 1-6. 2005, Tahiti, French Polynesia.
PELÁNEK, Radek - PASAREANU, Corina - VISSER, Willem.
Test input generation for red-black trees using abstraction. In Automated Software Engineering. USA : ACM, 2005. pp. 414-417. 2005, Long Beach, California.
RUDOVÁ, Hana.
The 18th International FLAIRS Conference. 2005. United States of America, Clearwater Beach, Florida, USA. 17.5.2005 - 19.5.2005, Worldwide Activity.
GRUSKA, Jozef.
The challenges of information technology for globalization era. 2005. Shanghai Forum, Globalisation, Choices for Aisa, MAy, Shanghai. Invited talk.
KUČERA, Antonín - STREJČEK, Jan.
The stuttering principle revisited. Acta informatica, Berlin, Springer-Verlag, Germany. ISSN 0001-5903, 2005, vol. 41, no. 7/8, pp. 415-434.
SRBA, Jiří.
Timed-Arc Petri Nets vs. Networks of Timed Automata. In Proceedings of the 26th International Conference on Application and Theory of {P}etri Nets (ICATPN 2005). Netherlands : Springer-Verlag, 2005. pp. 385-402. 2005, USA.
MLNAŘÍK, Hynek.
Towards a Categorical Semantics of a High-level Quantum Programming Language. In Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno : Faculty of Informatics, Masaryk University, 2005. pp. 17-23. 2005, Znojmo, Czech Republic.
HILLERY, Mark - ZIMAN, Mário - BUŽEK, Vladimír - BIELIKOVÁ, Martina.
Towards quantum-based privacy and voting. Physics Letters A, , Elsevier, The Nederlands. ISSN 0375-9601, 2005, vol. 349, no. Iss. 1-4, pp. 75-81.
CECCANTI, Andrea - KRAJÍČEK, Ondřej - KŘENEK, Aleš - MATYSKA, Luděk - RUDA, Miroslav.
Towards Scalable and Interoperable Grid Monitoring Infrastructure. In Proceedings of the first CoreGRID Integration Workshop. Pisa : University of Pisa, Italy, 2005. pp. 237-246. 2005, Pisa.
KOUTNÁ, Irena - MAYER, Jiří - KLABUSAY, Martin - KRONTORÁD, Petr - JANSOVÁ, Eva - KOZUBEK, Michal - KOZUBEK, Stanislav.
Transcriptional profiling of human CD34+ cells during in vitro differentiation. 2005.
HOLUB, Petr - HLADKÁ, Eva.
Ubiquitous User-Empowered Networks of Active Elements. In TERENA Networking Conference 2005. Poznan, Poland : TERENA, 2005. pp. 1-3. 6.6.2005, Poznan, Poland.
GRUSKA, Jozef.
Universal Sets of Quantum Information Processing Primitives and their optimal use. Electronic Notes in Discrete Mathematics, , Elsevier, The Nederlands. ISSN 1571-0653, 2005, vol. 21, no. srpen, pp. 285-289.
GRUSKA, Jozef.
Universality and optimality of quantum information processing primitives. In Quantum Information, Computation and Communication. New Delhi : Allied Publishers, 2005. ---, ISBN 81-8424-064-3, pp. 1-18.
MATYSKA, Luděk - RUDA, Miroslav - DENEMARK, Jiří - MEYER, Norbert - WOLNIEWICZ, Paweł - JANKOWSKI, Michał.
User Management for Virtual Organizations. EU : CoreGRID, 2005. TR-0012.
ŠAFRÁNEK, David - ŠIMŠA, Jiří.
VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. In SOFSEM 2005: Theory and Practice of Computer Science. Heidelberg : Springer, 2005. ISBN 3-540-24302-X, pp. 320-330. Liptovský Ján.
HOLUB, Petr - REBOK, Tomáš - LIŠKA, Miloš.
Videokonferenční technologie a přenosy videa. Šumava : EurOpen 2005, 2005. October 23, 2005. Invited tutorial and demo.
HUBENÝ, Jan - SVOBODA, David - MATULA, Pavel - KOZUBEK, Michal.
Využití deformabilních modelů v obrazové cytometrii. 2005.
KOZUBEK, Michal.
Zpracování nových typů obrazových dat v optické mikroskopii. 2005. FI MU, Brno, Invited talk.
