Ana Maria Mainhardt

2012201320142015201620172018201920202021202220233 3 3 3 4 2 2 3 2 1

Public access

1 article

0 articles

available

not available

Based on funding mandates

Jean-Marie FarinesUFSCVerified email at ufsc.br
Max Hering de QueirozProfessor, Departamento de Automação e Sistemas, Universidade Federal de Santa CatarinaVerified email at ufsc.br
Anne-Kathrin SchmuckMPI SWSVerified email at mpi-sws.org

Ana Maria Mainhardt

Verified email at mpi-sws.org - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A model-driven engineering approach to formal verification of PLC programs JM Farines, MH de Queiroz, VG da Rocha, AMM Carpes, F Vernadat, ... ETFA2011, 1-8, 2011	24	2011
Assume-guarantee synthesis of decentralised supervisory control AM Mainhardt, AK Schmuck IFAC-PapersOnLine 55 (28), 165-172, 2022	1	2022
Study on the Dynamics of Gene Regulatory Networks which Exhibit Circadian Cycles AM Mainhardt Carpes UFSC, 2015	1*	2015
Synthesis of Decentralised Supervisory Control via Contract Negotiation AM Mainhardt, AK Schmuck PrePrint, under review, 2023		2023

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year