Reducing Boolean networks with backward equivalence

Autor: Georgios A. Argyris, Alberto Lluch Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Publikováno v: BMC Bioinformatics, Vol 24, Iss S1, Pp 1-21 (2023)

Abstract Background Boolean Networks (BNs) are a popular dynamical model in biology where the state of each component is represented by a variable taking binary values that express, for instance, activation/deactivation or high/low concentrations. Un

Externí odkaz: https://doaj.org/article/19e1ec2b3a224064afb48d14fb25a9ac

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking

Autor: Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 182, Iss Proc. FMSPLE 2015, Pp 56-70 (2015)

We investigate the suitability of statistical model checking techniques for analysing quantitative properties of software product line models with probabilistic aspects. For this purpose, we enrich the feature-oriented language FLan with action rates

Externí odkaz: https://doaj.org/article/e6c4d51c01ff48fea7fa647d67493885

A Coordination Language for Databases

Autor: Ximeng Li, Xi Wu, Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson

Publikováno v: Logical Methods in Computer Science, Vol Volume 13, Issue 1 (2017)

We present a coordination language for the modeling of distributed database applications. The language, baptized Klaim-DB, borrows the concepts of localities and nets of the coordination language Klaim but re-incarnates the tuple spaces of Klaim as d

Externí odkaz: https://doaj.org/article/f87cae27871c4e5aa6689ff6be6e63ae

Quality Criteria for Cyber Security MOOCs

Autor: Antonio Ruiz Martínez, Matthias Beckerle, Alberto Lluch Lafuente, Antonio F. Skarmeta, Simone Fischer-Hübner, Karo Saharinen, Pierantonia Sterlini

Publikováno v: Information Security Education. Information Security in Action
Information Security Education. Information Security in Action ISBN: 9783030592905
WISE
IFIP Advances in Information and Communication Technology
13th IFIP World Conference on Information Security Education (WISE)
13th IFIP World Conference on Information Security Education (WISE), Sep 2020, Maribor, Slovenia. pp.46-60, ⟨10.1007/978-3-030-59291-2_4⟩
Fischer-Hübner, S, Beckerle, M, Lluch Lafuente, A, Ruiz Martínez, A, Saharinen, K, Skarmeta, A & Sterlini, P 2020, Quality Criteria for Cyber Security MOOCs . in L Drevin, S Von Solms & M Theocharidou (eds), Information Security Education. Information Security in Action . Springer, IFIP Advances in Information and Communication Technology, vol. 579 IFIP, pp. 46-60, 13 th IFIP WG 11.8 World Conference on Information Security Education, Maribor, Slovenia, 21/09/2020 . https://doi.org/10.1007/978-3-030-59291-2_4

Part 1: Teaching Methods and Tools; International audience; Cyber security MOOCs (Massive Open Online Courses) can enable lifelong learning and increase the cyber security competence of experts and citizens. This paper contributes with a review of ex

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b540b5db55650d13dcf4dd0c825a8b98
http://europepmc.org/articles/PMC7980928

An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence

Autor: Georgios Argyris, Alberto Lluch Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Publikováno v: Computational Methods in Systems Biology ISBN: 9783031150333

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::21b1a04ed5e00db144906446461d0f8c
https://doi.org/10.1007/978-3-031-15034-0_16