M. Forets
发表
Nicolas M. Thiéry,
P. Zimmermann,
J. Cremona,
2018
.
D. Henrion,
M. Forets,
V. Magron,
2018,
1807.00754.
M. Althoff,
Chen,
Xin,
2019
.
M. Forets,
Christian Schilling,
Sebastián Guadalupe,
2021,
AAAI.
M. Althoff,
Stefan Schupp,
Goran Frehse,
2019
.
M. Forets,
Christian Schilling,
2021,
ArXiv.
Matthias Althoff,
Christian Schilling,
Niklas Kochdumper,
2019,
ARCH@CPSIoTWeek.
M. Forets,
Christian Schilling,
Daniel Freire,
2020,
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Amaury Pouly,
Marcelo Forets,
M. Forets,
2017,
ArXiv.
Victor Magron,
Alexandre Rocca,
Thao Dang,
2017,
ADHS.
Victor Magron,
Alexandre Rocca,
Thao Dang,
2017,
ArXiv.
Combining Set Propagation with Finite Element Methods for Time Integration in Transient Solid Mechanics Problems
pdf
Marcelo Forets,
Daniel Freire Caporale,
Jorge M. P'erez Zerpa,
2021,
Computers & Structures.
Matthias Althoff,
Xin Chen,
Christian Schilling,
2017,
ARCH@CPSWeek.
Sergiy Bogomolov,
Andreas Podelski,
Goran Frehse,
2018,
HSCC.
Renato Portugal,
Raul Donangelo,
Gonzalo Abal,
2010,
Mathematical Structures in Computer Science.
Sergiy Bogomolov,
Marcelo Forets,
Kostiantyn Potomkin,
2020,
RP.
Christian Schilling,
Marcelo Forets,
M. Forets,
2021,
RP.
Stefano Facchini,
Pablo Arrighi,
Marcelo Forets,
2014,
1404.4499.
Vincent Nesme,
Pablo Arrighi,
Marcelo Forets,
2013,
1307.3524.
M. Forets,
P. Arrighi,
S. Facchini,
2016,
Quantum Information Processing.
Stefano Facchini,
Pablo Arrighi,
Marcelo Forets,
2015,
Quantum Inf. Process..
Sergiy Bogomolov,
Christian Schilling,
Goran Frehse,
2019,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sergiy Bogomolov,
Christian Schilling,
Goran Frehse,
2019,
HSCC.
M. Forets,
Christian Schilling,
2023,
arXiv.org.
Christian Schilling,
Marcelo Forets,
M. Forets,
2021,
JuliaCon Proceedings.
T. Dang,
E. Fanchon,
M. Forets,
2017,
ArXiv.
Luca Geretti,
Matthias Althoff,
Julien Alexandre Dit Sandretto,
2020,
ARCH.
Christian Schilling,
Taylor T. Johnson,
James Weimer,
2021,
ARCH@ADHS.
M. Forets,
Tobias Ladner,
Diego Manzanas Lopez,
2022,
EPiC Series in Computing.
M. Forets,
Ander Gray,
Luis Benet,
2023,
International Journal of Approximate Reasoning.