INESC-ID - Lisboa / Portugal

Publications

International Journal Articles

Jude Angelo Ambrose and Hector Pettenghi and Darshana Jayasinghe and Leonel Sousa, A Randomized Multi-modulo RNS Architecture for Double-and-Add to prevent Power Analysis Side Channel Attacks, IET Circuits, Devices & Systems, to appear. IET journals [bibTeX]

Miguel Correia and Nuno Ferreira Neves and Paulo Verissimo, BFT-TO: Intrusion Tolerance with Less Replicas, Computer Journal, to appear. [bibTeX]

Henrique Moniz and Nuno Ferreira Neves and Miguel Correia, Byzantine Fault-Tolerant Consensus in Wireless Ad hoc Networks, IEEE Transactions on Mobile Computing, to appear. [bibTeX]

Aleksandar Ilic and Frederico Pratas and Leonel Sousa, Cache-aware Roofline model: Upgrading the loft, IEEE Computer Architecture Letters, to appear. [bibTeX]

Hugo Nicolau and Tiago Guerreiro and Rita Pereira and Daniel Jorge Viegas Gonçalves and Joaquim Armando Pires Jorge, Computer-Assisted Rehabilitation: Towards Effective Evaluation, International Journal of Cognitive Performance Support, to appear. Inderscience [bibTeX]

Nuno Sebastião and Nuno Roma and Paulo Flores, Configurable and Scalable Class of High Performance Hardware Accelerators for Simultaneous DNA Sequence Alignment, Journal on Concurrency and Computation: Practice & Experience, to appear. Wileys [bibTeX]

José Carlos Campos Costa and J. Monteiro, Coverage-Directed Observability-Based Validation for Embedded Software, ACM Transactions on Design Automation of Electronic Systems (TODAES), to appear. [bibTeX]

Luís Rosado and Fernando Janeiro and Pedro Ramos and Moises Simões Piedade, Defect Characterization with Eddy Currents Testing using Non-Linear Regressions Feature Extraction and Artificial Neural Networks, , to appear. [DOI Article link] [bibTeX]

Cátia M. Machado and Ana T. Freitas and Francisco M. Couto, Enrichment analysis applied to disease prognosis, Journal of Biomedical Semantics, to appear. [bibTeX]

Svetislav Momcilovic and Nuno Roma and Leonel Sousa, Exploiting Task and Data Parallelism for Advanced Video Coding on Hybrid CPU+GPU Platforms, Journal of Real-Time Image Processing, to appear. Springer [bibTeX]

Catarina Moreira and Andreas Wichert, Finding Academic Experts on a MultiSensor Approach using Shannon's Entropy, Expert Systems with Applications, to appear. [bibTeX]

Nuno Sebastião and Gustavo Paramos Merino Faria Encarnação and Nuno Roma, Implementation and Performance Analysis of Efficient Index Structures for DNA Search Algorithms in Parallel Platforms, Journal on Concurrency and Computation: Practice & Experience, to appear. Wileys [bibTeX]

Pedro Costa and Marcelo Pasin and Alysson Bessani and Miguel Correia, On the Performance of Byzantine Fault-Tolerant MapReduce, IEEE Transactions on Dependable and Secure Computing, to appear. [bibTeX]

Luis Domingues Tomé Jardim Tarrataca and Andreas Wichert, Quantum Iterative Deepening with an application to the Halting problem, PLOS ONE, to appear. [bibTeX]

Iolanda Margarete dos Santos Carvalho Leite and André Tiago Abelho Pereira and Samuel Francisco Mascarenhas and Carlos António Roque Martinho and Rui Prada and Ana Paiva, The influence of empathy in human-robot relations, International Journal of Human-Computer Studies, to appear. [DOI Article link] [bibTeX]

Sílvio Moreira and David Batista and Paula Carvalho and Francisco M. Couto and Mário J. Silva, Tracking Politics with POWER, Program: electronic library and information systems, to appear. Emerald [bibTeX]

Jorge Esteves and João Pereira and Júlio Paisana and Marcelino Bicho dos Santos, Ultra Low Power Capless LDO with Dynamic Biasing of Derivative Feedback, Microelectronics Journal, to appear. [DOI Article link] [bibTeX]

L. Furi and M.L. Ciusa and D. Knight and V. Di Lourenzo and N. Tocci and D. Cirasola and L. Aragones and Joana Coelho and Ana T. Freitas and E. Marchi and L. Moce and P. Visa and J. B. Northwood and C. Viti and G. Orefici and the BIOHYPO Consortium and I. Morrissey and M. R. Oggioni, Evaluation of Reduced Susceptibility to Quaternary Ammonium Compounds and Bisbiguanides in Clinical Isolates and Laboratory-Generated Mutants of Staphylococcus aureus, Antimicrobial agents and chemotherapy, 57(8), pp. , Aug. 2013, . [bibTeX]

Jorge dos Santos Oliveira and Nuno Mendes and Vitor Carocha and Clara Graça and Jorge A. P. Paiva and Ana T. Freitas, A computational approach for microRNA identification in plants: combining genome-based predictions with RNA-Seq data, Journal of Data Mining in Genomics & Proteomics, (), pp. , May. 2013, . [bibTeX]

Ramon Fernandez Astudillo and Reinhold Orglmeister, Computing MMSE Estimates and Residual Uncertainty directly in the Feature Domain of ASR using STFT Domain Speech Distortion Models, IEEE TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING, 21(5), pp. 1023-1034, May. 2013, IEEE. Article [bibTeX]

Robert M. Nickel and Ramon Fernandez Astudillo and Dorothea Kolossa and Rainer Martin, Corpus-Based Speech Enhancement With Uncertainty Modeling and Cepstral Smoothing, IEEE TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING, 21(5), pp. 983-997, May. 2013, IEEE. Article [bibTeX]

Tiago Manuel Oliveira Henriques Moita and Carlos Beltran Almeida and Marcelino Bicho dos Santos, ActivIC: Design-Based Automatic Characterization of Mixed-Signal Integrated Circuits, Journal of Low Power Electronics, 9(1), pp. 1-16, Apr. 2013, American Scientific Publishers. [DOI Article link] [bibTeX]

Sérgio Esteves and João Nuno de Oliveira e Silva and Luís Veiga, Fluχ: a quality-driven dataﬂow model for data intensive computing, Journal of Internet Services and Applications (JISA), 4(12), pp. 1-23, Apr. 2013, Springer. Article [DOI Article link] [bibTeX]

Gustavo Soares Santos and Joaquim Armando Pires Jorge, Interoperable Intelligent Tutoring Systems as Open Educational Resources, Transactions on Learning Technologies, (), pp. , Apr. 2013, IEEE. [bibTeX]

Tiago Dias and Sebastián López and Nuno Roma and Leonel Sousa, Scalable Unified Transform Architecture for Advanced Video Coding Embedded Systems, International Journal of Parallel Programming (IJPP), 41(2), pp. 236-260, Apr. 2013, Springer. [DOI Article link] [bibTeX]

Levent Aksoy and Cristiano Lazzari and Eduardo Costa and Paulo Flores and J. Monteiro, Design of Digit-Serial FIR Filters: Algorithms, Architectures, and a CAD Tool, IEEE Transactions on Very Large Scale Integration Systems (TVLSI), 21(3), pp. 498-511, Mar. 2013, . [bibTeX]

Alberto Sardinha and Ruzanna Chitchyan and Nathan Weston and Phil Greenwood and Awais Rashid, EA-Analyzer: Automating Conflict Detection in a Large Set of Textual Aspect-Oriented Requirements, Automated Software Engineering, 20(1), pp. 111-135, Mar. 2013, Springer. Article [DOI Article link] [bibTeX]

Fernando Batista and Ricardo Ribeiro, Sentiment Analysis and Topic Classification based on Binary Maximum Entropy Classifiers, Procesamiento de Lenguaje Natural, 50(1), pp. 77–84, Mar. 2013, Sociedad Española para el Procesamiento de Lenguaje Natural. Article [bibTeX]

Thomas Pellegrini and Rui Correia and Isabel Trancoso and Jorge Baptista and Nuno J. Mamede and Maxine Eskenazi, ASR-based exercises for listening comprehension practice in European Portuguese, Computer Speech and Language, (), pp. , Feb. 2013, . Article [DOI Article link] [bibTeX]

Ana Cristina Mendes and Luísa Coheur and João Pedro Carlos Gomes da Silva and Hugo Rodrigues, Just Ask – A Multi-Pronged Approach to Question Answering, International Journal on Artificial Intelligence Tools, 22(1), pp. 34, Feb. 2013, World Scientific Publishing Company. [DOI Article link] [bibTeX]

Bruno Rodrigues de Araújo and Gery Casiez and Joaquim Armando Pires Jorge and Martin Hachet, Mockup Builder: 3D Modeling On and Above the Surface, Computers and Graphics, 37(3), pp. 165-178, Feb. 2013, Elsevier. [DOI Article link] [bibTeX]

Joao P. Carvalho, On the Semantics and the Use of Fuzzy Cognitive Maps and Dynamic Cognitive Maps in Social Sciences, Fuzzy Sets and Systems, 214(), pp. 6-19, Feb. 2013, Elsevier. [DOI Article link] [bibTeX]

Joana Coelho and João Carriço and Daniel Knight and Jose Luis Martinez and Ian Morrissey and Marco R. Oggioni and Ana T. Freitas, The use of Machine Learning methodologies to analyse Antibiotic and Biocide susceptibility in Staphylococcus aureus, PLOS ONE, (), pp. , Feb. 2013, . [DOI Article link] [bibTeX]

Sílvio Moreira and David Baptista and Paula Carvalho and Francisco Couto and Mário J. Silva, Tracking politics with POWER, Program: electronic library and information systems, 47(2), pp. 120-135, Feb. 2013, Emerald . Article [DOI Article link] [bibTeX]

Giuliana Santos Veronese and Miguel Correia and Alysson Neves Bessani and Lau Cheuk Lung and Paulo Verissimo, Efficient Byzantine Fault Tolerance, IEEE Transactions on Computers, 62(1), pp. 16-30, Jan. 2013, . [bibTeX]

Paulo G. S. da Fonseca and Jorge A. P. Paiva and Luiz G. P. Almeida and Ana Tereza Vasconcelos and Ana T. Freitas, Empirical assessment of sequencing errors for high through-put pyrosequencing data, BMC Research Notes, 6(25), pp. , Jan. 2013, . [bibTeX]

Rui Filipe Lopes Joaquim and Paulo Ferreira and Carlos Nuno da Cruz Ribeiro, EVIV: an End-to-end Verifiable Internet Voting System, Computer & Security, 32(), pp. 170-191, Jan. 2013, Elsevier. Article [bibTeX]

João A. Moreira and Jeromos Vukov and Claudia Sousa and Francisco C. Santos and André F. Almeida and Marta D. Santos and Jorge M. Pacheco, Individual memory and the emergence of cooperation, Animal Behaviour, 85(1), pp. 233-239, Jan. 2013, Elsevier. [bibTeX]

Flávio L. Pinheiro and Flávio L. Pinheiro and Francisco C. Santos and Jorge M. Pacheco, Reward from Punishment Does Not Emerge at All Costs, PLoS Computational Biology, 9(1), pp. e1002868, Jan. 2013, PLoS. [bibTeX]

Florian Letombe and Joao Marques Silva, Hybrid Incremental Algorithms for Boolean Satisfiability, International Journal on Artificial Intelligence Tools, 21(6), pp. , Dec. 2012, World Scientific. [DOI Article link] [bibTeX]

Leonel Sousa and Samuel Freitas Antão and José Germano, A Lab Project on the Design and Implementation of Programmable and Configurable Embedded Systems, IEEE Transactions on Education, to appear. [bibTeX]

Ricardo Vieira and José Borbinha and David Ferreira, A Requirements Engineering analysis of MoReq, Records Management Journal, to appear. Emerald [bibTeX]

A.J.N. Batista and Carlos Leong and Vasco Miguel Bexiga António and A.P. Rodrigues, A. Combo, B.B. Carvalho, J. Fortunato, M. Correia and João Paulo Cacho Teixeira and Isabel Maria Silva Nobre Parreira Cacho Teixeira and J. Sousa, B. Gonçalves, C.A.F. Varandas, ATCA/AXIe compatible board for fast control and data acquisition in nuclear fusion experiments, Fusion Engineering and Design Journal, 87(12), pp. 2131-2135, Dec. 2012, Elsevier. Article [bibTeX]

Ruth Aylett and Ana Paiva, Computational modelling of culture and affect, Emotion Review, to appear. [bibTeX]

Mei Yii Lim and João Miguel de Sousa de Assis Dias and Ruth Aylett and Ana Paiva, Creating adaptive affective autonomous NPCs, Autonomous Agents and Multi-Agent Systems, to appear. [DOI Article link] [bibTeX]

Paulo Alexandre Crisóstomo Lopes and João Pinto and José António Beltran Gerald, Dealing with Unknown Impedance and Impulsive Noise in the Power Line Communications Channel, IEEE Transactions on Power Delivery, to appear. IEEE [bibTeX]

J. M. Lemos and Luís Filipe Marques Pinto, Distributed Linear-Quadratic Control of Serially Chained Systems -- Application to a Water Delivery Canal., IEEE Control Systems Mag., 32(6), pp. 26-38, Dec. 2012, IEEE. [bibTeX]

Marta D. Santos and Flavio L. Pinheiro and Francisco C. Santos and Jorge M. Pacheco, Dynamics of N-Person Snowdrift Games in Structured Populations, Journal of Theoretical Biology, 315(), pp. 81-86, Dec. 2012, Elsevier. [bibTeX]

Luis Leitão and Pável Calado and Melanie Herschel, Efficient and Effective Duplicate Detection in Hierarchical Data, IEEE Transactions on Knowledge and Data Engineering, to appear. IEEE [DOI Article link] [bibTeX]

Flávio L. Pinheiro and João A. Moreira and Marta D. Santos and Francisco C. Santos and Jorge M. Pacheco, Evolution of social diversity under the distributed prisoners dilemma, Int. J. of Autonomous and Adaptive Communications Systems, to appear. [bibTeX]

Fernando Batista and Helena Moniz and Isabel Trancoso and Nuno J. Mamede and Ana Isabel Mata da Silva, Extending Automatic Transcripts in a Unified Data Representation towards a Prosodic-based Metadata Annotation and Evaluation, Journal of Speech Sciences, 2(2), pp. , Dec. 2012, Luso-Brazilian Association of Speech Sciences. Article [bibTeX]

Alberto Moraglio and Julian Togelius and Sara Silva, Geometric Differential Evolution for Combinatorial and Programs Spaces, Evolutionary Computation, to appear. [bibTeX]

Angelo Miguel Aparicio Cardoso and Andreas Wichert, Handwritten digit recognition using biologically inspired features, Neurocomputing, to appear. [bibTeX]

Luis Domingues Tomé Jardim Tarrataca and Andreas Wichert, Intricacies of Quantum Computational Paths, Quantum Information Processing, to appear. [bibTeX]

Angelo Miguel Aparicio Cardoso and Andreas Wichert, Iterative random projections for high-dimensional data clustering, Pattern Recognition Letters, to appear. [bibTeX]

José Simão and Carlos Nuno da Cruz Ribeiro and Paulo Ferreira and Luís Veiga, Jano: Location-Privacy Enforcement in Mobile and Pervasive Environments through Declarative Policies , Journal of Internet Services and Applications (JISA), 3(3), pp. 291-310, Dec. 2012, Springer. [DOI Article link] [bibTeX]

Fernando Costa and João Nuno de Oliveira e Silva and Luís Veiga and Paulo Ferreira, Large-scale volunteer computing over the Internet, Journal of Internet Services and Applications (JISA), 3(3), pp. 329-346, Dec. 2012, Springer. [DOI Article link] [bibTeX]

Hugo Nicolau and Tiago Guerreiro and Daniel Jorge Viegas Gonçalves and Joaquim Armando Pires Jorge, Mobile Touch Screen User Interfaces: Bridging the Gap between Motor Impaired and Able-Bodied Users., Universal Access in the Information Society, to appear. Springer [bibTeX]

Valter António Louzeiro Sádio and Fabian Rein and Christian Münker and Marcelino Bicho dos Santos, Modeling of Inherent Losses of Fully Integrated Switched Capacitor DC-DC Converters, Journal of Low Power Electronics (JOLPE), 8(5), pp. , Dec. 2012, . [bibTeX]

Anton Belov and Joao Marques Silva, MUSer2: An Efficient MUS Extractor, Journal on Satisfiability, Boolean Modeling and Computation, 8(1), pp. 123-128, Dec. 2012, IOS Press. Article [bibTeX]

Cátia Vaz and C. Ferreira, On the analysis of compensation correctness, Journal of Logic and Algebraic Programming, to appear. Elsevier [bibTeX]

Leonel Sousa and Samuel Freitas Antão, On the Design of RNS Reverse Converters for the Four-Moduli Set {2^n+1, 2^n-1, 2^n, 2^{n+1}+1}, IEEE Transactions on Very Large Scale Intehration (TVLSI) Systems, to appear. [bibTeX]

Andreas Wichert, Proto Logic and Neural Sub-Symbolic Reasoning, Journal of Logic and Computation, to appear. Oxford Journals [bibTeX]

Sergio Sanchez and Rui Miguel Marmé Ramalho and Leonel Sousa and Antonio Plaza, Real-Time Implementation of Remotely Sensed Hyperspectral Image Unmixing on GPUs, Journal of Real-Time Image Processing, to appear. Springer [bibTeX]

Hector Pettenghi and Ricardo Chaves and Leonel Sousa, RNS Reverse Converters for Moduli Sets with Dynamic Ranges up to (8n+1)-bit, IEEE Transactions on Circuits and Systems I, to appear. [bibTeX]

Mauro Castelli and Leonardo Vanneschi and Sara Silva, Semantic Search Based Genetic Programming and the Effect of Introns Deletion, IEEE Transactions on Systems, Man, and Cybernetics - Part C: Applications and Reviews, to appear. IEEE Press [bibTeX]

Gonçalo Duarte Garcia Pereira and António Pimentel Brisson Lopes and Rui Prada and Ana Paiva and Francesco Bellotti and Milos Kravcik and Ralf Klamma, Serious Games for Personal and Social Learning & Ethics: Status and Trends, Procedia CS, to appear. [DOI Article link] [bibTeX]

João Miguel Guerreiro Dias Alves Lourenço and J. P. Santos, Short-term load forecasting using a Gaussian Process Model - The influence of a derivative term in the input regressor, International Journal of Intelligent Decision Technologies, 6(4), pp. 273-281, Dec. 2012, . [DOI Article link] [bibTeX]

Hugo Miguel Álvaro Manguinhas and José Borbinha and Nuno Miguel Antunes Freire and Jorge Miguel Calha Rainho Machado, Supporting multilingual bibliographic resource discovery with Functional Requirements for Bibliographic Records, Semantic Web, to appear. IOS Press Article [DOI Article link] [bibTeX]

Diogo Rendeiro and João António Rodrigues Sacramento and Andreas Wichert, Taxonomical associative memory, Cognitive Computation, to appear. [bibTeX]

Samuel Freitas Antão and Leonel Sousa, The CRNS Framework and its Application to Programmable and Reconfigurable Cryptography, ACM Transactions on Architecture and Code Optimization , to appear. [bibTeX]

Ricardo Ferreira and Eduardo Paz and Paulo Freitas and João Pedro Fernandes Ribeiro and José Germano and Leonel Sousa, 2-axis Magnetometers Based on Full Wheatstone Bridges Incorporating Magnetic Tunnel Junctions Connected in Series, IEEE Transactions on Magnetics, 48(11), pp. 4107-4110, Nov. 2012, . [bibTeX]

Andrej Jerman Blažič and Cláudia RIbeiro and João Fernandes and João António Madeiras Pereira and Tanja Arh, Analysing the Required Properties of Business Simulation Games to Be Used in E-Learning and Education, Intelligent Information Management (IIM), 4(6), pp. 348-356, Nov. 2012, SCIRP. Article [DOI Article link] [bibTeX]

Artur Caetano and António Rito Silva and José Manuel Nunes Salvador Tribolet, Applying the principle of separation of concerns to business process design, International Journal of Organisational Design and Engineering, 2(3), pp. 250-270, Nov. 2012, Inderscience. [DOI Article link] [bibTeX]

Sara Silva and Leonardo Vanneschi, Bloat Free Genetic Programming: Application to Human Oral Bioavailability Prediction, International Journal of Data Mining and Bioinformatics, 6(6), pp. 585-601, Nov. 2012, Inderscience. [bibTeX]

João Miguel Guerreiro Dias Alves Lourenço and J. M. Lemos and J. S. Marques, Control of neuromuscular blockade with Gaussian process models., , (), pp. , Nov. 2012, Elsevier. [DOI Article link] [bibTeX]

Pedro Filipe Pereira Campos and Joaquim Armando Pires Jorge and Miguel Campos and Paulo Freitas, Foot-turistic multimedia: designing interactive multimedia installations for shoe shops, Multimedia Tools and Applications, 61(2), pp. 471-487, Nov. 2012, Springer. [bibTeX]

F. Cardoso and Tiago Costa and José Germano and S. Cardoso and J. Borme and J. Gaspar and Jorge Manuel dos Santos Ribeiro Fernandes and Moises Simões Piedade and P. P. Freitas, Integration of Magnetoresistive Biochips on a CMOS circuit, IEEE Transactions on Magnetics, 48(11), pp. 3784-3787, Nov. 2012, . [bibTeX]

Joana P. Gonçalves and A. P. Francisco and Yves Moreau and Sara C. Madeira, Interactogeneous: disease gene prioritization using heterogeneous networks and full topology scores, PLoS ONE, 7(11), pp. e49634, Nov. 2012, . [DOI Article link] [bibTeX]

N. R. Costa and João Miguel Guerreiro Dias Alves Lourenço and Z. L. Pereira, Multiresponse Optimization and Pareto Frontiers, Quality and Reliability Engineering International, 28(7), pp. 701-712, Nov. 2012, Wiley. [bibTeX]

João D Ferreira and Daniela Paolotti and Francisco M Couto and Mário J. Silva, On the usefulness of ontologies in epidemiology research and practice, The Journal of Epidemiology and Community Health, (), pp. , Nov. 2012, BMJ Publishing Group. [DOI Article link] [bibTeX]

Luís Rosado and Telmo Santos and Pedro Ramos and Pedro Vilaça and Moises Simões Piedade, A differential planar eddy currents probe: Fundamentals, modeling and experimental evaluation, NDT & E International, 51(), pp. 85-93, Oct. 2012, Elsevier. [bibTeX]

Ana Meira Castro and Joao P. Carvalho and J. P. Meixedo, A qualitative description of soil parameters variation due to a prescribed fire in Portuguese northwestern forests using Fuzzy Boolean Nets - The case study of Cabreira mountain, Geoderma, 191(), pp. 89-96, Oct. 2012, Elsevier. [DOI Article link] [bibTeX]

Alberto Abad and Annamaria Pompili and Angela Costa and Isabel Trancoso and José Fonseca and Gabriela Leal and Luisa Farrajota and Isabel P. Martins, Automatic word naming recognition for an on-line aphasia treatment system, Computer Speech and Language, (), pp. , Oct. 2012, . Article [DOI Article link] [bibTeX]

Han The Anh and Luís M. Pereira and Francisco C. Santos, Corpus-based Intention Recognition in Cooperation Dilemmas, Artificial Life, 18(4), pp. 365-383, Oct. 2012, MIT press. [bibTeX]

Jose Miguel Heitor Machado Dores and Edwin C. Becerra-Alvarez and Miguel Martins and José M. de la Rosa and Jorge Manuel dos Santos Ribeiro Fernandes, Efficient biasing circuit strategies for inductorless wideband low noise amplifiers with feedback, Microelectronics Journal , 43(), pp. , Oct. 2012, Elsevier. [bibTeX]

Paulo Rogério Pereira and Augusto Casaca and Joel J. P. C. Rodrigues and Vasco N. G. J. Soares and Joan Triay and Cristina Cervelló-Pastor, From Delay-Tolerant Networks to Vehicular Delay-Tolerant Networks, IEEE Communications Surveys & Tutorials, 14(4), pp. 1166-1182, Oct. 2012, IEEE. Article [DOI Article link] [bibTeX]

Rui Cruz and Pedro Inácio and Mário Serafim Nunes, Quality User Experience in Advanced IP Video Services, Annals of Telecommunications, (), pp. , Oct. 2012, Springer. [DOI Article link] [bibTeX]

Gonzalo Navarro and Luís M. S. Russo and Yakov Nekrich, Space-Efficient Data-Analysis Queries on Grids, Theoretical Computer Science, (), pp. , Oct. 2012, Elsevier. [DOI Article link] [bibTeX]

J. M. Martín-Sánchez and J. M. Lemos and J. Rodellar, Survey of industrial optimized adaptive control. Int. J. Adapt. Control Signal Process., Int. J. Adapt. Control Signal Process., 26(10), pp. 881–918, Oct. 2012, Wiley. [DOI Article link] [bibTeX]

Jucimar Souza and André Carvalho and Marco Cristo and Edleno Moura and Pável Calado and Paul-Alexandru Chirita and Wolfgang Nejdl, Using Site-Level Connections to Estimate Link Confidence, Journal of the American Society for Information Science and Technology, (), pp. , Oct. 2012, . Article [bibTeX]

José Simão and Tiago Garrochinho and Luís Veiga, A Checkpointing-enabled and Resource-Aware Java VM for Efficient and Robust e-Science Applications in Grid Environments, Concurrency and Computation: Practice and Experience, 24(13), pp. 1421-1442, Sep. 2012, Wiley. [DOI Article link] [bibTeX]

J. M. Lemos and Miguel José Simões Barão, A control Lyapunov function approach to adaptive control of HIV-1 infection., Archives of Control Sciences, 22(3), pp. 273–284, Sep. 2012, Polish Acadely of Sciences. [bibTeX]

Alysson Bessani and Rudiger Kapitza and Dana Petcu and Paolo Romano and Spyridon V. Gogouvitis and Dimosthenis Kyriazis and Roberto G. Cascella, A look to the old-world sky: EU-funded dependability cloud computing research. , SIGOPS Oper. Syst. Rev., 46(2), pp. , Sep. 2012, . [bibTeX]

M.L. Ciusa and L. Furi and Daniel Knight and F. Decorosi and Marco Fondi and Carla Raggi and Joana Coelho and Luis Aragones and Laura Moce and Pilar Visa and Ana T. Freitas and L. Baldassarri and Renato Fani and Carlo Viti and G. Orefici and Jose Luis Martinez and the BIOHYPO Consortium and Ian Morrissey and Marco R. Oggioni, A novel resistance mechanism to triclosan that suggests horizontal gene transfer and demonstrates a potential selective pressure for reduced biocide susceptibility in clinical strains of Staphylococcus aureus, International Journal of Antimicrobial Agents, 40(3), pp. 210-220, Sep. 2012, . [bibTeX]

Jorge Filipe Leal Costa Semião and J. Pachito and C. Martins and Bruno André Marçal Jacinto and J. Vazquez and V. Champac and Marcelino Bicho dos Santos and Isabel Maria Silva Nobre Parreira Cacho Teixeira and João Paulo Cacho Teixeira, Aging-aware Power or Frequency Tuning with Predictive Fault Detection, IEEE Design & Test of Computers, 29(5), pp. 27-36, Sep. 2012, IEEE Computer Society. [DOI Article link] [bibTeX]

Jorge Salvador Marques and Miguel José Simões Barão and J. M. Lemos, Alignment of Velocity Fields for Video Surveillance, Pattern Recognition Letters, 33(12), pp. 1632–1637, Sep. 2012, Elsevier. [DOI Article link] [bibTeX]

