Departamento de Informática (INF)

Artigos Completos em Anais de Eventos Científicos

ALENCAR, Marcus Franco Costa de; RAPOSO, A. B.; BARBOSA, S. D. J. Composition of HCI evaluation methods for hybrid virtual environments. In: 26th ACM SYMPOSIUM ON APPLIED COMPUTING (SAC 2011). 2011, TaiChung. Proceedings… New York: ACM, 2011. P. 1237-1244. 2011.

ANDRADE, Tathiane Mendonça; TRINDADE, D. R.; SILVA, Eduardo Ribeiro; RAPOSO, A. B.; BARBOSA, S. D. J. Usability tests for improvement of 3D navigation in multiscale environments. In: SECOND INTERNATIONAL CONFERENCE ON HUMAN CENTERED DESIGN (HCD 2011). 2011, Orlando. Proceedings… Heidelberg, 2011. P. 481-490.

ARAUJO, E. T.; CIARLINI, A. E. M.; POZZER, C. T.; FEIJO, B. A method to check the satisfaction of continuous-time constraints by nonlinear stories. In: FOURTH INTERNATIONAL CONFERENCE ON INTERACTIVE DIGITAL STORYTELLING (ICIDS 2011). 2011, Vancouver. Proceedings… 2011, Berlin, 2011 P. 272-277.

ARCOVERDE, Roberta Lopes; GARCIA, A. F.; FIGUEIREDO, E. Understanding the longevity of code smells - Preliminary results of an explanatory survey. In: 4TH INTERNATIONAL WORKSHOP ON REFACTORING TOOLS (WRT 2011). 2011, Waikiki. Proceedings… New York: ACM, 2011. P. 33-36.

AZEVEDO, M. C.; SCHWABE, D. Support for reusable explorations of linked data in the semantic web. In: FIRST INTERNATIONAL WORKSHOP ON SEARCH, EXPLORATION AND NAVIGATION OF WEB DATA SOURCES (EXPLOREWEB). 2011, Paphos. Proceedings… Berlin, 2011. P. 119-126.

BAKSHEV, S.; SPINSANTI, L.; MACEDO, J. A. F.; VIDAL, V. M. P.; CASANOVA, M. A. Trajectory semantic visualization. In: 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS 2011). 2011, Beijing. Proceedings… Lisboa: SciTePress/INSTIC, 2011. P. 326-332.

BARBOSA, E. A. M.; GARCIA, A. F. Analyzing exceptional interfaces on evolving frameworks. In: 5TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING WORKSHOPS (LADCW 2011). 2011, São José dos Campos. 2011. Proceedings... Los Alamitos: IEEE, 2011. P. 17-20. 2011.

BARBOSA, Eiji Adachi Medeiros; BATISTA, T. V.; GARCIA, A. F.; SILVA, Eduardo Ribeiro. PL-AspectualACME: An aspect-oriented architectural description language for software product lines. In: 5TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE (ECSA 2011). 2011, Essen. Proceedings… Berlin, 2011. P. 139-146.

BERTRAN, I. M.; GARCIA, A. F.; STAA, A.V. An exploratory study of code smells in evolving aspect-oriented systems. In: 10TH INTERNATIONAL CONFERENCE ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT (AOSD 2011). 2011, Porto de Galinhas. Proceedings… New York: ACM, 2011. P. 203-214.

BITARELLO, B.; FUKS, H.; QUEIROZ, J. New technologies for dynamic tattoo art. In: FIFTH INTERNATIONAL CONFERENCE ON TANGIBLE, EMBEDDED, AND EMBODIED INTERACTION (TEI 2011). 2011, Funchal, Ilha da Madeira. Proceedings… New York: ACM, 2011. P. 313-316.

BOMFIM, Mauricio Henrique de Souza; SCHWABE, D. Design and implementation of linked data applications using SHDM and Synth. In: 11TH INTERNATIONAL CONFERENCE ON WEB ENGINEERING (ICWE 2011). 2011, Paphos. Berlin, 2011. Proceedings… P. 121-136.

BREITMAN, K. K.; BARBOSA, S. D. J.; RIVERA SALAS, Percy Enrique; BERARDI, Rita Cristina Galarraga; VITERBO, J.; FREITAS, T. A. V.; BATISTA, T. V. Understanding IT organizations using viewpoints. In: 18TH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2011). 2011, Las Vegas. Proceedings… Los Alamitos, 2011. P. 111-119.

BRILHANTE, I. R.; MACEDO, J. A. F.; RENSO, C.; CASANOVA, M. A. Trajectory data analysis using complex networks. In: 15TH INTERNATIONAL DATABASE ENGINEERING & APPLICATIONS SYMPOSIUM (IDEAS 2011). 2011, Lisboa. Proceedings… New York: ACM, 2011. P. 17-25.

BURROWS, R.; TAIANI, F.; GARCIA, A. F.; FERRARI, F. C. Reasoning about faults in aspect-oriented programs: A metrics-based evaluation. In: 19TH IEEE INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC 2011). 2011, Kigston. Proceedings... Los Alamitos: IEEE, 2011. P. 131-140.

CASANOVA, M. A.; BREITMAN, K. K.; FURTADO, A. L.; VIDAL, V. M. P.; MACEDO, J. A. F.; GOMES, Raphael do Vale Amaral; RIVERA SALAS, Percy Enrique. The role of constraints in linked data. In: CONFEDERATED INTERNATIONAL CONFERENCES: COOPIS, DOA-SVI, AND ODBASE (OTM 2011). 2011, Hersonissos. Proceedings… Berlin, 2011. P. 781-799.

CASTRO, Thaís Helena Chaves de; ROBERTSON, D.; FUKS, H.; CASTRO JUNIOR, A. N. Identifying the need to intervene: Analysis and representation of interaction patterns in group programming learning. In: 17TH INTERNATIONAL CONFERENCE ON COLLABORATION AND TECHNOLOGY (CRIWG 2011). 2011, Paraty. Proceedings… Berlin, 2011. P. 158-174.

CICALESE, F.; JACOBS, T.; LABER, E. S.; VALENTIM, Caio Dias. Binary identification problems for weighted trees. In: 12TH INTERNATIONAL SYMPOSIUM ON ALGORITHMS AND DATA STRUCTURES (WADS 2011). 2011, New York. Proceedings… New York, 2011. P. 255-266.

CIRILO, E. J. R.; NUNES, I. O.; GARCIA, A. F.; LUCENA, C. J. P. Configuration knowledge of software product lines: A comprehensibility study. 2ND INTERNATIONAL WORKSHOP ON VARIABILITY & COMPOSITION (VARICOMP 2011). 2011, Porto de Galinhas. Proceedings… New York: ACM, 2011. P.5.

CONTIERI JUNIOR, A. C.; CORREIA, G. G.; COLANZI, T. E.; GIMENES, I. M. S.; OLIVEIRA JUNIOR, E. A.; FERRARI, S.; MASIERO, P. C.; GARCIA, A. F. Extending UML components to develop software product-line architectures: Lessons learned. In: 5TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE (ECSA 2011). 2011, Essen. Proceedings… Berlin, 2011. P. 30-138.

CRUZ HUACARPUMA, R.; HOLANDA, M. T.; WALTER, M. E. M. T.; LIFSCHITZ, S. Database schema for high-throughput sequencing transcriptome pipelines. In: IADIS INTERNATIONAL CONFERENCE ON APPLIED COMPUTING (IADIS AC 2011). 2011, Rio de Janeiro. Proceedings… Lisboa: IADIS Press, 2011. P. 187-194. 2011.

DE SOUZA, C. S.; GARCIA, A. C. B.; SLAVIERO, C.; PINTO, H.; REPPENING, A. Semiotic traces of computational thinking acquisition. In: THIRD INTERNATIONAL SYMPOSIUM ON END-USER DEVELOPMENT (IS-EUD 2011). 2011, Torre Canne, Brindisi. Proceedings… Berlin, 2011. P. 155-170.

ENDLER, M.; SKYRME, Alexandre Rupert Arpini; SCHUSTER, D.; SPRINGER, T. Defining situated social context for pervasive social computing. In: 2ND IEEE WORKSHOP ON PERVASIVE COLLABORATION AND SOCIAL NETWORKING (PerCol 2011). 2011, Seattle. Proceedings… Los Alamitos: IEEE, 2011. P. 519-524.

FIGUEIREDO, E.; MAIA, M. A.; FERREIRA, G. C. S.; NUNES, Camila Patrícia Bazílio; WHITTLE, J. On the impact of crosscutting concern projection on code measurement. In: 10TH INTERNATIONAL CONFERENCE ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT (AOSD 2011).2011, Porto de Galinhas. 2011. Proceedings… New York: ACM, 2011. P. 81-92.

GOMES, L. S. A.; LIFSCHITZ, S.; REHEN, S. K. Dealing with reusability and reproducibility for scientific workflows. In: INTERNATIONAL WORKSHOP ON BIOMEDICAL AND HEALTH INFORMATICS (BHI 2011). 2011, Atlanta. Proceedings… Los Alamitos: IEEE, 2011. P. 625-632.

GURGEL, Alessandro Cavalcante; MEDEIROS NETO, Francisco Dantas de; GARCIA, A. F. On-demand integration of product lines: A study of reuse and stability. In: INTERNATIONAL WORKSHOP ON PRODUCT LINE APPROACHES IN SOFTWARE ENGINEERING (PLEASE 2011), 2. 2011, Waikiki. Proceedings… New York: ACM, 2011. P. 30-34.

HAEUSLER, E. H.; de Paiva, V.; RADEMAKER, A. Intuitionistic description logic and legal reasoning. In: INTERNATIONAL WORKSHOP ON DATA, LOGIC AND INCONSISTENCY (DALI 2011). 2011, Toulouse. Proceedings… Los Alamitos: IEEE, 2011. P. 345-349.

LIMA, Bruno Seabra Nogueira Mendonça; MORENO, M. F.; SOARES, L. F. G. Considering non-functional aspects in the design of hypermedia authoring tools. In: ACM SYMPOSIUM ON APPLIED COMPUTING (SAC 2011), 26. 2011, TaiChung. Proceedings… New York: ACM, 2011. P. 1259-1266.

LIMA, Edirlei Everson Soares de; FEIJO, B.; BARBOSA, S. D. J.; FURTADO, A. L.; CIARLINI, A. E. M.; POZZER, C. T. Draw your own story: Paper and pencil interactive storytelling. In: INTERNATIONAL CONFERENCE ON ENTERTAINMENT COMPUTING (ICEC 2011), 10. 2011, Vancouver. Proceedings… Berlin: Springer/IFIP, 2011. P. 1-12.

MASIERO, L. P.; CASANOVA, M. A.; CARVALHO, M. T. M. Travel time prediction using machine learning. In: ACM SIGSPATIAL INTERNATIONAL WORKSHOP ON COMPUTATIONAL TRANSPORTATION SCIENCE (IWCTS 2011), 4. 2011, Chicago. Proceedings… New York: ACM/SIGSpatial, 2011. P. 34-38.

MEDEIROS NETO, Francisco Dantas de; GURGEL, Alessandro Cavalcante; GARCIA, A. F. Towards a suite of metrics for advanced composition mechanisms. In: INTERNATIONAL WORKSHOP ON EMPIRICAL EVALUATION OF SOFTWARE COMPOSITION TECHNIQUES (ESCOT 2011), 2. 2011, Lancaster. Proceedings… Kaiserslautern: AITO, 2011. P. 1-8.

MONSALVE, E. S.; WERNECK, V. M. B.; LEITE, J. C. S. P. Teaching software engineering with SimulES-W. In: IEEE-CS CONFERENCE ON SOFTWARE ENGINEERING EDUCATION AND TRAINING (CSEE&T 2011) 24. 2011, Honolulu. Proceedings… Los Alamitos: IEEE, 2011. P. 31-40.

MONTEIRO, I. T.; de SOUZA, C. S. Embedded cultural features in the design of an accessibility agent for the Web. In: INTERNATIONAL CONFERENCE ON UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: DESIGN FOR ALL AND INCLUSION (UAHCI 2011), 6. 2011, Orlando. Proceedings… Berlin: Springer, 2011. P. 295-304.

MORENO, M. F.; MARINHO, R. S.; SOARES, L.F.G. Ginga-NCL architecture for plug-ins. In: WORKSHOP ON DEVELOPING TOOLS AS PLUG-INS (TOPI 2011). 2011, Waikiki. Proceedings… New York: ACM, 2011. P. 12-15.

NUNES, C. P. B.; GARCIA, A. F.; FIGUEIREDO, E.; LUCENA, C. J. P. Revealing mistakes on concern mapping tasks: An experimental evaluation. In: EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING (CSMR 2011), 15. 2011, Oldenburg. Proceedings… Los Alamitos: IEEE, 2011. P. 101-110.

NUNES, I. O.; BARBOSA, S. D. J.; LUCK, M.; LUCENA, C. J. P. Dynamically adapting BDI agent architectures based on high-level user specifications. In: INTERNATIONAL WORKSHOP ON AGENT-ORIENTED SOFTWARE ENGINEERING (AOSE 2011), 12. 2011, Taipei. Pre-Proceedings… Taipei: AAMAS, 2011. P. 105-116.

NUNES, I. O.; LUCENA, C. J. P.; LUCK, M. BDI4JADE: a BDI layer on top of JADE. In: INTERNATIONAL WORKSHOP ON PROGRAMMING MULTI-AGENT SYSTEMS (PROMAS 2011), 9. 2011, Taipei. 2011. Proceedings… Porto Alegre: AAMAS/SBC, 2011. P. 88-103.

OLIVEIRA, K. S. F.; GARCIA, A. F.; LUCENA, C. J. P. Evaluating the impact of stability on model composition effort. In: EXPERIMENTAL SOFTWARE ENGINEERING LATIN AMERICAN WORKSHOP (ESELAW 2011), 8. 2011, Rio de Janeiro. Proceedings… Porto Alegre: SBC, 2011. P. 1-10.

OLIVEIRA, K. S. F.; GARCIA, A. F.; LUCENA, C. J. P. Evaluating the effects of stability on model composition effort: An exploratory study. In: CONGRESSO IBERO-AMERICANO EM ENGENHARIA DE SOFTWARE (CIBSE 2011), 4. 2011, Rio de Janeiro. Anais... Porto Alegre: SBC, 2011. P. 1-10.

