Cyclin-Dependent Kinases Are Regulators and Effectors of Oscillations Driven by a Transcription Factor Network von Simmons Kovacs, Laura A., Mayhew, Michael B., Orlando, David A., Jin, Yuanjie, Li, Qingyun, Huang, Chenchen, Reed, Steven I., Mukherjee, Sayan, Haase, Steven B.

Volltext

Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings von Kohlhase, Andrea, Kovács, Laura

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice... von Finkbeiner, Bernd, Kovács, Laura

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice... von Finkbeiner, Bernd, Kovács, Laura

Volltext

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice... von Finkbeiner, Bernd, Kovács, Laura

Volltext

Cohesin: It's not just for chromosomes anymore von Kovacs, Laura A. Simmons, Haase, Steven B.

Volltext

Moment-based analysis of Bayesian network properties von Stankovič, Miroslav, Bartocci, Ezio, Kovács, Laura

Volltext

Transcription networks and cyclin/CDKs: the yin and yang of cell cycle oscillators von Simmons Kovacs, Laura A, Orlando, David A, Haase, Steven B

Volltext

Production of a defensin-like antifungal protein NFAP from Neosartorya fischeri in Pichia pastoris and its antifungal activity against filamentous fungal isolates from human infect... von Virágh, Máté, Vörös, Dóra, Kele, Zoltán, Kovács, Laura, Fizil, Ádám, Lakatos, Gergely, Maróti, Gergely, Batta, Gyula, Vágvölgyi, Csaba, Galgóczy, László

Volltext

Checkpoints couple transcription network oscillator dynamics to cell-cycle progression von Bristow, Sara L, Leman, Adam R, Simmons Kovacs, Laura A, Deckard, Anastasia, Harer, John, Haase, Steven B

Volltext

Lonely Points in Simplices von Jaroschek, Maximilian, Kauers, Manuel, Kovács, Laura

Volltext

The karyopherin Kap95 and the C-termini of Rfa1, Rfa2, and Rfa3 are necessary for efficient nuclear import of functional RPA complex proteins in Saccharomyces cerevisiae von Belanger, Kenneth D, Griffith, Amanda L, Baker, Heather L, Hansen, Jeanne N, Kovacs, Laura A Simmons, Seconi, Justin S, Strine, Andrew C

Volltext

First-Order Theorem Proving and Vampire von Kovács, Laura, Voronkov, Andrei

Volltext

Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops von Bartocci, Ezio, Kovács, Laura, Stankovič, Miroslav

Volltext

SAT solving for variants of first-order subsumption von Coutelier, Robin, Rath, Jakob, Rawson, Michael, Biere, Armin, Kovács, Laura

Volltext

Symbolic Computation in Automated Program Reasoning von Kovács, Laura

Volltext

(Un)Solvable loop analysis von Amrollahi, Daneshvar, Bartocci, Ezio, Kenison, George, Kovács, Laura, Moosbrugger, Marcel, Stankovič, Miroslav

Volltext

Invariant Generation for Multi-Path Loops with Polynomial Assignments von Humenberger, Andreas, Jaroschek, Maximilian, Kovács, Laura

Volltext

This is the moment for probabilistic loops von Moosbrugger, Marcel, Stankovič, Miroslav, Bartocci, Ezio, Kovács, Laura

Volltext

Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs von Müllner, Julian, Moosbrugger, Marcel, Kovács, Laura

Volltext