Miguel Martins and K. van Hartingsveldt and Jorge Manuel dos Santos Ribeiro Fernandes and M. Medeiros Silva and C. J. M. Verhoeven, Low-Noise Amplifiers with Double-Loop Feedback, Circuits, Systems & Signal Processing, (), pp. , Sep. 2012, Springer. [bibTeX]

Nuno Mendes and Ana T. Freitas and Steffen Heyne and Marie-France Sagot and Rolf Backofen, Navigating the unexplored seascape of pre-miRNA candidates in single-genome approaches, , 28(23), pp. 3034-3041, Sep. 2012, . [DOI Article link] [bibTeX]

Luís Oliveira and Carlos Manuel Miguens Leitão and M. Medeiros Silva, Noise Performance of Regulated CascodeTransimpedance Amplifiers for Radiation Detectors, IEEE Trans. Circuits and Systems - I: Regular Papers, 59(9), pp. 1841-1848, Sep. 2012, IEEE. [bibTeX]

Judite Freijedo and Jorge Filipe Leal Costa Semião and J.J. Rodriguez-Andina and Fabian Vargas and Isabel Maria Silva Nobre Parreira Cacho Teixeira and João Paulo Cacho Teixeira, Modeling the Effect of Process, Power-Supply Voltage and Temperature Variations on the Timing Response of Nanometer Digital Circuits, Journal of Electronic Testing: Theory and Applications (JETTA), 28(4), pp. 421-434, Aug. 2012, Springer. [bibTeX]

André Guilherme Nogueira Coelho dos Santos and Martijn Kuipers and Luis D. Pedrosa and Rui M. Rocha, Resource Description Language: A Unified Description Language for Network Embedded Resources, International Journal of Distributed Sensor Networks, 2012(), pp. 11, Aug. 2012, Hindawi. Article [DOI Article link] [bibTeX]

Martijn Kuipers and Ricardo Vaz and Mário Serafim Nunes, Robust Video Calls for Emergency Services over IP Based Networks, Mobile Multimedia Communications Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommun, (), pp. 383-396, Aug. 2012, Springer Verlag. Article [DOI Article link] [bibTeX]

Flávio L. Pinheiro and Francisco C. Santos and Jorge M. Pacheco, How selection pressure changes the nature of social dilemmas in structured populations , New Journal Physics, 14(), pp. 073035, Jul. 2012, IOP. [bibTeX]

Margarida Palma and Sara C. Madeira and Ana Mendes-Ferreira and Isabel Sá-Correia, Impact of assimilable nitrogen availability in glucose uptake kinetics in Saccharomyces cerevisiae during alcoholic fermentation, Microbial Cell Factories, 11(99), pp. , Jul. 2012, . Article [DOI Article link] [bibTeX]

Nuno Sebastião and Nuno Roma and Paulo Flores, Integrated Hardware Architecture for Efficient Computation of the n-Best Bio-Sequence Local Alignments in Embedded Platforms, IEEE Transactions on Very Large Scale Integration Systems, 20(7), pp. 1262-1275, Jul. 2012, IEEE. [DOI Article link] [bibTeX]

Gabriel Falcão and Vitor Silva and Leonel Sousa and João Andrade, Portable LDPC Decoding on Multicores using OpenCL, IEEE Signal Processing Magazine, 29(4), pp. 81 - 109 , Jul. 2012, . [bibTeX]

Lucas Cordeiro and Bernd Fischer and Joao Marques Silva, SMT-Based Bounded Model Checking for Embedded ANSI-C Software, IEEE Transactions on Software Engineering, 38(4), pp. 957-974, Jul. 2012, IEEE. Article [DOI Article link] [bibTeX]

André Carreiro and Artur J. Ferreira and Mário A. T. Figueiredo and Sara C. Madeira, Towards a Classiﬁcation Approach using Meta-Biclustering: Impact of Discretization in the Analysis of Expression Time Series, Journal of Integrative Bioinformatics, 9(3), pp. 207, Jul. 2012, . Article [DOI Article link] [bibTeX]

Maria Couceiro and Paolo Romano, Where does transactional memory research stand and what challenges lie ahead? WTM 2012, EuroTM workshop on transactional memory, SIGOPS Oper. Syst. Rev. , 46(2), pp. , Jul. 2012, . [bibTeX]

João Tiago de Jesus Elias Ferreira and João Leitão and Luis Rodrigues, A-OSGi: a framework to support the construction of autonomic OSGi-based applications, Int. J. Autonomous and Adaptive Communications Systems, 5(3), pp. 292-310, Jun. 2012, . [bibTeX]

Joana P. Gonçalves and Yves Moreau and Sara C. Madeira, AliBiMotif: Integrating Alignment and Biclustering to Unravel Transcription Factor Binding Sites in DNA Sequences , International Journal of Data Mining and Bioinformatics (IJDMB), 6(2), pp. 196-215, Jun. 2012, Inderscience Publishers. [bibTeX]

Jeromos Vukov and Francisco C. Santos and Jorge M. Pacheco, Cognitive strategies take advantage of the cooperative potential of heterogeneous networks, New Journal Physics, 14(), pp. 063031, Jun. 2012, IOP. [bibTeX]

Mauro Figueiredo and João António Madeiras Pereira and João Oliveira and Bruno Rodrigues de Araújo, Collision Detection For Point Cloud With Bounding Spheres Hierarchquies, IJVR - International Journal Of Virtual Reality, 11(2), pp. 37-43, Jun. 2012, IPI Press. [bibTeX]

Rafael Kuffner dos Anjos and João António Madeiras Pereira and João Oliveira, Collision Detection on Point Clouds Using a 2.5+D Image-Based Approach, Journal of WSCG, 20(2), pp. 145-153, Jun. 2012, Vaclav Skala – Union Agency. Article [bibTeX]

Frederico Pratas and Pedro trancoso and Leonel Sousa and Alexandros Stamatakis and Guochun Shi and Volodymyr Kindratenko, Fine-grain Parallelism using Multi-core, Cell/BE, and GPU Systems , Journal of Parallel Computing (ParCo), 38(), pp. 365–390, Jun. 2012, Elsevier. [bibTeX]

Sara Encarnação and Marcos Gaudiano and Francisco C. Santos and José A. Tenedório and Jorge M. Pacheco, Fractal cartography of urban areas, Scientific Reports, 2(527), pp. , Jun. 2012, Nature. [DOI Article link] [bibTeX]

Levent Aksoy and Cristiano Lazzari and Eduardo Costa and Paulo Flores and J. Monteiro, High-Level Algorithms for the Optimization of Gate-Level Area in Digit-Serial Multiple Constant Multiplications, Integration, the VLSI Journal, 45(3), pp. 294–306, Jun. 2012, Elsevier. [bibTeX]

Ruben Carlos Gonçalves Martins and Inês Lynce and Vasco Manquinho, Parallel search for maximum satisfiability, AI Communications, 25(2), pp. 75-95, Jun. 2012, . [DOI Article link] [bibTeX]

Anton Belov and Inês Lynce and Joao Marques Silva, Towards Efficient MUS Extraction, AI Communications, 25(2), pp. 97-116, Jun. 2012, . [DOI Article link] [bibTeX]

Nestor Michael Tiglao and António Manuel Raminhos Cordeiro Grilo, An Analytical Model for Transport Layer Caching in Wireless Sensor Networks, Performance Evaluation Journal, 69(5), pp. 227-245, May. 2012, Elsevier. Article [DOI Article link] [bibTeX]

João António Rodrigues Sacramento and Andreas Wichert, Binary Willshaw learning yields high synaptic capacity for long-term familiarity memory, Biological Cybernetics, 106(2), pp. 123-133, May. 2012, . [bibTeX]

Carlos Pascoa and Nuno Belo and José Manuel Nunes Salvador Tribolet, Business Objectives and Business Processes: Alignment and Verification, Information Resources Management Journal (IRMJ), 25(2), pp. 52-68, May. 2012, IGI Global. [DOI Article link] [bibTeX]

Andreas Wichert and Andre Filipe da Silva Verissimo, CBIR with a Subspacee-tree: Principal Component Analysis versus Averaging, Multimedia Systems, 18(4), pp. 283-293, May. 2012, Springer. [bibTeX]

Jonas S. Almeida and Alexander Gruneberg and Wolfgang Maass and Susana Vinga, Fractal MapReduce decomposition of sequence alignment, Algorithms for Molecular Biology, 7(), pp. 12, May. 2012, . [DOI Article link] [bibTeX]

João Barreto and Luís Veiga and Paulo Ferreira, Hash Challenges: stretching the limits of compare-by-hash in distributed data deduplication, Information Processing Letters, 112(10), pp. 380-385, May. 2012, Elsevier. [DOI Article link] [bibTeX]

Ramon Fernandez Astudillo and Dorothea Kolossa and Alberto Abad and Steffen Zeiler and Rahim Saeidi and Pejman Mowlaee and João Paulo da Silva Neto and Rainer Martin, Integration of beamforming and uncertainty-of-observation techniques for robust ASR in multi-source environments, Computer Speech and Language, 27(3), pp. 837-850, May. 2012, . Article [bibTeX]

Susana Vinga and Alexandra M. Carvalho and A. P. Francisco and Luís M. S. Russo and Jonas S. Almeida, Pattern matching through Chaos Game Representation: bridging numerical and discrete data structures for biological sequence analysis, Algorithms for Molecular Biology, 7(), pp. 10, May. 2012, . [DOI Article link] [bibTeX]

A. P. Francisco and Cátia Vaz and Pedro T. Monteiro and J. Melo-Cristino and M. Ramirez and João Carriço, PHYLOViZ: Phylogenetic inference and data visualization for sequence based typing methods, BMC Bioinformatics, 13(87), pp. , May. 2012, . [DOI Article link] [bibTeX]

Jonathan Lazar and Julio Abascal and Janet Davis and Vanessa Evers and Jan Gulliksen and Joaquim Armando Pires Jorge and Tom McEwan and Fabio Paternò and Hans Persson and Raquel Prates and Hans von Axelson and Marco Winkler and Volker Wulf, Public Policy Activities in 2012 Related to Human-Computer Interaction: A 10-Country Discussion, Interactions, 19(3), pp. 78-81, May. 2012, ACM Press. [bibTeX]

Laura Beatriz Torres Simões Wise and Alberto Murta and Joao P. Carvalho and Marta Mesquita, Qualitative modelling of fishermen’s behaviour in a pelagic fishery, Ecological Modelling, 228(), pp. 112-122, May. 2012, Elsevier. [DOI Article link] [bibTeX]

Joana P. Gonçalves and Ricardo Rubén dos Santos Aires and A. P. Francisco and Sara C. Madeira, Regulatory Snapshots: integrative mining of regulatory modules from expression time series and regulatory networks, PLoS ONE, 7(5), pp. e35977, May. 2012, Public Library of Science Publishing. Article [DOI Article link] [bibTeX]

Liliana Rosa and Luis Rodrigues and Antonia Lopes and Matti Hiltunen and Rick Schlichting, Self-Management of Adaptable Component-Based Applications, IEEE Transactions on Software Engineering, (), pp. , May. 2012, . [bibTeX]

Ruben Carlos Gonçalves Martins and Vasco Manquinho and Inês Lynce, An overview of parallel SAT solving, Constraints, 17(3), pp. 304-347, Apr. 2012, . [DOI Article link] [bibTeX]

Frederico Pratas and Leonel Sousa and Johannes Dieterich and Ricardo Mata, Computation of induced dipoles in molecular mechanics simulations using Graphics Processors, Journal of Chemical Information and Modeling, 52(5), pp. 1159–1166, Apr. 2012, ACS Publications. [bibTeX]

Luísa Coheur and Angela Costa, Do tópico às respostas: do processo humano à sua simulação, Linguamática, 4(1), pp. , Apr. 2012, . [bibTeX]

Sven Van Segbroeck and Jorge M. Pacheco and Tom Lenaerts and Francisco C. Santos, Emergence of Fairness in Repeated Group Interactions, Physical Review Letters, 108(), pp. 158104, Apr. 2012, APS. [bibTeX]

Francisco C. Santos and Vítor V. Vasconcelos and Marta D. Santos and Pedro Neves and Jorge M. Pacheco, Evolutionary dynamics of climate change under collective-risk dilemmas, Mathematical Models and Methods in Applied Sciences (M3AS), 22(1), pp. 1140004, Apr. 2012, . [bibTeX]

Prasad Perera and Joao P. Carvalho and C. Guedes Soares, Intelligent Ocean Navigation and Fuzzy-Bayesian Decision-Action formulation, IEEE Journal of Ocean Engineering, 37(2), pp. 204-219, Apr. 2012, IEEE. [bibTeX]

Leonel Sousa and Samuel Freitas Antão, MRC-based RNS Reverse Converters for the Four-Moduli Sets {2^n+1, 2^n-1, 2^n, 2^(2n+1)-1} and {2^n+1, 2^n-1, 2^(2n), 2^(2n+1)-1}, IEEE Transactions on Circuits and Systema II (TCAS II), 59(4), pp. 244-248, Apr. 2012, . [bibTeX]

Sara Silva and Stephen Dignum and Leonardo Vanneschi, Operator equalisation for bloat free genetic programming and a survey of bloat control methods, Genetic Programming and Evolvable Machines, 13(2), pp. 197-238, Apr. 2012, Springer. [bibTeX]

Francisco C. Santos and Flávio L. Pinheiro and Tom Lenaerts and Jorge M. Pacheco, The role of diversity in the evolution of cooperation, Journal of Theoretical Biology, 299(), pp. 88-96, Apr. 2012, Elsevier. [bibTeX]

Adriano Oliveira and João Oliveira and João António Madeiras Pereira and Bruno Rodrigues de Araújo and João Boavida, 3D modelling of Laser scanned and photogrammetric data for digital documentation - The Mosteiro da Batalha case study, JRTIP - Journal of Real-Time Image Processing, (), pp. , Mar. 2012, Springer-Verlag, Manuscript number JRTIP-D-11-00061R2. Article [DOI Article link] [bibTeX]

Isadora Rosa and Paulo Fidalgo and José Soares and Susana Vinga and Carla Oliveira and João P Silva and Susana M Ferro and Paula Chaves and António G Oliveira and Carlos N Leitão, Adenoma incidence decreases under the effect of polypectomy, World journal of gastroenterology, 18(11), pp. 1243-8, Mar. 2012, . [DOI Article link] [bibTeX]

Luís Oliveira and Erik Snelling and Jorge Manuel dos Santos Ribeiro Fernandes and M. Medeiros Silva, An Inductorless CMOS Quadrature Oscillator Continuously Tuneable from 3.1 to 10.6 GHz, Int. J. Circuit Theory and Applications, 40(), pp. 209-216, Mar. 2012, Wiley. [bibTeX]

António de Vasconcelos Nascimento Burnay da Fonseca and Teresa Maria Sá Ferreira Vazão Vasques, Applicability of position-based routing for VANET in highways and urban environment, Journal on Network and Computer Applications, (), pp. , Mar. 2012, Elsevier. [DOI Article link] [bibTeX]

Carlos Leong and Vasco Miguel Bexiga António and João Paulo Cacho Teixeira and R. Bugalho, M. Ferreira, P. Rodrigues, J. C. Silva, P. Lousã, J. Varela and Isabel Maria Silva Nobre Parreira Cacho Teixeira, Automatic Adjustment of a Medical Imaging Data Acquisition System to Unknown Delays in the Input Communication Channels, Analog Integrated Circuits and Signal Processing Journal, 70(2), pp. 213-227, Mar. 2012, Springer. Article [DOI Article link] [bibTeX]

Nuno Castela and Marielba Silva Zacarias and José Manuel Nunes Salvador Tribolet, Collaborative Maintenance of Business Process Models, International Journal of Organisational Design and Engineering, 2(1), pp. 61-84, Mar. 2012, . [bibTeX]

Gabriel Falcão and Marco Gomes and Vitor Silva and Leonel Sousa and João Cacheira, Configurable M-factor VLSI DVB-S2 LDPC Decoder Architecture with Optimized Memory Tiling Design, EURASIP Journal on Wireless Communications and Networking, (98), pp. , Mar. 2012, Springer. [bibTeX]

J. Vazquez, V. Champac and Adriel Mota Ziesemer Junior and R. Reis and Isabel Maria Silva Nobre Parreira Cacho Teixeira and Marcelino Bicho dos Santos and João Paulo Cacho Teixeira, Delay Sensing for Long-Term Variations and Defects Monitoring in Safety-Critical Applications, Analog Integrated Circuits and Signal Processing Journal, 70(2), pp. 249-263, Mar. 2012, Springer. Article [DOI Article link] [bibTeX]

Benoit Gaudin and Mike H. Hinchey and Emil Vassev and Paddy Nixon and João Coelho Garcia and Walid Maalej, FastFix: A Control Theoretic View of Self-Healing for Automatic Corrective Software Maintenance, Scalable Computing: Practice and Experience, 13(1), pp. , Mar. 2012, . [bibTeX]

Nuno Sebastião and Nuno Roma and Paulo Flores, Hardware Accelerator Architecture for Simultaneous Short-Read DNA Sequences Alignment with Enhanced Traceback Phase, Microprocessors and Microsystems, 36(2), pp. 96-109, Mar. 2012, Elsevier. [DOI Article link] [bibTeX]

Sérgio dos Santos Lopes Curto and Ana Cristina Mendes and Luísa Coheur, Question Generation based on Lexico-Syntactic Patterns Learned from the Web, Dialogue & Discourse, 3(2), pp. 147-175, Mar. 2012, . Article [DOI Article link] [bibTeX]

Daniel Hasan Dalip and Marcos André Gonçalves and Thiago Cardoso and Marco Cristo and Pável Calado, A Multi-view Approach for the Quality Assessment of Wiki Articles, Journal of Information and Data Management, 3(1), pp. 73--82, Feb. 2012, . Article [bibTeX]

Ricardo Lopes Pereira and Teresa Maria Sá Ferreira Vazão Vasques and Rodrigo Rodrigues, Adaptive Search Radius – Using hop count to reduce P2P traffic, Computer Networks, 56(2), pp. 642–660, Feb. 2012, Elsevier. [DOI Article link] [bibTeX]

Carlos Manuel Boura Sampaio and J. Monteiro and L. Miguel Silveira, Analysis of the Conditions for the Worst Case Switching Activity in Integrated Circuits, Analog Integrated Circuits and Signal Processing, 70(2), pp. 229-240, Feb. 2012, Springer. [bibTeX]

Fernando Batista and Helena Moniz and Isabel Trancoso and Nuno J. Mamede, Bilingual Experiments on Automatic Recovery of Capitalization and Punctuation of Automatic Speech Transcripts, IEEE Transactions on Audio, Speech, and Language Processing, 20(2), pp. 474 -- 485, Feb. 2012, IEEE Signal Processing Society. Article [DOI Article link] [bibTeX]

Tiago Pinheiro and Martijn Kuipers and Mário Serafim Nunes, Charging Network for Electric Vehicles, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, (97), pp. 405-415, Feb. 2012, Springer. Article [DOI Article link] [bibTeX]

Bruno Jesus Rodrigues Fernandes and Helena Sarmento, FPGA implementation and testing of a 128 FFT for a MB-OFDM receiver, Analog Integrated Circuits and Signal Processing, 70(2), pp. 241-248, Feb. 2012, Springer. [DOI Article link] [bibTeX]

Flávio L. Pinheiro and Jorge M. Pacheco and Francisco C. Santos, From Local to Global Dilemmas in Social Networks, PLoS One, 7(2), pp. e32114, Feb. 2012, . [bibTeX]

António Rito Silva and Michael Rosemann, Processpedia – An Ecological Environment for BPM Stakeholders Collaboration, Business Process Management Journal, 18(1), pp. 20-42, Feb. 2012, Emerald. [DOI Article link] [bibTeX]

Luis Domingues Tomé Jardim Tarrataca and Andreas Wichert, A Quantum Production Model, Quantum Information Processing, 11(1), pp. 189-209, Jan. 2012, Springer. [DOI Article link] [bibTeX]

Ginevra Castellano and Iolanda Margarete dos Santos Carvalho Leite and Ana Paiva and Peter W. McOwan, Affective teaching: learning more effectively from empathic robots, Awareness magazine: Self-Awareness in Autonomic Systems, (), pp. , Jan. 2012, . [DOI Article link] [bibTeX]

Joao Marques Silva, Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions, Journal of Multiple-Valued Logic and Soft Computing, 19(1), pp. 163-183, Jan. 2012, Old City Publishing. Article [bibTeX]

Josep Argelich and Alba Cabiscol and Inês Lynce and Felip Manyà, Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT, Journal of Multiple-Valued Logic and Soft Computing, 19(1), pp. 3-23, Jan. 2012, . Article [bibTeX]

Jorge F. Villena and L. Miguel Silveira, Exploiting Parallelism for Improved Automation of Multidimensional Model Order Reduction, IEEE Transactions on Computer Aided Design of VLSI Circuits, 31(1), pp. 37-49, Jan. 2012, IEEE. [bibTeX]

Levent Aksoy and Eduardo Costa and Paulo Flores and J. Monteiro, Optimization Algorithms for the Multiplierless Realization of Linear Transforms, ACM Transactions on Design Automation of Electronic Systems (TODAES), 17(1), pp. 3:1-3:27, Jan. 2012, . [bibTeX]

Mikolas Janota and Inês Lynce and Vasco Manquinho and Joao Marques Silva, PackUp: Tools for Package Upgradability Solving, Journal on Satisfiability, Boolean Modeling and Computation, 8(1), pp. 89-94, Jan. 2012, . Article [bibTeX]

António Carlos Semedo da Cruz Varela and Teresa Maria Sá Ferreira Vazão Vasques and Guilherme Arroz, Providing service differentiation in pure IP-based networks, Computer Communications, 35(), pp. 642-660, Jan. 2012, Elsevier. [bibTeX]

João António Rodrigues Sacramento and Francisco Burnay and Andreas Wichert, Regarding the temporal requirements of a hierarchical Willshaw network, Neural Networks, 25(), pp. 84-93, Jan. 2012, . [DOI Article link] [bibTeX]

Huan Chen and Joao Marques Silva, TG-Pro: A SAT-based ATPG System, Journal on Satisfiability, Boolean Modeling and Computation, 8(1), pp. 83-88, Jan. 2012, IOS. Article [bibTeX]

Ana Cristina Mendes and Luísa Coheur, When the answer comes into question in question-answering: survey and open issues, Natural Language Engineering, (), pp. , Jan. 2012, Cambridge University Press. [DOI Article link] [bibTeX]

João Leitão and João António Damião Marques and José Pereira and Luis Rodrigues, X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks, IEEE Transactions on Parallel and Distributed Systems, (), pp. , Jan. 2012, . [DOI Article link] [bibTeX]

International Conferences

Adrian Matoga and Ricardo Chaves and Pedro Tomás and Nuno Roma, A Flexible Shared Library Profiler for Early Estimation of Performance Gains in Heterogeneous Systems, International Conference on High Performance Computing & Simulation (HPCS 2013), Jun. 2013 . [bibTeX]

Francesco Nesta and Marco Matassoni and Ramon Fernandez Astudillo, A FLEXIBLE SPATIAL BLIND SOURCE EXTRACTION FRAMEWORK FOR ROBUST SPEECH RECOGNITION IN NOISY ENVIRONMENTS, 2nd International Workshop on Machine Listening in Multisource Environments (CHiME), Jun. 2013 , pp. 33-38 . [bibTeX]

Nuno Filipe Simões Santos Moraes Neves and Nuno Sebastião and André Patrício and David Martins de Matos and Pedro Tomás and Paulo Flores and Nuno Roma, BioBlaze: Multi-Core SIMD ASIP for DNA Sequence Alignment, International Conference on Application-specific Systems, Architectures and Processors (ASAP 2013), Jun. 2013 , pp. 241-244 , IEEE. [bibTeX]

José Leitão and José Germano and Nuno Roma and Ricardo Chaves and Pedro Tomás, Scalable and High Throughput Biosensing Platform, 23rd International Conference on Field Programmable Logic and Applications (FPL 2013), Jun. 2013 . [bibTeX]

Tiago Freitas and Jorge Baptista and Nuno J. Mamede, Syntactic REAP.PT: Exercises on Clitic Pronouning, 2nd International Symposium on Languages, Applications and Technologies (SLATE 2013), Jun. 2013 . [bibTeX]

Mauro Castelli and Davide Castaldi and Ilaria Giordani and Sara Silva and Leonardo Vanneschi and Francesco Archetti and Davide Maccagnola, An Efficient Implementation of Geometric Semantic Genetic Programming for Anticoagulation Level Prediction in Pharmacogenetics, 16th Portuguese Conference on Artificial Intelligence (EPIA 2013), May. 2013 , Springer. [bibTeX]

Tiago Costa and Moises Simões Piedade and José Germano and José Amaral and Paulo P. Freitas, An Instrumentation System based on Magnetoresistive Sensors For Neuronal Signal Detection, IEEE I2MTC - International Instrumentation and Measurement Technology Conference, May. 2013 . [bibTeX]

Paula Cristina Vaz and Ricardo Ribeiro and David Martins de Matos, Book Recommender Prototype based on Author’s Writing Style, OAIR 2013 (the 10th International Conference in the RIAO series), May. 2013 . [bibTeX]

André Carreiro and Susana Pinto and Mamede de Carvalho and Sara C. Madeira and Cláudia Antunes, Classification of Clinical Data using Sequential Patterns: A case study in Amyotrophic Lateral Sclerosis, 2nd Workshop on Data Mining for Medicine and Healthcare, May. 2013 , SIAM. [bibTeX]

Tiago Costa and Moises Simões Piedade and Filipe A. Cardoso and Paulo P. Freitas, CMOS Instrumentation System For Matrix-Based Magnetoresistive Biosensors, IEEE I2MTC - International Instrumentation and Measurement Technology Conference, May. 2013 . [bibTeX]

Ramon Fernandez Astudillo and Timo Gerkmann, On the Relation Between Speech Corruption Models in the Spectral and the Cepstral Domain, 38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP), May. 2013 , pp. 7044-7048 , IEEE. [bibTeX]

Levent Aksoy and Paulo Flores and J. Monteiro, SIREN: A Depth-First Algorithm for the Filter Design Optimization Problem, Great Lakes Symposium on VLSI (GLSVLSI), May. 2013 , pp. 179-184 . [bibTeX]

João Pedro Vieira Guerreiro and Daniel Jorge Viegas Gonçalves and David Martins de Matos, Towards a Fair Comparison between Name Disambiguation Approaches, OAIR 2013 (the 10th International Conference in the RIAO series), May. 2013 . [bibTeX]

Pedro Miguel Florindo Miguens Matutino and Ricardo Chaves and Leonel Sousa, A Compact and scalable RNS Architecture, In 24th IEEE International Conference on Application-specific Systems, Architectures and Processors - ASAP 2013 , Apr. 2013 . [bibTeX]

Lidia Maria Lee Ng Kuan and Pedro Tomás and Leonel Sousa, A comparison of computing architectures and parallelization frameworks based on a two-dimensional FDTD, International Conference on High Performance Computing & Simulation (HPCS 2013), Apr. 2013 . [bibTeX]

Leonardo Vanneschi and Mauro Castelli and Luca Manzoni and Sara Silva, A New Implementation of Geometric Semantic GP and its Application to Problems in Pharmacokinetics, 16th European Conference on Genetic Programming, Apr. 2013 , pp. 205-216 , Springer. [bibTeX]

Nuno Ferreira and Gracinda Carvalho and Paulo Rogério Pereira, A Scalable Spam Filtering Architecture, 4th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS 13), Apr. 2013 , pp. 107-114 , Springer-Verlag. [DOI Article link] [bibTeX]