PANTOJA, V.; ENDLER, M. A web service for flexible integration of mobile applications with social networks. In: INTERNATIONAL WORKSHOP ON MIDDLEWARE FOR PERVASIVE MOBILE AND EMBEDDED COMPUTING (M-MPAC 2011), 3. 2011, Lisboa. Proceedings… New York: ACM, 2011. P. 1-7.

PEREIRA, R. S.; BREITMAN, K. K. A cloud based architecture for improving video compression time efficiency: The Split & Merge approach. In: DATA COMPRESSION CONFERENCE (DCC 2011). 2011, Snowboard. Proceedings… EUA: IEEE, 2011. P. 471-477.

PINTO, R. M.; PECIN, Diego Galindo; ARAGAO, M. V. S. P.; LONGO, H. J. A branch-cut-and-price algorithm for the capacitated arc routing problem. In: INTERNATIONAL SYMPOSIUM ON EXPERIMENTAL ALGORITHMS (SEA 2011), 10. 2011, Kolimpari. Proceedings… Berlin: Springer, 2011. P. 315-326.

SALAS, P. E. R.; VITERBO, J.; BREITMAN, K. K.; CASANOVA, M. A. StdTrip: Promoting the reuse of standard vocabularies in open government data. In: AAAI FALL SYMPOSIUM ON OPEN GOVERNMENT KNOWLEDGE: AI OPPORTUNITIES AND CHALLENGES (OGK 2011). 2011, Arlington. Proceedings… Troy, NY: AAAI/Tetherless World Constellation, Dept. Computer Science, Rensselaer Polytechnic Institute, 2011. P. 23-26.

SALGADO, L. C. C.; DE SOUZA, C. S.; LEITÃO, C. F. Using metaphors to explore cultural perspectives in cross-cultural design. In: INTERNATIONAL CONFERENCE ON INTERNATIONALIZATION, DESIGN AND GLOBAL DEVELOPMENT (IDGD 2011), 4. 2011, Orlando. Proceedings… Berlin: Springer, 2011. P. 94-103.

SANTOS NETO, Baldoíno Fonseca dos; SILVA, V. T.; LUCENA, C. J. P. NBDI: An architecture for goal-oriented normative agents. In: INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE (ICAART 2011), 3. 2011, Roma. Proceedings… Lisboa: SciTePress/INSTIC, 2011. P. 116-125.

SANTOS, F. J. N.; LEITE, J. C. S. P.; CAPPELLI, C.; CAPPELLI, Claudia; BATISTA, T. V.; SANTORO, F. M. Using goals to identify aspects in business process models. In: INTERNATIONAL WORKSHOP ON EARLY ASPECTS: ASPECT-ORIENTED REQUIREMENTS ENGINEERING AND ARCHITECTURE DESIGN (EA 2011). 2011, Porto de Galinhas. Proceedings… New York: ACM, 2011. P. 19-23.

SANTOS, I. H. F.; RAPOSO, A. B.; RODRIGUES, Paulo Gallotti; SOUZA, R. P.; AMARAL, W. G. A collaborative environment for offshore engineering simulations. In: INTERNATIONAL CONFERENCE ON COLLABORATION AND TECHNOLOGY (CRIWG 2011), 17. 2011, Paraty. Proceedings… Berlin: Springer, 2011. P. 191-206.

SANTOS, I. H. F.; SOARES, L. P.; CARVALHO, F. G.; RAPOSO, A. B. A collaborative VR visualization environment for offshore engineering projects. In: ACM SIGGRAPH INTERNATIONAL CONFERENCE ON VIRTUAL REALITY CONTINUUM AND ITS APPLICATIONS IN INDUSTRY (VRCAI 2011), 10. 2011, Hong-Kong. Proceedings… New York: ACM, 2011. P. 179-186.

SERRANO, M.; LEITE, J. C. S. P. A social interaction based pre-traceability for i* models. In: INTERNATIONAL I* WORKSHOP (iStar 2011), 5. 2011, Trento. Proceedings… Aachen: CEUR-WS.org, 2011. P. 132-137.

SERRANO, M.; LEITE, J. C. S. P. Capturing transparency-related requirements patterns through argumentation. In: INTERNATIONAL WORKSHOP ON REQUIREMENTS PATTERNS (RePa 2011), 1. 2011, Trento. Proceedings… Los Alamitos: IEEE, 2011. P. 32-41.

SERRANO, M.; LEITE, J. C. S. P. Dealing with softgoals at runtime: A fuzzy logic approach. In: INTERNATIONAL WORKSHOP ON REQUIREMENTS@RUN TIME (RE@Run Time 2011), 2. 2011, Trento. Proceedings… Los Alamitos: IEEE, 2011. P. 23-31.

SERRANO, M.; LEITE, J. C. S. P. Development of agent-driven Systems: From i* architectural to intentional agents cod. In: INTERNATIONAL I* WORKSHOP (iStar 2011), 5. 2011, Trento. Proceedings… Aachen: CEUR-WS.org, 2011. P. 55-60. 2011.

SERRANO, M.; LUCENA, C. J. P. Intentional mobile agents in ubiquitous systems. In: INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE (ICAART 2011), 3. 2011, Roma. 2011. Proceedings… Lisboa: SciTePress/INSTIC, 2011. P. 147-156.

SILVA, Lincoln David Nery; ENDLER, M.; BARBOSA, S. D. J.; VITERBO, J. Middleware support for context-aware mobile applications with adaptive multimodal user interfaces. In: INTERNATIONAL CONFERENCE ON UBI-MEDIA COMPUTING (U-MEDIA 2011), 4. 2011, São Paulo. Proceedings… Los Alamitos: IEEE, 2011. P. 106-111.

SILVEIRA JUNIOR, Jaumir Valença da; BREITMAN, K. K. A cloud-aware API for semi-structured BLOB databases addressing data overflow. In: WORKSHOP ON DEVELOPING TOOLS AS PLUG-INS (TOPI 2011), 1. 2011, Waikiki. Proceedings… New York: ACM, 2011. p. 52-55.

SOUZA, A.; CAPPELLI, C.; SANTORO, F. M.; AZEVEDO, L. G.; LEITE, J. C. S. P.; BATISTA, T. V. Service identification in aspect-oriented business process models. In: IEEE INTERNATIONAL SYMPOSIUM ON SERVICE ORIENTED SYSTEM ENGINEERING (SOSE 2011), 6. 2011, Irvine. Proceedings… Los Alamitos: IEEE, 2011. P. 164-174.

TARANTI, P. G.; CHOREN, Ricardo; LUCENA, C. J. P. An architecture to tame simulation time tardiness in ADS. In: WORKSHOP ON AGENT-DIRECTED SIMULATION (ADS 2011). 2011, Boston. Proceedings… New York: Society for Computer Simulation International/ACM, 2011. P. 37-44.

TRINDADE, D. R.; RAPOSO, A. B. Improving 3D navigation in multiscale environments using cubemap-based techniques. In: ACM SYMPOSIUM ON APPLIED COMPUTING (SAC 2011), 26. 2011, TaiChung. Proceedings… New York: ACM, 2011. P. 1215-1221.

VELLOSO, E.; FILIPPO, D. D. R.; FUKS, H. Blogics! A learning tool for enabling wearable computing modules for beginners. In: INTERNATIONAL CONFERENCE ON COMPUTERS IN EDUCATION (ICCE 2011), 19. 2011, Chiang Mai. Proceedings… Taoyuan County: Asia-Pacific Society for Computers in Education, 2011. P. 1-5.

VELLOSO, E.; FILIPPO, D. D. R.; FUKS, H. Collaborating using an interactive whiteboard: A case study on the learning of logic circuits. In: CONGRESSO LATINOAMERICANO DE DESIGN DE INTERAÇÃO (IXDSA 2011) INTERACTION SOUTH AMERICA 2011. 2011, Belo Horizonte. Proceedings... Belo Horizonte: IxDA Brasil, 2011. P. 1-8.

Artigos em Periódicos

ANGELUCI, A. C. B.; AZEVEDO, Roberto Gerson de Albuquerque; SOARES, L. F. G. A Comunicação digital e a interdisciplinaridade na produção de conteúdo interativo. Revista Comunicação Midiática, São Paulo, UNESP, FAAC, v. 6, n. 1, p. 80-99, 2011.

ARAGAO, M. V. S. P.; SILVA, D. S. P. A linear time approximation algorithm for permutation flow shop scheduling. Theoretical Computer Science, Amsterdam, Elsevier, p. 1-7, 2011.

BARBOSA, S. D. J.; DE SOUZA, C. S. Interacting with public policy: Are HCI researchers an endangered species in Brazil? Interactions, New York, ACM, v. 18, n. 3, p. 69-71, 2011.

CARVALHO, F. G.; TREVISAN, D. G.; RAPOSO, A. B. Towards the design of transitional interfaces. Virtual Reality, Berlin, Springer, p. 1-18, 2011.

CARVALHO, F. G.; TREVISAN, D. G.; RAPOSO, A. B.; FREITAS, C. M. D. S; NEDEL, L. P. Exploring the design of transitional hybrid user interfaces. SBC Journal on 3D Interactive Systems, Porto Alegre, SBC, v. 2, n. 1, p. 2-13, 2011.

CELES, W.; ABRAHAM, F. R. Fast and versatile texture-based wireframe rendering. The visual computer, Berlin, Springer, v. 27, n. 10, p. 939-948, 2011.

CICALESE, F.; GAGIE, T.; LABER, E. S.; MILANIC, M. Competitive Boolean function evaluation: Beyond monotonicity, and the symmetric case. Discrete Applied Mathematics, Amsterdam, Elsevier, v. 159, n. 11, p. 1070-1078, 2011.

CICALESE, F.; JACOBS, T.; LABER, E. S.; MOLINARO, M. S. On the complexity of searching in partially ordered structures. Theoretical Computer Science, Essex, Elsevier Science v. 412, n. 50, p. 6879-6896, 2011.

CICALESE, F.; LABER, E. S. On the competitive ratio of evaluating priced functions. Journal of the Association for Computing Machinery, New York, ACM, v. 58, n. 3, p. 1-40, 2011.

CIRILO, E. J. R.; NUNES, I. O.; KULESZA, U.; LUCENA, C. J. P. Automating the product derivation process of multi-agent systems product lines. The Journal of Systems and Software, Amsterdam, Elsevier, p. 1-18, 2011.

COELHO, R. S.; STAA, A.v.; KULESZA, U.; RASHID, A.; LUCENA, C. J. P. Unveiling and taming liabilities of aspects in the presence of exceptions: A static analysis based approach. Information Sciences, Amsterdam, Elsevier, v. 181, n. 13, p. 2700-2720, 2011.

DE PAIVA, V.; RADEMAKER, A.; HAEUSLER, E. H. Constructive description logics hybrid-style. Electronic Notes in Theoretical Computer Science. Berlin, Springer, v. 273, p. 21-31, 2011.

FAUSTINO, G. M.; GATTASS, M.; LUCENA, C. J. P.; CAMPOS, P.; REHEN, S. K. A graph-mining algorithm for automatic detection and counting of embryonic stem cells in fluorescence microscopy image. Integrated Computer-Aided Engineering. Landsdale, IOS Press, v. 18, n. 1, p. 91-106, 2011.

FEITOSA, R. Q.; COSTA, G. A. O. P.; MOTA, G. L. A.; FEIJO, B. Modeling alternatives for fuzzy Markov chain-based classification of multitemporal remote sensing data. Pattern Recognition Letters, New York, Elsevier, v. 32, n. 7, p. 927-940, 2011.

FIGUEIREDO, E.; SANT`ANNA, Cláudio Nogueira; GARCIA, A. F.; LUCENA, C.J.P. Applying and evaluating concern-sensitive design heuristics. The Journal of Systems and Software, Amsterdam, Elsevier, p. 227-243, 2011.

FIGUEIRÊDO, H. F.; ALMEIDA, Y. L.; PAIVA, A. C.; CASANOVA, M. A.; BAPTISTA, C. S. PhotoGeo: A photo digital library with spatial-temporal support and self-annotation. Multimedia Tools and Applications, Berlin, Springer, p. 1-27, 2011.

GORDEEV, L.; HAEUSLER, E. H.; PEREIRA, L. C. Propositional proof compressions and DNF logic. Logic Journal of the IGPL, Oxford, Oxford University Press, v. 19, n. 1, p. 62-86, 2011.

HAEUSLER, E. H.; DE PAIVA, V.; RADEMAKER, A. Using intuitionistic logic as a basis for legal ontologies. Informatica e Diritto, Edizioni scientifiche italiane/Istituto di Teoria e Tecniche dell'Informazione Giuridica del CNR, Napoli, v. 1, n. 1-2, p. 289-298, 2010.

IERUSALIMSCHY, R.; FIGUEREDO, L. H.; CELES, W. Passing a language through the eye of a needle. Communications of the ACM, New York, ACM, v. 54, n. 7, p. 38-43, 2011.

LEAL, B. C.; MACEDO, J. A. F.; TIMES, V. C.; CASANOVA, M. A.; VIDAL, V. M. P.; CARVALHO, M. T. M. From conceptual modeling to logical representation of trajectories in DBMS-OR and DW systems. Journal of Information and Data Management, Porto Alegre, SBC, v. 2, n. 3, p. 463-478, 2011.

LOAIZA FERNANDEZ, M. E.; RAPOSO, A. B.; GATTASS, M. Multi-camera calibration based on an invariant pattern. Computers & Graphics, Amsterdam, Elsevier, v. 35, n. 2, p. 198-207, 2011.

MAIA, R. F.; CERQUEIRA, R.; DE SOUZA, C. S.; GORHAM, T. G. A qualitative human-centric evaluation of flexibility in middleware implementations. Empirical Software Engineering, Berlin, Springer, p. 1-34, 2011.

MOLINARO, M. S.; LABER, E. S. Improved approximations for the hotlink assignment problem. ACM Transactions on Algorithms. New York, ACM v. 7, n. 3, p. 1-34, 2011.

NUNES, I. O.; LUCENA, C. J. P.; COWAN, D. D.; KULESZA, U.; ALENCAR, P.; NUNES, Camila Patrícia Bazílio. Developing multi-agent system product lines: From requirements to code. International Journal of Agent-Oriented Software Engineering, Genève, Inderscience, v. 4, n. 4, p. 353-389, 2011.

RAPOSO, A. B.; SOARES, L. P.; CARVALHO, F. G.; LOAIZA FERNANDEZ, M. E.; GATTASS, M. Virtual reality group at Tecgraf/PUC-Rio. SBC Journal on 3D Interactive Systems, Porto Alegre, SBC, v. 2, n. 2, p. 1-4, 2011.

RIEDER, R.; PINHO, M. S.; RAPOSO, A. B. A Petri Nets based approach to specify individual and collaborative interaction in 3D virtual environments. Journal of Universal Computer Science, Graz University of Technology, v. 17, n. 2, p. 243-260, 2011.

ROCHA, R.; GROSSMANN, I. E.; ARAGAO, M. V. S. P. Cascading Knapsack inequalities: Reformulation of a crude oil distribution problem. Annals of Operation Research, Berlin, Springer, p. 1-18, 2011.

RODRIGUES, P. G.; RAPOSO, A. B.; SOARES, L. P. A virtual touch interaction device for immersive applications. International Journal of Virtual Reality, Aurora, IPI Press, v. 10, n. 4, p. 1-10, 2011.

SALMITO, Tiago Lima; MOURA, A. L.; RODRIGUEZ, N. L. R. Understanding hybrid concurrency models. Revista Brasileira de Redes de Computadores e Sistemas Distribuídos, Porto Alegre, SBC, v. 4, n. 2, p. 33-41, 2011.

SAMPAIO, W. B; DINIZ, E. M.; SILVA, A. C.; Paiva, A. C.; GATTASS, M. Detection of masses in mammogram images using CNN, geostatistic functions and SVM. Computers in Biology and Medicine, Amsterdam, v. 41, n. 8, 2011.

SOARES, L. F. G.; AZEVEDO, Roberto Gerson de Albuquerque; MORENO, M. F. TeleMídia and 3D hypermedia research. SBC Journal on 3D Interactive Systems, Porto Alegre, SBC, v. 2, n. 2, p. 83-85, 2011.

TIZZEI, L.; DIAS, M.; RUBIRA, C. M. F.; GARCIA, A. F.; LEE, J. Components meet aspects: Assessing design stability of a software product line. Information and Software Technology, Amsterdam, v. 53, n. 2, p. 121-136, 2011.

VASCONCELOS, C. N.; CARVALHO, P. C. P.; GATTASS, M. Introdução à Programação de Propósito Geral em Hardware Gráfico. Revista de Informática Teórica e Aplicada, Porto Alegre, UFRGS, Institutto de Informática, v.17, n. 2, p. 270-296, 2011.

VIDAL, V. M. P.; MACEDO, J. A. F.; PINHEIRO, J. C.; CASANOVA, M. A.; PORTO, F. A. M. Query processing in a mediator based framework for linked data integration. International Journal of Business Data Communications and Networking, Hershey, PA, IGI Global, v. 7, n. 2, p. 29-47, 2011.

Capítulos de Livros

CASANOVA, M. A.; BREITMAN, K. K.; FURTADO, A. L.; VIDAL, V. M. P.; MACEDO, J. A. F. On the problem of matching database schemas. In: HINCHEY, Michael G.; COYLE, Lorcan (Org.). Conquering complexity. 1. ed. Berlin: Springer, 2011. p. 453-484.

CASANOVA, M. A.; BREITMAN, K. K.; FURTADO, A. L.; VIDAL, V. M. P.; MACEDO, J. A. F. An efficient proof procedure for a family of lightweight database schemas. In: HINCHEY, Michael G.; COYLE, Lorcan (Org.). Conquering complexity. 1. ed. Berlin: Springer, 2011. p. 453-484.

ENDLER, M.; MALCHER, Marcelo Andrade da Gama; AQUINO, Juliana França Santos; FONSECA, H. A. C. L; VALERIANO, Allan Alves. Developing map-based and location-aware collaborative applications for mobile users. In: ALENCAR, Paulo; COWAN, Donald D. Handbook of research on mobile software engineering: Design, implementation and emergent applications. 1. ed. Hershey, PA: IGI Global, 2011.

FILIPPO, D. D. R.; VITERBO, J.; VITERBO, Jose; ENDLER, M.; FUKS, H. Mobilidade e ubiquidade para colaboração. In: PIMENTEL, Mariano; FUKS, Hugo (Org.). Sistemas Colaborativos. Rio de Janeiro: Elsevier (Série CAMPUS/SBC), 2011. p. 294-313.

FUKS, H.; RAPOSO, A. B.; GEROSA, M. A.; PIMENTEL, M.; FILIPPO, D. D. R.; LUCENA, C. J. P. Teorias e modelos de colaboração. In: PIMENTEL, Mariano; FUKS, Hugo (Org.). Sistemas Colaborativos. Rio de Janeiro: Elsevier (Série CAMPUS/SBC), 2011.p. 16-33. 2011.

HAEUSLER, E. H.; PEREIRA, L. C. Fibonacci estimation for the height of Schutte-like cut-free proofs. In: BEZIAU, Jean-Yves; CONIGLIO, Marcelo Esteban. Logic without frontiers: Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday. 1. ed. London: College Publications, 2011. p. 97-104.

NUNES, I. O.; CIRILO, E. J. R.; LUCENA, C. J. P. A survey on the implementation of agent oriented specifications. In: GLEIZES, M.-P.; GOMEZ-SANZ, J. J. (Org.). Agent-oriented software engineering X (LNCS). 1. ed. Berlin: Springer, 2011. p. 169-179.

NUNES, I. O.; LUCENA, C. J. P.; KULESZA, U.; NUNES, C. P. B. On the development of multi-agent systems product lines: A domain engineering process. In: GLEIZES, M.-P.; GOMEZ-SANZ, J. J. (Org.). Agent-oriented software engineering X (LNCS). 1. ed. Berlin: Springer, 2011. p. 125-139.

NUNES, I. O.; LUCK, M.; BARBOSA, S. D. J.; LUCK, M.; LUCENA, C. J. P. Dynamically adapting BDI agents based on high-level user specifications. In: DESCHESNE, Francien; HATTORI, Hiromitsu; MORS, Adriaan ter; SUCH, Jose Miguel; WEYNS, Danny; DIGNUM, Frank (Org.). Advanced Agent Technology - AAMAS 2011 Workshops - Revised selected papers. 1. ed. Berlin: Springer, 2012. p. 1237-1244.

PIMENTEL, M.; GEROSA, M. A.; FUKS, H. Sistemas de comunicação para colaboração. In: PIMENTEL, Mariano; FUKS, Hugo (Org.). Sistemas colaborativos. Rio de Janeiro: Elsevier (Série CAMPUS/SBC), 2011 p. 65-93.

RAPOSO, A. B. Ambientes virtuais colaborativos. In: PIMENTEL, Mariano; FUKS, Hugo (Org.). Sistemas colaborativos. São Paulo: Elsevier, 2011. p. 94-109. 2011. Nacional.

RUBINSZTEJN, H. K. S.; VITERBO, Jose; SACRAMENTO, V.; ROCHA, R. C. A.; BAPTISTA, Gustavo Luiz Bastos; ENDLER, M. A middleware architecture for developing map-based and location-aware collaborative applications for mobile user. In: ALENCAR, Paulo; COWAN, Donald D. Handbook of research on mobile software engineering: Design, implementation and emergent applications. 1. ed. Hershey, PA.: IGI Global, 2011.

SALAS, P. E. R.; VITERBO, J.; BREITMAN, K. K.; CASANOVA, M. A. StdTrip: Promoting the reuse of standard vocabularies in open government data. In: WOOD, David (Org). Linking government data. 1. ed. Berlin: Springer, 2011 p. 113-134. 2011.

SCHUSTER, D.; KOREN, I.; SPRINGER, T.; HERING, D.; SÖLLNER, B.; ENDLER, M.; SCHILL, A. Creating applications for real-time collaboration with XMPP and android on mobile devices. In: ALENCAR, Paulo; COWAN, Donald D. Handbook of research on mobile software engineering: Design, implementation and emergent applications. 1. ed. Hershey, PA.: IGI Global, 2011.

SILVA, A. C.; PAIVA, A. C.; NUNES, R. A.; GATTASS, M. Informatics and computerized tomography aiding detection and diagnosis of solitary lung cancer. In: HOMMA, Noriyasu. Theory and applications of CT imaging and analysis. 1. ed. Rijeka: InTech - Open Access Publisher, 2011. p.15-36.

SILVA, Lincoln David Nery e; VITERBO, Jose; FONSECA, H. A. C. L; BAPTISTA, Gustavo Luiz Bastos; ENDLER, M. A Middleware supporting adaptive and context-aware mobile applications. In: LOVETT, Tom; O NEILL, Eamonn (Ed.). Mobile Context Awareness. 1. ed. Berlin: Springer, 2011.

Livros

BREITMAN, K. K. Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011), Las Vegas, Nevada, USA, 27-29 April 2011. IEEE. Los Alamitos. 256p. 2011.

HAEUSLER, E. H. Electronic notes in Theoretical Computer Science. Elsevier: Amsterdam, 2011.

PEREIRA, R. S.; BREITMAN, K. K. Video processing in the cloud. 1. ed. Berlin: Springer, 2011.

PIMENTEL, M.; FUKS, H. Sistemas colaborativos. Rio de Janeiro: Elsevier, 2011.