Search Results - "Mateescu, Radu"

Refine Results
  1. 1
  2. 2

    CADP 2011: a toolbox for the construction and analysis of distributed processes by Garavel, Hubert, Lang, Frédéric, Mateescu, Radu, Serwe, Wendelin

    “…CADP ( Construction and Analysis of Distributed Processes ) is a comprehensive software toolbox that implements the results of concurrency theory. Started in…”
    Get full text
    Journal Article
  3. 3

    Compositional verification of concurrent systems by combining bisimulations by Lang, Frédéric, Mateescu, Radu, Mazzanti, Franco

    Published in Formal methods in system design (01-10-2021)
    “…One approach to verify a property expressed as a modal μ -calculus formula on a system with several concurrent processes is to build the underlying state space…”
    Get full text
    Journal Article
  4. 4

    Markers of cardiac dysfunction associated with inflammation in a cohort of patients with acute decompensation of cirrhosis by Voiosu, Andrei M, Daha, Ioana C, Drăgan, Victor, Birligea, Mihaela, Vîjan, Ancuța, Bălănescu, Paul, Benguș, Andreea, Voiosu, Theodor A, Mateescu, Radu B, Băicuș, Cristian R

    “…Inflammation underpinning acute decompensation (AD) of liver disease is an important driver for the development of acute-on-chronic liver failure or death. We…”
    Get full text
    Journal Article
  5. 5

    CAESAR_SOLVE : A generic library for on-the-fly resolution of alternation-free Boolean equation systems by MATEESCU, Radu

    “…Boolean equation systems (Bess) provide a useful framework for modeling various verification problems on finite-state concurrent systems, such as equivalence…”
    Get full text
    Conference Proceeding Journal Article
  6. 6

    A Formal TLS Handshake Model in LNT by Bozic, Josip, Marsso, Lina, Mateescu, Radu, Wotawa, Franz

    “…Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected on a regular basis, more…”
    Get full text
    Journal Article
  7. 7
  8. 8

    Measuring trainee competence in performing endoscopic retrograde cholangiopancreatography: A systematic review of the literature by Voiosu, Theodor, Bălănescu, Paul, Voiosu, Andrei, Benguş, Andreea, Preda, Carmen, Umans, Devica S, Bogdan Mateescu, Radu, van Hooft, Jeanin E

    Published in United European gastroenterology journal (01-03-2019)
    “…Background Current recommendations on training in endoscopic retrograde cholangiopancreatography are predicated on a performance-centred approach designed to…”
    Get full text
    Journal Article
  9. 9

    Obesity and pregnancy by Melestean-Bratu, Madalina-Ioana, Edu, Antoine, Bujor, Mihaela, Ionescu, Oana Maria, Isopescu, Florin, Mateescu, Radu-Nicolae, Carp-Veliscu, Andreea, Dumitrascu, Mihai, Sandru, Florica, Mehedintu, Claudia

    Published in Practica medicală (2006) (15-12-2021)
    “…Obesity and overweight, the most common metabolic disorders, have an increased incidence among women of reproductive age and represent major risk factors in…”
    Get full text
    Journal Article
  10. 10

    Breef overview of gestational diabetes mellitus by Melestean-Bratu, Madalina-Ioana, Mehedintu, Claudia, Varlas, Valentin Nicolae, Frincu, Francesca, Mateescu, Radu, Edu, Antoine, Dima, Vlad, Andreescu, Cristina Veronica, Plotogea, Mihaela

    Published in Practica medicală (2006) (30-09-2022)
    “…As obesity increases worldwide, so do the incidence of gestational diabetes mellitus (GDM) and the related perinatal complications. Pancreatic β-cell secretion…”
    Get full text
    Journal Article
  11. 11

    Transient venous air embolism after ERCP: worrisome or not? by Voiosu, Theodor Alexandru, Gheorghe, Andrada Viorela, Lepădat, Gabriel, Mateescu, Radu Bogdan, Rimbaș, Mihai

    Published in Journal of ultrasonography (01-01-2020)
    “…The paper describes the occurrence of a rare complication – portal and systemic venous air embolism – after endoscopic retrograde cholangiopancreatography,…”
    Get full text
    Journal Article
  12. 12

    Quality of colonoscopy preparation in patients with inflammatory bowel disease: retrospective analysis of 348 colonoscopies by Negreanu, Lucian, Voiosu, Theodor, State, Monica, Mateescu, Radu Bogdan

    Published in Journal of international medical research (01-04-2020)
    “…Objective Our aim was to prospectively assess bowel preparation in patients with inflammatory bowel disease (IBD) and to determine the impact of…”
    Get full text
    Journal Article
  13. 13

    Allergic rhinitis and pregnancy – management by TUDOSE, Adriana, MATEESCU, Radu, MATEI, Alexandru, ANTOINE, Edu

    Published in Practica medicală (2006) (31-03-2017)
    “…Allergic rhinitis is a chronic inflammation produced by the action of IgE antibodies which fight against allergens inside the mucosal nazale. It is…”
    Get full text
    Journal Article
  14. 14

    The diagnostic and prognostic value of serum endocan in patients with cirrhotic cardiomyopathy by Voiosu, Andrei Mihai, Bălănescu, Paul, Daha, Ioana, Smarandache, Bianca, Rădoi, Aurelia, Mateescu, Radu Bogdan, Băicuş, Cristian Răsvan, Voiosu, Theodor Alexandru

    Published in Revue roumaine de médecine interne (1990) (01-09-2018)
    “…We aimed to determine the relationship between endocan and cirrhotic cardiomyopathy. Patients with liver cirrhosis and no heart disease were included in a…”
    Get full text
    Journal Article
  15. 15
  16. 16

    Systematic review of self-assembling peptides as topical agents for treatment and prevention of gastrointestinal bleeding by Voiosu, Andrei, State, Monica, Drăgan, Victor, Văduva, Sergiu, Bălănescu, Paul, Mateescu, Radu Bogdan, Voiosu, Theodor

    Published in Clinical endoscopy (01-07-2024)
    “…Gastrointestinal bleeding is a significant and potentially lethal event. We aimed to review the efficiency and safety of self-assembling peptides for the…”
    Get full text
    Journal Article
  17. 17

    Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems by Lang, Frédéric, Mateescu, Radu

    Published in Logical methods in computer science (01-10-2013)
    “…Partial model checking was proposed by Andersen in 1995 to verify a temporal logic formula compositionally on a composition of processes. It consists in…”
    Get full text
    Journal Article
  18. 18

    Endoscopy in inflammatory bowel disease: from guidelines to real life by Negreanu, Lucian, Voiosu, Theodor, State, Monica, Voiosu, Andrei, Bengus, Andreea, Mateescu, Bogdan Radu

    Published in Therapeutic Advances in Gastroenterology (01-07-2019)
    “…Endoscopy has a central role in the management of inflammatory bowel disease (IBD), providing crucial data for diagnostic and therapeutic decisions, treating…”
    Get full text
    Book Review Journal Article
  19. 19

    Advances in the Diagnosis of Pancreatic Cystic Lesions by Pușcașu, Claudia Irina, Rimbaş, Mihai, Mateescu, Radu Bogdan, Larghi, Alberto, Cauni, Victor

    Published in Diagnostics (Basel) (22-07-2022)
    “…Pancreatic cystic lesions (PCLs) are a heterogenous group of lesions ranging from benign to malignant. There has been an increase in PCLs prevalence in recent…”
    Get full text
    Journal Article
  20. 20

    Women's Sexual Dysfunctions Following Stem Cell Transplant and the Impact on Couple Relationship by Plotogea, Mihaela, Zgura, Anca, Mehedințu, Claudia, Scurtu, Francesca, Petca, Aida, Varlas, Valentin Nicolae, Bors, Roxana Georgiana, Edu, Antoine, Ionescu, Oana-Maria, Andreescu, Mihaela, Mateescu, Radu Nicolae, Isam, Al Jashi

    Published in Life (Basel, Switzerland) (01-12-2023)
    “…Stem cell transplant proved its efficacy in increasing the survival rate among young patients diagnosed with hematological malignancies. A transplant…”
    Get full text
    Journal Article