Intelectual Property

Patents

International Patents: 15

2015

- Peter Druschel and Rodrigo Rodrigues and Ansley Post and Johannes Gehrke and Anjo Lucas Vahldiek, Protecting the integrity and privacy of data with storage leases, Patent Nº 9165155, Oct. 2015 [bibTex]

2014

- José Germano and Moises Simões Piedade, Scalable and High Throughput Biosensing Platform, Patent Nº 68443, Aug. 2014, PCT/EP2014 [bibTex]
- José Silva and Hiren Canasinh and Luis MS Redondo, Modular Generator for Bipolar or Unipolar Pulses with Correction of Voltage Decay Integrated in Power Semiconductor Modules, Patent Nº 2014193254, Jun. 2014 [bibTex]

2013

- José T. de Sousa and V. Martins and A. Santos and N. Lourenco and N. Ribeiro, Reconfigurable Coprocessor Architecture Template for Nested Loops and Programming Tool, Patent Nº 5419419, Nov. 2013, Japan [bibTex]
- José T. de Sousa and N. Lourenco and N. Ribeiro and V. Martins and A. Santos, Reconfigurable Coprocessor Architecture Template for Nested Loops and Programming Tool, Patent Nº 2056211, Apr. 2013, Europe [bibTex]
- Moises Simões Piedade and José Germano and Tiago Costa and F. A. Cardoso, A Monolitic Device Combining CMOS with Magnetoresistive Sensors, Patent Nº 397, Jan. 2013, PCT/IB2013 [bibTex]

2012

- José T. de Sousa and N. Lourenco and N. Ribeiro and V. Martins and A. Santos, Re- configurable Coprocessor Architecture Template for Nested Loops and Programming Tool, Patent Nº 8276120, Sep. 2012, USA [bibTex]

2011

- José T. de Sousa and N. Lourenco and N. Ribeiro and V. Martins and R. Martins, Network core access architecture, Patent Nº 8019832, Sep. 2011, USA [bibTex]

2010

- José T. de Sousa and N. Lourenco and R. Martins and N. Ribeiro, Network core access architecture, Patent Nº 2003571, Mar. 2010, Europe [bibTex]

2009

- José T. de Sousa and N. Lourenco and N. Ribeiro and V. Martins and A. Santos, Reconfigurable Coprocessor Architecture Template for Nested Loops and Programming Tool, Patent Nº 2147483647, May. 2009, Korea [bibTex]

2003

- João M. P. Cardoso and Markus Weinhardt and Martin Vorbach, Method of Compilation, Patent Nº 3071418, Aug. 2003, WO [bibTex]

2002

- José T. de Sousa and Miron Abramovici, A Virtual Logic Algorithm for Solving Satisfiability Problems using Reconfigurable Hardware, Patent Nº 6442732, to appear on 2002, U.S. Patent [bibTex]
- Frank May and Armin Nueckel and Martin Vorbach and Markus Weinhardt and João M. P. Cardoso, Data Processing Method, Patent Nº 2103532, Dec. 2002, WO [bibTex]

2001

- José T. de Sousa and Miron Abramovici and Daniel Saab, A Massively-Parallel Easily-Scalable Satisfiability Solver Using Reconfigurable Hardware, Patent Nº 6292916, to appear on 2001, U.S. Patent [bibTex]

National Patents: 27

2016

- José Germano and Filipe Cardoso, Temperature Control Method, Patent Nº 109494, Jun. 2016, Provisional Patent Application, Portugal [bibTex]

2015

- Jânio Monteiro and Jorge Eduardo and Pedro J.S. Cardoso and Jorge Filipe Leal Costa Semião, MECANISMO DISTRIBUÍDO DE ESCALONAMENTO DE CARGAS ELÉTRICAS PARA MICRO-REDES, Patent Nº 2147483647, Oct. 2015, University of Algarve, Portugal [bibTex]

2014

