Marco Faella

From MaRDI portal
Person:386609

Available identifiers

zbMath Open faella.marcoWikidataQ112232210 ScholiaQ112232210MaRDI QIDQ386609

List of research outcomes





PublicationDate of PublicationType
Reasoning About Data Trees Using CHCs2022-12-07Paper
https://portal.mardi4nfdi.de/entity/Q49948972021-06-22Paper
https://portal.mardi4nfdi.de/entity/Q49647332021-03-03Paper
https://portal.mardi4nfdi.de/entity/Q51510332021-02-16Paper
Tracking smooth trajectories in linear hybrid systems2017-11-16Paper
https://portal.mardi4nfdi.de/entity/Q52784162017-07-19Paper
Reachability games for linear hybrid systems2017-05-16Paper
Tracking differentiable trajectories across polyhedra boundaries2017-05-16Paper
Decidability of Circumscribed Description Logics Revisited2015-02-04Paper
Code aware resource management2014-06-30Paper
Model Checking Quantitative Linear Time Logic2014-05-13Paper
Automatic synthesis of switching controllers for linear hybrid systems: safety control2014-01-10Paper
Automata-theoretic decision of timed games2013-12-10Paper
Auctions for Partial Heterogeneous Preferences2013-09-20Paper
Quantitatively fair scheduling2012-03-13Paper
Exploring the boundary of half-positionality2012-01-13Paper
https://portal.mardi4nfdi.de/entity/Q31126482012-01-12Paper
Towards a mechanism for incentivating privacy2011-11-22Paper
Graded alternating-time temporal logic2011-03-28Paper
Graded Alternating-Time Temporal Logic2011-01-07Paper
Exploring the boundary of half positionality2010-08-24Paper
The element of surprise in timed games.2010-03-30Paper
Admissible Strategies in Infinite Games over Graphs2009-10-16Paper
Balanced Paths in Colored Graphs2009-10-16Paper
Qualitative Logics and Equivalences for Probabilistic Systems2009-06-30Paper
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games2007-11-29Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-09-28Paper
Formal Modeling and Analysis of Timed Systems2006-11-14Paper
Frontiers of Combining Systems2006-10-10Paper
Model checking discounted temporal properties2005-12-06Paper
Automata, Languages and Programming2005-08-24Paper
https://portal.mardi4nfdi.de/entity/Q47369902004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44492392004-02-08Paper

Research outcomes over time

This page was built for person: Marco Faella