Frederico Pratas and Diego Oriato and Oliver Pell and Ricardo Mata and Leonel Sousa, Accelerating the Computation of Induced Dipoles for Molecular Mechanics with Dataflow Engines, The 21st IEEE International Symposium on Field-Programmable Custom Computing Machines, Apr. 2013 . [bibTeX]

Ivo Gonçalves and Sara Silva, Balancing Learning and Overfitting in Genetic Programming with Interleaved Sampling of Training Data, 16th European Conference on Genetic Programming, Apr. 2013 , pp. 73-84 , Springer. [bibTeX]

Sérgio Almeida and João Leitão and Luis Rodrigues, ChainReaction a Causal+ Consistent Datastore based on Chain Replication, EuroSys 2013, Apr. 2013 , ACM. [bibTeX]

Daniel Mendes and António Mauricio Lança Tavares de Sousa and Bruno Rodrigues de Araújo and Alfredo Ferreira and Hildegardo Noronha and Pedro Filipe Pereira Campos and Luciano Soares and Alberto Raposo and Joaquim Armando Pires Jorge, Collaborative 3D Visualization on Large Screen Displays, CHI 2013 Powerwall Workshop, Apr. 2013 , ACM . [bibTeX]

Mauro Castelli and Sara Silva and Leonardo Vanneschi and Ana Cabral and Maria J. Vasconcelos and Luís Catarino and João B. Carreiras, Land Cover/Land Use Multiclass Classification Using GP With Geometric Semantic Operators, EvoApplications, Apr. 2013 , pp. 334-343 , Springer. [bibTeX]

Sara Silva and Vijay Ingalalli and Susana Vinga and João B. Carreiras and Joana B. Melo and Mauro Castelli and Leonardo Vanneschi and Ivo Gonçalves and José Caldas, Prediction of Forest Aboveground Biomass: An Exercise on Avoiding Overfitting, EvoApplications, Apr. 2013 , pp. 407-417 , Springer. [bibTeX]

João Luís Vazão Vasques and Luís Veiga, A Decentralized Utility-based Grid Scheduling Algorithm, 28th ACM Symposium On Applied Computing (SAC 2013), Mar. 2013 , ACM. [bibTeX]

Miguel Branco and João Leitão and Luis Rodrigues, Bounded Gossip: A Gossip Protocol for Large-Scale Datacenters, The 28th Symposium On Applied Computing (SAC 2013), Mar. 2013 , ACM. [bibTeX]

Wilson Matez José and Ana Rita de Sousa Ramalho da Silva and Mário Pereira Véstias and Horácio C. Neto, Design of a Massively Parallel Computing Architecture for Dense Matrix Multiplication, IEEE 4th Latin American Symposium on Circuits and Systems - LASCAS 2013, Feb. 2013 . [bibTeX]

Mário Pereira Véstias and Horácio C. Neto and Helena Sarmento, Design of a Multiband Full-Rate Ultra-Wideband Receiver in FPGA, IEEE 4th Latin American Symposium on Circuits and Systems - LASCAS 2013, Feb. 2013 . [bibTeX]

Jude Angelo ambrose and Hector Pettenghi and Leonel Sousa, DARNS: A Randomized Multi-modulo RNS Architecture for Double-and-Add in ECC to prevent Power Analysis Side Channel Attacks, 18th Asia and South Pacific Design Automation Conference ASP-DAC 2013, Jan. 2013 . [bibTeX]

Pedro Hugo de Queirós Alves and Paulo Ferreira, Radiator - Context propagation based on delayed aggregation, 6th ACM Conference on Computer Supported Cooperative Work and Social Computing (CSCW 2013), Jan. 2013 , ACM. [bibTeX]

Gabriel José Faustino Fonseca Barata and Daniel Jorge Viegas Gonçalves and Joaquim Armando Pires Jorge, So Fun it Hurts - Gamifying an Engineering Course, HCI International, Jan. 2013 , Springer. [bibTeX]

Taimur Kuntz and Fábio Rabuske and Jorge Manuel dos Santos Ribeiro Fernandes and Cesar Rodrigues, A 4-bit 1.5GSps 4.2mW Comparator-Based Binary Search ADC in 90nm, IEEE International Conference on Electronics, Circuits, and Systems (ICECS), Dec. 2012 . [bibTeX]

Taimur Kuntz and Jorge Manuel dos Santos Ribeiro Fernandes and Saed Nooshabadi and Cesar Rodrigues, A 749nW 1MSps 8-bit SAR ADC at 0.5V Employing Boosted Switches, IEEE International Conference on Electronics, Circuits, and Systems (ICECS), Dec. 2012 . [bibTeX]

Victor Manuel Antunes da Silva and Jorge Manuel dos Santos Ribeiro Fernandes and Mário Pereira Véstias and Horácio C. Neto, A High-Performance Reconfigurable Computing Architecture using a Magnetic Configuration Memory, International Conference on ReConFigurable Computing and FPGAs (ReConFig), Dec. 2012 . [bibTeX]

Hugo Miguel Barreto Gonçalves and Miguel Martins and Jorge Manuel dos Santos Ribeiro Fernandes, A Study on MOSFET Rectifiers with Transistors Operating in the Weak Inversion Region, IEEE International Conference on Electronics, Circuits, and Systems (ICECS), Dec. 2012 . [bibTeX]

Pedro Hugo de Queirós Alves and Paulo Ferreira, Context-aware Efficient Message Propagation, 11th International Workshop on Adaptive and Reflective Middleware (ARM 2012), In conjuntion with Middleware 2012, Dec. 2012 , ACM. [bibTeX]

Diogo Rodrigues Oliveira de Brito and Jorge Manuel dos Santos Ribeiro Fernandes and Paulo Flores and J. Monteiro, Design and Characterization of a QLUT in a Standard CMOS Process, IEEE International Conference on Electronics, Circuits, and Systems (ICECS), Dec. 2012 . [bibTeX]

Wang Ling and Nadi Tomeh and Guang Xiang and Alan Black and Isabel Trancoso, Improving Relative-Entropy Pruning using Statistical Significance, 25th International Conference on Computational Linguistics (COLING 2012), Dec. 2012 . [bibTeX]

Gopala Krishna Anumanchipalli and Luís C. Oliveira and Alan W. Black, Intent Transfer in Speech-to-Speech Machine Translation, SLT 2012, Dec. 2012 , pp. 153-158 , IEEE. [bibTeX]

Mauro André Mendes Silva and João Leitão and Carlos Nuno da Cruz Ribeiro, MobUser: Publish-Subscribe Communication for Mobile Nodes, 18th IEEE International Conference on Parallel and Distributed Systems, Dec. 2012 . [bibTeX]

Victor Manuel Antunes da Silva and Mário Pereira Véstias and Horácio C. Neto and Jorge Manuel dos Santos Ribeiro Fernandes, Non-Volatile Memory Circuits for FIMS and TAS Writing Techniques on Magnetic Tunnelling Junctions, IEEE International Conference on Electronics, Circuits, and Systems (ICECS), Dec. 2012 . [bibTeX]

Luis Marujo and Wang Ling and Anatole Gershman and Jaime Carbonell and João Paulo da Silva Neto and David Martins de Matos, Recognition of Named-Event Passages in News Articles, 25th International Conference on Computational Linguistics (COLING 2012), Dec. 2012 . [bibTeX]

João Miranda and João Paulo da Silva Neto and Alan Black, Recovery of acronyms, out-of-lattice words and pronunciations from parallel multilingual speech, SLT 2012, Dec. 2012 , IEEE. [bibTeX]

Sebastiano Peluso and Paolo Romano and Francesco Quaglia, SCORe: a Scalable One-Copy Serializable Partial Replication Protocol, ACM/IFIP/USENIX 13th International Middleware Conference (Middleware 2012), Dec. 2012 . [bibTeX]

Isabel Trancoso and Alberto Abad and Thomas Pellegrini, Speech Technologies Applied to eHealth and eLearning, Oriental COCOSDA 2012 (Keynote), Dec. 2012 , IEEE. [bibTeX]

João Barreto and Aleksandar Dragojevic and Paulo Ferreira and Ricardo Filipe and Rachid Guerraoui, Unifying Thread-Level Speculation and Transactional Memory (Best Paper Award), ACM/IFIP/USENIX Middleware Conference 2012, Dec. 2012 , Springer, ACM. [bibTeX]

Cláudia RIbeiro and José Borbinha and José Manuel Nunes Salvador Tribolet and João António Madeiras Pereira, Using Agent-based Simulation to Understand Cooperation in Business Organizational Settings, 2012 Winter Simulation Conference, WSC 2012, Dec. 2012 . [bibTeX]

Alexandre Barão and Alberto Rodrigues da Silva, What is the Value of Your Network?, International Workshop on Social Networks and Data Processing in the 2012 IEEE/WIC/ACM International Conference on Web Intelligence/Intelligent Agent Technology, Dec. 2012 , IEEE Computer Society. [bibTeX]

Helena Sarmento and Ricardo André Pinto Faria, A Monitoring System for Secondary Substations using a Wireless Sensor Network, DCIS , Nov. 2012 . [bibTeX]

José Simão and Luís Veiga, A Progress and Profile-driven Cloud-VM for Improved Resource-Efficiency and Fairness in e-Science Environments, 28th ACM Symposium On Applied Computing (SAC 2013), Nov. 2012 , ACM. [bibTeX]

Tiago Manuel Oliveira Henriques Moita and Carlos Beltran Almeida and Marcelino Bicho dos Santos, ActIC Automated Characterization Test of Mixed-Signal Integrated Circuits , Conference on Design of Circuits and Integrated Systems (DCIS), Nov. 2012 . [bibTeX]

Cláudia RIbeiro and José Borbinha and José Manuel Nunes Salvador Tribolet and João António Madeiras Pereira, Agent-based Simulation and Cooperation in Business Organizational Settings, The Fourth International Conference on Advances in System Simulation, SIMUL 2012, Nov. 2012 . [bibTeX]

Tiago Costa and Moises Simões Piedade and Marcelino Bicho dos Santos, An Ultra-Low Noise Current Source for Magnetoresistive Biosensors Biasing, IEEE Biomedical Circuits and Systems (BioCAS’12), Nov. 2012 . [bibTeX]

Dalí F. D. Santos and Ilmério R. da Silva and Manuel J. Fonseca and Denise Guliato, Combining Color and Topology for Partial Matching, IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2012), Nov. 2012 , IEEE. [bibTeX]

José C. Alves and Paulo J, Pereira and Pedro Diniz, Design Space Exploration for High-Accuracy 1-Dimensional Edge Detection, Intl. Conf. on the Design of Circuits and Integrated Systems (DCIS), Nov. 2012 . [bibTeX]

Abilio Parreira and Floriberto Lima and Marcelino Bicho dos Santos, Digital Modular Control of High Frequency DC-DC Converters , Conference on Design of Circuits and Integrated Systems (DCIS), Nov. 2012 . [bibTeX]

Miguel Costa and Mário J. Silva, Evaluating Web Archive Search Systems, The 13th International Conference on Web Information Systems Engineering (WISE 2012) , Nov. 2012 , Springer. [bibTeX]

Stoyan Garbatov and João Cachopo, Explicit use of working-set correlation for load-balancing in clustered web servers, 7th International Conference on Software Engineering Advances, ICSEA, Nov. 2012 . [bibTeX]

Nuno Miguel da Luz Neves Guerreiro and Marcelino Bicho dos Santos and João Paulo Cacho Teixeira, Fault List Compression for Cost-Effective Analogue and Mixed-Signal Fault Simulation, Conference on Design of Circuits and Integrated Systems (DCIS), Nov. 2012 . [bibTeX]

Marta Santos and Ricardo Lopes Pereira and António Brandão Leal, GBUS - Route GeoTracer, First international workshop on Vehicular Traffic Management for Smart Cities (VTM 2012), Nov. 2012 . [bibTeX]

Thomas Pellegrini and Isabel Trancoso and Annika Hamalainen and António Calado and Miguel Sales Dias and Daniela Braga, Impact of age in ASR for the elderly: preliminary experiments in European Portuguese, IBERSPEECH 2012, Nov. 2012 , Springer. [bibTeX]

Wilson Matez José and Mário Pereira Véstias and Horácio C. Neto, Interconnection Networks for Tightly Coupled Processors in FPGA, XXVII Conference on Design ofCircuits and Integrated Systems, Nov. 2012 . [bibTeX]

André Carvalho and António Pimentel Brisson Lopes and Ana Paiva, Laugh To Me! Implementing Emotional Escalation on Autonomous Agents for Creating a Comic Sketch, 5th International Conference Interactive Storytelling, ICIDS 2012, Nov. 2012 , pp. 162-173 , Springer Berlin Heidelberg. [DOI Article link] [bibTeX]

Isabel Trancoso and Thomas Pellegrini and André Freire Silva and Rui Correia and Nuno J. Mamede and Jorge Baptista, Learning Portuguese with Speech Technologies, IBERSPEECH 2012, Nov. 2012 , pp. 411-414 . [bibTeX]

Victor Manuel Antunes da Silva and Jorge Manuel dos Santos Ribeiro Fernandes and Mário Pereira Véstias and Horácio C. Neto, Magnetic-Memory based Dynamically Reconfigurable Array, Conf. on Design of Circuits and Integrated Systems (DCIS), Nov. 2012 . [bibTeX]

Antonio Morgado and Mark H. Liffiton and Joao Marques Silva, MaxSAT-Based MCS Enumeration, Haifa Verification Conference (HVC 2012), Nov. 2012 , Springer. [bibTeX]

Joana Coelho and João Carriço and Daniel Knight and J.-L. Martinez and Ian Morrissey and Marco Oggioni and Ana T. Freitas, Mining relationships between antibiotic and biocide reduced susceptibility, International Conference on Antimicrobial Research (ICAR2012), Nov. 2012 . [bibTeX]

Levent Aksoy and Eduardo Costa and Paulo Flores and J. Monteiro, Multiple Tunable Constant Multiplications: Algorithms and Applications, International Conference on Computer-Aided Design (ICCAD), Nov. 2012 , pp. 473-479 . [bibTeX]

Luis de Sousa and Alberto Rodrigues da Silva, Preliminary Design and Implementation of DSL3S – a Domain Specific Language for Spatial Simulation Scenarios, CAMUSS-2012 - International Symposium on Cellular Automata Modeling for Urban and Spatial Systems, Nov. 2012 . [bibTeX]

João Guerra and Inês Lynce, Reasoning over Biological Networks Using Maximum Satisfiability, International Conference on Principles and Practice of Constraint Programming, Nov. 2012 , pp. 941-956 , Springer. [DOI Article link] [bibTeX]

André Tiago Abelho Pereira and Rui Prada and Ana Paiva, Socially Present Board Game Opponents, 9th International Conference on Advances in Computer Entertainment - ACE 2012, Nov. 2012 , pp. 101-116 , Springer. [DOI Article link] [bibTeX]

Alberto Abad, The L2F Language Recognition System for Albayzin 2012 Evaluation, Proceedings of IberSPEECH, Nov. 2012 . [bibTeX]

Annamaria Pompili and Pedro Fialho and Alberto Abad, VITHEA: On-line word naming therapy in Portuguese for aphasic patients exploiting automatic speech recognition, Proceedings of IberSPEECH, Nov. 2012 . [bibTeX]

Pedro Filipe Pereira Campos and Duarte Gouveia and Hildegardo Noronha and Joaquim Armando Pires Jorge, A Mobile System for Collaborative Design and Review of Large Scale Virtual Reality Models, JVRC 2012, Oct. 2012 , Eurographics. [bibTeX]

António Pimentel Brisson Lopes and Gonçalo Duarte Garcia Pereira and Rui Prada and Ana Paiva and S. Louchart and N. Suttie and T. Lim and R. Lopes and R. Bidarra and F. Bellotti and M. Kravcik , Artiﬁcial Intelligence and Personalization Opportunities for Serious Games, 8th Artificial Intelligence and Interactive Digital Entertainment Conference AIIDE 2012, Oct. 2012 , pp. 51-57 , AAAI Press. [bibTeX]

Paulo Gonçalves and Manuel J. Fonseca, Combining Multitouch Gestures and Sketches to Explore Photo Collections, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2012), Oct. 2012 , IEEE. [bibTeX]

Carlos Páscoa and Nelson Ferreira and José Manuel Nunes Salvador Tribolet, Construction of Simulators as a fundamental Element of Organizational Self-awareness, CENTERIS 2012 Conference on ENTERprise nd Information Systems, Oct. 2012 . [bibTeX]

Nestor Michael Tiglao and António Manuel Raminhos Cordeiro Grilo, Cross-Layer Caching Based Optimization for Wireless Multimedia Sensor Networks, IEEE Wireless and Mobile Computing, Networking and Communications 2012, Oct. 2012 , IEEE. [bibTeX]

Hildegardo Noronha and Bruno Rodrigues de Araújo and Pedro Filipe Pereira Campos and Luciano Soares, Designing a Mobile Collaborative System for Navigating and Reviewing Oil Industry CAD Models, NORDICHI 2012 Industrial Track, Oct. 2012 . [bibTeX]

Hildegardo Noronha and Pedro Filipe Pereira Campos and Luciano Soares and Joaquim Armando Pires Jorge and Alberto Raposo, Designing a Mobile Collaborative System for Navigating and Reviewing Oil Industry CAD Models, NORDICHI 2012 Industrial Track, Oct. 2012 . [bibTeX]

Carlos Páscoa and Marco Moreira and José Manuel Nunes Salvador Tribolet, Effectiveness Index as an Organizational Cockpit Instrument, CENTERIS 2012 - Conference on ENTERprise Information Systems, Oct. 2012 . [bibTeX]

Hugo Miguel Aleixo Nicolau and Joaquim Armando Pires Jorge, Elderly Text-Entry Performance on Touchscreens, ASSETS, Oct. 2012 , pp. 22-24 , ACM Press. [DOI Article link] [bibTeX]

Carlos Páscoa and Sérgio Silva and José Manuel Nunes Salvador Tribolet, EX-ANTE and EX-POST Model applied to the Operational Flying Regime Management, CENTERIS 2012 - Conference on ENTERprise nd Information Systems, Oct. 2012 . [bibTeX]

Tiago Lopes Ferreira and Alberto Rodrigues da Silva, Foster an Implicit Community based on a Newsletter Tracking System, OTM / CoopIS 2012, Oct. 2012 , Springer. [bibTeX]

Carlos Manuel Tadeia Rosão and Ricardo Ribeiro and David Martins de Matos, Influence of Peak Selection Methods on Onset Detection , 13th International Society for Music Information Retrieval Conference (ISMIR 2012), Oct. 2012 , FEUP. [bibTeX]

Gordon Ingram and Joana Carvalho Filipe de Campos and Rilla Khaled and Asimina Vasalou and Ana Paiva and Abilio Parreira, Integrating User Research into a Serious Game about Conflict Resolution, eChallenges e-2012 Conference Proceedings, Oct. 2012 , IIMC International Information Management Corporation. [bibTeX]

Federico Heras and Antonio Morgado and Jordi Planes and Joao Marques Silva, Iterative SAT Solving for Minimum Satisfiability, International Conference on Tools with Artificial Intelligence (ICTAI 2012), Oct. 2012 , IEEE. [bibTeX]

João Fernandes and Diogo Duarte and Cláudia RIbeiro and Carla Farinha and João António Madeiras Pereira and Miguel Mira da Silva, iThink: A Game-Based Approach Towards Improving Collaboration and Participation in Requirement Elicitation, 4th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games), Oct. 2012 , pp. 66-77 , Elsevier. [DOI Article link] [bibTeX]

Paula Cristina Vaz and Ricardo Ribeiro and David Martins de Matos, LitRec vs. Movielens: A Comparative Study, International Conference on Knowledge Discovery and Information Retrieval (KDIR 2012), Oct. 2012 . [bibTeX]

L Gonçalves and Pedro Filipe Pereira Campos and M de Sousa, M-Dimensions: a Framework for Evaluating and Comparing Interactive Installations in Museums., NordiCHI 2012, Nordic Conference on Human-Computer Interaction, Oct. 2012 . [bibTeX]

Gabriel César Ferreira Pestana and Augusto Casaca and Pedro Reis and Sebastian Heuschler and Joachim Metter, Management of Mobile Objects in an Airport Environment, Second International Conference on Mobile Services, Resources and Users - Mobility 2012, Oct. 2012 , pp. 55-59 , ISBN: 978-1-61208-229-5. [bibTeX]

Luciana Salles Barbosa and Monika Tarsalewska and Alberto Sardinha, Managerial Flexibilities and Competition in Shopping Center Investment. Real Options Approach to Real Estate, 4th ReCapNet Conference: Real Estate Markets and Capital Markets, Oct. 2012 . [bibTeX]

Adriano Conde de Jesus Palma and Paulo Rogério Pereira and Augusto Casaca, Multicast Routing Protocol for Vehicular Delay-Tolerant Networks, 5th International Workshop on Selected Topics in Mobile and Wireless Computing STWiMob 2012, 8th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2012), Oct. 2012 , pp. 761-768 , IEEE. [DOI Article link] [bibTeX]

Anton Belov and Mikolas Janota and Inês Lynce and Joao Marques Silva, On Computing Minimal Equivalent Subformulas, International Conference on Principles and Practice of Constraint Programming, Oct. 2012 , pp. 158-174 , Springer. [DOI Article link] [bibTeX]

Miguel Correia and Pedro Costa and Marcelo Pasin and Alysson Bessani and Fernando Ramos and Paulo Verissimo, On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds, First International Workshop on Dependability Issues in Cloud Computing (DISCCO 2012), Oct. 2012 . [bibTeX]

Carlos Páscoa and Diogo Jorge and José Manuel Nunes Salvador Tribolet, Organizational Cost per Flight Hour in the Portuguese Air Force, CENTERIS 2012 - Conference on ENTERprise nd Information Systems, Oct. 2012 . [bibTeX]

Bertinho Manuel D'Andrade da Costa and J. M. Lemos, Predictive Adaptive Temperature Control in a Solar Furnace for Material Stress Tests, 2012 IEEE Multi-Conference on Systems and Control , Oct. 2012 . [bibTeX]

Carlos Páscoa and Steve Morais and José Manuel Nunes Salvador Tribolet, Relationship between Operational and Management Objectives of an Organization, CENTERIS 2012 - Conference on ENTERprise nd Information Systems, Oct. 2012 . [bibTeX]

David Ferreira and Alberto Rodrigues da Silva, RSLingo: An Information Extraction Approach toward Formal Requirements Specifications, Second IEEE International Workshop on Model-Driven Requirements Engineering, in the 20th IEEE International Requirements Engineering Conference, Oct. 2012 , IEEE Computer Society. [bibTeX]

Manuel J. Fonseca and Stuart James and John Collomosse, Skeletons from Sketches of Dancing Poses, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2012), Oct. 2012 , IEEE. [bibTeX]

Sebastiano Peluso and João Fernandes and Paolo Romano and Francesco Quaglia and Luis Rodrigues, SPECULA: Speculative Replication of Software Transactional Memory, The 31st International Symposium on Reliable Distributed Systems, Oct. 2012 , IEEE. [bibTeX]

Carlos Páscoa and Rui Sancho and José Manuel Nunes Salvador Tribolet, Strategic Planning Cycle at the Portuguese Air Force, CENTERIS 2012 - Conference on ENTERprise nd Information Systems, Oct. 2012 . [bibTeX]

Paula Cristina Vaz and David Martins de Matos and Bruno Martins, Stylometric Relevance-feedback towards a Hybrid Book Recommendation Algorithm, BooksOnline’12 - Online Books, Complementary Social Media (workshop in conjunction with CIKM’12), Oct. 2012 . [bibTeX]

Nuno Roma and Pedro Paulo Correia de Magalhães, System-Level Prototyping Framework for Heterogeneous Multi-Core Architecture applied to Biological Sequence Analysis, IEEE International Symposium on Rapid System Prototyping (RSP), Oct. 2012 , pp. 156-162 , IEEE. [bibTeX]

Alberto Abad and Ramon Fernandez Astudillo, The L2F Spoken Web Search system for Mediaeval 2012, Mediaeval 2012 Workshop, Oct. 2012 . [bibTeX]

João Pedro Marques Pombinho and David Aveiro and José Manuel Nunes Salvador Tribolet, Business Service Definition in Enterprise Engineering - A Value-oriented Approach, The Fourth Workshop on Service oriented Enterprise Architecture for Enterprise Engineering , SoEA4EE’2012 at EDOC 2012, Sep. 2012 . [bibTeX]

Hugo Rodrigues and Luísa Coheur, 2B$ - Testing Past Algorithms in Nowadays Web, 15th International Conference on Text, Speech and Dialogue (TSD), Sep. 2012 , Springer. [bibTeX]

J. C. Nascimento and J. S. Marques and J. M. Lemos, A class of space-varying parametric motion fields for human activity recognition., Int. Conf. on Image Processing, ICIP 2012, Disney’s Coronado Springs Resort, Orlando, FL, USA, Sep. 2012 , pp. 761-764 , IEEE. [bibTeX]

José Simão and Luís Veiga, A Classification of Middleware to Support Virtual Machines Adaptability in IaaS, 11th International Workshop on Adaptive and Reflective Middleware (ARM 2012), In conjuntion with Middleware 2012, Sep. 2012 , ACM. [bibTeX]

Lucas Nunes Vieira and Cláudio Diniz and Nuno J. Mamede and Jorge Baptista, A Lexicon of Verb and -mente Adverb Collocations in Portuguese, Proceedings of the 31st International Conference on Lexis and Grammar, Sep. 2012 , pp. 155-161 , Università degli Studi di Salerno /University of South Bohem. [bibTeX]

Sandra Vanessa Pereira Gama do Rosário and Gabriel José Faustino Fonseca Barata and Daniel Jorge Viegas Gonçalves and Rui Prada and Ana Paiva, A Model for Social Regulation of User-Agent Relationships, International conference on Intelligent Virtual Agents IVA 2012, Sep. 2012 , pp. 319-326 , Springer Berlin / Heidelberg. [DOI Article link] [bibTeX]

David Jorge Lopes Batista Martinho and António Rito Silva, A Recommendation Algorithm to Capture Endusers’ Tacit Knowledge, 10th International Conference on Business Process Management (BPM2012), Sep. 2012 , pp. 216-222 , Springer. [DOI Article link] [bibTeX]

Ivo Anjo and João Cachopo, A Software-based Method-Level Speculation Framework for the Java Platform, 25th International Workshop on Languages and Compilers for Parallel Computing, Sep. 2012 . [bibTeX]

António Manuel Raminhos Cordeiro Grilo and Augusto Casaca and Helena Sarmento and Mário Serafim Nunes and Paulo Rogério Pereira and Carlos Fortunato and José Gonçalves, A Wireless Sensors Suite for Smart Grid Applications, 1st International Workshop on Information Technology for Energy Applications, Sep. 2012 , online CEUR-WS.org/Vol-923; ISSN 1613-0073. [bibTeX]

António Manuel Raminhos Cordeiro Grilo and Helena Sarmento and Mário Serafim Nunes and José Gonçalves and Paulo Rogério Pereira and Augusto Casaca and Carlos Fortunato, A Wireless Sensors Suite for Smart Grid Applications, International Workshop on Information Technology for Energy Applications, Sep. 2012 , pp. 11-20 . [bibTeX]

Manuel Cajada and Paulo Ferreira and Luís Veiga, Adaptive Consistency for Replicated State in Real-Time-Strategy Multiplayer Games, 11th International Workshop on Adaptive and Reflective Middleware (ARM 2012), In conjuntion with Middleware 2012, Sep. 2012 , ACM. [bibTeX]

