On algorithmic analysis of transcriptional regulation by LTL model checking von Barnat, J., Brim, L., Černá, I., Dražan, S., Fabriková, J., Šafránek, D.

Volltext

Partial order reduction for state/event LTL with application to component-interaction automata von Beneš, N., Brim, L., Buhnova, B., Černá, I., Sochor, J., Vařeková, P.

Volltext

Sovětská armáda a Česká společnost 1968–1991 von Černá, Marie

Volltext

Dynamics of GVC Position of v4 Automotive Suppliers: Implications for Public Policy von Procházka, Petr, Černá, Iveta

Volltext

Letter to the Editor: Comments on ERCC3 as a new ovarian cancer susceptibility gene von Soukupova, Jana, Zemankova, Petra, Nehasil, Petr, Kleibl, Zdenek

Volltext

Temporal Logic Control of Discrete-Time Piecewise Affine Systems von Yordanov, B., Tumova, J., Cerna, I., Barnat, J., Belta, C.

Volltext

Intensification of the use of ionic liquids as efficient reaction co-solvents in asymmetric hydrogenations von Cerna, I., Kluson, P., Bendova, M., Floris, T., Pelantova, H., Pekarek, T.

Volltext

Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE von Barnat, J., Brim, L., Černá, I., Dražan, S., Šafránek, D.

Volltext

Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems von Vařeková, P., Vařeková, I., Černá, I.

Volltext

Comparison of butter quality parameters available on the Czech market with the use of FT NIR technology von Dvořák, Lukáš

Volltext

A Case Study in Parallel Verification of Component-Based Systems von Beneš, N., Černá, I., Sochor, J., Vařeková, P., Zimmerova, B.

Volltext

SOFSEM 2011: Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. P... von Cerna, Ivana, Gyimothy, Tibor, Hromkovic, Juraj, Jeffery, Keith, Kralovic, Rastislav, Vukolic, Marko, Wolf, Stefan

Volltext

How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors von Brim, L., Černá, I., Moravec, P., Šimša, J.

Volltext

SOFSEM 2011: Theory and Practice of Computer Science: 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Pr...

Volltext

Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers von Kotásek, Zdeněk, Bouda, Jan, Cerná, Ivana, Sekanina, Lukas, Vojnar, Tomas, Antos, David

Volltext

Distributed Partial Order Reduction of State Spaces von Brim, L., Černá, I., Moravec, P., Šimša, J.

Volltext

Computational Analysis of Large-Scale Multi-affine ODE Models von Barnat, J., Brim, L., Cerna, I., Drazan, S., Fabrikova, J., Safranek, D.

Volltext bestellen

Verification of Timed-Arc Petri Nets von Jacobsen, Lasse, Jacobsen, Morten, Møller, Mikael H., Srba, Jiří

Volltext

RAD18 directs DNA double-strand break repair by homologous recombination to post-replicative chromatin von Palek, Matous, Palkova, Natalie, Kleiblova, Petra, Kleibl, Zdenek, Macurek, Libor

Volltext

ENIGMA CHEK2gether Project: A Comprehensive Study Identifies Functionally Impaired CHEK2 Germline Missense Variants Associated with Increased Breast Cancer Risk von Stolarova, Lenka, Kleiblova, Petra, Zemankova, Petra, Stastna, Barbora, Janatova, Marketa, Soukupova, Jana, Achatz, Maria Isabel, Ambrosone, Christine, Apostolou, Paraskevi, Arun, Banu K, Auer, Paul, Barnard, Mollie, Bertelsen, Birgitte, Blok, Marinus J, Boddicker, Nicholas, Brunet, Joan, Burnside, Elizabeth S, Calvello, Mariarosaria, Campbell, Ian, Chan, Sock Hoai, Chen, Fei, Chiang, Jian Bang, Coppa, Anna, Cortesi, Laura, Crujeiras-González, Ana, De Leeneer, Kim, De Putter, Robin, DePersia, Allison, Devereux, Lisa, Domchek, Susan, Efremidis, Anna, Engel, Christoph, Ernst, Corinna, Evans, D Gareth R, Feliubadaló, Lidia, Fostira, Florentia, Fuentes-Ríos, Olivia, Gómez-García, Encarna B, González, Sara, Haiman, Christopher, Hansen, Thomas van Overeem, Hauke, Jan, Hodge, James, Hu, Chunling, Huang, Hongyan, Ishak, Nur Diana Binte, Iwasaki, Yusuke, Konstantopoulou, Irene, Kraft, Peter, Lacey, James, Lázaro, Conxi, Li, Na, Lim, Weng Khong, Lindstrom, Sara, Lori, Adriana, Martinez, Elana, Martins, Alexandra, Matsuda, Koichi, Matullo, Giuseppe, McInerny, Simone, Michailidou, Kyriaki, Montagna, Marco, Monteiro, Alvaro N A, Mori, Luigi, Nathanson, Katherine, Neuhausen, Susan L, Nevanlinna, Heli, Olson, Janet E, Palmer, Julie, Pasini, Barbara, Patel, Alpa, Piane, Maria, Poppe, Bruce, Radice, Paolo, Renieri, Alessandra, Resta, Nicoletta, Richardson, Marcy E, Rosseel, Toon, Ruddy, Kathryn J, Santamariña, Marta, Dos Santos, Elizabeth Santana, Teras, Lauren, Toland, Amanda E, Trentham-Dietz, Amy, Vachon, Celine M, Volk, Alexander E, Weber-Lassalle, Nana, Weitzel, Jeffrey N, Wiesmuller, Lisa, Winham, Stacey, Yadav, Siddhartha, Yannoukakos, Drakoulis, Yao, Song, Zampiga, Valentina, Zethoven, Magnus, Zhang, Ze Wen, Zima, Tomas, Spurdle, Amanda B, Vega, Ana, Rossing, Maria

Volltext