Risultati ricerca pubblicazioni

Progressive damage assessment and network recovery after massive failures

pubblicato su: Proceedings and Workshop Proceedings for INFOCOM 2017 - 2017

Ciavarella Stefano, Bartolini Novella, Khamfroush Hana, La Porta Tom

Network recovery from massive failures under uncertain knowledge of damages

pubblicato su: 16th International IFIP TC6 Networking Conference, Networking 2017, Gunnar Karlsson, Anna Brunstrom, Hongbo Jiang, Tilman Wolf, Viktoria Fodor - 2017

Toothagaj D. Z., Khamfroush H, Bartolini Novella, Ciavarella Stefano, Hayes S., La Porta T.

Autonomous mobile sensor placement in complex environments

pubblicato su: ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS - 2017

Bartolini Novella, Calamoneri Tiziana, Ciavarella Stefano, La Porta Thomas, Silvestri Simone

Controlling cascading failures in interdependent networks under incomplete knowledge

pubblicato su: Proceedings of the IEEE Symposium on Reliable Distributed Systems - 2017

Tootaghaj Diman Zad, Bartolini Novella, Khamfroush Hana, Porta Thomas La

Networks of reaction systems

pubblicato su: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE - 2020

BOTTONI Paolo Gaspare, LABELLA Anna, Rozenberg Grzegorz

Modal epistemic logic on contracts: a doctrinal approach

pubblicato su: Models, Languages, and Tools for Concurrent and Distributed Programming - 2019

Bottoni P., Gorla D., Kasangian S., Labella A.

Reaction systems with influence on environment

pubblicato su: JOURNAL OF MEMBRANE COMPUTING - 2019

BOTTONI Paolo Gaspare, LABELLA Anna, Rozenberg Grzegorz

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

pubblicato su: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 2018

Bottoni Paolo Gaspare, Gorla Daniele, Kasangian Stefano, Labella Anna

A dataflow platform for applications based on Linked Data

pubblicato su: INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING - 2018

Bottoni Paolo Gaspare

BioWebEngine: a generation environment for bioinformatics research

pubblicato su: 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - 2018

Bottoni Paolo, Castrignano Tiziana, Flati Tiziano, Maggi Francesco

Firmware enhancements for BYOD-aware network security

pubblicato su: Advances in Intelligent Systems and Computing - 2018

Pedone Massimiliano, Kanev Kamen, Bottoni Paolo, Vitali Domenico, Mei Alessandro

PeachVar-DB: a curated collection of genetic variations for the interactive analysis of Peach Genome Data

pubblicato su: PLANT AND CELL PHYSIOLOGY - 2018

Cirilli Marco, Flati Tiziano, Gioiosa Silvia, Tagliaferri Ilario, Ciacciulli Angelo, Gao Zhongshan, Gattolin Stefano, Geuna Filippo, Maggi Francesco, Bottoni Paolo, Rossini Laura, Bassi Daniele, Castrignanò Tiziana, Chillemi Giovanni

Networks of polarized multiset processors

pubblicato su: JOURNAL OF COMPUTER AND SYSTEM SCIENCES - 2017

BOTTONI Paolo Gaspare, LABELLA Anna, MITRANA VICTOR

Prefix-suffix square reduction

pubblicato su: THEORETICAL COMPUTER SCIENCE - 2017

Bottoni Paolo Gaspare, Labella Anna, Mitrana Victor

Resource-aware policies

pubblicato su: JOURNAL OF VISUAL LANGUAGES AND COMPUTING - 2017

Bottoni Paolo Gaspare, Fish Andrew, Heußner Alexander, PARISI PRESICCE Francesco

Networks of picture processors as problem solvers

pubblicato su: SOFT COMPUTING - 2017

Bordihn Henning, Bottoni Paolo, Labella Anna, Mitrana Victor

Visualizing co-phylogenetic reconciliations

pubblicato su: THEORETICAL COMPUTER SCIENCE - 2020

Calamoneri T., Di Donato V., Mariottini D., Patrignani M.

A simple linear time algorithm for the locally connected spanning tree problem on maximal planar chordal graphs

pubblicato su: THEORETICAL COMPUTER SCIENCE - 2019

CALAMONERI Tiziana, DELL'OREFICE MATTEO, MONTI Angelo

Co-divergence and tree topology

pubblicato su: JOURNAL OF MATHEMATICAL BIOLOGY - 2019

Calamoneri T., Monti A., Sinaimeri B.

Some classes of graphs that are not PCGs

pubblicato su: THEORETICAL COMPUTER SCIENCE - 2019

Baiocchi P., Calamoneri T., Monti A., Petreschi R.

Comparing related phylogenetic trees

pubblicato su: Proc. 20th Italian Conference on Theoretical Computer Science (ICTCS 2018), CEUR Workshop Proceedings - 2019

Calamoneri T., Di Mambro A., Sinaimeri B.

On dynamic threshold graphs and related classes

pubblicato su: THEORETICAL COMPUTER SCIENCE - 2018

Calamoneri Tiziana, Monti Angelo, Petreschi Rossella

Visualizing co-phylogenetic reconciliations

pubblicato su: Proceedings 25th Int.l Symp. on Graph Drawing & Network Visualization (GD 2017) - 2018

Calamoneri Tiziana, Di Donato Valentino, Mariottini Diego, Patrignani Maurizio

Graphs that are not pairwise compatible: A new proof technique (extended abstract)

pubblicato su: Proceedings of 29th International Workshop on Combinatorial Algorithms (IWOCA 2018) - 2018

Baiocchi Pierluigi, Calamoneri Tiziana, Monti Angelo, Petreschi Rossella

Pairwise Compatibility Graphs (Invited Talk)