- José Silva and Hiren Canasinh and Luis Redondo, Gerador Modular de Impulsos Bipolares ou Unipolares com Correção do Decaimento da Tensão Integrada em Módulos de Semicondutores de Potência, Patent Nº 106971, Nov. 2014 [bibTex]

2012

- Victor Pires and José Silva, Conversor de Múltiplos Níveis de Tensão para Circuitos Polifásicos, Patent Nº 105415, Dec. 2012, https://pt.espacenet.com/publicationDetails/originalDocument?FT=D&date=20121210&DB=&locale=pt_PT&CC=PT&NR=105415B&KC=B&ND=4 [bibTex]
- Victor Pires and J. Fernando Silva, Conversor de Múltiplos Níveis de Tensão para Circuitos Polifásicos, Patent Nº 105415, Jun. 2012 [bibTex]

2010

- Moises Simões Piedade and Sara Cristina Vicente Catalão and Jorge Manuel dos Santos Ribeiro Fernandes and Rodrigo Piedade and Tiago Costa, Método do Controlo da Queda de Tensão ou da Resistência de Interruptores Electrónicos, Patent Nº 2147483647, Nov. 2010, Patente de Invenção Nacional INPI [bibTex]
- Jorge Manuel dos Santos Ribeiro Fernandes and Cristiano Lazzari and Paulo Flores and J. Monteiro, Tabela Multi-Valor para Dispositivos Lógicos Programáveis, Patent Nº 2147483647, Sep. 2010, Pedido Provisório de Patente - INPI [bibTex]
- João Barros and Fernando Silva, Sincronizador Óptimo Predictivo de Quadratura de Fase, Patent Nº 104141, Jan. 2010 [bibTex]

2009

- João Miranda and João Paulo da Silva Neto, Método de compressão da composição de um léxico com um modelo de língua, Patent Nº 104252, Oct. 2009 [bibTex]
- José Silva and Hiren Canasinh and Luis Redondo, Modulador de Impulsos Genérico de Alta Tensão, Patent Nº 104081, May. 2009, https://pt.espacenet.com/publicationDetails/originalDocument?FT=D&date=20090522&DB=&locale=pt_PT&CC=PT&NR=104081B&KC=B&ND=4 [bibTex]
- João Barros and José Silva, Sincronizador Óptimo Predictivo de Quadratura de Fase, Patent Nº 104141, Mar. 2009, https://pt.espacenet.com/publicationDetails/originalDocument?FT=D&date=20100128&DB=&locale=pt_PT&CC=PT&NR=104141B&KC=B&ND=4 [bibTex]

2008

- Telmo Santos and Pedro Vilaça and Moises Simões Piedade, Método de Ensaio não Destrutivo Baseado em Variante de Sonda de Corrente Induzida, Patent Nº 104089, Jun. 2008 [bibTex]

2007

- José Silva and Victor Pires and Victor Manuel Esteves Antunes, Amplificador de Potência Áudio Integralmente Digital, com Fontes em Progressão Geométrica Fraccionária, Três Níveis de Saída por Fonte e Alargamento de Impulsos Estreitos, Patent Nº 103651, Sep. 2007, https://pt.espacenet.com/publicationDetails/originalDocument?FT=D&date=20070924&DB=&locale=pt_PT&CC=PT&NR=103651B&KC=B&ND=4 [bibTex]

2006

- Joao Marques Silva and Arlindo L. Oliveira and Inês Lynce, Método e Sistema para a Inferência de Haplotipos por Parcimónia Pura usando Satisfação Proposicional, Patent Nº 103434, Dec. 2006, Portugal [bibTex]
- André Viegas Serpa dos Santos and Luis Filipe Garcia Figueiredo and Teresa Maria Sá Ferreira Vazão Vasques, Sistema Inteligente de Telecomunicações IP para Ambientes Residenciais e/ou Hoteleiros, Patent Nº 103607, Nov. 2006 [bibTex]
- Jânio Monteiro and Mário Serafim Nunes and André Estevens Marquet, Método Objectivo de Estimação da Qualidade Subjectiva de Vídeo Comprimido, Patent Nº 103589, Oct. 2006, INPI [bibTex]
- Pedro Estrela and Teresa Maria Sá Ferreira Vazão Vasques and Mário Serafim Nunes, Método para proporcionar micro e macro mobilidade a nós sem essa capacidade, usando mecanismos de substituição e redes sobrepostas a redes IP heterogéneas com qualquer topologia., Patent Nº 103405, Jul. 2006, INPI [bibTex]

