Showing 1 - 14 results of 14 for search 'S Livadas', query time: 0.02s Refine Results
  1. 1
    Formal Verification of Safety-Critical Hybrid Systems

    Formal Verification of Safety-Critical Hybrid Systems by Livadas, Carolos

    Published 2023
    Get full text
  2. 2
    Formal verification of safety-critical hybrid systems

    Formal verification of safety-critical hybrid systems by Livadas, Carolos

    Published 2008
    Get full text
    Thesis
  3. 3
    Optimal H₂/Popov controller design using linear matrix inequalities

    Optimal H₂/Popov controller design using linear matrix inequalities by Livadas, Carolos

    Published 2009
    Get full text
    Thesis
  4. 4
    Formally modeling, analyzing, and designing network protocols : a case study on retransmission-based reliable multicast protocols

    Formally modeling, analyzing, and designing network protocols : a case study on retransmission-based reliable multicast protocols by Livadas, Carolos

    Published 2014
    Get full text
    Thesis
  5. 5
    File structures : theory and practice /

    File structures : theory and practice / by 296452 Livadas, Panos E.

    Published 1990
  6. 6
    The Case for Exploiting Packet Loss Locality in Multicast Loss Recovery

    The Case for Exploiting Packet Loss Locality in Multicast Loss Recovery by Livadas, Carolos, Keidar, Idit

    Published 2023
    Get full text
  7. 7
    A Formal Venture into Reliable Multicast Territory

    A Formal Venture into Reliable Multicast Territory by Livadas, Carolos, Lynch, Nancy A.

    Published 2023
    Get full text
  8. 8
    A Reliable Broadcast Scheme for Sensor Networks

    A Reliable Broadcast Scheme for Sensor Networks by Livadas, Carolos, Lynch, Nancy A.

    Published 2005
    Get full text
  9. 9
    Computer organization and the MC 68000 /

    Computer organization and the MC 68000 / by 296452 Livadas, Panos E., Ward, Christopher

    Published 1993
  10. 10
    Nutritional and exercise interventions to improve conception in women suffering from obesity and distinct nosological entities

    Nutritional and exercise interventions to improve conception in women suffering from obesity and distinct nosological entities by Evdoxia Gitsi, Sarantis Livadas, Georgia Argyrakopoulou

    Published 2024-06-01
    Get full text
    Article
  11. 11
    Long-Term Effects of 0.1 mg Recombinant-Human-Thyrotropin-Stimulated Fixed-Dose Radioiodine Therapy in Patients with Recurrent Multinodular Goiter after Surgery

    Long-Term Effects of 0.1 mg Recombinant-Human-Thyrotropin-Stimulated Fixed-Dose Radioiodine Therapy in Patients with Recurrent Multinodular Goiter after Surgery by Nicholas Angelopoulos, Ioannis Iakovou, Grigoris Effraimidis, Sarantis Livadas

    Published 2024-04-01
    Get full text
    Article
  12. 12
    Beta-Thalassemia Major and Female Fertility: The Role of Iron and Iron-Induced Oxidative Stress

    Beta-Thalassemia Major and Female Fertility: The Role of Iron and Iron-Induced Oxidative Stress by Paraskevi Roussou, Nikolaos J. Tsagarakis, Dimitrios Kountouras, Sarantis Livadas, Evanthia Diamanti-Kandarakis

    Published 2013-01-01
    Get full text
    Article
  13. 13
    Secondary Cardiovascular Disease Prevention Deficit Persists over the Years: A Multicenter Cross-Sectional Study Involving 1003 Consecutive Patients from Greece

    Secondary Cardiovascular Disease Prevention Deficit Persists over the Years: A Multicenter Cross-Sectional Study Involving 1003 Consecutive Patients from Greece by Rodis D. Paparodis, Ioannis Androulakis, Dimitrios Askitis, Ilias Perogamvros, Nicholaos Angelopoulos, Andreas Rizoulis, Sarantis Livadas, Anastasios Boniakos

    Published 2024-03-01
    Get full text
    Article
  14. 14
    The Cardiometabolic Risk in Women with Polycystic Ovarian Syndrome (PCOS): From Pathophysiology to Diagnosis and Treatment

    The Cardiometabolic Risk in Women with Polycystic Ovarian Syndrome (PCOS): From Pathophysiology to Diagnosis and Treatment by Sotirios Pililis, Stamatios Lampsas, Aikaterini Kountouri, Loukia Pliouta, Emmanouil Korakas, Sarantis Livadas, John Thymis, Melpomeni Peppa, Sophia Kalantaridou, Evangelos Oikonomou, Ignatios Ikonomidis, Vaia Lambadiari

    Published 2024-10-01
    Get full text
    Article

Search Tools: