Francisco Assis M. do Nascimento

Publication Activity (10 Years)

Years Active: 1998-2009
Publications (10 Years): 0

Publications

Francisco Assis M. do Nascimento, Fernando Lehnen, Morecy V. Moré, Salomão A. Leizer
GIF: a web-based system for tax management and fiscal intelligence applications to the municipal tax administration. ICEGOV (2009)
Roger Wagner, Francisco Assis M. do Nascimento
HEI - A High Education Institutions Oriented Content Management System - Making Easy the Web Content Publishing for High Education Institutions. WEBIST (2) (2007)
Carlos Theobaldo Renck, Leandro Sorgetz, Francisco Assis M. do Nascimento
VCS: An Open Source Web-based Vaccination Management Information System. WEBIST (3) (2007)
Francisco Assis M. do Nascimento, Wolfgang Rosenstiel
A Repartitioning and HW/SW Partitioning Algorithm to the Automatic Design Space Exploration in the Co-Synthesis of Embedded Systems. SBCCI (2001)
Francisco Assis M. do Nascimento, Wolfgang Rosenstiel
A Co-Synthesis Approach based on Symbolic Reachability Analysis. SBCCI (1998)
Edelweis Helena Ache Garcez, Francisco Assis M. do Nascimento
A Model Checker for a Partial Order based Model of Concurrency. MBMV (1998)