Alexander Fuchs

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
Lifted Evaluation of mp-MIQP Solutions IEEE Transactions on Automatic Control	2017-05-16	Paper
Polyhedral Computation Based Transfer Capacities in Multi-Area Power Systems	2015-11-02	Paper
Efficient evaluation of mp-MIQP solutions using lifting	2013-11-19	Paper
Ground interpolation for the theory of equality Logical Methods in Computer Science	2012-04-03	Paper
Ground Interpolation for the Theory of Equality Tools and Algorithms for the Construction and Analysis of Systems	2009-03-31	Paper
Computing finite models by reduction to function-free clause logic Journal of Applied Logic	2009-03-25	Paper
(LIA) - Model Evolution with Linear Integer Arithmetic Constraints Logic for Programming, Artificial Intelligence, and Reasoning	2009-01-27	Paper
Lemma Learning in the Model Evolution Calculus Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Almost regular triangulations of trimmend NURBS-solids Engineering with Computers	2002-07-25	Paper
Almost regular Delaunay-triangulations	1998-07-14	Paper

Research outcomes over time

This page was built for person: Alexander Fuchs