2005

- José Silva and Elmano Margato and Luis Redondo and Pedro Tavares, Gerador de impulsos de alta tensão e alta frequência, usando unicamente dispositivos semicondutores de potência nas malhas de carga dos condensadores e capaz da desmagnetização de transformador de impulsos, Patent Nº 103150, Sep. 2005, https://pt.espacenet.com/publicationDetails/biblio?II=13&ND=3&adjacent=true&locale=pt_PT&FT=D&date=20050930&CC=PT&NR=103150A&KC=A [bibTex]

2004

- Sónia Pinto and José Silva, Comando e controlo vectorial directo generalizado de conversores matriciais, Patent Nº 102984, Dec. 2004, https://pt.espacenet.com/publicationDetails/inpadoc?CC=PT&NR=102984A&KC=A&FT=D&ND=3&date=20041231&DB=&locale=pt_PT [bibTex]

2003

- Mário Serafim Nunes, Transmissão de Pacotes Ponto-a-Ponto com Garantia de Qualidade de Serviço, Patent Nº 102737, Nov. 2003, Publicação da concessão: Boletim de Propriedade In [bibTex]
- Mário Serafim Nunes, Sistema Integrado de Comunicação com Garantia de Qualidade de Serviço, Patent Nº 102802, Mar. 2003, Publicação de resumo no Boletim de Propriedade Ind [bibTex]

2002

- Mário Serafim Nunes, Comutação de Tramas com Garantia de Qualidade de Serviço, Patent Nº 102762, Apr. 2002 [bibTex]
- Mário Serafim Nunes, Comutação de Tramas com Garantia de Qualidade de Serviço, Patent Nº 102762, Apr. 2002, Publicação de resumo no Boletim de Propriedade Ind [bibTex]

2001

- Mário Serafim Nunes, Comunicação de Dados em Modo Trama com Serviços Diferenciados, Patent Nº 102604, May. 2001, Publicação de resumo no Boletim de Propriedade Ind [bibTex]

Prototypes

Industrial Prototypes: 5

2014

- António Rito Silva and Luís Lucas Pereira and André Filipe Braz dos Santos, Social Edition - A Collaborative Archive for LdoD, A collaborative archive for LdoD, Dec. 2014 [bibTex]

2012

- José Germano and João Nuno Andrade Ribeiro and Leonel Sousa and Moises Simões Piedade, Intelligence to drive telemetry device, Telemetry device for collecting and transmitting data from a vehicle , Oct. 2012 [bibTex]

2003

2000

- Alexandre Sousa and António Muchaxo and Nuno Pereira and Helena Sarmento, Estação de base DECT com interface RDIS, Pootótipo pré-industrial completo incluindo homologação DECT e RDIS, Dec. 2000 [bibTex]
- António Muchaxo and Nuno Pereira and Helena Sarmento and Alexandre Sousa, PC-Card para DECT, Protótipo pré-industrial incluído no demonstardor DECT da PT, Dec. 2000 [bibTex]

Laboratory Prototypes: 31

2016

- Miguel Costa and Nuno Duarte and Nuno Santos, TrUbi - Restricted Operations for Android, Laboratory prototype, Dec. 2016 [bibTex]
- Tiago Luis de Oliveira Brito and Nuno Duarte and Nuno Santos, Darkroom - TrustZone-based Runtime for the Cloud, Laboratory protoype, Nov. 2016 [bibTex]

2015

- Nuno Santos, Termite - Emulation Testbed for Encounter Networks, Software in use at the Mobile Computing course (DEI), Mar. 2015 [bibTex]

2014

- José Germano and Diogo Miguel Coroas Prista Caetano and Moises Simões Piedade, HT BioPLT - Chip 2, Integrated Circuit, Oct. 2014 [bibTex]
- José Germano and João Ricardo Aguiar da Graça and Moises Simões Piedade, HT BioPLT - Multi-Channel Biochip Platform, Prototype system, Oct. 2014 [bibTex]
- José Germano and João Ricardo Aguiar da Graça and Moises Simões Piedade, HT BioPLT - Single Channel Biochip Platform, Prototype system, May. 2014 [bibTex]
- Tiago Costa and Moises Simões Piedade and José Germano, HT BioPLT - Chip 1, Integrated Circuit, Apr. 2014 [bibTex]

2013

- Nuno Santos, WDSim, Software prototype, Apr. 2013 [bibTex]
- João Ricardo Aguiar da Graça and José Germano and Moises Simões Piedade, Advanced biochip platform, Fully functional prototype, Mar. 2013 [bibTex]
- Nuno Santos, Trusted Language Runtime (TLR), Software prototype, Mar. 2013 [bibTex]

2011

- Nuno Santos, BroKULOS, Software prototype, Aug. 2011 [bibTex]
- Nuno Santos, Excalibur, Software prototype, Jan. 2011 [bibTex]

2009

- João Barreto, PNSTM2, Software prototype, Jul. 2009 [bibTex]
- Massimiliano Marcon and Nuno Santos, NetEx, Software prototype, Jun. 2009 [bibTex]
- José Germano and Moises Simões Piedade and Leonel Sousa, Autonomous portable electronic platform for biosensing, Portable electronic device for magnetoresistive biosensing, Mar. 2009 [bibTex]

2006

- Nuno Santos, MobileTrans, laboratory prototype, Jan. 2006 [bibTex]

2005

- José Germano and Leonel Sousa, Educational Kit Video Processing Board, Video processing platform based on an FPGA , Apr. 2005 [bibTex] [PDF]

2004

- João Barreto, RepSimulator, Simulator of Optimistic Consistency Protocols, May. 2004 [bibTex]
- Mário Serafim Nunes and Tiago Silva and José Gonçalves and António Rugeroni, SVDoABW - Simultaneous Voice & Data over Copper Wires with Quality of Service, Laboratory prototype developed in an IDEA project., Feb. 2004 [bibTex]

2003

- Abilio Parreira and Marcelino Bicho dos Santos and João Paulo Cacho Teixeira, FPGA Environment and Board for Hardware Fault Simulation, Hardware fault simulation for permanent faults in digital systems, Dec. 2003 [bibTex]
- João Barreto, Haddock-FS, laboratory prototype, Dec. 2003 [bibTex]
- Luís Veiga and Nuno Santos, M-OBIWAN, laboratory prototype, Dec. 2003 [bibTex]
- Nuno Miguel Pereira dos Santos, MobileTrans: Object Transactional System for Mobile Environments, laboratory prototype, Dec. 2003 [bibTex]
- Mário Serafim Nunes and Carlos Palminha and Fernando Lança and Luís Silva, InStream – MPEG4 Video Media Streaming Server with QoS, Prototype developed in the Olympic project, Nov. 2003 [bibTex]
- Luís Veiga, Rotor, laboratory prototype, Sep. 2003 [bibTex]
- Nuno Agostinho, eComics, laboratory prototype, Aug. 2003 [bibTex]
- João Barreto, WMS – Web Mirroring System, laboratory prototype, Jun. 2003 [bibTex]
- Rui Filipe Lopes Joaquim, REVS, laboratory prototype, May. 2003 [bibTex]

2001

- Helena Sarmento and António Muchaxo and Alexandre Sousa and Nuno Pereira, Pilha de protocolos DECT para voz e dados, software, Mar. 2001 [bibTex]

2000

