Search Results - Velan, Tomas

  • Showing 1 - 12 results of 12
Refine Results
  1. 1
    Estimating the rate of thrombin and fibrin generation in vivo during cardiopulmonary bypass

    Estimating the rate of thrombin and fibrin generation in vivo during cardiopulmonary bypass by Chandler, Wayne L., Velan, Tomas

    Published in Blood
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Secretion of tissue plasminogen activator and plasminogen activator inhibitor 1 during cardiopulmonary bypass

    Secretion of tissue plasminogen activator and plasminogen activator inhibitor 1 during cardiopulmonary bypass by Chandler, Wayne L, Velan, Tomas

    Published in Thrombosis research
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Strategies to reduce hemostatic activation during cardiopulmonary bypass

    Strategies to reduce hemostatic activation during cardiopulmonary bypass by Eisses, Michael J., Velan, Tomas, Aldea, Gabriel S., Chandler, Wayne L.

    Published in Thrombosis research
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    A Computer Simulation of Body Fluid and Acid-Base Disorders as an Efficient Tele-Education Tool

    A Computer Simulation of Body Fluid and Acid-Base Disorders as an Efficient Tele-Education Tool by Kofránek, Jiří, Velan, Tomáš, Janicadis, Patrick, Kerekeš, Roman

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Host Behavior in Computer Network: One-Year Study

    Host Behavior in Computer Network: One-Year Study by Jirsik, Tomas, Velan, Petr

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    On the Impact of Flow Monitoring Configuration

    On the Impact of Flow Monitoring Configuration by Velan, Petr, Jirsik, Tomas

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Passive operating system fingerprinting revisited: Evaluation and current challenges

    Passive operating system fingerprinting revisited: Evaluation and current challenges by Laštovička, Martin, Husák, Martin, Velan, Petr, Jirsík, Tomáš, Čeleda, Pavel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Event-Flow Correlation for Anomaly Detection in HTTP/3 Web Traffic

    Event-Flow Correlation for Anomaly Detection in HTTP/3 Web Traffic by Spacek, Stanislav, Velan, Petr, Holkovic, Martin, Plesnik, Tomas

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Network traffic characterisation using flow-based statistics

    Network traffic characterisation using flow-based statistics by Velan, Petr, Medkova, Jana, Jirsik, Tomas, Celeda, Pavel

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Deciding Fast Termination for Probabilistic VASS with Nondeterminism

    Deciding Fast Termination for Probabilistic VASS with Nondeterminism by Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Efficient Algorithms for Checking Fast Termination in VASS

    Efficient Algorithms for Checking Fast Termination in VASS by Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

    Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS by Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik, Zuleger, Florian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: