Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications von Lepri, Daniela, Ölveczky, Peter Csaba, Ábrahám, Erika

Volltext

A Rewriting-Logic-Based Technique for Modeling Thermal Systems von Fadlisyah, Muhammad, Ábrahám, Erika, Lepri, Daniela, Ölveczky, Peter Csaba

Volltext

Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories von Lepri, Daniela, Ábrahám, Erika, Ölveczky, Peter Csaba

Volltext

Timed CTL Model Checking in Real-Time Maude von Lepri, Daniela, Ábrahám, Erika, Ölveczky, Peter Csaba

Volltext

A Timed CTL Model Checker for Real-Time Maude von Lepri, Daniela, Ábrahám, Erika, Ölveczky, Peter Csaba

Volltext

KNOWLEDGE GRAPH PRIVACY MANAGEMENT von SOLHEIM, Helge Grenager, NOWAKOWSKA, Marta Emilia, LERVIK, Bernt, KNUDSEN, Vidar Tveoy, KREUTZER, Tor, MAKHMUTOVA, Elvira, LEPRI, Daniela, KARLBERG, Jan-Ove Almli

Volltext bestellen

Automatic extraction and completion of tasks associated with communications von Makris, Christos, Platakis, Manolis, Ifrim, Olivia, Zhovtobriukh, Ievgeniia, Lepri, Daniela

Volltext bestellen

KNOWLEDGE GRAPH PRIVACY MANAGEMENT von SOLHEIM, Helge Grenager, NOWAKOWSKA, Marta Emilia, LERVIK, Bernt, KNUDSEN, Vidar Tveoy, KREUTZER, Tor, MAKHMUTOVA, Elvira, LEPRI, Daniela, KARLBERG, Jan-Ove Almli

Volltext bestellen

KNOWLEDGE GRAPH PRIVACY MANAGEMENT von SOLHEIM, Helge Grenager, NOWAKOWSKA, Marta Emilia, LERVIK, Bernt, KNUDSEN, Vidar Tveoy, KREUTZER, Tor, MAKHMUTOVA, Elvira, LEPRI, Daniela, KARLBERG, Jan-Ove Almli

Volltext bestellen

AUTOMATIC EXTRACTION OF TASKS ASSOCIATED WITH COMMUNICATIONS von PLATAKIS, Manolis, ZHOVTOBRIUKH, Ievgeniia, LEPRI, Daniela, MAKRIS, Christos, IFRIM, Olivia

Volltext bestellen

Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS von Barbuti, Roberto, Lepri, Daniela, Maggiolo-Schettini, Andrea, Milazzo, Paolo, Pardini, Giovanni, Rama, Aureliano

Volltext

AUTOMATIC EXTRACTION OF TASKS ASSOCIATED WITH COMMUNICATIONS von PLATAKIS, Manolis, ZHOVTOBRIUKH, Ievgeniia, LEPRI, Daniela, MAKRIS, Christos, IFRIM, Olivia

Volltext bestellen

AUTOMATIC EXTRACTION AND COMPLETION OF TASKS ASSOCIATED WITH COMMUNICATIONS von Lepri Daniela, Ifrim Olivia, Platakis Manolis, Makris Christos, Zhovtobriukh levgeniia

Volltext bestellen

Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications von Lepri, Daniela, Ölveczky, Peter Csaba, Ábrahám, Erika

Volltext

A Rewriting-Logic-Based Technique for Modeling Thermal Systems von Fadlisyah, Muhammad, Ábrahám, Erika, Lepri, Daniela, Ölveczky, Peter Csaba

Volltext

Automatic extraction of tasks associated with communications von PLATAKIS MANOLIS, IFRIM OLIVIA, LEPRI DANIELA, MAKRIS CHRISTOS, ZHOVTOBRIUKH IEVGENIIA

Volltext bestellen

Episodes of Mood Disorders in 2,252 Pregnancies and Postpartum Periods von Viguera, Adele C., Tondo, Leonardo, Koukopoulos, Alexia E., Reginaldi, Daniela, Lepri, Beatrice, Baldessarini, Ross J.

Volltext

New Inhibitors of the Human p300/CBP Acetyltransferase Are Selectively Active against the Arabidopsis HAC Proteins von Longo, Chiara, Lepri, Andrea, Paciolla, Andrea, Messore, Antonella, De Vita, Daniela, Bonaccorsi di Patti, Maria Carmela, Amadei, Matteo, Madia, Valentina Noemi, Ialongo, Davide, Di Santo, Roberto, Costi, Roberta, Vittorioso, Paola

Volltext

Heavily treatment-experienced persons living with HIV currently in care in Italy: characteristics, risk factors, and therapeutic options—the ICONA Foundation cohort study von Lo Caputo, Sergio, Poliseno, Mariacristina, Tavelli, Alessandro, Gagliardini, Roberta, Rusconi, Stefano, Lapadula, Giuseppe, Antinori, Andrea, Francisci, Daniela, Sarmati, Loredana, Gori, Andrea, Spagnuolo, Vincenzo, Ceccherini-Silberstein, Francesca, d'Arminio Monforte, Antonella, Cozzi-Lepri, Alessandro

Volltext

Improved biochemical and neurodevelopmental profiles with high-dose hydroxocobalamin therapy in cobalamin C defect von Olivieri, Giorgia, Greco, Benedetta, Cairoli, Sara, Catesini, Giulio, Lepri, Francesca Romana, Orazi, Lorenzo, Mallardi, Maria, Martinelli, Diego, Ricci, Daniela, Simeoli, Raffaele, Dionisi-Vici, Carlo

Volltext