Marco Faella

Available identifiers

zbMath Open faella.marcoWikidataQ112232210 ScholiaQ112232210MaRDI QIDQ386609

List of research outcomes

Publication	Date of Publication	Type
Reasoning About Data Trees Using CHCs	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4994897	2021-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q4964733	2021-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q5151033	2021-02-16	Paper
Tracking smooth trajectories in linear hybrid systems	2017-11-16	Paper
https://portal.mardi4nfdi.de/entity/Q5278416	2017-07-19	Paper
Reachability games for linear hybrid systems	2017-05-16	Paper
Tracking differentiable trajectories across polyhedra boundaries	2017-05-16	Paper
Decidability of Circumscribed Description Logics Revisited	2015-02-04	Paper
Code aware resource management	2014-06-30	Paper
Model Checking Quantitative Linear Time Logic	2014-05-13	Paper
Automatic synthesis of switching controllers for linear hybrid systems: safety control	2014-01-10	Paper
Automata-theoretic decision of timed games	2013-12-10	Paper
Auctions for Partial Heterogeneous Preferences	2013-09-20	Paper
Quantitatively fair scheduling	2012-03-13	Paper
Exploring the boundary of half-positionality	2012-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q3112648	2012-01-12	Paper
Towards a mechanism for incentivating privacy	2011-11-22	Paper
Graded alternating-time temporal logic	2011-03-28	Paper
Graded Alternating-Time Temporal Logic	2011-01-07	Paper
Exploring the boundary of half positionality	2010-08-24	Paper
The element of surprise in timed games.	2010-03-30	Paper
Admissible Strategies in Infinite Games over Graphs	2009-10-16	Paper
Balanced Paths in Colored Graphs	2009-10-16	Paper
Qualitative Logics and Equivalences for Probabilistic Systems	2009-06-30	Paper
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games	2007-11-29	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Frontiers of Combining Systems	2006-10-10	Paper
Model checking discounted temporal properties	2005-12-06	Paper
Automata, Languages and Programming	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4736990	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4449239	2004-02-08	Paper

Research outcomes over time

This page was built for person: Marco Faella