Rui Filipe Lopes Joaquim and Carlos Nuno da Cruz Ribeiro, An Efficient and Highly Sound Voter Verification Technique and its Implementation, E-Voting and Identity, Sep. 2012 , Springer. [bibTeX]

Francisco Fernandes and Paulo G. S. da Fonseca and Luís M. S. Russo and Arlindo L. Oliveira and Ana T. Freitas, An efficient data representation for large scale genome re-sequencing, 13t th International Meeting on Human Genome Variation and Complex Genome Analysis (HGV2012) , Sep. 2012 . [bibTeX]

Diego Didona and Daniele Carnevale and Paolo Romano and Sergio Galeani, An Extremum Seeking Algorithm for Message Batching in Total Order Protocols, IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), Lyon, France, 10-14 Sept. 2012, Sep. 2012 . [bibTeX]

Alberto Abad and Annamaria Pompili and Angela Costa and Isabel Trancoso, Automatic word naming recognition for treatment and assessment of aphasia, Interspeech 2012, Sep. 2012 , ISCA. [bibTeX]

Davide António Pestana Passinhas and MIchael Adams and Bernardo Oliveira Pinto and Ricardo Carvalho Antunes da Costa and António Rito Silva and Arthur H.M. ter Hofstede, Blended Workflow Engine, Demonstration Track of the 10th International Conference on Business Process Management (BPM 2012)., Sep. 2012 , pp. 23-28 , CEUR. [DOI Article link] [bibTeX]

Fernando Costa and Luís Veiga and Paulo Ferreira, BOINC-MR: MapReduce in a Volunteer Environment, 20th International Conference on COOPERATIVE INFORMATION SYSTEMS (CoopIS 2012), Sep. 2012 , Springer, LNCS. [bibTeX]

José Lopes and Andrew Fandrianto and Maxine Eskenazi and Isabel Trancoso, Can a spoken dialog system be used as a tool to study convergence?, ISICS 2012 - International Symposium on Imitation and Convergence in Speech, Sep. 2012 . [bibTeX]

Frederico Mendonça Passos de Lopes e Gonçalves and Lalith Suresh and Ricardo Lopes Pereira and João Paulo Pinto Trindade and Teresa Maria Sá Ferreira Vazão Vasques, CLOWDE - Cross-Layer One-Way Delay Estimation, International Conference on Integrated Approaches for Vol- canic Risk Management,, Sep. 2012 . [bibTeX]

Bruno Rodrigues de Araújo and Joaquim Armando Pires Jorge and José Pinto Duarte, Combining Virtual Environments and Direct Manipulation for Architectural Modeling, ECAADE 2012, Sep. 2012 , ECAADE. [bibTeX]

Emmanuel Kouokam and Njojo Jesse Konang and Robert Mbe Akoko and Mananga Guillaume Sosthene and João Trindade, Communication and volcanic Disaster Management: a Case Study of Mount Cameroon, International Conference on Integrated Approaches for Volcanic Risk Management, Sep. 2012 . [bibTeX]

João M. P. Cardoso and Tiago Carvalho and José G.F. Coutinho and Pedro Diniz and Zlatko Petrov, Controlling Hardware Synthesis with Aspects, IEEE Intl. Symposium on Digital Systems Design (DSD), Sep. 2012 . [bibTeX]

Stoyan Garbatov and João Cachopo, Decreasing Memory Footprints for Better Enterprise Java Application Performance, 23rd International Conference on Database and Expert Systems Applications (DEXA 2012), Sep. 2012 . [bibTeX]

João Completo and Rui Cruz and Luísa Coheur and Manuel Delgado, Design and Implementation of a Data Warehouse for Benchmarking in Clinical Rehabilitation, 4th Conference of ENTERprise Information Systems – aligning technology, organizations and people (CENTERIS 2012), Sep. 2012 , pp. 885-894 , Elsevier. [bibTeX]

Mário Pereira Véstias and Helena Sarmento, Design of an IEEE 802.15.3c Receiver in FPGA, International Conference on Consumer Electronics, Sep. 2012 . [bibTeX]

Mário Pereira Véstias and Horácio C. Neto and Helena Sarmento, Design of High-Speed Viterbi Decoders on Virtex-6 FPGAs, 15th Euromicro Conference on Digital System Design, Sep. 2012 , pp. 938-945 . [DOI Article link] [bibTeX]

Cátia M Machado and Ana T. Freitas and Francisco Couto, Enrichment analysis applied to disease prognosis, 4th Workshop on Ontologies in Biomedicine and Life Sciences, Sep. 2012 . [DOI Article link] [bibTeX]

Sérgio Guerreiro and Steven Kervel and André Ferreira Ferrão Couto e Vasconcelos and José Manuel Nunes Salvador Tribolet, EXECUTING ENTERPRISE DYNAMIC SYSTEMS CONTROL WITH THE DEMO PROCESSOR: the business transactions transition space validation, The 7th Mediterranean Conference on Information Systems (MCIS 2012), Sep. 2012 . [bibTeX]

Tiago Guerreiro and Joaquim Armando Pires Jorge and Daniel Jorge Viegas Gonçalves, Exploring the Non-Visual Acquisition of Targets on Touch Phones and Tablets, ACM SIGCHI 2nd Workshop on Mobile Accessibility, Sep. 2012 . [bibTeX]

Augusto Casaca and António Manuel Raminhos Cordeiro Grilo and Carlos Fortunato and Miguel Santos, Fault Location in an Electrical Distribution Infrastructure with a Wireless Sensor Network, PAC World Conference 2012, Sep. 2012 , pp. 28-33 , PAC World Magazine. [bibTeX]

Hugo Rito and João Cachopo, FlashbackSTM: Improving STM performance by remembering the past, 25th International Workshop on Languages and Compilers for Parallel Computing, Sep. 2012 . [bibTeX]

David Ferreira and Alberto Rodrigues da Silva, Formally Specifying Requirements with RSL-IL, QUATIC’2012 Conference, Sep. 2012 , IEEE Computer Society. [bibTeX]

Nuno Ricardo Ferreira and Samuel Francisco Mascarenhas and Ana Paiva and Frank Dignum and John Mc Breen and Nick Degens and Gert Jan Hofstede, Generating Norm-Related Emotions in Virtual Agents , 12th International Conference on Intelligent Virtual Agents IVA 2012, Sep. 2012 , pp. 97-104 , Springer. [DOI Article link] [bibTeX]

João Bispo and João Cardoso and J. Monteiro, Hardware Pipelining of Runtime-Detected Loops, IEEE XXV Symposium on Integrated Circuits and Systems Design (SBCCI), Sep. 2012 , pp. 1-6 . [bibTeX]

Nick Degens and Gert Jan Hofstede and John McBreen and Adrie Beulens and Samuel Francisco Mascarenhas and Nuno Ricardo Ferreira and Ana Paiva and Frank Dignum, hen Agents Meet: Empathy, Moral Circle, Ritual, and Culture, Proceedings of the Empathic Emotional Agents International Workshop AAMAS 2012, Sep. 2012 . [bibTeX]

Tiago Dias and Luís Miguel Seabra Ribau Lopes Do Rosário and Nuno Roma and Leonel Sousa, High Performance Unified Architecture for Forward and Inverse Quantization in H.264/AVC, 15th Euromicro Conference on Digital System Design (DSD), Sep. 2012 , pp. 632-639 . [bibTeX]

Tiago Lopes Ferreira and Alberto Rodrigues da Silva, Improving The Quality of The Community Relations Knowledge Using Implicit Connections, QUATIC’2012 Conference, Sep. 2012 , IEEE Computer Society. [bibTeX]

Luis Marujo and Ricardo Ribeiro and David Martins de Matos and João Paulo da Silva Neto and Anatole Gershman and Jaime Carbonell, Key Phrase Extraction of Lightly Filtered Broadcast News, 15th International Conference on Text, Speech and Dialogue (TSD 2012), Sep. 2012 , Springer. [bibTeX]

Thomas Pellegrini and Angela Costa and Isabel Trancoso, Less errors with TTS? A dictation experiment with foreign language learners, Interspeech 2012, Sep. 2012 , ISCA. [bibTeX]

Ricardo Candeias and Bruno Martins and Pável Calado, Metadata Extraction from Scholarly Articles Using a Two-Level Hierarchy of CRF Models, Proceedings of the International Conference on Theory and Practice of Digital Libraries (TPDL 2012)}, Sep. 2012 . [bibTeX]

Ricardo Lopes Pereira and João Paulo Pinto Trindade and Frederico Mendonça Passos de Lopes e Gonçalves and João Gomes and Duarte Barbosa and Lalith Suresh and António Carlos Semedo da Cruz Varela and Fernando Henrique Corte Real Mira da Silva and Teresa Maria Sá Ferreira Vazão Vasques and João Fonseca and Bruno Faria, MIAVITA - Wireless Sensor Network, International Conference on Integrated Approaches for Volcanic Risk Management, Sep. 2012 . [bibTeX]

Rafael Costa and Andras Hartmann and P. Gaspar and A. R. Neves and Susana Vinga, Modeling the dynamics of Lactococcus lactis central metabolism for strain development (poster), 11th European Conference on Computational Biology (ECCB´12), Sep. 2012 . [bibTeX]

Pedro Mota and Luísa Coheur and Sérgio dos Santos Lopes Curto and Pedro Fialho, Natural Language Understanding: From Laboratory Predictions to Real Interactions, 15th International Conference on Text, Speech and Dialogue (TSD), Sep. 2012 , Springer. [bibTeX]

Ludmila Himmelspach and Joao P. Carvalho and Stefan Conrad, On Cluster Validity for Fuzzy Clustering of Incomplete Data, SUM 2012 - Sixth International Conference on Scalable Uncertainty Management, Sep. 2012 , pp. 612-618 , Lecture Notes in Computer Science, vol 7520, Springer. [bibTeX]

Daniel Hasan Dalip and Marcos Gonçalves and Marco Cristo and Pável Calado, On MultiView-Based Meta-learning for Automatic Quality Assessment of Wiki Articles, Proceedings of the International Conference on Theory and Practice of Digital Libraries (TPDL 2012)}, Sep. 2012 , pp. 234--246 . [bibTeX]

Ruben Carlos Gonçalves Martins and Vasco Manquinho and Inês Lynce, On Partitioning for Maximum Satisfiability, European Conference on Artificial Intelligence (ECAI), Sep. 2012 , pp. 913-914 . [DOI Article link] [bibTeX]

João Miranda and João Paulo da Silva Neto and Alan Black, Parallel combination of speech streams for improved ASR, Interspeech 2012, Sep. 2012 , ISCA. [bibTeX]

Mário Pereira Véstias and Horácio C. Neto, Parallel Decimal Multipliers and Squarers using Karatsuba-Ofman’s Algorithm, 15th Euromicro Conference on Digital System Design, Sep. 2012 , pp. 782-788 . [DOI Article link] [bibTeX]

Manas Pathak and José Miguel Ladeira Portelo and Bhiksha Raj and Isabel Trancoso, Privacy-preserving speaker authentication", ISC 2012, Sep. 2012 , pp. 1-22 , Springer-Verlag . [bibTeX]

Helena Moniz and Fernando Batista and Isabel Trancoso and Ana Isabel Mata da Silva, Prosodic context-based analysis of disfluencies, Interspeech 2012, Sep. 2012 , ISCA. [bibTeX]

José Simão and Luís Veiga, QoE-JVM: An Adaptive and Resource-Aware Java Runtime for Cloud Computing, 2nd International Symposium on Secure Virtual Infrastructures (DOA-SVI 2012), OTM Conferences 2012, Sep. 2012 , Springer, LNCS. [bibTeX]

João Trindade and Teresa Maria Sá Ferreira Vazão Vasques and Ricardo Lopes Pereira, Recomendations for the use of Public Communication Networks during Volcanic Events, International Conference on Integrated Approaches for Volcanic Risk Management, Sep. 2012 . [bibTeX]

André Negrão and João Filipe Ferreira da Costa and Paulo Ferreira and Luís Veiga, Semantic and Locality Aware Consistency for Mobile Cooperative Editing, 20th International Conference on COOPERATIVE INFORMATION SYSTEMS (CoopIS 2012), Sep. 2012 , Springer, LNCS. [bibTeX]

Diogo Morgado and Paulo Ferreira, SmartSolarGrid - Deciding what to do with Solar Energy production, IT4Energy Workshop, 6-7 September. 2012, Ordem dos Engenheiros, Lisboa, Portugal., Sep. 2012 . [bibTeX]

André Ribeiro and Alberto Rodrigues da Silva, Survey on Cross-Platforms and Languages for Mobile Apps, QUATIC’2012 Conference, Sep. 2012 , IEEE Computer Society. [bibTeX]

Hugo Rodrigues and Luísa Coheur and Ana Cristina Mendes and Ricardo Ribeiro and David Martins de Matos, Testing lexical approaches in QA4MRE, CLEF 2012, Sep. 2012 , Online Working Notes. [bibTeX]

Gopala Anumanchipalli and Hugo Meinedo and Miguel Bugalho and Isabel Trancoso and Luís C. Oliveira and Alan Black, Text-dependent pathological voice detection, Interspeech 2012, Sep. 2012 , ISCA. [bibTeX]

Tiago Guiomar Ribeiro and Marco Vala and Ana Paiva, Thalamus: Closing the Mind-Body Loop in Interactive Embodied Characters, 12th International Conference on Intelligent Virtual Agents IVA 2012, Sep. 2012 , pp. 189-195 , Springer Berlin Heidelberg. [DOI Article link] [bibTeX]

Luis Javier Rodríguez-Fuentes and Mikel Penagarikano and Amparo Varona and Mireia Diez and Germán Bordel and Alberto Abad and David Martínez and Jesus Villalba and Alfonso Ortega and Eduardo Lleida, The BLZ Submission to the NIST 2011 LRE: Data Collection, System Development and Performance, Interspeech 2012, Sep. 2012 , ISCA. [bibTeX]

Hugo Miguel Aleixo Nicolau and Joaquim Armando Pires Jorge, The Disability Continuum: Investigating Health and Situational Induced Impairments and Disabilities, ACM SIGCHI 2nd Workshop on Mobile Accessibility, Sep. 2012 . [bibTeX]

João Trindade and Teresa Maria Sá Ferreira Vazão Vasques and Joao Duarte Fonseca, The role of telecommunications in volcanic risk mitigation – lessons from the MIAVITA Project, International Conference on Integrated Approaches for Volcanic Risk Management, Sep. 2012 . [bibTeX]

Cátia Machado and Francisco Couto and Fernandes AR and Santos S and Ana T. Freitas, Toward a Translational Medicine Approach for Hypertrophic Cardiomyopathy, 3rd International Conference on Information Technology in Bio- and Medical Informatics, Sep. 2012 , LNCS by Springer Verlag. [bibTeX]

João Pedro Marques Pombinho and David Sardinha Andrade de Aveiro and José Manuel Nunes Salvador Tribolet, TOWARDS VALUE-ORIENTED ENTERPRISE ENGINEERING - RELATIVITY IN SERVICE SYSTEM NETWORKS, The 7th Mediterranean Conference on Information Systems (MCIS 2012), Sep. 2012 . [bibTeX]

Mário Pereira Véstias, Tradeoffs in the Design of a MIMO Receiver Based on the Alamouti Scheme, International Conference on Consumer Electronics, Sep. 2012 . [bibTeX]

Mário Pereira Véstias and Helena Sarmento, Tradeoffs in the Design of Sliding Block Viterbi Decoders for MB-OFDM UWB Systems, International Conference on Consumer Electronics, Sep. 2012 . [bibTeX]

Diego Didona and Paolo Romano and Sebastiano Peluso and Francesco Quaglia, Transactional Auto Scaler: Elastic Scaling of In-Memory Transactional Data Grids, The 9th International Conference on Autonomic Computing (ICAC 2012), Sep. 2012 . [bibTeX]

Fernandes AR and Marques V and Nunes AC and Ana T. Freitas and Gouveia MR and Antunes M and Carreira IM and Gaspar IM and Monteiro C and Santos S, Transcriptomic signature pattern for HCM remodelling , II Florence International Symposium on Advances in Cardiomyopathies, Sep. 2012 . [bibTeX]

Ramon Fernandez Astudillo and Alberto Abad and João Paulo da Silva Neto, Uncertainty driven Compensation of Multi-Stream MLP Acoustic Models for Robust ASR, Interspeech 2012, Sep. 2012 , ISCA. [bibTeX]

Dušan Savic and Alberto Rodrigues da Silva and Siniša Vlajic, Vojislav Stanojevic, Saša Lazarevic, Ilija Antovic, Use Case Specification at Different Levels of Abstraction, QUATIC’2012 Conference, Sep. 2012 , IEEE Computer Society. [bibTeX]

Jorge Baptista, ViPEr: A Lexicon-Grammar of European Portuguese Verbs, Proceedings of the 31st International Conference on Lexis and Grammar, Sep. 2012 , pp. 10-16 . [bibTeX]

Henrique Teles Campos and Joana Carvalho Filipe de Campos and Carlos António Roque Martinho and Ana Paiva, Virtual Agents in Conflict, 12th International Conference on Intelligent Virtual Agents IVA 2012 , Sep. 2012 , pp. 105-111 , Springer. [bibTeX]

Fernando Costa and Luís Veiga and Paulo Ferreira, VMR: Volunteer MapReduce over the Large Scale Internet, 10th International Workshop on Middleware for Grids, Clouds and e-Science (MGC 2012). In conjunction with ACM/IFIP/USENIX 13th International Middleware Conference 2012, Sep. 2012 , ACM. [bibTeX]

João Pedro Vieira Guerreiro and Daniel Jorge Viegas Gonçalves, "Ten Things I Want to Know About You": Unveiling Friends Attribute Relevance, ECCE 2012 - European Conference on Cognitive Ergonomics, Aug. 2012 . [bibTeX]

José Miguel Ranhada Vellez Caldas and Sandra Carvalho and Ana Rute Neves and Susana Vinga, A meta-analysis of the CcpA regulon (poster), ICSB 2012, Aug. 2012 . [bibTeX]

J. M. Lemos, A nonlinear MPC approach to minimize toxicity in HIV-1 infection multi-drug therapy. , 10th Portuguese Conference on Automatic Control, CONTROL 2012, Funchal, Portugal, Aug. 2012 , pp. 315-320 . [bibTeX]

J. M. Lemos and João Pinheiro and Susana Vinga, A nonlinear MPC approach to minimize toxicity in HIV-1 infection multi-drug therapy. , 10th Portuguese Conference on Automatic Control, CONTROL 2012, Funchal, Portugal, Aug. 2012 , pp. 315-320 . [bibTeX]

João Paulo Pinto Trindade and Teresa Maria Sá Ferreira Vazão Vasques, A Performance Evaluation of HRAN: A Hybrid Routing Protocol Using Bloom Filters for Wireless Mobile Ad Hoc Networks, , Aug. 2012 , pp. 139-142 . [DOI Article link] [bibTeX]

Eduardo José Resende Ortigueira and Luís Oliveira and Jorge Manuel dos Santos Ribeiro Fernandes and M. Medeiros Silva, An Ultra Compact Wideband Combined LNA-Oscillator-Mixer for Biomedical Applications, Midwest Symp. Circuits and Systems, Aug. 2012 , pp. 162-165 . [bibTeX]

Helena Moniz and Fernando Batista and Ana Isabel Mata da Silva and Isabel Trancoso, Analysis of disfluencies in a corpus of university lectures, ExLing 2012, Aug. 2012 . [bibTeX]

Angela Costa, Analysis of the google translation of somatisms from English into Italian, Europhras Conference, Aug. 2012 . [bibTeX]

Roberto Palmieri and Francesco Quaglia and Paolo Romano, ASAP: an Aggressive SpeculAtive Protocol for Actively Replicated Transactional Systems, The 11th IEEE International Symposium on Network Computing and Applications (IEEE NCA12), Aug. 2012 . [bibTeX]

Angela Costa, Contrastive analysis of somatisms in English and Italian, Proceedings of the 15th EURALEX International Congress, Aug. 2012 , pp. 1044-1047 , Department of Linguistics and Scandinavian Studies, Universi. [bibTeX]

Luis Jorge Matias de Lemos and Dina Silva and Manuela Guerreiro and Isabel Santana and Alexandre Mendonça and Pedro Tomás and Sara C. Madeira, Discriminating Alzheimer’s disease from mild cognitive impairment using neuropsychological data, ACM SIGKDD Workshop on Health Informatics (HI-KDD 2012), Aug. 2012 . [bibTeX]

J. M. Lemos, Distributed Control of Water Delivery Canals., 10th Portuguese Conference on Automatic Control, CONTROL 2012, Funchal, Portugal., Aug. 2012 . [bibTeX]

Frederico Lopes and Thais Batista and Everton Cavalcante and Thiago Pereira and Flávia C. Delicato and Paulo F. Pires and Paulo Ferreira, Dynamic and Semantic Web Services Composition for Ubiquitous Computing, WebMedia 2012, the 18th Brazilian Symposium on Multimedia and the Web, Aug. 2012 . [bibTeX]

Mário Pereira Véstias and Horácio C. Neto and Helena Sarmento, Efficient Design of Sliding Block Viterbi Decoders in FPGA, 22nd IEEE International Conference on Field Programmable Logic Applications, Aug. 2012 . [bibTeX]

André Veríssimo and Laura Paixão and Joana Oliveira and Ana Rute Neves and Susana Vinga, Estimating and simulating bacterial growth curves using dynamic and statistical models, ICSB 2012, Aug. 2012 . [bibTeX]

Andras Hartmann and J. M. Lemos and Susana Vinga, Estimation of time-varying parameters in dynamic models of HIV-1 infection through nonlinear Bayesian filtering (poster), ICSB 2012, Aug. 2012 . [bibTeX]

Inês Sampaio and J. M. Lemos and Luis Miguel Mendonça Rato and M. Rijo, Fault Tolerant Reconfigurable Control of a Water Delivery Canal – Actuator Faults., 10th Portuguese Conference on Automatic Control, CONTROL 2012, Funchal, Portugal, Aug. 2012 , pp. 359-364 . [bibTeX]

José C. Amante and Manuel J. Fonseca, Fuzzy Color Space Segmentation to Identify the Same Dominant Colors as Users, International Conference on Distributed Multimedia Systems (DMS 2012), Aug. 2012 . [bibTeX]

Bimal Babu Upadhyaya and Sandra Carvalho and Ana Rute Neves and Sara C. Madeira and Susana Vinga, Integration of genomics and transcriptomics: analysis of Streptococcus pneumoniae wild-type and ∆ccpA strains (poster), ICSB 2012, Aug. 2012 . [bibTeX]

José Manuel Prista do Valle Cardoso Igreja and J. M. Lemos and S. J. Costa, Lyapunov stability constrained adaptive NMPC for tubular bioreactors., 10th Portuguese Conference on Automatic Control, CONTROL 2012, Funchal, Portugal, Aug. 2012 , pp. 87-92 . [bibTeX]

Svetislav Momcilovic and Nuno Roma and Leonel Sousa, Multi-level Parallelization of Advanced Video Coding on Hybrid CPU+GPU Platforms, International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar), Aug. 2012 . [bibTeX]

José Manuel Prista do Valle Cardoso Igreja and J. M. Lemos and Filipe Alexandre Maia Cadete and Luis Miguel Mendonça Rato and M. Rijo, Parameter Tuning of a Distributed Model Predictive Controller for Water Delivery Canal Application., 10th Portuguese Conference on Automatic Control, CONTROL 2012, Funchal, Portugal, Aug. 2012 , pp. 371-376 . [bibTeX]

Pedro Miguel Torpes de Amaral and Susana Pinto and Mamede de Carvalho and Pedro Tomás and Sara C. Madeira, Predicting the need for non-invasive ventilation in patients with Amyotrophic Lateral Sclerosis, ACM SIGKDD Workshop on Health Informatics (HI-KDD 2012), Aug. 2012 . [bibTeX]

Sérgio Esteves and João Nuno de Oliveira e Silva and Luís Veiga, Quality-of-Service for Consistency of Data Geo-Replication in Cloud Computing, International European Conference on Parallel and Distributed Computing (Euro-Par 2012), Aug. 2012 , Springer, LNCS. [bibTeX]

Lalith Suresh and Julius Schulz-Zander and Ruben Merz and Anja Feldmann and Teresa Maria Sá Ferreira Vazão Vasques, Towards Programmable Enterprise WLANs with Odin, , Aug. 2012 , pp. 115-120 , ACM. [DOI Article link] [bibTeX]

J. M. Lemos and J. Gomes and Bertinho Manuel D'Andrade da Costa and P. Gambus and E. W. Jensen, A bi-phase algorithm to identify hypnotic models of patients subject to deep sedation for ultrasonographic endoscopy., 16th IFAC Symposium on System Identification, SYSID 2012, Brussels, Belgium. July 11-13, 2012, Jul. 2012 , pp. 775-780 , IFAC. [bibTeX]

Joao P. Carvalho and Fernando Batista and Luísa Coheur, A Critical Survey on the use of Fuzzy Sets in Speech and Natural Language Processing, WCCI2012 - IEEE World Congress on computational Intelligence, Jul. 2012 , pp. 270-277 , IEEE. [bibTeX]

Mário Pereira Véstias and Pedro Pinho, A High-Rate MIMO Receiver in an FPGA, 2012 IEEE International Symposium on Antennas and Propagation and USNC-URSI National Radio Science Meeting, Jul. 2012 . [bibTeX]

Margarida Silva and Tiago Guerreiro and Daniel Jorge Viegas Gonçalves and Hugo Silva, A Web-Based Application to Address Individual Interests of Children with Autism Spectrum Disorders, DSAI: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion, Jul. 2012 , Elsevier. [bibTeX]

Miguel José Simões Barão, An Algorithm for Cooperative Probabilistic Control Design, 20th Mediterranean Conference on Control and Automation, Jul. 2012 , pp. 1161-1164 , IEEE. [DOI Article link] [bibTeX]

Adrian Matoga and Ricardo Chaves and Pedro Tomás and Nuno Roma, An FPGA based Accelerator for Encrypted File Systems, 8th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES), Jul. 2012 , HiPEAC. [bibTeX]

Oksana Denysyuk and Luis Rodrigues, Brief Announcement: Order-preserving Renaming in Synchronous Message Passing Systems with Byzantine Faults, The 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Jul. 2012 . [bibTeX]

João D Ferreira and Catia Pesquita and Francisco M Couto and Mário J. Silva, Bringing epidemiology into the Semantic Web, 3rd International Conference on Biomedical Ontology (ICBO 2012), Jul. 2012 , CEUR Workshop Proceedings - http://ceur-ws.org/Vol-897/. [bibTeX]

Marta D. Santos and Francisco C. Santos and Jorge M. Pacheco, Collective Evolutionary Dynamics and Spatial Reciprocity under the N-Person Snowdrift Game, 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing System, J. Suzuki and T. Nakano (Eds.), Jul. 2012 , pp. 178-188 , Springer. [bibTeX]

António Manuel Rebelo Alves Homem Ferreira and Ricardo Lopes Pereira and Fernando Henrique Corte Real Mira da Silva, Content Redundancy in BitTorrent, 21st International Conference on Computer Communications and Networks (ICCCN 2012), Jul. 2012 . [bibTeX]

Nestor Michael Tiglao and António Manuel Raminhos Cordeiro Grilo, Differentiated Reliability for Wireless Multimedia Sensor Networks, 21st International Conference on Computer Communications and Networks 2012, Jul. 2012 , pp. 1-6 , IEEE. [bibTeX]

Luis Rodrigues and Paolo Romano, Distributed Software Transactional Memories: A Summary of Research @ IST/INESC-ID, The 5th Workshop Large Scale Distributed Systems and Middleware (LADIS 2012), Jul. 2012 . [bibTeX]

Frederico Pratas and Pedro Tomás and Pedro Trancoso and Leonel Sousa, Energy efficient Stream-based Configurable Architecture for embedded platforms, International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, Jul. 2012 . [bibTeX]

Wang Ling and João Graça and Isabel Trancoso and Alan Black, Entropy-based Pruning for Phrase-based Machine Translation, 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning, Jul. 2012 , Association for Computational Linguistics. [bibTeX]

Flávio L. Pinheiro and Francisco C. Santos and Jorge M. Pacheco, Evolutionary Dynamics of Cooperation Under the Distributed Prisoner s Dilemma, 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing System, J. Suzuki and T. Nakano (Eds.), Jul. 2012 , pp. 523-532 , Springer Berlin Heidelberg. [bibTeX]

João A. Moreira and Jorge M. Pacheco and Francisco C. Santos, Evolving the asymmetry of the Prisoner s dilemma game in adaptive social structures , 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing System, J. Suzuki and T. Nakano (Eds.), Jul. 2012 , pp. 205-212 , Springer Berlin Heidelberg. [bibTeX]

J. M. Lemos and José Manuel Prista do Valle Cardoso Igreja and Filipe Alexandre Maia Cadete and Luis Miguel Mendonça Rato and M. Rijo, Experimental application to a water delivery canal of a distributed MPC with stability constraints. , 10th International Conference on Hydroinformatics, HIC 2012, Hamburg, Germany., Jul. 2012 . [bibTeX]

Sebastiano Peluso and Paolo Romano and Francesco Quaglia, Genuine replication, opacity and wait-free read transactions: can a STM get them all?, 4th Workshop on the Theory of Transactional Memory (WTTM 2012), Madeira, Portugal, Jul. 2012 . [bibTeX]

Frans Adriaan Oliehoek and Stefan Witwicki and Leslie Pack Kaelbling, Influence-Based Abstraction for Multiagent Systems, Twenty-Sixth AAAI Conference on Artificial Intelligence, Jul. 2012 , AAAI Press. [DOI Article link] [bibTeX]

P. Rosa and Tiago Alexandre de Almeida Simão and J. M. Lemos and C. Silvestre, Multiple-Model Adaptive Control of an Air Heating Fan using Set-Valued Observers., 20th Mediterranean Conf. on Control and Automation, MED 2012, Catalonia Barcelona Plaza Hotel, Barcelona, Spain, Jul. 2012 , pp. 469-474 . [bibTeX]

Bertinho Manuel D'Andrade da Costa and J. M. Lemos, NEUROMUSCULAR BLOCKADE CONTROL BASED ON SELF-OSCILLATING ADAPTIVE SYSTEMS, 10th Portuguese Conference on Automatic Control, Jul. 2012 . [bibTeX]

David Ferreira and Alberto Rodrigues da Silva, Obtaining Formal Requirements Representations with the RSLingo Approach, 24rd International Conference on Software Engineering and Knowledge Engineering (SEKE-2012), Jul. 2012 . [bibTeX]

Nuno Miguel Lourenço Diegues and João Cachopo, On the design space of Parallel Nesting, 4th Workshop on the Theory of Transactional Memory, Jul. 2012 . [bibTeX]

Andras Hartmann and Susana Vinga and J. M. Lemos, Online Bayesian Time-varying Parameter Estimation of HIV-1 Time-series, 16th IFAC Symposium on System Identification, (SYSID 2012), Jul. 2012 , pp. 1294-99 . [bibTeX]

Parth Gupta and Anabela Marques Barreiro and Paolo Rosso, Paraphrastic Cross-Language Plagiarism Detection with Semantico-Syntactic Unit Mapping, Proceedings of the I Workshop de Procesamiento Automatizado de Textos y Corpora (WoPATeC-2012), Jul. 2012 . [bibTeX]

Bertinho Manuel D'Andrade da Costa and J. M. Lemos, Predictive Adaptive Control of Neuromuscular Relaxation, 20th Mediterranean Conference on Control and Automation, Jul. 2012 . [bibTeX]

Andreas Wichert, Product quantization for vector retrieval with no error, International Conference on Enterprise Information Systems, Jul. 2012 , pp. 87-92 . [bibTeX]

Tiago Alexandre de Almeida Simão and Miguel José Simões Barão and Jorge Salvador Marques, Recursive Bayesian Identification of Nonlinear Autonomous Systems, 20th Mediterranean Conference on Control and Automation, Jul. 2012 , pp. 210-215 , IEEE. [DOI Article link] [bibTeX]

Pedro Miguel Florindo Miguens Matutino and Hector Pettenghi and Ricardo Chaves and Leonel Sousa, RNS Arithmetic units for modulo {2n+-k}, 15th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools - DSD2012, Jul. 2012 , IEEE Computer Society Press. [bibTeX]

Daniela Viegas Caiado and J. M. Lemos and Bertinho Manuel D'Andrade da Costa, ROBUST POLE-PLACEMENT CONTROL OF NEUROMUSCULAR BLOCKADE, 10th Portuguese Conference on Automatic Control, Jul. 2012 . [bibTeX]

Francisco M Couto and João D Ferreira and João Zamite and Carlos Santos and Tiago Posse and Paulo Graça and Dulce Domingos and Mário J. Silva, The Epidemic Marketplace Platform: towards semantic characterization of epidemiological resources using biomedical ontologies, 3rd International Conference on Biomedical Ontology (ICBO 2012), Jul. 2012 , CEUR Workshop Proceedings - http://ceur-ws.org/Vol-897/. [bibTeX]

Kostas Karpouzis and Georgios N. Yannakakis and Ana Paiva and Jeppe Herlev Nielsen and Asimina Vasalou and Arnav Jhala, User Modelling and Adaptive, Natural Interaction for Conflict Resolution, 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012, Jul. 2012 , pp. 692-693 , IEEE. [DOI Article link] [bibTeX]

Shen Li and João Graça and Ben Taskar, Wiki-ly Supervised Part-of-Speech Tagging, 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning, Jul. 2012 . [bibTeX]

Shen Li and João Graça, Wiki-ly Supervised Part-of-Speech Tagging, 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning, Jul. 2012 , Association for Computational Linguistics. [bibTeX]

Ruben Carlos Gonçalves Martins and Vasco Manquinho and Inês Lynce, Clause Sharing in Deterministic Parallel Maximum Satisfiability, RCRA International Workshop on Experimental Evaluation of Algorithms for solving problems with combinatorial explosion, Jun. 2012 . [bibTeX]

Joao Carvalho and Luís Oliveira and Joao Oliveira and Joao Goes and M. Medeiros Silva, A balun Transimpedance Amplifier with adjustable gain for integrated SPO2 optic sensors, 19th IEEE Int. Conf. Mixed Design of Integrated Circuits and Systems (MIXDES’12), Jun. 2012 . [bibTeX]

Joana Carvalho Filipe de Campos and Henrique Teles Campos and Carlos António Roque Martinho and Ana Paiva, A Serious Game to Teach Conflict Resolution to Children, 11th International Conference in Intelligent Tutoring Systems, Jun. 2012 , Springer Berlin / Heidelberg. [bibTeX]

P. Rosa and J. M. Lemos and Filipe Alexandre Maia Cadete and C. Silvestre, A Set-Valued Observer Approach to Multiple-Model Adaptive Control of Neuromuscular Blockade. , American Control Conference, Fairmont Queen Elizabeth, Montréal, Canada, June 27-June 29, 2012, Jun. 2012 , pp. 5598-5603 . [bibTeX]

João Pedro Marques Pombinho and David Sardinha Andrade de Aveiro and José Manuel Nunes Salvador Tribolet, A Value-oriented Approach to Business/IT Alignment – Towards Formalizing Purpose in System Engineering, Workshop on Business/IT-Alignment and Interoperability-BUSITAL 2012 at CAISE 2012, Jun. 2012 , pp. 555-566 , Springer. [bibTeX]

António Manuel Raminhos Cordeiro Grilo and Augusto Casaca and Paulo Rogério Pereira and Levente Buttyan and José Gonçalves and Carlos Fortunato, A Wireless Sensor and Actuator Network for Improving the Electrical Power Grid Dependability, 8th Conference on Next Generation Networks, Jun. 2012 , pp. 71-78 , IEEE Explorer . [DOI Article link] [bibTeX]

Nuno Miguel Antunes Freire and José Borbinha and Pável Calado, An Analysis of the Named Entity Recognition Problem in Digital Library Metadata, Proceedings of the 12th ACM/IEEE-CS Joint Conference on Digital Libraries JCDL 2012, Jun. 2012 . [DOI Article link] [bibTeX]

Xavier Vilaça and Oksana Denysyuk and Luis Rodrigues, Asynchrony and Collusion in the N-party BAR Transfer Problem, The 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2012), Jun. 2012 . [bibTeX]

Luis Pina and João Cachopo, Atomic Dynamic Upgrades Using Software Transactional Memory, Fourth Workshop on Hot Topics in Software Upgrades (HotSWUp 2012), Jun. 2012 . [bibTeX]

Diego Didona and Pierangelo Di Sanzo and Roberto Palmieri and Sebastiano Peluso and Francesco Quaglia and Paolo Romano, Automated Workload Characterization in Cloud-based Transactional Data Grids, 17th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems, Jun. 2012 . [bibTeX]

Anna Thanopoulou and Paulo Jorge Fernandes Carreira and Helena Galhardas, Benchmarking with TPC-H on Off-the-shelf Hardware (poster paper), International Conference on enterprise Information Systems (ICEIS), Jun. 2012 . [bibTeX]

Diogo Duarte and Carla Farinha and Miguel Mira da Silva and Alberto Rodrigues da Silva, Collaborative Requirements Elicitation with Visualization Techniques, 21th IEEE International Conference on Collaboration Technologies and Infrastructures, Jun. 2012 , IEEE Computer Society. [bibTeX]

Rafael Kuffner dos Anjos and João António Madeiras Pereira and João Oliveira, Collision Detection on Point Clouds Using a 2.5+D Image-Based Approach, 20th International Conference on Computer Graphics, Visualization and Computer Vision 2012 (WSCG 2012), Jun. 2012 , pp. 26-27 . [bibTeX]

Carlos Manuel Tadeia Rosão and Ricardo Ribeiro and David Martins de Matos, Comparing Onset Detection Methods Based on Spectral Features, OSDOC 2012: Workshop Open Source and Design of Communication , Jun. 2012 , pp. 71-78 , ACM. [DOI Article link] [bibTeX]

José Manuel Prista do Valle Cardoso Igreja and J. M. Lemos and Filipe Alexandre Maia Cadete and Luis Miguel Mendonça Rato and M. Rijo, Control of a water delivery canal with cooperative distributed MPC., American Control Conference, Fairmont Queen Elizabeth, Montréal, Canada, June 27-June 29, 2012, Jun. 2012 , pp. 3346-3351 . [bibTeX]

Diego Didona and Pascal Felber and Derin Harmanci and Paolo Romano, Elastic Scaling for Transactional Memory: From Centralized to Distributed Architectures (Poster), 4th Usenix Workshop on Hot Topics in Parallelism (HOTPAR 2012), Jun. 2012 . [bibTeX]

Mikolas Janota and Inês Lynce and Joao Marques Silva, Experimental Analysis of Backbone Computation Algorithms, RCRA International Workshop on Experimental Evaluation of Algorithms for solving problems with combinatorial explosion, Jun. 2012 . [bibTeX]

Francisco S. Melo and Matthijs T. J. Spaan and Stefan Witwicki, Exploiting Sparse Interactions for Optimizing Communication in Dec-MDPs, Multi-agent Sequential Decision Making in Uncertain Domains, 2012. Workshop at AAMAS12 , Jun. 2012 . [bibTeX]

Mário Pereira Véstias and Helena Sarmento, FPGA implementation of IEEE 802.15.3c receiver, IEEE International Symposium on Consumer Electronics, Jun. 2012 . [bibTeX]

Slim Kammoun and Christophe Jouffrais and Tiago Guerreiro and Hugo Miguel Aleixo Nicolau and Joaquim Armando Pires Jorge, Guiding Blind People with Haptic Feedback, Pervasive 2012 Workshop on Frontiers ion Accessibility for Pervasive Computing, Jun. 2012 , ACM Press. [bibTeX]

Stefan Witwicki and Frans A. Oliehoek and Leslie Pack Kaelbling, Heuristic search of multiagent influence space, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Jun. 2012 , pp. 973-980 , IFAAMAS. [DOI Article link] [bibTeX]

Antonio Morgado and Federico Heras and Joao Marques Silva, Improvements to Core-Guided Binary Search for MaxSAT, Theory and Applications of Satisfiability Testing (SAT 2012), Jun. 2012 , pp. 284-297 , Springer. [DOI Article link] [bibTeX]

Paula Cristina Vaz and David Martins de Matos and Bruno Martins and Pável Calado, Improving an Hybrid Literary Book Recommendation System through Author Ranking, ACM/IEEE Joint Conference on Digital Libraries - JCDL 2012, Jun. 2012 , ACM. [bibTeX]

Mário Guimarães and António Rito Silva, Improving Early Detection of Software Merge Conflicts, 34th International Conference on Software Engineering (ICSE2012), Jun. 2012 , pp. 342-352 , IEEE. [DOI Article link] [bibTeX]

Han The Anh and Luís M. Pereira and Francisco C. Santos, Intention recognition, commitment and the evolution of cooperation, Proc. IEEE Congress on Evolutionary Computation (CEC) and WCCI 2012 IEEE World Congress on Computational Intelligence, Jun. 2012 , pp. 1-8 . [bibTeX]

Nuno Machado and Paolo Romano and Luis Rodrigues, Lightweight Cooperative Logging for Fault Replication in Concurrent Programs, The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012), Jun. 2012 . [bibTeX]

Tiago Guerreiro and Hugo Miguel Aleixo Nicolau and Daniel Jorge Viegas Gonçalves and Joaquim Armando Pires Jorge, Mobile Text Entry: The Unattainable Ultimate Method, Pervasive 2012 Workshop on Frontiers ion Accessibility for Pervasive Computing, Jun. 2012 . [bibTeX]

Anton Belov and Alexander Ivrii and Arie Matsliah and Joao Marques Silva, On Efficient Computation of Variable MUSes, Theory and Applications of Satisfiability Testing (SAT 2012), Jun. 2012 , pp. 298-311 , Springer. [DOI Article link] [bibTeX]

Lucas Bordeaux and Mikolas Janota and Joao Marques Silva and Pierre Marquis, On Unit-Refutation Complete Formulae with Existentially Quantified Variables, Principles of Knowledge Representation and Reasoning (KR 2012), Jun. 2012 , AAAI. [bibTeX]

Carlos Páscoa and David Sardinha Andrade de Aveiro and José Manuel Nunes Salvador Tribolet, Organizational Configuration Actor Role Modeling Using DEMO, Practice-driven Research on Enterprise Transformation, PRET4@CAiSE 2012, Jun. 2012 , pp. 18-47 . [DOI Article link] [bibTeX]

Stefan Witwicki and Inn-Tung Chen and Edmund H. Durfee and Satinder P. Singh, Planning and evaluating multiagent influences under reward uncertainty, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Jun. 2012 , pp. 1277-1278 , IFAAMAS. [DOI Article link] [bibTeX]

Matteo Cesana and Alessandro Redondi and Nestor Michael Tiglao and António Manuel Raminhos Cordeiro Grilo and José M. Barceló Ordinas and M. Alaei and Petia Todorova, Real-time multimedia monitoring in large-scale wireless multimedia sensor networks: Research Challenges, 8th EURO-NGI Conference on Next Generation Internet (NGI 2012), Jun. 2012 , pp. 79-86 , IEEE. [bibTeX]

Elena Márquez Segura and Henriette Cramer and Paulo Gomes and Stina Nylander and Ana Paiva, Revive! Reactions to Migration between Different Embodiments when Playing with Robotic Pets, 11th International Conference on Interaction Design and Children, Jun. 2012 . [bibTeX]

Mikolas Janota and William Klieber and Joao Marques Silva and Edmund M. Clarke, Solving QBF with Counterexample Guided Refinement, Theory and Applications of Satisfiability Testing (SAT 2012), Jun. 2012 , pp. 114-128 , Springer. [DOI Article link] [bibTeX]

S. Grebenshchikov and Nuno Claudino Pereira Lopes and C. Popeea and A. Rybalchenko, Synthesizing Software Verifiers from Proof Rules, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Jun. 2012 . [bibTeX]

Han The Anh and Luís M. Pereira and Francisco C. Santos, The emergence of commitments and cooperation, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), Conitzer, Winikoff, Padgham, and van der Hoek (eds.), Jun. 2012 , IFAAMAS. [bibTeX]

Jorge Filipe Leal Costa Semião and J. Pachito and C. Martins and Marcelino Bicho dos Santos and Isabel Maria Silva Nobre Parreira Cacho Teixeira and João Paulo Cacho Teixeira, The Influence of Clock-Gating On NBTI-Induced Delay Degradation, 18th IEEE International On-Line Testing Symposium – IOLTS’12, Jun. 2012 , pp. 27-29 . [bibTeX]

Rui Prada and Guilherme Coelho Barreira Raimundo and Márcia Lourenço Baptista and Joana Dimas Couto Silva and Pedro Alexandre Caria Santos and Carlos António Roque Martinho and Jorge Peña and Luís Landeiro Ribeiro, The Role of Social Identity, Rationality and Anticipation in Believable Agents, 11th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2012, Jun. 2012 , pp. 1175-1176 , International Foundation for Autonomous Agents and Multiagen. [bibTeX]

Sebastiano Peluso and Pedro Ruivo and Paolo Romano and Francesco Quaglia and Luis Rodrigues, When Scalability Meets Consistency: Genuine Multiversion Update-Serializable Partial Data Replication, The 32nd International Conference on Distributed Computing Systems (ICDCS-32), Jun. 2012 . [bibTeX]

Miguel Martins and Miguel Santos and Jorge Manuel dos Santos Ribeiro Fernandes and Moises Simões Piedade, A Digital-to-Analog Converter for a Cortical Microelectrode Stimulator, IEEE Int. Symp. on Circuits and Systems (ISCAS), May. 2012 . [bibTeX]

Nuno Miguel Antunes Freire and José Borbinha and Pável Calado, An Approach for Named Entity Recognition in Poorly Structured Data, 9th Extended Semantic Web Conference (ESWC2012), May. 2012 , pp. 718--724 . [bibTeX]

Federico Heras and Antonio Morgado and Joao Marques Silva, An Empirical Study of Encodings for Group MaxSAT, Canadian Conference on Artificial Intelligence (AAI 2012), May. 2012 , pp. 85-96 , Springer. [DOI Article link] [bibTeX]

Angela Costa and Tiago Luís and Joana Ribeiro and Ana Cristina Mendes and Luísa Coheur, An English-Portuguese parallel corpus of questions: translation guidelines and application in SMT, Proceedings of the Eight International Conference on Language Resources and Evaluation (LREC12), May. 2012 , European Language Resources Association (ELRA). [bibTeX]

David Alexandre Flores Correia and Marcelo Dal Alba and Miguel Martins and Taimur Kuntz and Cesar Rodrigues and Jorge Manuel dos Santos Ribeiro Fernandes, An IR-UWB Transmitter with Digital Pulse Duration Control, IEEE International Symposium on Circuits and Systems (ISCAS), May. 2012 . [bibTeX]

Gabriel José Faustino Fonseca Barata and Hugo Nicolau and Daniel Jorge Viegas Gonçalves, Appinsight: What have I been doing?, AVI 2012 - International Working Conference in Advanced Visual Interfaces, May. 2012 . [bibTeX]

Ivan Bastos and Luís Oliveira and João Pedro Oliveira and João Goes and M. Medeiros Silva, Balun LNA with Continuously Controlable Gain and with Noise and Distprtion Cancellation, IEEE Int. Symp. Circuits and Systems (ISCAS ´12), May. 2012 , IEEE. [bibTeX]

Gracinda Carvalho and David Martins de Matos and Vítor Rocio, Building and Exploring Semantic Equivalences Resources, Language Resources and Evaluation Conference - LREC 2012, May. 2012 , European Language Resources Association (ELRA). [bibTeX]

Joana Coelho and João Carriço and Daniel Knight and Ian Morrissey and Marco Oggioni and Ana T. Freitas, Computational approaches for antimicrobials resistance analysis., WARM2012 Workshop on Mathematical modelling of antibiotic resistance., May. 2012 . [bibTeX]

João Silva and Luísa Coheur and Angela Costa and Isabel Trancoso, Dealing with unknown words in statistical machine translation, Proceedings of the Eight International Conference on Language Resources and Evaluation (LREC12), May. 2012 , European Language Resources Association (ELRA). [bibTeX]

João Pedro Marques Pombinho and David Aveiro and José Manuel Nunes Salvador Tribolet, Defining Purpose, Value and Function in Enterprise Engineering, Enterprise Engineering Working Conference, EEWC 2012, May. 2012 , pp. 93-107 , Springer. [DOI Article link] [bibTeX]

Luís Rosado and Pedro Ramos and Fernando Janeiro and Moises Simões Piedade, Eddy Currents Testing Defect Characterization based on Non-Linear Regressions and Artificial Neural Networks, IEEE I2MTC - International Instrumentation and Measurement Technology Conference, May. 2012 . [bibTeX]

Paolo Romano, Elastic, scalable and self-tuning data replication in the Cloud-TM platform, Proceedings of 1st European Workshop on Dependable Cloud Computing (EWDCC 2012), May. 2012 . [bibTeX]

Sergio Guerreiro and André Ferreira Ferrão Couto e Vasconcelos and José Manuel Nunes Salvador Tribolet, Enterprise dynamic systems control enforcement of run-time business transactions, Enterprise Engineering Working Conference, EEWC 2012, May. 2012 , pp. 46-60 , Springer. [DOI Article link] [bibTeX]

Pedro Fialho and Sérgio dos Santos Lopes Curto and Ana Cristina Mendes and Luísa Coheur, Extending a wordnet framework for simplicity and scalability, Proceedings of the Eight International Conference on Language Resources and Evaluation (LREC12), May. 2012 , European Language Resources Association (ELRA). [bibTeX]

Edinei Santin and Luís Oliveira and Joao Goes, Fast and Accurate Estimation of Gain and Sample Time Mismatches in Time Interleaved ADCs using on-Chip Oscillators, IEEE Int. Symp. Circuits and Systems (ISCAS’12), May. 2012 . [bibTeX]

David Clarke and Aleksandar Ilic and Alexey Lastovetsky and Leonel Sousa, Hierarchical Partitioning Algorithm for Scientific Computing on Highly Heterogeneous CPU + GPU Clusters, Euro-Par, May. 2012 . [bibTeX]

Ricardo Jorge Jota Costa and Pedro Lopes and Joaquim Armando Pires Jorge, I, the Device: Observing Human Aversion from an HCI Perspective, ACM SICGHI 2012, May. 2012 , pp. 261-270 , ACM Press. [DOI Article link] [bibTeX]

Nelson Marques and Ricardo Dias and Manuel J. Fonseca, Improving Blog Exploration through Interactive Visualization, AVI 2012 - International Working Conference in Advanced Visual Interfaces , May. 2012 , ACM. [bibTeX]

António Rito Silva and Michael Rosemann, Integrating Organisational Design with IT Design: The Queensland Health Payroll Case, 7th International Conference on Design Science Research in Information Systems and Technology (DESRIST 2012), May. 2012 , pp. 271-286 , Springer. [DOI Article link] [bibTeX]

Ramon Fernandez Astudillo and Alberto Abad and João Paulo da Silva Neto, Integration of Beamforming and Automatic Speech Recognition Through Propagation of the Wiener Posterior, ICASSP, May. 2012 , pp. 4909--4912 . [bibTeX]

Filipe Arroyo Cardoso and Tiago Costa and Susana Cardoso and Jérôme Borme and João Gaspar and Jorge Manuel dos Santos Ribeiro Fernandes and Moises Simões Piedade and Paulo Freitas, Integration of Magnetoresistive Biochips on a CMOS circuit, IEEE Int. Magnetics Conference (INTERMAG 2012), May. 2012 . [bibTeX]

Ricardo Dias and Manuel J. Fonseca and Daniel Jorge Viegas Gonçalves, Interactive Exploration of Music Listening Histories., AVI 2012 - International Working Conference in Advanced Visual Interfaces, May. 2012 . [bibTeX]

R. M. Nickel and Ramon Fernandez Astudillo and D. Kolossa and S. Zeiler and R. Martin, Inventory-Style Speech Enhancement with Uncertainty-of-Observation Techniques, ICASSP, May. 2012 , pp. 4645--4648 . [bibTeX]

S. Abdollahvand and Joao Goes and Luís Oliveira and Luis Gomes and Nuno Paulino, Low Phase Noise Temperature Compensated Self-Biased Ring Oscillator, IEEE Int. Symp. Circuits and Systems (ISCAS’12), May. 2012 . [bibTeX]

Joao Casaleiro and Luís Oliveira and Igor Filanovsky, Low-Power and Low-Area CMOS Quadrature Oscillator with Capacitive Coupling, IEEE Int. Symp. Circuits and Systems (ISCAS’12), May. 2012 . [bibTeX]

João Teixeira and Gabriel José Faustino Fonseca Barata and Daniel Jorge Viegas Gonçalves, Metabrain: Visualizing the Implicit Web, AVI 2012 - International Working Conference in Advanced Visual Interfaces, May. 2012 . [bibTeX]

Bruno Rodrigues de Araújo and Joaquim Armando Pires Jorge and Géry Casiez, Mockup Builder: 3D Modeling On and Above the Surface in a Continuous Interaction Space, Graphics Interface, May. 2012 , Canadian Information Processing Society . [bibTeX]

Bruno Rodrigues de Araújo and Joaquim Armando Pires Jorge and Géry Casiez and Martin Hachet, Modeling on and Above a Stereoscopic Multitouch Display, ACM 3DCHI Workshop, May. 2012 , ACM Press. [bibTeX]

Pedro Louro and João Coelho Garcia and Paolo Romano, MultiPathPrivacy: Enhanced Privacy in Fault Replication, Ninth European Dependable Computing Conference (EDCC 2012), May. 2012 . [bibTeX]

Huan Chen and Joao Marques Silva, New & improved models for SAT-based bi-decomposition, Great Lakes Symposium on VLSI (GLS VLSI 2012), May. 2012 , ACM. [DOI Article link] [bibTeX]

Miguel Correia and Daniel G. Ferro and Flavio Junqueira and Marco Serafini, Practical Hardening of Crash-Tolerant Systems, USENIX Annual Technical Conference (ATC), May. 2012 . [bibTeX]

Taimur Kuntz and Renan Pinheiro and Jorge Manuel dos Santos Ribeiro Fernandes and Cesar Rodrigues, PyCO: A Parallel Genetic Algorithm Optimization Tool for Analog Circuits, IEEE International Symposium on Circuits and Systems (ISCAS), May. 2012 . [bibTeX]

P. P. Freitas and F. Cardoso and S. Cardoso and J. Amaral and D. Leitão and T. Dias and V. Romao and R. Ferreira and J. Gaspar and M. Debbs and M. Costa and A. Sebastiao and José Germano and Moises Simões Piedade and Tiago Costa, Recent advances in spintronic microsystems for biomedical applications. (Invited), International Magnetics Conference (INTERMAG 2012), May. 2012 . [bibTeX]

Luis Marujo and Anatole Gershman and Jaime Carbonell and Robert Frederking and João Paulo da Silva Neto, Supervised Topical Key Phrase Extraction of News Stories using Crowdsourcing, Light Filtering and Co-reference Normalization, 8th International Conference on Language Resources and Evaluation (LREC 2012), May. 2012 , ELRA. [bibTeX]

Hugo Miguel Aleixo Nicolau and Joaquim Armando Pires Jorge, Touch Typing using Thumbs: Understanding the Effect of Mobility and Hand Posture, ACM SICGHI 2012, May. 2012 , pp. 2683-2686 , ACM Press. [DOI Article link] [bibTeX]

Vasco Miguel Moreira do Amaral and Bruno Barroca and Paulo Jorge Fernandes Carreira, Towards a robust solution in building automation systems: Supporting rapid prototyping and analysis, In Proceedings of QUATIC’12, IEEE, volume Thematic track on Quality in Model Driven Engineering, May. 2012 , Springer. [bibTeX]

Pedro B Pascoal and Alfredo Ferreira and Joaquim Armando Pires Jorge, Towards an Immersive Interface for 3D Object Retrieval, 3DOR: 3D Object Retrieval, May. 2012 , pp. 51-54 , Eurographics. [DOI Article link] [bibTeX]

Nuno Miguel Silvestre Apolónia and Paulo Ferreira and Luís Veiga, Trans-Social Networks for Distributed Processing, IFIP International Networking Conference 2012 (Lecture Notes in Computer Science), May. 2012 , Springer. [bibTeX]

João Pedro Vieira Guerreiro and Daniel Jorge Viegas Gonçalves, Visualiz em: "Show me more about him!", AVI 2012 - International Working Conference in Advanced Visual Interfaces, May. 2012 . [bibTeX]

José Simão and Luís Veiga, VM Economics for Java Cloud Computing - An Adaptive and Resource-Aware Java Runtime with Quality-of-Execution, The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2012) — Doctoral Symposium: Cloud Scheduling, Clusters and Data Centers, May. 2012 , IEEE. [bibTeX]

João Soares and André Ferreira Ferrão Couto e Vasconcelos and José Manuel Nunes Salvador Tribolet, A Bottom-up Approach for the Representation and Continuous Update of Technology Architectures, 3rd International Conference on Information Management and Evaluation, ICIME 2012, Apr. 2012 . [bibTeX]

Rui Correia and Jorge Baptista and Maxine Eskenazi and Nuno J. Mamede and Maxine Eskenazi, Automatic Generation of Cloze Question Stems, International Conference on Computational Processing of Portuguese (Propor 2012), Apr. 2012 , pp. 168–178 , Springer-Verlag. [bibTeX]

Jorge Baptista and Lucas Vieira and Cláudio Diniz and Nuno J. Mamede, Coordination of "-mente" ending adverbs in Portuguese: an integrated solution, International Conference on Computational Processing of Portuguese (Propor 2012), Apr. 2012 , pp. 24–34 , Springer-Verlag. [bibTeX]

Pedro Fialho and Sérgio dos Santos Lopes Curto and Luísa Coheur and Ricardo Ribeiro, E-TUTOR: a tutoring agent, International Conference on Computational Processing of the Portuguese Language (Propor) , Apr. 2012 . [bibTeX]

Ricardo Jorge da Graça Filipe and João Barreto, Highly parallel programming with Transactional Memory, ‎Euro-TM Workshop on Transactional Memory (WTM 2012)‎, in conjunction with EuroSys 2012, Apr. 2012 . [bibTeX]

José Lopes and Maxine Eskenazi and Isabel Trancoso, Incorporating ASR information in Spoken Dialog System confidence score, PROPOR 2012, Apr. 2012 , Springer. [bibTeX]

Angela Costa, Learning Collocations in Portuguese as L2, 20th International Symposium on Theoretical & Applied Linguistics, Apr. 2012 . [bibTeX]

Thomas Pellegrini and Wang Ling and André Freire Silva and Isabel Trancoso and Rui Correia and Jorge Baptista and Nuno J. Mamede, Overview of computer-assisted language learning for European Portuguese at L2F, Computer Supported Education, Apr. 2012 . [bibTeX]

Filipe Cristóvão and Sara C. Madeira, Parallel e-CCC-Biclustering: Mining Approximate Temporal Patterns in Gene Expression Time Series Using Parallel Biclustering, 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012), Apr. 2012 , pp. 21-31 , Springer-Verlag. [DOI Article link] [bibTeX]

André Carreiro and Artur J. Ferreira and Mário A. T. Figueiredo and Sara C. Madeira, Prognostic Prediction Using Clinical Expression Time Series: Towards a Supervised Learning Approach Based on Meta-biclusters, 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012), Apr. 2012 , pp. 11-20 , Springer-Verlag. [DOI Article link] [bibTeX]

Ivo Gonçalves and Sara Silva and Joana B. Melo and João M.B. Carreiras, Random Sampling Technique for Overfitting Control in Genetic Programming, 15th European Conference on Genetic Programming, Apr. 2012 , pp. 218-229 , Springer. [bibTeX]

André Freire Silva and Cristiano José Lopes Marques and Jorge Baptista and Alfredo Ferreira and Nuno J. Mamede, REAP.PT SYSTEM: Serious Games for Learning Portuguese, International Conference on Computational Processing of Portuguese (Propor 2012), Apr. 2012 , pp. 248–259 , Springer-Verlag. [bibTeX]

Gracinda Carvalho and Isabel Falé and David Martins de Matos and Vítor Rocio, Searching a Mixed Corpus in the Light of the New Portuguese Orthographic Norm, Computational Processing of the Portuguese Language - PROPOR 2012, Apr. 2012 , pp. 56--62 , Springer. [DOI Article link] [bibTeX]

João M. P. Cardoso and João Teixeira and José C. Alves and Ricardo Nobre and Pedro Diniz and José Gabriel de F. Coutinho and Wayne Luk, Specifying Compiler Strategies for FPGA-based Systems, IEEE Intl. Symp. on FPGAs for Custom Computing Machines (FCCM), Apr. 2012 , IEEE Computer Society Press. [bibTeX]

Nuno J. Mamede and Jorge Baptista and Cláudio Diniz and Vera Cabarrão, STRING: An Hybrid Statistical and Rule-Based Natural Language Processing Chain for Portuguese, PROPOR 2012 - 10th International Conference on Computational Processing of Portuguese, Apr. 2012 . [bibTeX]

Ricardo Ribeiro and David Martins de Matos, Summarizing Speech by Contextual Reinforcement of Important Passages, Computational Processing of the Portuguese Language - PROPOR 2012, Apr. 2012 , pp. 392-402 , Springer. [DOI Article link] [bibTeX]

Flávio L. Pinheiro and Francisco C. Santos and Jorge M. Pacheco, Tracking the evolution of cooperation in complex networked populations, Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, M. Giacobini, L. Vanneschi and W. S. Bush (Eds), Proceedings of Evo* 2012 and EvoBIO 2012, Apr. 2012 , pp. 86-96 , Springer. [bibTeX]

Alberto Abad and Hugo Meinedo and Isabel Trancoso and João Paulo da Silva Neto, Transcription of Multi-Variety Portuguese Media Contents, Propor 2012, Apr. 2012 . [bibTeX]

Annamaria Pompili and Alberto Abad, VITHEA: On-line therapy for aphasic patients exploiting automatic speech recognition, Propor 2012 - Special demo session, Apr. 2012 . [bibTeX]

Pedro B Pascoal and Alfredo Ferreira and Joaquim Armando Pires Jorge, Im-O-Ret: Immersive object retrieval, IEEE VR, Mar. 2012 , pp. 121-122 , IEEE CS Press. [DOI Article link] [bibTeX]

José Miguel Ladeira Portelo and Bhiksha Raj and Isabel Trancoso, Attacking a Privacy Preserving Music Matching Algorithm, ICASSP 2012, Mar. 2012 , IEEE. [bibTeX]

Tânia Curiao and J. Mourao and Jose Luis Martinez and Fernando Baquero and Joana Coelho and Ana T. Freitas and Daniel Knight and Ian Morrissey and R. Cantón and Teresa Coque and BIOHYPO Consortium, Biocide susceptibility among clinical Enterobacteriaceae isolates, 22nd European Congress of Clinical Microbiology and Infectious Diseases, Mar. 2012 . [bibTeX]

Mário J. Silva and Paula Carvalho and Luís Sarmento, Bulding a Sentiment Lexicon for Social Judgement Mining, PROPOR 2012 - International Conference on Computational Processing of the Portuguese Language, Mar. 2012 , pp. 218-228 , Springer-Verlag Berlin Heidelberg. [bibTeX]

Martijn Kuipers and Susana Sargento and J.F. Monserat and J. Cabrejas and P. Chaparro and Mário Serafim Nunes, Co-Simulation of ns-2 and SPHERE for Media Independent Handovers, 5th International ICST Conference on Simulation Tools and Techniques (SimuTools2012), Mar. 2012 . [bibTeX]

Levent Aksoy and Eduardo Costa and Paulo Flores and J. Monteiro, Design of Low-Complexity Digital Finite Impulse Response Filters on FPGAs, Design Automation and Test in Europe (DATE), Mar. 2012 , pp. 1197-1202 . [bibTeX]

Alberto Sardinha and Nan Niu and Yijun Yu and Awais Rashid, EA-Tracer: Identifying Traceability Links between Code Aspects and Early Aspects, ACM Symposium On Applied Computing, Mar. 2012 , ACM. [bibTeX]

Thomas Pellegrini and Helena Moniz and Fernando Batista and Isabel Trancoso and Ramon Fernandez Astudillo, Extension of the LECTRA corpus: classroom LECture TRAnscriptions in European Portuguese, SPEECH AND CORPORA, Mar. 2012 . [bibTeX]

S. Grebenshchikov and A. Gupta and Nuno Claudino Pereira Lopes and C. Popeea and A. Rybalchenko, HSF(C): A Software Verifier based on Horn Clauses, 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar. 2012 . [bibTeX]

António de Vasconcelos Nascimento Burnay da Fonseca and André Camões and Teresa Maria Sá Ferreira Vazão Vasques, Implementation of position-based routing module on NS3, Workshop on Network Simulator ns-3 - WSN3, Mar. 2012 . [bibTeX]

João M. P. Cardoso and Tiago Carvalho and José Gabriel de F. Coutinho and Wayne Luk and Ricardo Nobre and Pedro Diniz and Zlatko Petrov, LARA: An Aspect-Oriented Programming Language for Embedded Systems, International Conference on Aspect-Oriented Software Development (AOSD’12), Mar. 2012 , pp. 179-190 . [bibTeX]

Mário Luís de Jesus Rodrigues Guimarães and António Rito Silva, Making Software Integration Really Continuous, 5th International Conference on Fundamental Approaches to Software Engineering (FASE2012), Mar. 2012 , pp. 332-346 , Springer. [DOI Article link] [bibTeX]

Iolanda Margarete dos Santos Carvalho Leite and Ginevra Castellano and André Tiago Abelho Pereira and Carlos António Roque Martinho and Ana Paiva, Modelling Empathic Behaviour in a Robotic Game Companion for Children: an Ethnographic Study in Real-World Settings, ACM/IEEE International Conference on Human-Robot Interaction, Mar. 2012 , ACM. [bibTeX]

Huan Chen and Mikolas Janota and Joao Marques Silva, QBF-based boolean function bi-decomposition, Design, Automation & Test in Europe Conference & Exhibition (DATE 2012), Mar. 2012 , pp. 816-819 , IEEE. [bibTeX]

André Nunes and Pável Calado and Bruno Martins, Resolving User Identities over Social Networks through Supervised Learning and Rich Similarity Features, Proceedings of the ACM 27th Symposium On Applied Computing (SAC), Mar. 2012 . [bibTeX]

L. Furi and M.L. Ciusa and Daniel Knight and V. Di Lorenzo and F. Decorosi and Joana Coelho and Ana T. Freitas and Carlo Viti and G. Orefici and Ian Morrissey and Marco R. Oggioni and BIOHYPO consortium, Role of resident and acquired multi-drug efflux pumps in reduced susceptibility to cationic biocides in Staphylococcus aureus, 22nd European Congress of Clinical Microbiology and Infectious Diseases, Mar. 2012 . [bibTeX]

Aleksandar Ilic and Leonel Sousa, Simultaneous Multi-Level Divisible Load Balancing for Heterogeneous Desktop Systems, ISPA 2012 International Workshop on Heterogeneus Architectures and Computing, Mar. 2012 . [bibTeX]

M.L. Ciusa and L. Furi and Daniel Knight and F. Decorosi and C. Raggi and Joana Coelho and Ana T. Freitas and L. Baldassarri and Carlo Viti and G. Orefici and Ian Morrissey and Marco R. Oggioni and BIOHYPO Consortium, Staphylococcus aureus mutants and clinical isolates with reduced susceptibility to the biocide triclosan differ in phenotype and genotype, 22nd European Congress of Clinical Microbiology and Infectious Diseases, Mar. 2012 . [bibTeX]

Tiago Guiomar Ribeiro and Ana Paiva, The Illusion of Robotic Life: Principles and Practices of Animation for Robots, seventh annual ACM/IEEE international conference on Human-Robot Interaction, Mar. 2012 , pp. 383--390 , ACM. [DOI Article link] [bibTeX]

David Soares Batista and João Ferreira and Francisco Couto and Mário J. Silva, Toponym Disambiguation using Ontology-based Semantic Similarity, PROPOR 2012 - International Conference on Computational Processing of the Portuguese Language, Mar. 2012 , Springer-Verlag Berlin Heidelberg . [bibTeX]

Luís M. S. Russo and Ana T. Freitas and Arlindo L. Oliveira, Transparent Hidden Markov Models, Learning Workshop, Mar. 2012 . [bibTeX]

Carlos Mendes and Miguel Mira da Silva, DEMO-based Service Level Agreements, 3rd International Conference on Exploring Service Science, Geneva, Switzerland, Feb. 2012 . [bibTeX]

Hector Pettenghi and Leonel Sousa and Jude Ambrose, Efficient Implementation of Multi-Moduli Architectures for Binary-to RNS Conversion, The 17th Asia and South Pacific Design Automation Conference (ASP-DAC), Feb. 2012 . [bibTeX]

Victor Carocha and Nuno Mendes and Andreia J Amaral and Jorge Oliveira and Clara Graça and Joana Pinto and Lucinda Neves and Clara Araújo and Jacqueline Grima-Pettenati and Ana T. Freitas and Jorge Paiva, Identification and expression of novel of miRNA in E. globulus xylem tissues , "Autour des ARNs non codant" - Rencontre bioinformatique 2012", Feb. 2012 . [bibTeX]

Andras Hartmann and Susana Vinga and J. M. Lemos, Identification of HIV-1 Dynamics - Estimating the Noise Model, Constant and Time-varying Parameters of Long-term Clinical Data, BIOINFORMATICS 2012, Feb. 2012 , pp. 286-289 . [bibTeX]

Hrjove Benko and Ricardo Jorge Jota Costa and Andy Wilson, MirageTable: Freehand Interaction on a Projected Augmented Reality Tabletop, ACM CHI 2012, Feb. 2012 , ACM. [bibTeX]

Rafael Costa and Daniel Machado and A. R. Neves and Susana Vinga, Multi-level Dynamic Modeling in Biological Systems - Application of Hybrid Petri Nets to Network Simulation, BIOINFORMATICS 2012, Feb. 2012 , pp. 317-321 . [bibTeX]

Ricardo Dias and Manuel J. Fonseca and Daniel Jorge Viegas Gonçalves, Music listening history explorer: an alternative approach for browsing music listening history habits, 2012 ACM international conference on Intelligent User Interfaces, IUI ’12, Feb. 2012 , pp. 261-264 , ACM. [bibTeX]

Aleksandar Ilic and Leonel Sousa, On Realistic Divisible Load Scheduling in Highly Heterogeneous Distributed Systems, PDP 2012, Special Session on GPU Computing and Hybrid Computing, Feb. 2012 . [bibTeX]

Nuno Miguel Lourenço Diegues and Sérgio Miguel Fernandes and João Cachopo, Parallel nesting in a lock-free multi-version Software Transactional Memory, 7th ACM SIGPLAN Workshop on Transactional Computing, Feb. 2012 . [bibTeX]

João Aires and Daniel Jorge Viegas Gonçalves, Personal Information Dashboard - Me, At a Glance, PIM2012 – Personal Information Management Workshop, at CSCW2012, Feb. 2012 . [bibTeX]

João Pedro Vieira Guerreiro and Juliana Gomes and Daniel Jorge Viegas Gonçalves, PersonalWeb: an extensible framework to recommend web and personal information, 2nd Workshop on Context-awareness in Retrieval and Recommendation (CaRR12), Feb. 2012 , ACM. [bibTeX]

A. P. Francisco and Pedro Reis and Dário Abdulrehman and Mauro D. Santos and Cátia Vaz and Ana T. Freitas, sdlink: an integrated system for linking biological and biomedical semantic data, ISCB Conference on Semantics in Healthcare & Life Sciences (CSHALS 2012), Feb. 2012 . [bibTeX]

A. P. Francisco, sdlink: an integrated system for linking biological and biomedical semantic data, ISCB Conference on Semantics in Healthcare & Life Sciences (CSHALS 2012), Feb. 2012 . [bibTeX]

João Pedro Marques Pombinho and José Manuel Nunes Salvador Tribolet, Service System Design and Engineering – A value-oriented approach based on DEMO, Third International Conference on Exploring Service Science, IESS 2.1, Feb. 2012 . [bibTeX]

João Pedro Marques Pombinho and José Manuel Nunes Salvador Tribolet, Towards Modeling the Value of a System’s Production – Matching DEMO and e3Value, VMBO 2012 : 6th International Workshop on Value Modeling and Business Ontology, Feb. 2012 . [bibTeX]

Fernando Carvalho and João Cachopo, Adaptive object metadata to reduce the overheads of a multi-versioning STM, Fifth Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-2012), Jan. 2012 . [bibTeX]

Ruben Carlos Gonçalves Martins and Vasco Manquinho and Inês Lynce, Clause Sharing in Parallel MaxSAT, Learning and Intelligent OptimizatioN Conference (LION), Jan. 2012 , pp. 455-460 , Springer. [bibTeX]

Lucas Bordeaux and Joao Marques Silva, Knowledge Compilation with Empowerment, Current Trends in Theory and Practice of Computer Science (SOFSEM 2012), Jan. 2012 , pp. 612-624 , Springer. [DOI Article link] [bibTeX]

Federico Heras and Antonio Morgado and Joao Marques Silva, Lower Bounds and Upper Bounds for MaxSAT, Learning and Intelligent Optimization (LION 2012), Jan. 2012 , pp. 402-407 , Springer. [DOI Article link] [bibTeX]

Iolanda Margarete dos Santos Carvalho Leite and André Tiago Abelho Pereira and Ginevra Castellano and Samuel Francisco Mascarenhas and Carlos António Roque Martinho and Ana Paiva, Modelling Empathy in Social Robotic Companions, Advances in User Modeling: UMAP 2011 Workshops, Jan. 2012 , pp. 135-147 , Springer. [bibTeX]

Dzmitry Aliakseyeu and Jon Mason and Bernt Meerbeek and Harm van Essen and Serge Offermans and Valentina Sanesi and Andrea Alessandrini and Paulo Jorge Fernandes Carreira and Chad Eby, Results of the ‘User Interaction Techniques for Future Lighting Systems’ Workshop at INTERACT 2011, Constructing Ambient Intelligence, Jan. 2012 , pp. 29–34 , Springer. [bibTeX]

Paolo Romano and Matteo Leonetti, Self-tuning Batching in Total Order Broadcast Protocols via Analytical Modelling and Reinforcement Learning, IEEE International Conference on Computing, Networking and Communications, Network Algorithm & Performance Evaluation Symposium (ICNC), Jan. 2012 . [bibTeX]

Joana P. Gonçalves and Sara C. Madeira, Time-coherent triclustering: mining local transcriptional patterns in multiple expression time series [Abstract and poster, Best poster award & Oral presentation], Tenth Asia-Pacific Bioinformatics Conference (APBC 2012), Jan. 2012 . [bibTeX]

Artur Caetano and Aurélio Assis and José Manuel Nunes Salvador Tribolet, Using Business Transactions to Analyse the Consistency of Business Process Models, Forty Fifth Hawaii International Conference on System Sciences (HICSS-45), Jan. 2012 . [bibTeX]

National Conferences

Adrian Matoga and Ricardo Chaves and Pedro Tomás and Nuno Roma, Accelerating user-space applications with FPGA cores: profiling and evaluation of the PCIe interface, IX Jornadas sobre Sistemas Reconfiguráveis - REC2013, Feb. 2013 , pp. 33-40 , University of Coimbra. [bibTeX]

Sérgio Micael Ferreira Paiágua and Adrian Matoga and Ricardo Chaves and Pedro Tomás and Nuno Roma, Evaluation and integration of a DCT core with a PCI Express Interface using an Avalon interconnection, IX Jornadas sobre Sistemas Reconfiguráveis - REC2013, Feb. 2013 , pp. 93-99 , University of Coimbra. [bibTeX]

Wilson Matez José and Ana Rita de Sousa Ramalho da Silva and Horácio C. Neto and Mário Pereira Véstias, Projecto de uma Arquitectura Massivamente Paralela para a Multiplicação de Matrizes, IX Jornadas sobre Sistemas Reconfiguráveis, Feb. 2013 , pp. 75-80 . [bibTeX]

Ana Rita de Sousa Ramalho da Silva and Wilson Matez José and Horácio C. Neto and Mário Pereira Véstias, Using SystemC to Model and Simulate Many-Core Architectures, IX Jornadas sobre Sistemas Reconfiguráveis, Feb. 2013 . [bibTeX]

João Paulo Pinto Trindade and Teresa Maria Sá Ferreira Vazão Vasques, Protocolo de encaminhamento para redes móveis usando estruturas binárias eficientes, Conferencia de Redes de Computadores - CRC 2012, Nov. 2012 . [bibTeX]

Pedro Sousa and Teresa Maria Sá Ferreira Vazão Vasques, Service Platform for Vehicular Networks, Conferencia de Redes de Computadores - CRC 2012, Nov. 2012 . [bibTeX]

Jacqueline Jardim and Jorge Lopes and Teresa Maria Sá Ferreira Vazão Vasques, Simulação do uso de redes veiculares em situações de emergência numa auto-estrada Portuguesa, Conferencia de Redes de Computadores - CRC 2012, Nov. 2012 . [bibTeX]

Raquel Costa and Manuel J. Fonseca and Alfredo Ferreira, CaS: Collection-aware Segmentation, 20º Encontro Português de Computação Gráfica (EPCG), Oct. 2012 . [bibTeX]

Ricardo Dias and Manuel J. Fonseca and Daniel Jorge Viegas Gonçalves, Exploração Interactiva dos Hábitos de Audição de Música., 20º Encontro Português de Computação Gráfica (EPCG), Oct. 2012 . [bibTeX]

Vasco Costa and João António Madeiras Pereira and Joaquim Armando Pires Jorge, Ray Tracing of Large Models on a Multi-Projection Display, 20º Encontro Portugues de Computação Gráfica, Oct. 2012 . [bibTeX]

Clara Azevedo and Susana Vinga and Inês Pedro and Nuno Oliveira and José Miguel Sousa and Luis Sobral, Tratamento cirúrgico da instabilidade glenoumeral objectiva versus subjectiva: comparação dos resultados em 34 doentes consecutivos, XXXII Congresso Nacional de Ortopedia e Traumatologia (SPOT’12). , Oct. 2012 . [bibTeX]

Marta Diogo Teixeira and João Cachopo, A study on the usage of third party libraries in Java applications, INForum 2012 - Simpósio de Informática, Sep. 2012 . [bibTeX]

Pedro Fazenda and Paulo Jorge Fernandes Carreira and Pedro Lima, Context-Based Reasoning in Smart Buildings , International Workshop on Information Technology for Energy Applications, Sep. 2012 , pp. 131-142 , Ceur-ws.org. [bibTeX]

Pedro Jorge do Nascimento Neves and João Barreto and Paulo Ferreira, Data deduplication in Web prefetching systems (poster session), INForum, Sep. 2012 . [bibTeX]

Francisco S. Melo and Alberto Sardinha and Stefan Witwicki and Laura M. Ramirez-Elizondo and Matthijs T. J. Spaan, Decentralized Multiagent Planning for Balance Control in Smart Grids, International Workshop on Information Technology for Energy Applications (IT4ENERGY 2012), Sep. 2012 . [bibTeX]

Ricardo Daniel Marques Caldeira and Luís Veiga, FaceID-Cloud - Face Identification Leveraging Utility and Cloud Computing, INFORUM 2012 - Simpósio de Informática, Sep. 2012 . [bibTeX]

Cristina Caramelo Gomes and Paulo Jorge Fernandes Carreira, Home Users as a Facility Managers: How is Automation Helping? , International Workshop on Information Technology for Energy Applications, Sep. 2012 , pp. 143-148 , Ceur-ws.org. [bibTeX]

Ricardo Filipe de Sousa Brilhante and Luís Veiga and Paulo Ferreira, Idroid - interest aware augmented reality, INFORUM 2012 - Simpósio de Informática, Sep. 2012 . [bibTeX]

Luís Luciano and Paulo Jorge Fernandes Carreira, Integrating Energy Data with ETL , International Workshop on Information Technology for Energy Applications, Sep. 2012 , pp. 79-88 , CEUR-ws.org. [bibTeX]

Miguel Augusto Nogueira Mateus and Paulo Ferreira and Luís Veiga, Locality-Awareness and Continuous Consistency for Collaborative Software Development, INFORUM 2012 - Simpósio de Informática, Sep. 2012 . [bibTeX]

Helena Galhardas and Vasco Duarte Mendes and Luísa Coheur, Medicine.Ask: a Natural Language Search System for Medicine Information, INFORUM 2012 - Simpósio de Informática, Sep. 2012 . [bibTeX]

Pedro Miguel Torpes de Amaral and Susana Pinto and Mamede De Carvalho and Pedro Tomás and Sara C. Madeira, Merging Temporally-Related Clinical Data from Patients with Amyotrophic Lateral Sclerosis using Constraint-Based Hierarchical Clustering, Sessão Gestão Dados e Conhecimento, INFORUM, Sep. 2012 . [bibTeX]

Pedro Mota, Natural Language Understanding as a classification process: report of initial experiments and results, Inforum, Sep. 2012 . [bibTeX]

Pedro Mota and Luísa Coheur, Natural Language Understanding as a classification process: report of initial experiments and results, Inforum, Sep. 2012 . [bibTeX]

Tiago Cardoso and Paulo Jorge Fernandes Carreira, Overview on Energy Data Reporting , International Workshop on Information Technology for Energy Applications, Sep. 2012 , pp. 89-100 , Ceur-ws.org. [bibTeX]

Navaneeth Rameshan and Luís Veiga, RATS - Resource Aware Thread Scheduling for JVM-level Clustering, INFORUM 2012 - Simpósio de Informática, Sep. 2012 . [bibTeX]

João Pedro Marques Silva and Luís Veiga, Reprodução Probabilística de Execuções na JVM em Multi-processadores, INFORUM 2012 - Simpósio de Informática, Sep. 2012 . [bibTeX]

João Sequeira and Paulo Jorge Fernandes Carreira, Towards a Taxonomy of Energy-Efficient Control Techniques , International Workshop on Information Technology for Energy Applications, Sep. 2012 , pp. 121-130 , Ceur-ws.org. [bibTeX]

Manuel Cajada and Paulo Ferreira and Luís Veiga, VFC-RTS: Vector-Field Consistency for Real-Time-Strategy Multiplayer Games, INFORUM 2012 - Simpósio de Informática, Sep. 2012 . [bibTeX]

Helena Moniz and Fernando Batista and Isabel Trancoso and Ana Isabel Mata da Silva, Análise de interrogativas em diferentes domínios, Textos Seleccionados do XXVII Encontro Nacional da APL, Jul. 2012 . [bibTeX]

Francisco Fernandes and Paulo G. S. da Fonseca and Luís M. S. Russo and Arlindo L. Oliveira and Ana T. Freitas, EFFICIENT HIGH-THROUGHPUT READ MAPPING FOR RE-SEQUENCING APPLICATIONS , Bioinformatics Open Days, Mar. 2012 . [bibTeX]

André Carreiro and Artur J. Ferreira and Mário A. T. Figueiredo and Sara C. Madeira, Prognostic prediction using clinical expression time series: towards a supervised learning approach based on meta-biclusters, Bioinformatics Open Days, Mar. 2012 . [bibTeX]

Joao Casaleiro and Luís Oliveira, A High Level Model for Capacitive Coupled RC Oscillators, Doctoral Conference on Computing Electrical and Industrial Systems (DOCEIS’12), Feb. 2012 . [bibTeX]

Eugénio Filipe Nogueira Costa and Helena Sarmento and Horácio C. Neto, Aceleração por Hardware de Cálculos Matriciais para Aplicações de Comunicações sem fios , VIII Jornadas sobre Sistemas Reconfiguráveis, Feb. 2012 , pp. 61-68 . [bibTeX]

Pedro Miguel Florindo Miguens Matutino and Ricardo Chaves and Horácio C. Neto and Leonel Sousa, Decimal multiplication on FPGA based on a RNS system representation, VIII Jornadas sobre Sistemas Reconfiguráveis - REC2012, Feb. 2012 . [bibTeX]

Ruben Cabral and Helena Sarmento, Matlab/Simulink Base Band processor Model for Wireless HD Video, Jornadas sobre Sistemas reconfiguráveis, Feb. 2012 , pp. 89-94 . [bibTeX]

Wilson Matez José and Mário Pereira Véstias and Horácio C. Neto, Multiprocessor System in an FPGA, VIII Jornadas sobre Sistemas Reconfiguráveis, Feb. 2012 , pp. 97-104 . [bibTeX]

Ana Rita de Sousa Ramalho da Silva and Horácio C. Neto, Processamento Morfológico de Imagens Digitais em FPGA, VIII Jornadas sobre Sistemas Reconfiguráveis, Feb. 2012 , pp. 105-112 . [bibTeX]

Jorge Silva and Pedro Pinho and Mário Pereira Véstias, Receptor MIMO em FPGA Baseado no Esquema de Alamouti, VIII Jornadas sobre Sistemas Reconfiguráveis, Feb. 2012 . [bibTeX]

Tiago Dias and Nuno Roma and Leonel Sousa, Reconfigurable Unified Architecture for Forward and Inverse Quantization in H.264/AVC, VIII Jornadas sobre Sistemas Reconfiguráveis - REC2012, Feb. 2012 , pp. 75-82 , Instituto Superior de Engenharia de Lisboa (ISEL). [bibTeX]

Technical Reports

Ana Isabel Ladeira Portelo and J. M. Lemos, Human Interaction Between Pairs of Pedestrians, INESC-ID Tec. Rep. 13/2013, , Jun 2013. [bibTeX]

Daniela Viegas Caiado and J. M. Lemos and Bertinho Manuel D'Andrade da Costa, Robust control of neuromuscular blockade based on H-infinity design, INESC-ID Tec. Rep. 11/2013, , Jun 2013. [bibTeX]

João Paiva and João Leitão and Luis Rodrigues, Rollerchain: a DHT for Efficient Replication, INESC-ID Tec. Rep. 12/2013, , Jun 2013. [bibTeX]

Gonçalo Fernandes Simões and Helena Galhardas and Luis Gravano, When Speed Has a Price: Fast Information Extraction Using Approximate Algorithms, INESC-ID Tec. Rep. 3/2013, , Jun 2013. [bibTeX]

Nuno Miguel Lourenço Diegues and Paolo Romano, Enhancing Permissiveness in Transactional Memory via Time-Warping, INESC-ID Tec. Rep. 10/2013, , Mar 2013. [bibTeX]

Svetislav Momcilovic and Aleksandar Ilic and Nuno Roma and Leonel Sousa, Advanced Video Coding on CPUs and GPUs: Parallelization and RD Analysis, INESC-ID Tec. Rep. 5/2013, , Feb 2013. [bibTeX]

Daniela Viegas Caiado and J. M. Lemos and Bertinho Manuel D'Andrade da Costa, Depth of Anesthesia: A study on Robust Control Design with Model Clustering, INESC-ID Tec. Rep. 8/2013, , Feb 2013. [bibTeX]

M. Medeiros Silva and Luís Oliveira, Regulated Common-GateTransimpedance Amplifierwith a Silicon Photomultiplier at The Input, INESC-ID Tec. Rep. 4/2013, , Feb 2013. [bibTeX]

Daniela Viegas Caiado and J. M. Lemos and Bertinho Manuel D'Andrade da Costa, Robust cControl of Depth of Anesthesia of Patients Under Sedation based on H-infinity design, INESC-ID Tec. Rep. 7/2013, , Feb 2013. [bibTeX]

Daniela Viegas Caiado and J. M. Lemos and Bertinho Manuel D'Andrade da Costa, Robust Control of Depth of Anesthesia based on H-infinity design, INESC-ID Tec. Rep. 6/2013, , Feb 2013. [bibTeX]

Daniela Viegas Caiado and J. M. Lemos and Bertinho Manuel D'Andrade da Costa, Robust Control of Neuromuscular Blockade - A Polynomial Approach, INESC-ID Tec. Rep. 9/2013, , Feb 2013. [bibTeX]

Ana Isabel Ladeira Portelo and J. M. Lemos and Susana Vinga and Emília Valadas, Parameter Estimation and Identifiability of an HIV-1 Model, INESC-ID Tec. Rep. 2/2013, , Jan 2013. [bibTeX]

Nuno Miguel Lourenço Diegues and João Cachopo, Practical and Lock-free Parallel Nesting for Software Transactional Memory, INESC-ID Tec. Rep. 1/2013, , Jan 2013. [bibTeX]

João Barreto and Aleksandar Dragojevic and Paulo Ferreira and Ricardo Filipe and Rachid Guerraoui, TLSTM: Unifying Thread-Level Speculation and Transactional Memory, INESC-ID Tec. Rep. 52/2012, , Dec 2012. [bibTeX]

Tiago Alexandre de Almeida Simão and Miguel José Simões Barão, Activity Recognition and Object Tracking Based on Multiple Models, INESC-ID Tec. Rep. 31/2012, , Dec 2012. [bibTeX]

António Rito Silva and Christoph Rosenkranz and Paul Maia and João Vieira da Cunha and Rodrigo Magalhães and Michael Rosemann, ADMITO - Towards a deeper understanding of the entanglement of IT and organisations , INESC-ID Tec. Rep. 49/2012, , Dec 2012. [bibTeX]

João Paulo de Oliveira Martins and J. M. Lemos, Catalog of experimental results with distributed control on a water delivery canal, INESC-ID Tec. Rep. 30/2012, , Dec 2012. [bibTeX]

Rafael das Almas Ascensão and Miguel José Simões Barão, Coordinated Probabilistic Control with Limited Communications, INESC-ID Tec. Rep. 50/2012, , Dec 2012. [bibTeX]

Ricardo Sousa Marques and Luis Guerra e Silva and Paulo Flores and L. Miguel Silveira, Improving SAT Solver Efficiency using a Cooperative Multicore Approach, INESC-ID Tec. Rep. 28/2012, , Oct 2012. [bibTeX]

Miguel Branco and João Leitão and Luis Rodrigues, Bounded Gossip: A Gossip Protocol for Large-Scale Datacenters, INESC-ID Tec. Rep. 26/2012, , Sep 2012. [bibTeX]

Samuel Freitas Antão and Leonel Sousa, Modular Arithmetic Implementation with the Residue Number System, INESC-ID Tec. Rep. 25/2012, , Sep 2012. [bibTeX]

Diogo Simões and José Borbinha and Marzieh bakhshandeh, Survey of data management plans in the scope of scientific research, INESC-ID Tec. Rep. 27/2012, , Sep 2012. [bibTeX]

Ricardo Sousa Marques and Luis Guerra e Silva and Paulo Flores and L. Miguel Silveira, cmcSAT - A Cooperative MultiCore SAT Solver, INESC-ID Tec. Rep. 20/2012, , Jul 2012. [bibTeX]

Tiago Paheco Henriques and J. M. Lemos, Controlo istribuído de Complexide eduzida de mCanal deÁgua - Controladores Locais, INESC-ID Tec. Rep. 24/2012, , Jul 2012. [bibTeX]

Eduardo José Resende Ortigueira and Luís Oliveira and Jorge Manuel dos Santos Ribeiro Fernandes and M. Medeiros Silva, Design of a CMOS VCO with Injection Locking, INESC-ID Tec. Rep. 22/2012, , Jul 2012. [bibTeX]

Inês Sampaio and J. M. Lemos, Distributed LQG and MPC fault tolerant control for a water delivery canal, INESC-ID Tec. Rep. 21/2012, , Jul 2012. [bibTeX]

Telmo Santos and Luís Rosado and Pedro Vilaça and Moises Simões Piedade and Pedro Ramos and Rosa Miranda and Jorge dos Santos, FSWELL – Dedicated NDT system to detect LOP root defects in FSW of AlMgSc alloys. (Phase 1), INESC-ID Tec. Rep. 51/2012, , Jul 2012. [bibTeX]

Pedro Miguel Lúcio Melgueira and Miguel José Simões Barão, Probabilistic Control in a Multi-Player Context, INESC-ID Tec. Rep. 23/2012, BII, Jul 2012. [bibTeX]

Anabela Marques Barreiro and Luísa Coheur and Tiago Luís and Angela Costa and João Graça, CLUE Guidelines, INESC-ID Tec. Rep. 17/2012, , Jun 2012. [bibTeX]

Nuno Miguel Lourenço Diegues and João Cachopo, Exploring Parallelism in Transactional Workloads, INESC-ID Tec. Rep. 16/2012, , Jun 2012. [bibTeX]

Carlos Leong and João Paulo Cacho Teixeira, Fault Mitigation in High-performance FPGA-based Safety-critical Systems in a Radiation Environment, INESC-ID Tec. Rep. 19/2012, , Jun 2012. [bibTeX]

Mário José Monteiro de Macedo, Three Notes on the SAM Video Statistical Model, INESC-ID Tec. Rep. 29/2012, , Jun 2012. [bibTeX]

Diego Didona and Daniele Carnevale and Sergio Galeani and Paolo Romano, An Extremum Seeking Algorithm for Message Batching in Total Order Protocols, INESC-ID Tec. Rep. 13/2012, , May 2012. [bibTeX]

Ana Cristina Mendes and Luísa Coheur and Sérgio dos Santos Lopes Curto, Learning to answer questions, INESC-ID Tec. Rep. 14/2012, , May 2012. [bibTeX]

Hector Pettenghi and Ricardo Chaves and Leonel Sousa, Multiplicative Inverses Validations for Moduli Sets with Dynamic Ranges of (5n+beta)-bit, INESC-ID Tec. Rep. 15/2012, , May 2012. [bibTeX]

Tiago Alexandre de Almeida Simão and Miguel José Simões Barão, Activity Recognition and Object Tracking Based on Multiple Models, INESC-ID Tec. Rep. 11/2012, , Apr 2012. [bibTeX]

Gonçalo Antunes, Engineering Context Aware Socio-Technical Systems through Capabilities, INESC-ID Tec. Rep. 18/2012, BII, Apr 2012. [bibTeX]

Marcelino Bicho dos Santos and Carlos Leong and Jorge Filipe Leal Costa Semião and Isabel Maria Silva Nobre Parreira Cacho Teixeira and João Paulo Cacho Teixeira, MSc proposal 2012/13, INESC-ID Tec. Rep. 10/2012, , Apr 2012. [bibTeX]

Sebastiano Peluso and João Fernandes and Paolo Romano and Francesco Quaglia and Luis Rodrigues, SPECULA: Speculative Replication of Software Transactional Memory, INESC-ID Tec. Rep. 12/2012, , Apr 2012. [bibTeX]

Pedro Miguel Lúcio Melgueira and Miguel José Simões Barão, A Toolbox for Probability Calculus and Optimization, INESC-ID Tec. Rep. 9/2012, BII, Mar 2012. [bibTeX]

Daniela Viegas Caiado and J. M. Lemos, euromuscular blockade feedbak control, INESC-ID Tec. Rep. 7/2012, , Mar 2012. [bibTeX]

Luísa Coheur and Grupo LN, IST Tagus, Págico, participação do GLNISTT, INESC-ID Tec. Rep. 8/2012, , Mar 2012. [bibTeX]

Inês Sampaio and J. M. Lemos, Design of a fault tolerant control system for a water delivery canal - Centralized multivariable control with actuator faults, INESC-ID Tec. Rep. 3/2012, , Feb 2012. [bibTeX]

Ricardo Daniel Marques Caldeira and Luís Veiga, FaceID-Cloud, INESC-ID Tec. Rep. 4/2012, , Jan 2012. [bibTeX]

Filipe Miguel Rodrigues and Luís Veiga, FaceID-Grid , INESC-ID Tec. Rep. 5/2012, , Jan 2012. [bibTeX]

Nuno Miguel Lourenço Diegues and Sérgio Miguel Fernandes and João Cachopo, Parallel nesting in a lock-free multi-version Software Transactional Memory, INESC-ID Tec. Rep. 2/2012, , Jan 2012. [bibTeX]

Nuno Miguel Lourenço Diegues and João Cachopo, Review of Nesting in Transactional Memory, INESC-ID Tec. Rep. 1/2012, , Jan 2012. [bibTeX]

João Pedro Marques Silva and Luís Veiga, VM Synch-Log-Replay, INESC-ID Tec. Rep. 6/2012, , Jan 2012. [bibTeX]

PhD Theses

João Saraiva, Development of CMS-based Web Applications with a Multi-Language Model-Driven Approach, PhD Thesis, IST/UTL, Jan 2013 . [bibTeX]

João Miguel de Sousa de Assis Dias, Emoção, Decisão e Acção, PhD Thesis, IST, Jan 2013 (before belonha). [bibTeX]

Joana P. Gonçalves, Integrative Mining of Gene Regulation and its Perturbations, PhD Thesis, Instituto Superior Técnico, Technical University of Lisbon, Jan 2013 . [bibTeX]

Frederico Pratas, Stream-based computing and fine-grained parallelism: From algorithms to reconfigurable hardware, PhD Thesis, IST, Technical University of Lisbon, Dec 2012 . [bibTeX]

Nuno Miguel Antunes Freire, Entity Recognition and Resolution in Poorly Structured Data, PhD Thesis, UNIVERSIDADE TÉCNICA DE LISBOA, Oct 2012 . [bibTeX]

José Barateiro, A Risk Management Framework Applied to Digital Preservation, PhD Thesis, Universidade Tecnica de Lisboa, Jul 2012 . [bibTeX]

Rui Filipe Lopes Joaquim, Toward Voter Verifiable Internet Elections, PhD Thesis, ist, Jun 2012 (before belonha). [bibTeX]

Gracinda Carvalho, Robust Question Answering, PhD Thesis, Universidade Aberta, Feb 2012 (before belonha). [bibTeX]

MSc Theses

Diogo Fernandes Simões, XML data cleaning, MSc Thesis, Instituto Superior Técnico, Jun 2013 . [bibTeX]

Bruno Manuel Dias dos Santos, A study on gene-disease relations in the context of neurodegenerative diseases, MSc Thesis, , Dec 2012 . [bibTeX]

Marcelo Vicente, DECT Shield for Arduino, MSc Thesis, IST, Dec 2012 . [bibTeX]

Cecília Maria Costa Bento de Sousa Nunes, Learning from Imbalanced Neuropsychological Data, MSc Thesis, , Dec 2012 . [bibTeX]

Luis Jorge Matias de Lemos, A data mining approach to predict conversion from mild cognitive impairment to Alzheimer s Disease, MSc Thesis, Instituto Superior Técnico, Technical University of Lisbon, Nov 2012 . [bibTeX]

Luís Miguel Rosa dos Santos, Finding Place References in Textual Documents, MSc Thesis, Instituto Superior Técnico, Nov 2012 . [bibTeX]

Rodrigo Joel Lucas Santos, Planning for Spatial Missions Using Answer Set Programming, MSc Thesis, Technical University of Lisbon, Nov 2012 . [bibTeX]

João Filipe Rosado Gouveia, Protein Design using Answer Set Programming, MSc Thesis, Technical University of Lisbon, Nov 2012 . [bibTeX]

Eugénio Alves Ribeiro, Situated Dialog for speaking Robots, MSc Thesis, , Nov 2012 . [bibTeX]

Tiago Augusto Escudeiro Almeida, Solving Wildlife Conservation Problems using Answer Set Programming, MSc Thesis, Technical University of Lisbon, Nov 2012 . [bibTeX]

Mafalda de Oliveira Ruas Gonçalves, Unravelling regulatory modules in Amyotrophic Lateral Sclerosis, MSc Thesis, , Nov 2012 . [bibTeX]

Sérgio Almeida, Geo-Replication in Large Scale Cloud Computing Applications, MSc Thesis, IST, Oct 2012 . [bibTeX]

Miguel Branco, Topology-aware Gossip Dissemination for Large-scale Datacenters, MSc Thesis, IST, Oct 2012 . [bibTeX]

Hugo Rodrigues, Answer Selection in Question Answering, MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, Jul 2012 . [bibTeX]

Pedro Mota, LUP: A Language Understanding Platform, MSc Thesis, Instituto Superior Técnico, Jul 2012 . [bibTeX]

Nuno Miguel Lourenço Diegues, Practical Parallel Nesting for Software Transactional Memory, MSc Thesis, Instituto Superior Técnico, Technical University of Lisbon, Jul 2012 . [bibTeX]

Diogo Rodrigues Oliveira de Brito, Circuitos para Lógica Quatrenária, MSc Thesis, IST, Technical University of Lisbon, Jun 2012 . [bibTeX]

João Silva, Statistical Machine Translation - The Problem of Unknown Words, MSc Thesis, Instituto Superior Técnico, Jun 2012 . [bibTeX]

Inês Sampaio, Fault Tolerant Control of a Water Delivery Canal, MSc Thesis, Instituto Superior Técnico, May 2012 . [bibTeX]

Books

Christian Bignami (ed) and Vittorio Bosi (ed) and Licia Costantini (ed) and Chiara Cristiani (ed) and Franck Lavigne (ed) and Pierre Thierry (ed) and et al and Ricardo Lopes Pereira and Teresa Maria Sá Ferreira Vazão Vasques and João Trindade and Fernando Henrique Corte Real Mira da Silva, Handbook for Volcanic Risk Manage- ment - Prevention, Crisis Management, Resilience, Nov 2012, . [bibTeX]

Manuel J. Fonseca and Pedro Filipe Pereira Campos and Daniel Jorge Viegas Gonçalves, Introdução ao Design de Interfaces, Oct 2012, FCA. [bibTeX]

José Alves Marques and Paulo Ferreira and Carlos Nuno da Cruz Ribeiro and Luís Veiga and Rodrigo Rodrigues, Sistemas Operativos., Oct 2012, FCA - ISBN 978-972-722-756-3.. [bibTeX]

Edited Books

Valentina Presutti and H. Sofia Pinto Ed., I-SEMANTICS 2012 - 8th International Conference on Semantic Systems,, I-SEMANTICS, no. 12, Oct 2012, ACM. [bibTeX]

Book Chapters

Alexandre Barão and Alberto Rodrigues da Silva, Handbook of Research on Enterprise 2.0: Technological, Social, and Organizational Dimensions, Chapter How to value and monitor the relational capital of knowledge-intensive organizations?, Jun 2013, IGI Global. [bibTeX]

Jacqueline Guzman and Regina Motz and Alberto Rodrigues da Silva, Handbook of Research on Enterprise 2.0: Technological, Social, and Organizational Dimensions, Chapter Valuing Learning Objects shared in an Online Community, Jun 2013, IGI Global. [bibTeX]

João Nuno de Oliveira e Silva and Luís Veiga, Mobile Computing over Cloud: Technologies, Services, and Application, Chapter A2Cloud: the Anytime Anywhere Cloud, Jun 2013, IGI Global. [bibTeX]

Leonardo Vanneschi and Sara Silva and Mauro Castelli and Luca Manzoni, Genetic Programming Theory and Practice XI, Chapter Geometric Semantic Genetic Programming for Real Life Applications, May 2013, . [bibTeX]

Nuno Roma and António Manuel da Costa Rodrigues and Leonel Sousa, Programming Multi-core and Many-core Computing Systems, Chapter "Parallel Programming Framework for H.264/AVC Video Encoding in Multi-Core Systems", Feb 2013, John Wiley & Sons, Inc.. [bibTeX]

Liliana Rosa and Luis Rodrigues and Antónia Lopes, Book 2 on Software Engineering for Self-Adaptive Systems, Chapter Dynamic Tuning of Communication Services Using High-level Goal Policies, Jan 2013, LNCS 7475, Springer. [bibTeX]

Luís M. Pereira and Han The Anh and Francisco C. Santos, Complex Systems of Mindful Entities: on Intention Recognition and Commitment, Chapter in Model-Based Reasoning in Science and Technology, Studies in Applied Philosophy, Epistemology and Rational Ethics (SAPERE) series, Jan 2013, Springer, to appear.. [bibTeX]

João Ferreira and Alberto Rodrigues da Silva and João L. Afonso and Vítor Monteiro, Computational Intelligence and Decision Making - Trends and Applications, Chapter Collaborative Broker for Distributed Energy Resources, Jan 2013, Springer Verlag. [bibTeX]

Mário Pereira Véstias and Horácio C. Neto, Embedded Systems Design with FPGAs, Chapter Decimal Division Using the Newton–Raphson Method and Radix-1000 Arithmetic, Jan 2013, Springer. [bibTeX]

Gustavo Soares Santos and Joaquim Armando Pires Jorge, Intelligent and Adaptive Educational-Learning Systems: Achievements and Trends, Chapter Interoperable Intelligent Tutoring Systems as SCORM Learning Objects, Jan 2013, Springer. [bibTeX]

Ricardo Ribeiro and David Martins de Matos, Multi-source, Multilingual Information Extraction and Summarization, Chapter Improving Speech-to-Text Summarization by Using Additional Information Sources, Jan 2013, Springer. [bibTeX]

Alexandre Barão and Alberto Rodrigues da Silva, Sociotechnical Enterprise Information Systems Design and Integration, Chapter Applying SNARE-RCO to Evaluate the Relational Capital of an Organization: The SH Case Study, Jan 2013, IGI Global. [bibTeX]

Francisco C. Santos and Jorge M. Pacheco, Behavioral dynamics under climate change dilemmas, Chapter in The Philosophy of Science in a European Perspective series, Vol. 4: New Challenges to Philosophy of Science, (eds) Andersen, Dieks, et al., Dec 2012, Springer, to appear.. [bibTeX]

Jânio Monteiro and Rui Cruz and Charalampos Patrikakis and Nikolaos Papaoulakis and Carlos Calafate and Mário Serafim Nunes, Multimedia Networking and Coding. From Capture to Display, Chapter Peer-to-peer Video Streaming, Dec 2012, IGI Global. [bibTeX]

Lokukaluge P. Perera and Joao P. Carvalho and C. Guedes Soares, Maritime Engineering and Technology, Chapter Intelligent guidance in collision avoidance of maritime transportation, p.p. 9-17, Nov 2012, Taylor & Francis. [bibTeX]

Fábio Manuel dos Santos Pereira and João Barreto, Roadside Networks for Vehicular Communications: Architectures, Applications, and Test Fields, Chapter User-Centric Vehicular Ad-Hoc Networks and Roadside Units for Public Transport Systems, Oct 2012, IGI Global. [bibTeX]

Ricardo Chaves, Embedded Systems Design with FPGAs, Chapter Compact Clefia Implementation on FPGAs, Sep 2012, Springer. [bibTeX]

Artur Caetano and Aurelio Assis and José Manuel Nunes Salvador Tribolet, Advances in Enterprise Information Systems II, Edited by Charles Møller and Sohail Chaudhry, Chapter Using DEMO to Analyse the Consistency of Business Process Models, Jun 2012, CRC PRESS 2012. [bibTeX]

Levent Aksoy and Eduardo Costa and Paulo Flores and J. Monteiro, VLSI-SoC: Advanced Research for Systems on Chip, Chapter Multiplierless Design of Linear DSP Transforms, Jun 2012, Springer. [bibTeX]

Carlos Páscoa and Pedro Leal and José Manuel Nunes Salvador Tribolet, Organizational Integration of Enterprise Systems and Resources: Advancements and Applications, Chapter Organization Identity: the Business Model, pags 100-116, doi:10.4018/978-1-4666-1764-3.ch006, May 2012, IGI Global. [bibTeX]

Samuel Freitas Antão and Ricardo Chaves and Leonel Sousa, Embedded systems: Hardware Design and Implementations, Chapter Reconfigurable Architecture for Cryptography over Binary Finite Fields, May 2012, John Wiley & Sons. [bibTeX]

Carlos Pascoa and António Alves and José Manuel Nunes Salvador Tribolet, Organizational Integration of Enterprise Systems and Resources: Advancements and Applications, Chapter EX-ANTE and EX-POST Model applied to the Portuguese Air Force Flying Regime, pgs 164-181, doi:10.4018/978-1-4666-1764-3.ch010, May 2012, IGI GLobal. [bibTeX]

Alberto Sardinha and Ruy Milidiú, Strategic and Pragmatic E-Business: Implications for Future Business Practices, Chapter Electronic Markets and Multiagent Systems, May 2012, IGI Global. [bibTeX]

Huan Chen and Joao Marques Silva, VLSI-SoC: Advanced Research for Systems on Chip, Chapter Improvements to Satisfiability-Based Boolean Function Bi-Decomposition, May 2012, Springer. [bibTeX]

Nuno Miguel Silvestre Apolónia and Paulo Ferreira and Luís Veiga, Computational Social Networks Tools, Perspectives and Applications (Computer Communications and Networks series), Chapter Enhancing Online Communities with Cycle-Sharing for Social Networks (catalogued date), Mar 2012, Springer. [bibTeX]

Peterb Langerdorfer and Levente Buttyan and Alban Hessler and Claude Castellucia and Augusto Casaca and Evgeny Ossipov, Critical Infrastructure Security, Chapter Wireless Sensor Networks for Critical Infrastructure Protection, Feb 2012, WIT Press. [bibTeX]

Maria Couceiro and Paolo Romano and Luis Rodrigues, European Research Activities in Cloud Computing, Chapter Towards Autonomic Transactional Replication for Cloud Environments, Jan 2012, Cambridge Scholars Publishing. [bibTeX]

Joao P. Carvalho, Soft Computing in Humanities and Social Sciences, Chapter Rule Based Fuzzy Cognitive Maps in Humanities, Social Sciences and Economics, Jan 2012, Springer. [bibTeX]

National Journal Articles

Clara Azevedo and Susana Vinga, Reinserção artroscópica do supra-espinhoso: o que fazer com a longa porção do bicípite braquial? Estudo prospetivo de 42 doentes, Rev Port Ortop Traum, 20(), pp. 45-56, Mar. 2012, . [bibTeX]

Gabriel César Ferreira Pestana and Augusto Casaca and Tiago Silva and Isabel Oliveira, Melhoria do Desempenho Aeroportuário por via de Serviços de Localização, Ingenium, (127), pp. 82-85, Feb. 2012, Ordem dos Engenheiros. [bibTeX]

Other Publications

Francisco S. Melo and Matthijs Spaan and Stefan Witwicki, Query-POMDP: POMDP-based communication in multiagent systems[bibTeX]

