Filter Results by Year:

Technical Reports

  • Nuno Miguel Antunes Freire and Valentine Charles and Antoine Isaac, Evaluation of Schema.org for Aggregation of Cultural Heritage Metadata, INESC-ID Tec. Rep. 1/2018, Jan 2018.
    [bibTeX]

  • Ana Sara Silva Rodrigues da Costa and José Rui Figueira and José Borbinha, A Multiple Criteria Nominal Classification Method Based on the Concepts of Similarity and Dissimilarity, INESC-ID Tec. Rep. 7/2017, Aug 2017.
    [bibTeX]

  • Miguel E. Coimbra and A. P. Francisco and Luís Veiga, Gelly-Scheduling: Distributed Graph Processing for Network Service Placement, INESC-ID Tec. Rep. 4/2017, Feb 2017.
    [bibTeX]

  • Ana Sara Silva Rodrigues da Costa and José Borbinha and José Rui Figueira, A Multiple Criteria Nominal Classification Method Based on the Concepts of Similarity and Dissimilarity, INESC-ID Tec. Rep. 1/2017, Jan 2017.
    [bibTeX]

  • Miguel E. Coimbra and A. P. Francisco and Luís Veiga, Joint Map-Match Modeling of GPS Traces, INESC-ID Tec. Rep. 13/2016, Dec 2016.
    [bibTeX]

  • Miguel E. Coimbra and A. P. Francisco and Luís Veiga, Scalability of Graph Clustering Methods with Distributed Systems, INESC-ID Tec. Rep. 14/2016, Dec 2016.
    [bibTeX]

  • Miguel Carvalho Valente Esaguy Coimbra and A. P. Francisco and Luís Veiga, Study on Resource Efficiency of Distributed Graph Processing, INESC-ID Tec. Rep. 17/2016, Dec 2016.
    [bibTeX]

  • Valéria Magalhães Pequeno and Helena Galhardas, A Taxonomy of Data Quality Problems for the Semantic Web, INESC-ID Tec. Rep. 6/2016, Oct 2016.
    [bibTeX]

  • Sérgio Esteves and Helena Galhardas and Luís Veiga, Smart Scheduling of Continuous Data-Intensive Workflows with Machine Learning Triggered Execution, INESC-ID Tec. Rep. 9/2016, Oct 2016.
    [bibTeX]

  • Valéria Magalhães Pequeno and Vânia Maria Ponte Vidal and Tiago Vinuto, Towards Automatic Generation of R2R Mappings, INESC-ID Tec. Rep. 7/2016, Oct 2016.
    [bibTeX]

  • Bruno Filipe Silva de Oliveira and Francisco Maria Galamba Ferrari Calisto and Lilian Cristina Gonçalves Gomes and José Borbinha, Adaptive Q-Sort Matrix Generation: A Simplified Approach, INESC-ID Tec. Rep. 16/2015, Nov 2015.
    [bibTeX]

  • Jorge Goulart and Pedro Manuel Galvão da Silva and Alberto Vale and Helena Galhardas, Levantamento de Requisitos do Sistema de Gestão de Informação, INESC-ID Tec. Rep. 15/2015, Oct 2015.
    [bibTeX]

  • João Pedro Lebre Magalhães Pereira and Helena Galhardas and Bruno Martins, A Benchmark for Relation Extraction Kernels, INESC-ID Tec. Rep. 10/2015, Apr 2015.
    [bibTeX]

  • Ricardo Figueiredo and Victor Carocha and Susana Pera and Jorge Paiva and Ana T. Freitas, In vivo validation of miRNAs regulatory networks predicted by in silico approaches and supported by transcriptional data, INESC-ID Tec. Rep. 5/2015, Feb 2015.
    [bibTeX]

  • Ricardo Figueiredo and Jorge dos Santos Oliveira and Nuno D. Mendes and Ana T. Freitas, Identification of regulatory networks from the prediction of miRNAs and their targets, INESC-ID Tec. Rep. 4/2015, Jan 2015.
    [bibTeX]

  • Andreia Teixeira and Vanda Sofia Torres Ribeiro and Pedro T. Monteiro and João Carriço and Mário Ramirez and A. P. Francisco, Large scale simulation of bacterial population evolution over host contact networks, INESC-ID Tec. Rep. 17/2014, Jun 2014.
    [bibTeX]

  • Pablo Barrio and Gonçalo Fernandes Simões and Helena Galhardas and Luis Gravano, REEL: A Relation Extraction Learning Framework, INESC-ID Tec. Rep. 15/2014, Jun 2014.
    [bibTeX]

  • Pedro T. Monteiro and A. P. Francisco and Mário Ramirez and João Carriço, Topological representation of the within-species evolutionary structure of bacterial populations: the SLV graph, INESC-ID Tec. Rep. 16/2014, Jun 2014.
    [bibTeX]

  • Filipe Ferreira and Miguel Carvalho Valente Esaguy Coimbra and Raquel Bairrão and Ricardo Vieira and Ana T. Freitas and Luís M. S. Russo and José Borbinha, A RISK MANAGEMENT PLAN IN METAGENOMICS, INESC-ID Tec. Rep. 27/2013, Oct 2013.
    [bibTeX]

  • Valéria Magalhães Pequeno and Helena Galhardas and João Moura Pires, Specifying Complex Correspondences between Relational Schemas in a Data Integration Environment, INESC-ID Tec. Rep. 25/2013, Oct 2013.
    [bibTeX]

  • Manuel Reis and Nuno D. Mendes, Extending the CRAVELA database and web interface, INESC-ID Tec. Rep. 23/2013, Sep 2013.
    [bibTeX]

  • Ana Isabel Ladeira Portelo and J. M. Lemos, Human Interaction Between Pairs of Pedestrians, INESC-ID Tec. Rep. 13/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]

  • 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]

  • 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]

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

  • Paulo G. S. da Fonseca and Jorge A. P. Paiva and Luiz G.P. Almeida and Ana T. R. Vasconcelos and Ana T. Freitas, Empirical assessment of sequencing errors for high throughput pyrosequencing data, INESC-ID Tec. Rep. 46/2011, Nov 2011.
    [bibTeX]

  • Gonçalo Antunes and José Barateiro and Christoph Becker and José Borbinha and Diogo Proença and Ricardo Vieira, SHAMAN Reference Architecture, INESC-ID Tec. Rep. 57/2011, Nov 2011.
    [bibTeX]

  • Francisco Fernandes and Ana T. Freitas, Computational Methods for DNA Resequencing: A Survey, INESC-ID Tec. Rep. 11/2011, Mar 2011.
    [bibTeX]

  • Joana Coelho and Ana T. Freitas, Identification of significant associations between biocide use and antibiotic resistance: the Staphylococcus aureus dataset, INESC-ID Tec. Rep. 10/2011, Mar 2011.
    [bibTeX]

  • Orlando Anunciação, Methods for the Detection of Multilocus Interactions, INESC-ID Tec. Rep. 4/2011, Feb 2011.
    [bibTeX]

  • Karl Thomaseth and Susana Vinga and J. M. Lemos and Ana Rute Neves and Helena Santos, Identification of Generalized Mass Action models of metabolic networks from NMR data: a case study on Lactococcus lactis, INESC-ID Tec. Rep. 3/2011, Jan 2011.
    [bibTeX]

  • A. P. Francisco and Ricardo Baeza-Yates and Arlindo L. Oliveira, Mining query logs induced graphs, INESC-ID Tec. Rep. 36/2010, Aug 2010.
    [bibTeX]

  • Helena Galhardas and Antónia Lopes and Emanuel Santos, Explicitly Involving the User in a Data Cleaning Process, INESC-ID Tec. Rep. 48/2010, Jul 2010.
    [bibTeX]

  • Ricardo Rubén dos Santos Aires, Visual Analysis of Regulaqtory Networks, INESC-ID Tec. Rep. 34/2010, Jul 2010.
    [bibTeX]

  • Sara Silva and Stephen Dignum and Leonardo Vanneschi, Bloat: Past, Present, Future, INESC-ID Tec. Rep. 25/2010, Apr 2010.
    [bibTeX]

  • Nuno Tenazinha and Albert Sorribas and Susana Vinga, Model identification from dynamic data: coping with saturation and cooperativity in metabolic networks, INESC-ID Tec. Rep. 22/2010, Apr 2010.
    [bibTeX]

  • Pedro T. Monteiro and Ana T. Freitas, Characterization and modeling of a specific transcriptional regulatory network required for multidrug resistance in yeast, INESC-ID Tec. Rep. 30/2010, Jun 2010.
    [bibTeX]

  • Pedro T. Monteiro and Paulo J. Dias and Delphine Ropers and Arlindo L. Oliveira and Isabel Sá-Correia and Miguel C. Teixeira and Ana T. Freitas, Qualitative modeling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae, INESC-ID Tec. Rep. 33/2010, Jun 2010.
    [bibTeX]

  • Francisco Albuquerque de Castro and Helena Galhardas and João Damásio, A data quality audit methodology, INESC-ID Tec. Rep. 67/2009, Dec 2009.
    [bibTeX]

  • João Carlos Serrenho Dias Pereira and Helena Galhardas and Andreas Wichert, An efficient matching solution for publish and subscribe systems, INESC-ID Tec. Rep. 66/2009, Dec 2009.
    [bibTeX]

  • Dulce Calçada and Susana Vinga and Arlindo L. Oliveira, Modeling the Sacharomyces cerevisiae FLR1 regulatory network using an S-System formalism, INESC-ID Tec. Rep. 68/2009, Dec 2009.
    [bibTeX]

  • Joana P. Gonçalves, Extraction of structured motifs using sequence alignment and biclustering, INESC-ID Tec. Rep. 47/2009, Sep 2009.
    [bibTeX]

  • Angela Pisco, Simultaneous Estimation of States and Parameters in Metabolic Networks – from Filtering Techniques to Systems Biology, INESC-ID Tec. Rep. 48/2009, Sep 2009.
    [bibTeX]

  • Gonçalo Fernandes Simões and Helena Galhardas and Luísa Coheur, Information extraction tasks: a survey, INESC-ID Tec. Rep. 37/2009, Jul 2009.
    [bibTeX]

  • Nuno Tenazinha and Susana Vinga, Parameter estimation in S-System and GMA models: an overview, INESC-ID Tec. Rep. 31/2009, May 2009.
    [bibTeX]

  • Alexandra M. Carvalho, Scoring functions for learning Bayesian networks, INESC-ID Tec. Rep. 54/2009, Apr 2009.
    [bibTeX]

  • Joana P. Gonçalves and Sara C. Madeira and Arlindo L. Oliveira, BiGGEsTS: integrated environment for biclustering analysis of time series gene expression data, INESC-ID Tec. Rep. 23/2009, Mar 2009.
    [bibTeX]

  • João Leitão and João Marques and Jose Pereira and Luis Rodrigues, X-BOT: A Protocol for Resilient Optimization of Unstructured Overlays, INESC-ID Tec. Rep. 11/2009, Jan 2009.
    [bibTeX]

  • Alexandre Domingues and J. M. Lemos and Susana Vinga, Optimization strategies for metabolic networks, INESC-ID Tec. Rep. 58/2008, Dec 2008.
    [bibTeX]

  • Orlando Anunciação, Assessment of interpretable classifiers for discrimination of AFLP bands related to infection by Staphylococcus aureus, INESC-ID Tec. Rep. 54/2008, Sep 2008.
    [bibTeX]

  • António Manuel de Carvalho Alegria and André Ferreira Ferrão Couto e Vasconcelos, CEO Framework – Netfacts Mapping and Verification Rules, INESC-ID Tec. Rep. 63/2008, Mar 2008.
    [bibTeX]

  • António Manuel de Carvalho Alegria and André Ferreira Ferrão Couto e Vasconcelos, CEO Framework – Technology Architecture Extensions, INESC-ID Tec. Rep. 62/2008, Feb 2008.
    [bibTeX]

  • Wolfgang Beyer and Susana Vinga, Combining Autosmooth and Alternating Regression for the Estimation of S-System Parameters, INESC-ID Tec. Rep. 29/2008, Jan 2008.
    [bibTeX]

  • António Manuel de Carvalho Alegria and André Ferreira Ferrão Couto e Vasconcelos, Netfacts Model Specification, INESC-ID Tec. Rep. 61/2008, Jan 2008.
    [bibTeX]

  • Francisco Jorge Dias Oliveira Fernandes and Susana Vinga and Ana T. Freitas, Detection of conserved regions in genomes using entropic profiles, INESC-ID Tec. Rep. 33/2007, Dec 2007.
    [bibTeX]

  • Miguel Bugalho and Arlindo L. Oliveira, Impact of side chain positioning on the accuracy of discrete models, INESC-ID Tec. Rep. 27/2007, Nov 2007.
    [bibTeX]

  • Miguel Bugalho and Arlindo L. Oliveira, An efficient clash detection method for molecular structures, INESC-ID Tec. Rep. 21/2007, Aug 2007.
    [bibTeX]

  • A. P. Francisco and Ana T. Freitas and Arlindo L. Oliveira, Finding motif communities, INESC-ID Tec. Rep. 15/2007, Jun 2007.
    [bibTeX]

  • Sara C. Madeira and Miguel C. Teixeira and Isabel Sá-Correia and Arlindo L. Oliveira, Identification of Regulatory Modules in Time Series Gene Expression Data using a Linear Time Biclustering Algorithm, INESC-ID Tec. Rep. 25/2007, Oct 2007.
    [bibTeX]

  • Sara C. Madeira and Joana P. Gonçalves and Arlindo L. Oliveira, Efficient Biclustering Algorithms for identifying transcriptional regulation relationships using time series gene expression data, INESC-ID Tec. Rep. 22/2007, Jul 2007.
    [bibTeX]

  • Cátia Vaz and C. Ferreira, Formal Verification of Workflow Patterns, INESC-ID Tec. Rep. 12/2007, Apr 2007.
    [bibTeX]

  • Artur Lourenço and Mário Silva and Ana T. Freitas, A new methodology for the analysis and validation of clusters and biclusters of genes, INESC-ID Tec. Rep. 6/2007, Feb 2007.
    [bibTeX]

  • Paulo Jorge Fernandes Carreira and Helena Galhardas and João Carlos Serrenho Dias Pereira and Fernando Manuel Pires Martins and Mário J. Gaspar da Silva, Performance Analysis of One-to-Many Data Transformations, INESC-ID Tec. Rep. 1/2007, Jan 2007.
    [bibTeX]

  • Sara C. Madeira and Arlindo L. Oliveira, An Overview on Mixture and Hidden Markov Models of Gene Expression in Time Series, INESC-ID Tec. Rep. 41/2006, Dec 2006.
    [bibTeX]

  • Marielba Silva Zacarias and Rodrigo Magalhães and Artur Caetano and H. Sofia Pinto and José Manuel Nunes Salvador Tribolet, A Complex, Adaptive Enterprise Architecture Framework, INESC-ID Tec. Rep. 37/2006, Oct 2006.
    [bibTeX]

  • Christian Sá Nogueira and Carlos Filipe Almeida de Oliveira and Arlindo L. Oliveira and Ana T. Freitas, Algoritmos para a inferência de Redes de Regulação de Genes, INESC-ID Tec. Rep. 18/2006, Jul 2006.
    [bibTeX]

  • José Miguel Ranhada Vellez Caldas and Ana T. Freitas and Arlindo L. Oliveira, Analysis of the dynamic behavior of gene regulatory networks, INESC-ID Tec. Rep. 15/2006, Jul 2006.
    [bibTeX]

  • Joao Marques Silva and Inês Lynce and Ana Sofia Graça and Arlindo L. Oliveira, Efficient and tight upper bounds for haplotype inference, INESC-ID Tec. Rep. 16/2006, Jul 2006.
    [bibTeX]

  • Ana Cardoso-Cachopo and Arlindo L. Oliveira, Empirical Evaluation of Centroid based Models for Single Label Text Categorization, INESC-ID Tec. Rep. 7/2006, Jun 2006.
    [bibTeX]

  • Joao Marques Silva and Inês Lynce and Arlindo L. Oliveira, Improved Lower Bounds for SAT-Based Haplotype Inference, INESC-ID Tec. Rep. 17/2006, Jun 2006.
    [bibTeX]

  • Luís M. S. Russo and Arlindo L. Oliveira, A Compressed Self-Index using a Ziv-Lempel Dictionary, INESC-ID Tec. Rep. 6/2006, Mar 2006.
    [bibTeX]

  • Inês Lynce and Joao Marques Silva and Arlindo L. Oliveira, Assessing the efficacy of haplotype inference by pure parsimony on biological data, INESC-ID Tec. Rep. 12/2006, Mar 2006.
    [bibTeX]

  • Sara C. Madeira and Arlindo L. Oliveira, An Evaluation of Discretization Methods for Non-Supervised Analysis
    of Time-Series Gene Expression Data
    , INESC-ID Tec. Rep. 42/2005, Dec 2005.
    [bibTeX]

  • Marielba Zacarias and H. Sofia Pinto and José Manuel Nunes Salvador Tribolet, Notion, theories and models of Context: Engineering, Cognitive and Social Perspectives, INESC-ID Tec. Rep. 41/2005, Nov 2005.
    [bibTeX]

  • Sara C. Madeira and Arlindo L. Oliveira, A Linear Time Biclustering Algorithm for Time Series Gene Expression Data, INESC-ID Tec. Rep. 4/2005, Mar 2005.
    [bibTeX]

  • Paulo Carreira and Antónia Lopes and Helena Galhardas and João Carlos Serrenho Dias Pereira, Extending the Relational Algebra with the Mapper Operator, INESC-ID Tec. Rep. 1/2005, Jan 2005.
    [bibTeX]

  • Marielba Silva Zacarias and Artur Caetano and H. Sofia Pinto and José Manuel Nunes Salvador Tribolet, Modeling Organizations: The Operating Systems metaphor, INESC-ID Tec. Rep. 5/2005, Jan 2005.
    [bibTeX]

  • Nuno D. Mendes and David Nunes, Geração de código IUPAC, INESC-ID Tec. Rep. 16/2004, Jul 2004.
    [bibTeX]

  • Sara C. Madeira and Arlindo L. Oliveira, Biclustering Algorithms for Biological Data Analysis: A Survey, INESC-ID Tec. Rep. 1/2004, Jan 2004.
    [bibTeX]

  • Alexandra M. Carvalho and Ana T. Freitas and Arlindo L. Oliveira and Marie-France Sagot, A parallel algorithm for the extraction of structured motifs, INESC-ID Tec. Rep. 49/2003, Dec 2003.
    [bibTeX]

  • João Luis de Matos and Alberto Rodrigues da Silva and Ricardo Sousa and Carlos Videira, Documento de Especificação de Requisitos Técnicos do “SIG-C-GÁS” (GDP-Distribuição – ICIST/INESC-ID), INESC-ID Tec. Rep. 66/2003, Nov 2003.
    [bibTeX]

  • João Luis de Matos and Alberto Rodrigues da Silva and Lizete Epifâneo and Maria Grade, SIGA-D2: Documento de Estratégia de Implementação do Sistema SIGA (EDIA, S.A.), INESC-ID Tec. Rep. 64/2003, Nov 2003.
    [bibTeX]

  • João Luis de Matos and Alberto Rodrigues da Silva and Lizete Epifâneo and Maria Grade, SIGA-D3: Documento de Especificação de Requisitos do Sistema SIGA (EDIA, S.A.), INESC-ID Tec. Rep. 65/2003, Nov 2003.
    [bibTeX]

  • João Pedro Guerreiro da Graça Patriarca and Alberto Rodrigues da Silva and Paulo Ferreira and João Pedro Maurício Clemente, PUC (Personal Unified Communication): Parte I – Especificação e Desenvolvimento do Serviço myComs, INESC-ID Tec. Rep. 43/2003, Oct 2003.
    [bibTeX]

  • João Pedro Maurício Clemente and Paulo Ferreira and Alberto Rodrigues da Silva and João Pedro Guerreiro da Graça Patriarca, PUC (Personal Unified Communication): Parte II – Análise e Avaliação de Requisitos não Funcionais., INESC-ID Tec. Rep. 42/2003, Oct 2003.
    [bibTeX]

  • Alberto Rodrigues da Silva and Paulo Ferreira and João Pedro Guerreiro da Graça Patriarca and João Pedro Maurício Clemente, PUC (Personal Unified Communication): Sumário Executivo, INESC-ID Tec. Rep. 44/2003, Oct 2003.
    [bibTeX]

  • Alexandra M. Carvalho, Primes in P: en exposition of the AKS algorithm, INESC-ID Tec. Rep. 1/2003, Mar 2003.
    [bibTeX]

  • João Luis de Matos and Alberto Rodrigues da Silva and Lizete Epifâneo and Maria Grade, SIGA-D1: Documento de Enquadramento e Diagnóstico (EDIA, S.A.), INESC-ID Tec. Rep. 63/2003, Jan 2003.
    [bibTeX]

  • Alberto Rodrigues da Silva and João Pedro Guerreiro da Graça Patriarca, PUC I – Especificação e Desenvolvimento, INESC-ID Tec. Rep. 4/2002, Jul 2002.
    [bibTeX]

  • Nuno Fernandes and Serafim Rodrigues and Alberto Rodrigues da Silva, WebStatEducação – Especificação da Linguagem QDR, Projecto IST/DAPP-WebStatEdu, versão 1.7, INESC-ID Tec. Rep. 6/2002, Jul 2002.
    [bibTeX]

  • Nuno Fernandes and Serafim Rodrigues and Alberto Rodrigues da Silva, WebStatEducação – Manual de Utilização do FormMaker, Projecto IST/DAPP-WebStatEdu – versão 1.0, INESC-ID Tec. Rep. 8/2002, Jul 2002.
    [bibTeX]

  • Alberto Rodrigues da Silva and Helena Galhardas and Eliane Portela, gestBarragens: Sistema Integrado de Gestão da Informação para o Controlo de Segurança de Barragens, INESC-ID Tec. Rep. 5/2002, Feb 2002.
    [bibTeX]

  • Serafim Rodrigues and Nuno Fernandes and Alberto Rodrigues da Silva, WebStatEducação – Arquitectura Tecnológica das Aplicações Web REA (Recenseamento Escolar Anual) e EEE (Estabelecimentos, INESC-ID Tec. Rep. 7/2002, Jul 2002.
    [bibTeX]

  • Paulo Ferreira and João Coelho Garcia and Rodrigo Rodrigues and Artur Caetano, Transactional Support in PerDiS, INESC-ID Tec. Rep. 1/1999, Sep 1999.
    [bibTeX]

  • David Martins de Matos and Alberto Rodrigues da Silva and Elsa Alexandra Cabral da Rocha Cardoso, Avaliação de Métodos, Técnicas e Ferramentas de Modelação, INESC-ID Tec. Rep. 2/1997, Nov 1997.
    [bibTeX]

  • David Martins de Matos and Elsa Alexandra Cabral da Rocha Cardoso and Alberto Rodrigues da Silva, Modelo de Avaliação de Ferramentas de Modelação, INESC-ID Tec. Rep. 1/1997, Jul 1997.
    [bibTeX]

  • Paulo Ferreira and Manuel Sequeira and André Ventura da Cruz Marnôto Zúquete and David Martins de Matos and Cristina Lopes and Pedro Manuel Moreira Vaz Antunes de Sousa, IK 1.0 EC++ Users, INESC-ID Tec. Rep. 4/1991, Jul 1991.
    [bibTeX]

  • André Ventura da Cruz Marnôto Zúquete and David Martins de Matos and Paulo Ferreira and Pedro Manuel Moreira Vaz Antunes de Sousa, IK 1.0 Installation and Configuration Manual, INESC-ID Tec. Rep. 6/1991, Jul 1991.
    [bibTeX]

  • André Ventura da Cruz Marnôto Zúquete and David Martins de Matos and Paulo Ferreira and Pedro Manuel Moreira Vaz Antunes de Sousa, IK 1.0 Users Manual, INESC-ID Tec. Rep. 5/1991, Jul 1991.
    [bibTeX]