- Antonio Muchaxo and Alexandre Sousa and Nuno Pereira and Helena Sarmento, Estação de base DECT com interface V.90, Protótipo pré-industrial, Dec. 2000 [bibTex]
- Helena Sarmento and Alexandre Sousa and António Muchaxo and Nuno Pereira, PADcard DECT e DECT ISM, Protótipo de hardware/software, Jan. 2000 [bibTex]

Licences

Books: 42

2017

- Miguel Correia and Paulo Jorge Sousa, Seguranca no Software, book, Sep. 2017, NCA [bibTex]
- Arlindo L. Oliveira, The Digital Mind: How Science is Redefining Humanity, book, Mar. 2017, MIT Press [bibTex]

2015

- M. D. Fernandes and Luís Oliveira, Wideband CMOS Receivers, book, Dec. 2015, Springer [bibTex]
- Andreas Wichert, Intelligent Big Multimedia Databases, book, May. 2015, World Scientific [bibTex]
- Diogo Morgado and Paulo Ferreira, Smart Solar Grid, book, Feb. 2015, Publishers LAP LAMBERT Academi [bibTex]

2014

- G. Arroz and J. Monteiro and Arlindo L. Oliveira, Arquitectura de Computadores: dos Sistemas Digitais aos Microprocessadores, book, Dec. 2014, IST Press, 3rd Edition [bibTex]
- J. M. Lemos and Rui Neves-Silva and José Manuel Prista do Valle Cardoso Igreja, Adaptive control of solar energy collector systems, book, Jun. 2014, Springer [bibTex]
- Paulo Ferreira and Pedro Hugo de Queirós Alves, Distributed Context-Aware Systems, book, Apr. 2014, Springer [bibTex]
- Carlos António Roque Martinho and Pedro Santos and Rui Prada, Design e Desenvolvimento de Jogos, book, Jan. 2014, FCA [bibTex]
- Rui Castro and Maria Eduarda Pedro, Exercícios de Redes e Sistemas de Energia Elétrica, book, Jan. 2014, IST Press [bibTex]

2013

- José Silva, Electrónica Industrial: Semicondutores e Conversores de Potência, book, Dec. 2013, Fundação Calouste Gulbenkian [bibTex]
- Andreas Wichert, Principles of Quantum Artificial Intelligence, book, Dec. 2013, World Scientific [bibTex]
- Francisco Rocha and Salvador Abreu and Miguel Correia, The Next Frontier: Managing Data Confidentiality and Integrity in the Cloud, book, Mar. 2013, IEEE Computer Society Press [bibTex]

2012

- 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, book, Nov. 2012 [bibTex]
- Manuel J. Fonseca and Pedro Filipe Pereira Campos and Daniel Jorge Viegas Gonçalves, Introdução ao Design de Interfaces, book, 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., book, Oct. 2012, FCA - ISBN 978-972-722-756-3. [bibTex]
- Rui Castro, UMA INTRODUÇÃO ÀS ENERGIAS RENOVÁVEIS: EÓLICA, FOTOVOLTAICA E MINIHÍDRICA, book, Oct. 2012, IST Press [bibTex]

2011

- Christian Cachin and Rachid Guerraoui and Luis Rodrigues, Introduction to Reliable and Secure Distributed Programming, book, Jan. 2011, Springer [bibTex]
- José Alves Marques and Paulo Ferreira and Carlos Nuno da Cruz Ribeiro and Luís Veiga and Rodrigo Rodrigues, SISTEMAS OPERACIONAIS, book, Jan. 2011, LTC-Livros Técnicos Científico [bibTex]

2010

- Ricardo Chaves, Secure Computing on Reconfigurable Systems: Improving Performance and Reliability of Dynamic Reconfigurable Systems, book, Jun. 2010, LAP LAMBERT Academic Publishin [bibTex]

2009

