MAGAZZENI, DANIELE

Nome completo

MAGAZZENI, DANIELE

Mostra records

Risultati 1 - 5 di 5 (tempo di esecuzione: 0.009 secondi).

2008-01-01 Maurizio, Talamo; Franco, Arcieri; DELLA PENNA, Giuseppe; Andrea, Dimitri; Benedetto, Intrigila; Magazzeni, Daniele

2008-01-01 DELLA PENNA, Giuseppe; Lauri, Nadia; Magazzeni, Daniele; Intrigila, Benedetto

2008-01-01 DELLA PENNA, Giuseppe; Benedetto, Intrigila; Magazzeni, Daniele

2007-01-01 DELLA PENNA, Giuseppe; Fallucchi, Francesca; Intrigila, Benedetto; Magazzeni, Daniele

2006-01-01 DELLA PENNA, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico

Titolo	Data di pubblicazione	Autore(i)
Verifying Extended Criteria for the Interoperability of Security Devices	1-gen-2008	Maurizio, Talamo; Franco, Arcieri; DELLA PENNA, Giuseppe; Andrea, Dimitri; Benedetto, Intrigila; Magazzeni, Daniele
OBDD compression of numerical controllers	1-gen-2008	DELLA PENNA, Giuseppe; Lauri, Nadia; Magazzeni, Daniele; Intrigila, Benedetto
Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques	1-gen-2008	DELLA PENNA, Giuseppe; Benedetto, Intrigila; Magazzeni, Daniele
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers	1-gen-2007	DELLA PENNA, Giuseppe; Fallucchi, Francesca; Intrigila, Benedetto; Magazzeni, Daniele
Automatic generation of optimal controllers through model checking techniques	1-gen-2006	DELLA PENNA, Giuseppe; Magazzeni, Daniele; Tofani, Alberto; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico