Automated Reasoning and Software Reliability

Total displayed: 39

Order by:

Alessandro GianolaProfessor Auxiliar | ARSR

+351213100202328Aalessandro.gianola@inesc-id.pthttps://arsr.inesc-id.pt/~agianola/

Andreia GuerreiroINESC-ID | ARSR

4C13-C747-DEC8

0000-0003-0757-2709

+351213100300329andreia.guerreiro@inesc-id.pt

António José dos Reis MorgadoProfessor Auxiliar | ARSR

+351213100338328Aajrmorgado@inesc-id.pt

Emanuel GonçalvesProfessor Auxiliar | ARSR

+351213100300328Bemanuel.v.goncalves@inesc-id.pthttp://web.tecnico.ulisboa.pt/emanuel.v.goncalves/

Inês LynceProfessor Catedrático | ARSR

2114-E5E9-6ADC

0000-0003-4868-415X

C-5620-2008

+351213100290329ines.lynce@inesc-id.pthttp://sat.inesc-id.pt/~ines

João F. FerreiraProfessor Associado | ARSR

771E-6592-C2AB

0000-0002-6612-9013

WurhenEAAAAJ

+351213100300334jff@inesc-id.pthttps://joaoff.com/

José Fragoso SantosProfessor Auxiliar | ARSR

1319-F56C-0E1E

0000-0001-5077-300X

+351213100300334jose.fragoso@inesc-id.pt

Miguel CouceiroProfessor Catedrático | ARSR

7F19-3022-47EA

0000-0003-2316-7623

https://scholar.google.com/citations?user=6w-xX8sAAAAJ&hl=en&oi=ao

+351213100456328Amiguel.couceiro@inesc-id.pthttps://scholar.tecnico.ulisboa.pt/authors/62e02ee0c8ea76b284b5339b1ded5d3665de1600156aa98d26762b10487bef90/records

Pedro T. MonteiroProfessor Associado | ARSR

+351213100300328Bpedro.monteiro@inesc-id.pthttp://pedromonteiro.org

Rui AbreuProfessor Catedrático | ARSR

+351213100341328Brui.maranhao@inesc-id.pthttp://ruimaranhao.com/

Vasco ManquinhoProfessor Associado | ARSR

+351213100300329vasco.manquinho@inesc-id.pthttp://sat.inesc-id.pt/~vmm

Bruno LourençoINESC-ID | ARSR

1612-80BB-747A

+351213100300320horta.lourenco@inesc-id.pt

Carolina CarreiraINESC-ID | ARSR

B115-61D3-5A0A

+351213100300307carolinamcarreira@inesc-id.pt

Diogo CouceiroINESC-ID | ARSR

B111-C120-A96F

+351213100300307diogo.couceiro@inesc-id.pt

Henrique Botelho GuerraINESC-ID | ARSR

821A-3BB3-8B21

0009-0002-5906-3033

+351213100341307henrique.b.guerra@inesc-id.pthttps://web.ist.utl.pt/ist189456/

Nuno SaavedraINESC-ID | ARSR

A613-9A2A-CCB6

0000-0003-4148-5991

iYiwTYUAAAAJ

+351213100300307nuno.saavedra@inesc-id.pt

Adriana NunesINESC-ID | ARSR

9F1A-E39E-F04E

0009-0000-6260-7367

+351213100300320adriana.nunes@inesc-id.pt

André MorgadoINESC-ID | ARSR

271A-D737-7E2C

+351213100300320andre.filipe.morgado@inesc-id.pt

Carolina PintoINESC-ID | ARSR

401A-7379-CF9E

+351213100300320carolinamartinhopinto@inesc-id.pt

Clara RodriguesINESC-ID | ARSR

1B1C-B4D7-3E2D

+351213100300320claradfrodrigues@inesc-id.pt

David ValenteINESC-ID | ARSR

9210-1A0C-6276

+351213100300320davidafonso.valente@inesc-id.pt

Diogo FerreiraINESC-ID | ARSR

5813-99C8-EB16

+351213100300320diogo.t.ferreira@inesc-id.pt

Gonçalo Aroeira GonçalvesINESC-ID | ARSR

7416-9375-BCAE

+351213100300320goncalo.b.aroeira@inesc-id.pt

Javier de MullerINESC-ID | ARSR

E81C-62CD-BC0E

0000-0001-8018-365X

+351213100300320javier.muller.santa.maria@inesc-id.pt

Joana CorreiaINESC-ID | ARSR

C510-18DA-CE6B

+351213100300320joana.d.correia@inesc-id.pt

José João FerreiraINESC-ID | ARSR

E21B-1234-5D2E

0009-0007-2543-6766

+351213100300320josejoaoferreira@inesc-id.pt

José MendesProfessor Associado | ARSR

AE1F-7CE5-07B5

+351213100300320josemmendes@inesc-id.pt

Leandro Filipe Sobral dos SantosINESC-ID | ARSR

E719-DE58-A11F

+351213100300leandro.sobral@inesc-id.pt

Martim MonisINESC-ID | ARSR

C817-C5E0-78DB

0009-0006-2175-1403

+351213100300320martimrosam@inesc-id.pt

Miguel Caetano NunesINESC-ID | ARSR

051F-3F00-1A0B

+351213100300320miguel.caetano.nunes@inesc-id.pt

Miguel de SousaINESC-ID | ARSR

+351213100300320miguel.dinis@inesc-id.pt

Miguel DinisINESC-ID | ARSR

741A-DFC6-0837

+351213100300320miguelmdinis@inesc-id.pt

Nelson TrindadeINESC-ID | ARSR

3915-9DBA-274E

+351213100300320nelson.trindade@inesc-id.pt

Nuno DendasINESC-ID | ARSR

3617-0691-5827

+351213100300Taguspark 2.8nuno.briers.dendas@inesc-id.pt

Patrícia RoxoINESC-ID | ARSR

+351213100300320patricia.tenera.roxo@inesc-id.pt

Rita GamaINESC-ID | ARSR

EC13-55FA-4F8F

+351213100300320ritagama@inesc-id.pt

Rodrigo Coelho SilvaINESC-ID | ARSR

041F-6859-3E6C

+351213100300320racoelhosilva@inesc-id.pt

Simão FonsecaINESC-ID | ARSR

+351213100300simao.fonseca@inesc-id.pt

Teresa MimosoINESC-ID | ARSR TL-LHT HLT IID-IID

+351213100313234teresa.mimoso@inesc-id.pt

Home

Automated Reasoning and Software Reliability

Total displayed: 39

Keywords

Role

Thematic Line