Corto N. Mascle

From MaRDI portal
Person:4992843

Available identifiers

zbMath Open mascle.corto-nMaRDI QIDQ4992843

List of research outcomes





PublicationDate of PublicationType
Parameterized broadcast networks with registers: from NP to the frontiers of decidability2024-10-30Paper
Distributed controller synthesis for deadlock avoidance2024-06-24Paper
https://portal.mardi4nfdi.de/entity/Q61684672023-08-08Paper
From LTL to rLTL monitoring: improved monitorability through robust semantics2023-06-29Paper
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas2023-02-07Paper
On finite monoids over nonnegative integer matrices and short killing words2022-07-18Paper
On Nonnegative Integer Matrices and Short Killing Words2021-06-10Paper
From LTL to rLTL monitoring2021-01-25Paper

Research outcomes over time

This page was built for person: Corto N. Mascle

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:4992843&oldid=30936752"
Powered by MediaWiki