Inês Flores-Colen and Paulo Jorge Fernandes Carreira, Challenges for FM in Portugal[bibTeX]

Fernando Batista and Ricardo Ribeiro, The L2F Strategy for Sentiment Analysis and Topic Classification[bibTeX]

Artur David Felix Ventura and Nuno Miguel Lourenço Diegues and David Martins de Matos, Frame Interpretation and Validation in a Open Domain Dialogue System[bibTeX]

Rachel Huang and Rui Cruz and Mário Serafim Nunes and João Pedro Taveira, PPSP Tracker Protocol – Extended Protocol[bibTeX]

Rui Cruz and Mário Serafim Nunes and Yingjie Gu and Jinwei Xia and David Bryan and João Taveira and Deng Lingli, PPSP Tracker Protocol – Base Protocol[bibTeX]

Bruno Martins and Helena Galhardas and Nelson Gonçalves, Um método de classificação automática para a detecção de duplicados em gazetteers[bibTeX]

Fernando Batista and Nuno J. Mamede, Recovering Capitalization and Punctuation Marks on Speech Transcriptions[bibTeX]

Ricardo Ribeiro and David Martins de Matos, Summarizing Spoken Documents: avoiding distracting content[bibTeX]

Paula Cristina Vaz and David Martins de Matos and Bruno Martins and Pável Calado, Improving an Hybrid Literary Book Recommendation System through Author Ranking[bibTeX]

Edited Proceedings

Anna I Esparcia-Alcazar and Kevin Sim and Sara Silva and et al. Ed., Applications of Evolutionary Computation, LNCS, no. 7835, Apr 2013, Springer. [bibTeX]

Yukiko Nadano and Michael Neff and Ana Paiva and Marilyn Walker Ed., Intelligent Virtual Agents- 12th International Conference, IVA 2012, Sep 2012, Springer. [bibTeX]

João Pascoal Faria and Alberto Rodrigues da Silva and Ricardo J. Machado Ed., Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Sep 2012, IEEE Computer Society. [bibTeX]

Paulo Jorge Fernandes Carreira and Vasco Miguel Moreira do Amaral Ed., Proceedings of the First International Workshop on Information Technology for Energy Applications, Sep 2012, Ceur-ws.org. [bibTeX]

Miguel Correia and Cristian Constantinescu Ed., Proceedings Ninth European Dependable Computing Conference - EDCC 2012, May 2012, CPS. [bibTeX]

Cecilia Di Chio and Alexandros Agapitos and Stefano Cagnoni and Carlos Cotta and Francisco Fernandez de Vega and Gianni A. Di Caro and Rolf Drechsler and Aniko Ekart and Anna I. Esparcia-Alcazar and Muddassar Farooq and William B. Langdon and Juan-J. Merelo-Guervos and Mike Preuss and Hendrik Ritcher and Sara Silva and Anabela Simões and Giovanni Squillero and Ernesto Tarantino and Andrea G.B. Tettamanzi and Julian Togelius and Neil Urquhart and A. Sima Uyar and Georgios N. Yannakakis Ed., Applications of Evolutionary Computation, Lecture Notes in Computer Science, no. 7248, Apr 2012, Springer. [bibTeX]

Alberto Moraglio and Sara Silva and Krzysztof Krawiec and Penousal Machado and Carlos Cotta Ed., Genetic Programming, 15th European Conference, Lecture Notes in Computer Science, no. 7244, Apr 2012, Springer. [bibTeX]

Carlos Duarte and Luis Carriço and Joaquim Armando Pires Jorge and Sharon Oviatt and Daniel Jorge Viegas Gonçalves Ed., 17th International Conference on Intelligent User Interfaces, IUI, no. 17, Feb 2012, ACM Press. [bibTeX]

Industrial Prototypes

José Germano and João Nuno Andrade Ribeiro and Leonel Sousa and Moises Simões Piedade, Intelligence to drive telemetry device[bibTeX]

National Patents

Moises Simões Piedade and José Germano and Tiago Costa and F. A. Cardoso and P. P. Freitas, A Monolitic Device Combining CMOS with Magnetoresistive Sensors, Pat. No. 2147483647, [bibTeX]

Special Issues of Journals (editor)

Fabio Kon and Gordon Blair and Lisandro Granville and Raouf Boutaba and Lizhe Wang and Jie Tao and Achim Streit and Dieter Kranzlmüller and Luís Veiga Ed., The path to openness: Letter from the Editors (Special Issue on Best Papers of the Middleware 2010 Workshops - II), Journal of Internet Services and Applications (JISA), 3(3), Oct. 2012, . [bibTeX]

Luís Veiga and Fabio Kon and Gordon Blair Ed., A Virtual Stone Soup: Letter from the Editors (Special Issue on Best Papers of the Middleware 2010 Workshops - I), Journal of Internet Services and Applications (JISA), 3(2), Aug. 2012, Springer. [bibTeX]

Sara Silva and James A. Foster Ed., special issue on selected papers from the European conference on genetic programming, Genetic Programming and Evolvable Machines, 13(3), May. 2012, Springer. [bibTeX]

Dissertations - Finished

PhD Theses

Rui Marcelino, Sorting Machines for FPGA-Based Embedded Systems, PhD Thesis, Department of Electrical and Computer Engineering, IST, Apr 2013 . [bibTeX]

João Saraiva, Development of CMS-based Web Applications with a Multi-Language Model-Driven Approach, PhD Thesis, IST/UTL, Jan 2013 . [bibTeX]

João Miguel de Sousa de Assis Dias, Emoção, Decisão e Acção, PhD Thesis, IST, Jan 2013 (before belonha). [bibTeX]

Joana P. Gonçalves, Integrative Mining of Gene Regulation and its Perturbations, PhD Thesis, Instituto Superior Técnico, Technical University of Lisbon, Jan 2013 . [bibTeX]

Alexandre Barão, Social Networks Modeling and Evaluation of Organizational Relational Capital Using SNARE, PhD Thesis, IST/UTL, Dec 2012 (before belonha). [bibTeX]

Frederico Pratas, Stream-based computing and fine-grained parallelism: From algorithms to reconfigurable hardware, PhD Thesis, IST, Technical University of Lisbon, Dec 2012 . [bibTeX]

Nuno Miguel Antunes Freire, Entity Recognition and Resolution in Poorly Structured Data, PhD Thesis, UNIVERSIDADE TÉCNICA DE LISBOA, Oct 2012 . [bibTeX]

Tiago João Vieira Guerreiro, User-Sensitive Mobile Interfaces: Accounting for Individual Differences, PhD Thesis, IST/UTL, Sep 2012 . [bibTeX]

José Barateiro, A Risk Management Framework Applied to Digital Preservation, PhD Thesis, Universidade Tecnica de Lisboa, Jul 2012 . [bibTeX]

António Emanuel Magalhães Duarte Pereira dos Santos, An Argumentation-based Approach to Data Cleaning, PhD Thesis, Instituto Superior Técnico, Jul 2012 . [bibTeX]

Liliana Wu Freitas Rosa, Desenvolvimento de Aplicações Distribuídas Adaptativas, PhD Thesis, IST, Jul 2012 . [bibTeX]

Carlos Jorge Ramos Páscoa, Design and Organizational Engineering of the Operational and Support Dimensions of an Organization: The Portuguese Air Force case study, PhD Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, Jul 2012 . [bibTeX]

Sérgio Luis Proença Duarte Guerreiro, Enforcement of fine-grained Governance Rules in the Enterprise Ontology using DEMO, PhD Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, Jul 2012 . [bibTeX]

João Carlos Viegas Martins Bispo, Mapping Runtime-Detected Loops from Microprocessors to Reconfigurable Processing Units, PhD Thesis, Instituto Superior Técnico, TU Lisbon, Jul 2012 . [bibTeX]

João Carlos Antunes Leitão, Disseminação de Informação, PhD Thesis, , Jun 2012 . [bibTeX]

Rui Filipe Lopes Joaquim, Toward Voter Verifiable Internet Elections, PhD Thesis, ist, Jun 2012 (before belonha). [bibTeX]

Mauro Castelli, Measures and Methods for Robust Genetic Programming, PhD Thesis, University of Milano-Bicocca, Feb 2012 (before belonha). [bibTeX]

Gracinda Carvalho, Robust Question Answering, PhD Thesis, Universidade Aberta, Feb 2012 (before belonha). [bibTeX]

MSc Theses

Tiago Henrique Lopes Ferreira, Discover Implicit Relations Between Individuals in a Community based on a Newsletter Tracking System, MSc Thesis, , Jun 2013 . [bibTeX]

Filipe Alexandre Ginja Carapinha, Extração Automática de Conteúdos Documentais, MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, Jun 2013 . [bibTeX]

Alexandre Manuel Fajardo Vicente, LexMan: um Segmentador e Analisador Morfológico com Transdutores, MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, Jun 2013 . [bibTeX]

Tiago Manuel Paulo Travanca, Verb Sense Disambiguation , MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, Jun 2013 . [bibTeX]

Diogo Fernandes Simões, XML data cleaning, MSc Thesis, Instituto Superior Técnico, Jun 2013 . [bibTeX]

José Jorge da Silva Nunes, Aplicações para Redes Veiculares Tolerantes a Atrasos, MSc Thesis, , May 2013 . [bibTeX]

Ricardo José Andrade Lopes Perdigão e Silva, mtAndroid - Aplicação Móvel Android de Apoio a Percursos Pedestres Outdoor, MSc Thesis, IST/UTL, Mar 2013 . [bibTeX]

Stefano Ruberto, Metodi semantici nella programmazione evolutiva (Semantic methods in evolutionary programming), MSc Thesis, University of Milano-Bicocca, Mar 2013 . [bibTeX]

Hélder António Gomes Filipe, Redesign da Interface de Utilizador do REAP.PT, MSc Thesis, Universidade do Algarve, Jan 2013 . [bibTeX]

Bruno Manuel Dias dos Santos, A study on gene-disease relations in the context of neurodegenerative diseases, MSc Thesis, , Dec 2012 . [bibTeX]

Marcelo Vicente, DECT Shield for Arduino, MSc Thesis, IST, Dec 2012 . [bibTeX]

Cecília Maria Costa Bento de Sousa Nunes, Learning from Imbalanced Neuropsychological Data, MSc Thesis, , Dec 2012 . [bibTeX]

Márcio Luís Mendonça de Vasconcelos de Nóbrega , Monitorização Wireless de Pessoas em Ambiente Doméstico , MSc Thesis, Instituto Superior Técnico, Dec 2012 . [bibTeX]

João Luís Vazão Vasques, A decentralized utility-based scheduling algorithm for grids, MSc Thesis, , Nov 2012 . [bibTeX]

Pedro Alexandre Cruz de Sousa, A Service Platform for Vehicular Networks, MSc Thesis, , Nov 2012 . [bibTeX]

Jacqueline Filomena Jardim, A Vehicular Ad Hoc Network Architecture with Geographical Routing Proposal, MSc Thesis, , Nov 2012 . [bibTeX]

David Barbosa Maia, Audio Chord Estimation, MSc Thesis, Instituto Superior Técnico, Nov 2012 . [bibTeX]

Miguel António Moreira de Sousa Adaixo, Cloud DReAM - Dynamic Resource Allocation Management for Large Scale MMOGs, MSc Thesis, Technical Univ. of Lisbon, Nov 2012 . [bibTeX]

Luís Gregório Dias, CollecTA - Collective Tour Advisor, MSc Thesis, IST/UTL, Nov 2012 . [bibTeX]

Pedro Manuel Carvalho dos Santos Valada Fonseca, Conflict: A Conflict Resolution Games, MSc Thesis, , Nov 2012 . [bibTeX]

Alexandre Nuno Vicente Dias, Detecção de Vírus utilizando GPUs, MSc Thesis, Instituto Superior Técnico, TU Lisbon, Nov 2012 . [bibTeX]

Roberto da Câmara Rodrigues, DOnE - Document Organization and Exploration, MSc Thesis, IST/UTL, Nov 2012 . [bibTeX]

Fábio Ova, eDocA : Desmaterialização de documentos na administração pública, MSc Thesis, IST, Nov 2012 . [bibTeX]

Luís Miguel Rosa dos Santos, Finding Place References in Textual Documents, MSc Thesis, Instituto Superior Técnico, Nov 2012 . [bibTeX]

José João Pereira Rocha Cordeiro, Forward Error Correction in Low Power Wireless Sensor Networks, MSc Thesis, IST/UTL, Nov 2012 . [bibTeX]

Ricardo Filipe de Sousa Brilhante, Idroid - interest aware augmented reality, MSc Thesis, Technical Univ. of Lisbon, Nov 2012 . [bibTeX]

João Miguel Cardoso Matos, Inspecção de Circuitos Através de Raios X , MSc Thesis, UTL, Nov 2012 . [bibTeX]

João Pedro Lima, Intrusion detection applied to mass transportation IT systems, MSc Thesis, IST, Nov 2012 . [bibTeX]

Mauro André Mendes Silva, MobUser: Uma plataforma para a partilha de informação de dispositivos móveis centrado no utilizdor, MSc Thesis, , Nov 2012 . [bibTeX]

Carlos Paulo Ferreira Santos, P2P-Clusters: criação dinâmica de clusters em cycle-sharing peer-to-peer, MSc Thesis, IST, Nov 2012 . [bibTeX]

Marta Diogo Teixeira, Parallelizing libraries for running in multicores, MSc Thesis, Instituto Superior Técnico, Technical University of Lisbon, Nov 2012 . [bibTeX]

Rodrigo Joel Lucas Santos, Planning for Spatial Missions Using Answer Set Programming, MSc Thesis, Technical University of Lisbon, Nov 2012 . [bibTeX]

Tiago João de Sousa Marques, Processo de Gestão de Informação, MSc Thesis, , Nov 2012 (before belonha). [bibTeX]

Pedro Matos Geraldes Monteiro, Profiling of biological applications for parallel implementation in multicore computers, MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, Nov 2012 . [bibTeX]

Pedro Miguel Torpes de Amaral, Prognostic prediction in patients with Amyotrophic Lateral Sclerosis using data mining techniques, MSc Thesis, Instituto Superior Técnico, Technical University of Lisbon, Nov 2012 . [bibTeX]

João Filipe Rosado Gouveia, Protein Design using Answer Set Programming, MSc Thesis, Technical University of Lisbon, Nov 2012 . [bibTeX]

Eugénio Alves Ribeiro, Situated Dialog for speaking Robots, MSc Thesis, , Nov 2012 . [bibTeX]

Martim Luís de Carvalho e Silva Camacho, Smart Cards for Payments and Tickets, MSc Thesis, , Nov 2012 . [bibTeX]

Diogo Morgado, SmartSolarGrid - energy management for solar roads, MSc Thesis, Technical Univ. of Lisbon, Nov 2012 . [bibTeX]

Tiago Augusto Escudeiro Almeida, Solving Wildlife Conservation Problems using Answer Set Programming, MSc Thesis, Technical University of Lisbon, Nov 2012 . [bibTeX]

Roberto Leal Jacinto, SuusMDM: Gestão de Parques Informáticos de Terminais Móveis, MSc Thesis, Technical Univ. of Lisbon, Nov 2012 . [bibTeX]

Tiago Esteves de Freitas, Syntactic REAP.PT - Exercises on Clitic Pronouning, MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, Nov 2012 . [bibTeX]

Nuno Miguel Pereira Ramos, The Blame and Shame Game, MSc Thesis, , Nov 2012 . [bibTeX]

Mafalda de Oliveira Ruas Gonçalves, Unravelling regulatory modules in Amyotrophic Lateral Sclerosis, MSc Thesis, , Nov 2012 . [bibTeX]

Bruno Alexandre de Medeiros, Video Coding on Multicore Graphics Processors (GPUs), MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, Nov 2012 . [bibTeX]

Vítor Francisco Estalagem Carvalho, Virtualização de sistemas de atendimento e Corporate TV , MSc Thesis, Technical Univ. of Lisbon, Nov 2012 . [bibTeX]

João Pedro Marques Silva, VM Synch-Log-Replay, MSc Thesis, , Nov 2012 . [bibTeX]

Sílvia Resendes, Automatic Conflict Resolution in Home and Building Automation Systems, MSc Thesis, IST Technical University of Lisbon, Oct 2012 . [bibTeX]

Davide António Pestana Passinhas, Blended Workflow: A Modular Architecture to Use an External Workflow Management System, MSc Thesis, IST, Oct 2012 . [bibTeX]

Filipe Roque, Desenvolvimento de uma plataforma aberta e escalável para aquisição de dados no túnel aerodinâmico de baixa velocidade, MSc Thesis, IST - TU LIsbon, Oct 2012 . [bibTeX]

João Soares, Document Portal, MSc Thesis, , Oct 2012 . [bibTeX]

Sérgio Almeida, Geo-Replication in Large Scale Cloud Computing Applications, MSc Thesis, IST, Oct 2012 . [bibTeX]

Marco Custódio, Information and knowledge discovery system for medical data, MSc Thesis, Instituto Superior Técnico, Technical University of Lisbon, Oct 2012 . [bibTeX]

Filipe Alexandre Vieira da Silva, NarBir, MSc Thesis, , Oct 2012 . [bibTeX]

Diogo Manuel Bugia Correia Simões, Object grouping using learning methods in a simulated environment, MSc Thesis, Instituto Superior Técnico, Oct 2012 . [bibTeX]

João Paulo Sousa Dias Costa Amaro, SmartAndroid – Mobile Enterprise Development, MSc Thesis, Instituto Superior Técnico, TU Lisbon, Oct 2012 . [bibTeX]

Juan José Rebollo Barranco, Suporte Hardware para um Depurador para o Processador Pedagógico P3 , MSc Thesis, IST, Technical University of Lisbon, Oct 2012 . [bibTeX]

João Lobato dos Santos Dias, Support for User Involvement in Data Cleaning Applications, MSc Thesis, Instituto Superior Técnico, Oct 2012 . [bibTeX]

Miguel Branco, Topology-aware Gossip Dissemination for Large-scale Datacenters, MSc Thesis, IST, Oct 2012 . [bibTeX]

Filipe Farias Leandro, VisualMobility, MSc Thesis, , Oct 2012 . [bibTeX]

Tiago Picado, A Fault-Tolerant Network Intrusion Detection System, MSc Thesis, Instituto Superior Técnico, Sep 2012 . [bibTeX]

Mauro André Mendes Silva, A user-centered publish-subscribe platform for mobile devices. , MSc Thesis, , Sep 2012 . [bibTeX]

Fábio Constantino, Best Effort Authentication, MSc Thesis, IST, Sep 2012 . [bibTeX]

Irina de Melo Lopes, CertA: Certificação de Atributos Profissionais na Administração Pública, MSc Thesis, , Sep 2012 . [bibTeX]

Tiago Castelo, Using Game Engines in Building Automation Control, MSc Thesis, IST Technical University of Lisbon, Sep 2012 . [bibTeX]

Hugo Rodrigues, Answer Selection in Question Answering, MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, Jul 2012 . [bibTeX]

Navaneeth Rameshan, Efficient Thread Scheduling for Distributed Java VM over Terracotta, MSc Thesis, , Jul 2012 . [bibTeX]

Bimal Babu Upadhyaya, Integration of Genomics and Transcriptomics: Analysis of Streptococcus pneumoniae Wild-type and ∆ccpA Strains, MSc Thesis, Instituto Superior Técnico, Technical University of Lisbon, Jul 2012 . [bibTeX]

Pedro Mota, LUP: A Language Understanding Platform, MSc Thesis, Instituto Superior Técnico, Jul 2012 . [bibTeX]

Carlos Manuel Tadeia Rosão, Onset Detection in Music Signals, MSc Thesis, , Jul 2012 . [bibTeX]

Nuno João da Silva Garcia, PopCulture, MSc Thesis, , Jul 2012 . [bibTeX]

Nuno Miguel Lourenço Diegues, Practical Parallel Nesting for Software Transactional Memory, MSc Thesis, Instituto Superior Técnico, Technical University of Lisbon, Jul 2012 . [bibTeX]

Lalith Suresh, Programming the Enterprise WLAN: An SDN Approach, MSc Thesis, IST, Jul 2012 . [bibTeX]

Romenigue Mendes Barbosa Vieira dos Santos, Recorte Automático de Noticias, MSc Thesis, , Jul 2012 . [bibTeX]

Diogo Duarte, Using Visualization for Involving Users in Requirements Elicitation, MSc Thesis, IST/UTL, Jun 2012 . [bibTeX]

Ricardo Miguel Pinheiro Pires, A questão das perguntas em sistemas de pergunta/resposta, MSc Thesis, IST/Universidade Técnica de Lisboa, Jun 2012 . [bibTeX]

Diogo Rodrigues Oliveira de Brito, Circuitos para Lógica Quatrenária, MSc Thesis, IST, Technical University of Lisbon, Jun 2012 . [bibTeX]

Guilherme Fermoselle Pires Coelho, Detecção de Fugas de Água em Redes Domésticas, MSc Thesis, , Jun 2012 . [bibTeX]

João Luís Dias Completo, Perfil de Reabilitação Clínica Web - Sistema on-line de Benchmarking na área da Reabilitação Clínica, MSc Thesis, IsT/Universidade Técnica de Lisboa, Jun 2012 . [bibTeX]

Leonel Severino de Almeida, Radio Frequency CMOS Transmitter, MSc Thesis, IST/UTL, Jun 2012 . [bibTeX]

Tilia Ellendorff, Relation Extraction for People Search on the Web, MSc Thesis, University of Algarve and University of Wolverhampton, Jun 2012 . [bibTeX]

João Silva, Statistical Machine Translation - The Problem of Unknown Words, MSc Thesis, Instituto Superior Técnico, Jun 2012 . [bibTeX]

Hélder Mendes, Study of matematical algorithms to identify abnormal patterns in aircraft flight data, MSc Thesis, IST / TU Lisbon, Jun 2012 . [bibTeX]

Diogo Duarte, Using Visualization for Involving Users in Requirements Elicitation, MSc Thesis, Instituto Superior Técnico, Jun 2012 . [bibTeX]

Miguel Cortez Mateus, VFC para Ambientes de Desenvolvimento em Equipa, MSc Thesis, Instituto Superior Técnico, Jun 2012 . [bibTeX]

Manuel Eduardo Cajada, VFC-RTS: Vector-Field Consistency para Real-Time-Strategy Multiplayer Games, MSc Thesis, IST, Jun 2012 . [bibTeX]

Munshi Asadullah, A Framework for Structural Ambiguity Resolution for Portuguese, MSc Thesis, University of Algarve and University of Wolverhampton, May 2012 . [bibTeX]

Miguel Lopes Jerónimo, AffectiveWall - An intermedia instrument for affective generation of music and paintings through body-language expressivity, MSc Thesis, , May 2012 . [bibTeX]

Tiago lopes, Clientes e-voting confiáveis, MSc Thesis, , May 2012 . [bibTeX]

Inês Sampaio, Fault Tolerant Control of a Water Delivery Canal, MSc Thesis, Instituto Superior Técnico, May 2012 . [bibTeX]

Paulo Alexandre Cristóvão Santa Rosa Pereira, FilterAdapt-Filtros adaptativos de coeficientes variaveis, MSc Thesis, IST, Technical University of Lisbon, May 2012 . [bibTeX]

Diogo Rafael Bento Carvalho, Formula Student Racing Championship: design and implementation of an automatic localization and trajectory tracking system, MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, May 2012 . [bibTeX]

Nelson Filipe Amorim Gonçalves, Gazetteer Record Linkage, MSc Thesis, Instituto Superior Técnico, May 2012 . [bibTeX]

Faustino Dabraio da Silva, Increasing the Scalability of a Software Transactional Memory System, MSc Thesis, Instituto Superior Técnico, Technical University of Lisbon, May 2012 . [bibTeX]

Henrique Daniel Santarém Reis, LIE TO ME - Agentes que mentem, MSc Thesis, , May 2012 . [bibTeX]

Diogo Miguel Bárbara Prista Caetano, Microelectronics Circuits for Neuronal Sensing and Stimulation, MSc Thesis, , May 2012 . [bibTeX]

Paulo Sousa Paiva, Multimedia terminal for digital television , MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, May 2012 . [bibTeX]

Rui Miguel Lopes Santos, Multiprotocol Gateway for Wireless Sensor Networks, MSc Thesis, IST/UTL, May 2012 . [bibTeX]

Gustavo Paramos Merino Faria Encarnação, Parallelization of DNA Alignment Alghorithms using GPUs, MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, May 2012 . [bibTeX]

Justimiano Andrade Alves, Protocolo de Encaminhamento - Route Alternating Multipath AODV (RAM-AODV), MSc Thesis, Instituto Superior Técnico, May 2012 . [bibTeX]

Adriano Conde de Jesus Palma, Protocolo de Encaminhamento Multicast para Redes Veiculares Tolerantes a Atrasos, MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, May 2012 . [bibTeX]

Hugo Alexandre da Silva Pires, Sistema de distribuição de conteúdos para Digital Signage, MSc Thesis, , May 2012 . [bibTeX]

Joana Filipa Gouveia de Almeida, Stories, Agents and Videotapes: Agents that make up stories , MSc Thesis, , May 2012 . [bibTeX]

Pedro Paulo Correia de Magalhães, System-Level SimulationFramework for Heterogeneous Multi-Core Processing Structures , MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, May 2012 . [bibTeX]

Emanuel Frederico Barreiros Castro da Silva, Video-conference system based on open-source software, MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, May 2012 . [bibTeX]

André Brioso, Virus Resistant e-Voting, MSc Thesis, Instituto Superior Técnico, May 2012 . [bibTeX]

Micael Carreira, NoiseMapper, MSc Thesis, , Apr 2012 . [bibTeX]

Steve Santos Morais, Concretização dos Objectivos componentes do Mapa de Estratégia e relação com os Objectivos de Gestão de uma Organização, MSc Thesis, Academia da Força Aérea, Mar 2012 . [bibTeX]

Nelson Ferreira, Construção de Simuladores como Elemento Fundamental de Self-Awareness Organizacional, MSc Thesis, Academia da Força Aérea, Mar 2012 . [bibTeX]

Diogo Filipe Lourenço Jorge, Custo da Hora de Voo no Contexto Global da Força Aérea, MSc Thesis, Academia da Força Aérea, Mar 2012 . [bibTeX]

Marco António Gonçalves Moreira, Desenvolvimento de um ìndice de Eficácia de um Subsistema Organizacional como instrumento de cockpit organizacional, MSc Thesis, Academia de Força Aérea, Mar 2012 . [bibTeX]

Rui André Góis Sancho, Modelo do Ciclo de Planeamento Estratégico da Organização: Definição, Conceitos, Instrumentos e Método, MSc Thesis, Academia da Força Aérea, Mar 2012 . [bibTeX]

Sérgio Pinto da SIlva, Regime de Esforço. Aplicação do Modelo EX-ANTE e EX-POST ao Módulo de Gestão Operacional, MSc Thesis, Academia da Força Aérea, Mar 2012 . [bibTeX]

Maria Teresa Game, Fun Rehab - Can Rehabilitation Be Fun?, MSc Thesis, Instituto Superior Tecnico, Feb 2012 . [bibTeX]

Eugénio Filipe Nogueira Costa, Aceleração por Hardware de Cálculos Matriciais para Aplicações de Comunicação Sem Fios, MSc Thesis, IST, Jan 2012 . [bibTeX]

Carla Patrícia Freitas Sousa, Epidemic Marketplace: Repositório e Web Services , MSc Thesis, Master Thesis, University of Lisbon, Faculty of Sciences, Jan 2012 . [bibTeX]

Graduation Theses

Zhongmiao Li, Data Placement for Transactional Systems, Graduation Thesis, , Sep 2012 . [bibTeX]