Maria Paola Bonacina
Has grant
Professor
ItalyResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
Recent Grants
Grant: Close
Integrazione di metodi di ragionamento automatico nel model checking verifica formale automatica di sistemi di grande scala e a stati infiniti.
Open Date: 2007-01-01
Close Date: 2009-01-01
Grant: Close
Sintesi di procedure di decisione basate sulla deduzionecon applicazioni all'analisi formale e automatica di programmi
Open Date: 2003-01-01
Close Date: 2005-01-01
Grant: Close
CISE Research Instrumentation: Instrumentation for Research in Search Technology
Open Date: 1998-02-01
Close Date: 2000-01-01
Grant: Close
CAREER: Distributed Deduction with Contraction and Foundation of Strategy Analysis
Open Date: 1997-09-01
Close Date: 2002-08-31
Grant: Close
RIA: Strategies for Contraction-Based Distributed Automated Deduction
Open Date: 1994-09-01
Close Date: 1997-08-31
Articles (6)
Year:
2023
Year:
2022
Year:
2022
Year:
2022
Year:
2022
Year:
2020
Collaborators (1)
Michael Kinyon
Professor
University of Denver
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.