The SCEAS System
Navigation Menu

Search the dblp DataBase


Daniele Magazzeni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci
    Automatic generation of optimal controllers through model checking techniques. [Citation Graph (0, 0)][DBLP]
    ICINCO-ICSO, 2006, pp:26-33 [Conf]
  2. Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
    A Model Checking Technique for the Verification of Fuzzy Control Systems. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2005, pp:536-542 [Conf]
  3. Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, Daniele Magazzeni
    A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2007, pp:230-241 [Conf]

  4. UPMurphi: A Tool for Universal Planning on PDDL+ Problems. [Citation Graph (, )][DBLP]

  5. A PDDL+ Benchmark Problem: The Batch Chemical Plant. [Citation Graph (, )][DBLP]

  6. OBDD Compression of Numerical Controllers. [Citation Graph (, )][DBLP]

  7. Verifying Extended Criteria for the Interoperability of Security Devices. [Citation Graph (, )][DBLP]

  8. Evaluating Fuzzy Controller Robustness Using Model Checking. [Citation Graph (, )][DBLP]

  9. Automatic Generation of Hybrid Fuzzy/Numerical Controllers. [Citation Graph (, )][DBLP]

  10. A framework for the automatic synthesis of hybrid fuzzy/numerical controllers. [Citation Graph (, )][DBLP]

  11. Resource-Optimal Planning For An Autonomous Planetary Vehicle [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002