- G. Arroz and J. Monteiro and Arlindo L. Oliveira, Arquitectura de Computadores: dos Sistemas Digitais aos Microprocessadores, book, Jul. 2009, IST Press, 2nd Edition [bibTex]
- Mário Pereira Véstias, Redes Cisco para Profissionais, book, May. 2009, FCA – Editora de Informática [bibTex]
- José Alves Marques and Paulo Ferreira and Carlos Nuno da Cruz Ribeiro and Luís Veiga and Rodrigo Rodrigues, Sistemas Operativos, book, Mar. 2009, FCA, LIDEL [bibTex]
- Abel J. P. Gomes and Irina Voiculescu and Joaquim Armando Pires Jorge and Brian Wyvill and Callum Galbraith, ~Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms, book, Mar. 2009, Springer [bibTex]
- João C. Martins and Leonel Sousa, Bioelectronic Vision: Retina Models, Evaluation Metrics and System Design, book, Jan. 2009, BE&BME Vol.3, World Scientific [bibTex]

2008

- Miguel Mira da Silva and José Sequeira Martins, IT Governance, book, Oct. 2008, FCA [bibTex]
- João M. P. Cardoso and Pedro Diniz, Compilation Techniques for Reconfigurable Architectures, book, Aug. 2008, Springer [bibTex]
- Luís Oliveira and Jorge Manuel dos Santos Ribeiro Fernandes and C. J. M. Verhoeven and I. M. Filanovsky and M. Medeiros Silva, Analysis and Design of Quadrature Oscillators, book, Apr. 2008, Springer [bibTex]
- Alberto Rodrigues da Silva and Carlos Videira, UML, Metodologias e Ferramentas CASE, 2ª Edição, Volume II, book, Mar. 2008, Editora Centro Atlântico [bibTex]

2007

- José Delgado and Carlos Nuno da Cruz Ribeiro, Arquitectura de Computadores, book, Jan. 2007, FCA [bibTex]
- G. Arroz and J. Monteiro and Arlindo L. Oliveira, Arquitectura de Computadores: dos Sistemas Digitais aos Microprocessadores, book, Jan. 2007, IST Press [bibTex]

2006

- M. Medeiros Silva, Introdução aos Circuitos Eléctricos e Electrónicos (3ª edição), book, Jul. 2006, Fundação C. Gulbenkian [bibTex]
- Carlos Beltran Almeida and Paulo Soeiro de Carvalho and Guilherme Arroz and Granja Coelho, A Indústria do Equipamento Eléctrico e Electrónico em Portugal - Evolução das Qualificações e Diagnóstico das Necessidades de Formação, book, Jan. 2006, Colecção Estudos Sectoriais do [bibTex]

2005

- Mário Pereira Véstias, Redes Cisco para Profissionais, book, Aug. 2005, FCA [bibTex]
- Alberto Rodrigues da Silva and Carlos Videira, UML, Metodologias e Ferramentas CASE, 2ª Edição, Volume I, book, Apr. 2005, Editora Centro Atlântico [bibTex]

2003

- Miguel Mira da Silva, Integração de Sistemas de Informação, book, Aug. 2003, FCA [bibTex]
- Miguel Mira da Silva and Alberto Rodrigues da Silva and Artur Romão and Nuno Conde, Comércio Electrónico na Internet (2ª edição actualizada), book, Jun. 2003, LIDEL [bibTex]
- M. Medeiros Silva, Circuitos com Transistores Bipolares e MOS (2ª edição), book, Jan. 2003, Fundação C. Gulbenkian [bibTex]

2001

- José T. de Sousa and P. Y. K. Cheung, Boundary-Scan Interconnect Diagnosis, book, on 2001, Universidade Católica Editora [bibTex]
- Alberto Rodrigues da Silva and Carlos Videira, UML, Processos e Ferramentas CASE, book, Mar. 2001, Universidade Católica Editora [bibTex]

1999

- Alberto Rodrigues da Silva, Agentes de Software na Internet, book, Mar. 1999, Universidade Católica Editora [bibTex]

1996

- J. Monteiro and S. Devadas, Computer-Aided Design Techniques for Low Power Sequential Logic Circuits, book, Nov. 1996, Kluwer Academic Publishers [bibTex]