Michele Sevegnani

MaRDI QIDQ736790zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modelling real-time systems with bigraphs	2025-09-03	Paper
Bigraphs Model and Simulation for RPL	2024-07-19	Dataset
Bigraphs Model and Simulation for Routing Protocols	2023-11-01	Dataset
Probabilistic Bigraphs Formal Aspects of Computing	2023-08-31	Paper
Finite Models for a Spatial Logic with Discrete and Topological Path Operators	2023-08-08	Paper
RPL Bigraphs model with contikiRPL	2023-06-02	Dataset
Conditional bigraphs Graph Transformation	2022-09-01	Paper
Analysing Spatial Properties on Neighbourhood Spaces (available as arXiv preprint)	2022-07-18	Paper
A tale of two graph models: a case study in wireless sensor networks Formal Aspects of Computing	2022-01-11	Paper
Target counting with Presburger constraints and its application in sensor networks Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences	2021-10-29	Paper
Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances	2021-08-04	Dataset
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing Formal Aspects of Computing	2016-08-05	Paper
Bigraphs with sharing Theoretical Computer Science	2015-04-01	Paper

Research outcomes over time

This page was built for person: Michele Sevegnani