Cristian Ioan Vasile

Available identifiers

zbMath Open vasile.cristian-ioanMaRDI QIDQ715054

List of research outcomes

Publication	Date of Publication	Type
Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic	2024-02-21	Paper
Translational and Rotational Invariance in Networked Dynamical Systems	2019-03-29	Paper
Time window temporal logic	2017-09-07	Paper
A Decision Tree Approach to Data Classification using Signal Temporal Logic	2017-05-19	Paper
Universality of Enzymatic Numerical P systems	2013-10-08	Paper
On the power of enzymatic numerical P systems	2012-10-15	Paper
Disc cooled with high-conductivity inserts that extend inward from the perimeter	2005-09-29	Paper

Research outcomes over time

This page was built for person: Cristian Ioan Vasile