Publication

Export 15 results:
Sort by: Author Title Type [ Year (Asc)]
2000
Bonifácio A L, Moura A V, Camargo Jr. J B, Almeida Jr. J R.  2000.  Formal Parameters Synthesis for Track Segments of a Subway Mesh. 7th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems. :263–272.
Bonifácio A L, Moura A V, Camargo Jr. J B, Almeida Jr J R.  2000.  Formal Verification and Synthesis for an Air Traffic Management System. :37.
Bonifácio A L, Moura A V.  2000.  Modeling and Parameters Synthesis for an Air Traffic Management System. FMCAD '00: Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design. 1954:316–334.
2010
Kaster DS, Bugatti PH, Traina AJM, Traina, Jr C.  2010.  FMI-SiR: A Flexible and Efficient Module for Similarity Searching on Oracle Database. Journal of Information and Data Management. 1:229-244.
Bueno R, Razente HL, Kaster DS, Barioni MCN, Traina AJM, Traina, Jr C.  2010.  Metric Data Analysis Enhanced through Temporal Visualization. 14th International Conference on Information Visualisation (IV), London, UK. :116-121.
2011
Barioni MCN, Kaster DS, Razente HL, Traina AJM, Traina, Jr C.  2011.  Advanced Database Query Systems: Techniques, Applications and Technologies.
Bugatti PH, Kaster DS, Ponciano-Silva M, Traina AJM, Traina, Jr C.  2011.  Integrating User Profile in Medical CBIR Systems to Answer Perceptual Similarity Queries. SPIE Medical Imaging: Computer-Aided Diagnosis Conference, Lake Buena Vista, Florida, USA. :282-287.
Kaster DS, Bugatti PH, Ponciano-Silva M, Traina AJM, de Marques P M A, Santos A C, Traina, Jr C.  2011.  MedFMI-SiR: A Powerful DBMS Solution for Large-Scale Medical Image Retrieval. 2nd International Conference on Information Technology in Bio- and Medical Informatics (ITBAM), Toulouse, FR. 6865:16-30.
Kaster DS, Oliveira WD, Bueno R, Traina AJM, Traina, Jr C.  2011.  Nearest Neighbor Queries with Counting Aggregate-based Conditions. Journal of Information and Data Management. 2:401-416.
Bonifácio A L, Moura A V.  2011.  A new method for testing timed systems. Softw. Test., Verif. Reliab..
Bacarin E, Madeira ERM, Medeiros CB, van der Aalst WMP.  2011.  SPICA's Multi-party Negotiation Protocol: Implementation using YAWL. Intl. J. of Coop. Info. Sys.. 20:221-259.
Junior G, Bonifácio A L.  2011.  A tool to support model-based testing activities. SBESC 2011 - WSE. :21-26.
Bueno R, Kaster DS, Razente HL, Barioni MCN, Traina AJM, Traina, Jr C.  2011.  Using Visual Analysis to Weight Multiple Signatures to Discriminate Complex Data. 15th International Conference on Information Visualisation (IV), London, UK. :282-287.