pubblicato su: Proceedings 19th Italian Conference on Theoretical Computer Science (ICTCS 2018) - 2018

Calamoneri Tiziana, Petreschi Rossella

Some classes of graphs that are not pairwise compatibility graphs (communication)

pubblicato su: CEUR Workshop Proceedings 19th Italian Conference on Theoretical Computer Science (ICTCS 2017) - 2017

Baiocchi P., Calamoneri T., Monti A., Petreschi R.

Extracting few representative reconciliations with Host-Switches (Extended Abstract)

pubblicato su: Proceedings CIBB 2017 - 2017

Gastaldello M., Calamoneri T., Sagot M. -F.

New Bounds on the Strength of Some Restrictions of Hindman’s Theorem

pubblicato su: COMPUTABILITY - 2020

CARLUCCI LORENZO, Aleksander Kolodziejczyk Leszek, Lepore Francesco, Zdanowski Konrad

A note on Hindman-Type Theorems for uncountable cardinals

pubblicato su: ORDER - 2019

CARLUCCI, LORENZO

A note on the ordinal analysis of RCA0 + WO(σ)

pubblicato su: Proceedings of Computability in Europe 2019: Computing with Foresight and Industry - 2019

Carlucci Lorenzo, Mainardi Leonardo, Rathjen Michael

"Weak yet strong'' restrictions of Hindman's Finite Sums Theorem

pubblicato su: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY - 2018

Carlucci Lorenzo

A weak variant of Hindman’s Theorem stronger than Hilbert’s Theorem

pubblicato su: ARCHIVE FOR MATHEMATICAL LOGIC - 2018

Carlucci Lorenzo

New bounds on the strength of some restrictions of Hindman’s Theorem

pubblicato su: Unveiling Dynamics and Complexity - 2017

Carlucci Lorenzo, Aleksander Kolodziejczyk Leszek, Lepore Francesco, Zdanowski Konrad

Performance evaluation of containers and virtual machines when running Cassandra workload concurrently

pubblicato su: CONCURRENCY AND COMPUTATION - 2020

Shirinbab S., Lundberg L., Casalicchio E.

The state-of-the-art in container technologies: Application, orchestration and security

pubblicato su: CONCURRENCY AND COMPUTATION - 2020

Casalicchio E., Iannucci S.

ASiMOV: A self-protecting control application for the smart factory

pubblicato su: FUTURE GENERATION COMPUTER SYSTEMS - 2020

Casalicchio Emiliano, Gualandi Gabriele

A study on performance measures for auto-scaling CPU-intensive containerized applications

pubblicato su: CLUSTER COMPUTING - 2019

Casalicchio Emiliano

Hoeffding trees with nmin adaptation

pubblicato su: Proceedings - 2018 IEEE 5th International Conference on Data Science and Advanced Analytics, DSAA 2018 - 2019

Garcia-Martin Eva, Lavesson Niklas, Grahn Hakan, Casalicchio Emiliano, Boeva Veselka

How to measure energy consumption in machine learning algorithms

pubblicato su: ECML PKDD 2018 Workshops. ECML PKDD 2018. Lecture Notes in Computer Science - 2019

García-Martín Eva, Lavesson Niklas, Grahn Håkan, Casalicchio Emiliano, Boeva Veselka

Use of redundancy in the design of a secure software defined industrial control application

pubblicato su: 6th International Conference on Software Defined Systems (SDS) - 2019

GUALANDI GABRIELE, CASALICCHIO EMILIANO

A self-protecting control application for IIoT

pubblicato su: Proceedings - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019 - 2019

CASALICCHIO EMILIANO, GUALANDI GABRIELE

Finding a needle in a haystack - A comparative study of IPv6 scanning methods

pubblicato su: 2019 International Symposium on Networks, Computers and Communications, ISNCC 2019 - 2019

Bergenholtz E, Ilie D, Moss A, Casalicchio E

Research challenges in legal-rule and QoS-aware cloud service brokerage

pubblicato su: FUTURE GENERATION COMPUTER SYSTEMS - 2018

Casalicchio Emiliano, Cardellini Valeria, Interino Gianluca, Palmirani Monica

Multi-Level elastic deployment of containerized applications in Geo-Distributed Environments

pubblicato su: Proceedings - 2018 IEEE 6th International Conference on Future Internet of Things and Cloud, FiCloud 2018 - 2018

Nardelli Matteo, Cardellini Valeria, Casalicchio Emiliano

Auto-scaling of containers: the impact of relative and absolute metrics

pubblicato su: Proceedings - 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017 - 2017

Casalicchio Emiliano, Perciballi Vanessa

Energy-aware auto-scaling algorithms for Cassandra virtual data centers

pubblicato su: CLUSTER COMPUTING - 2017

Casalicchio Emiliano, Lundberg Lars, Shirinbab Sogand

Measuring Docker performance: what a mess!!!

pubblicato su: ICPE 2017 - Companion of the 2017 ACM/SPEC International Conference on Performance Engineering - 2017

Casalicchio Emiliano, Perciballi Vanessa

Autonomic orchestration of containers: Problem definition and research challenges

pubblicato su: ValueTools 2016 - 10th EAI International Conference on Performance Evaluation Methodologies and Tools - 2017

Casalicchio Emiliano

Special Issue on New Frontiers in Quantitative Methods in Informatics

pubblicato su: - 2017

Casalicchio Emiliano, Distefano Salvatore

MOSES: a platform for experimenting with qos-driven self-adaptation policies for service oriented systems

pubblicato su: Software Engineering for Self-Adaptive Systems III. Assurances - 2017

Cardellini Valeria, Casalicchio Emiliano, Grassi Vincenzo, Iannucci Stefano, Lo Presti Francesco, Mirandola Raffaela