CROSS

An Infrastructure for Certification and Re-engineering of Open Source Software
View   r35  >  r34  >  r33  >  r32  >  r31  ...

WebHome 35 - 03 Jun 2013 - Main.JorgeSousaPinto
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and

Line: 14 to 14
 
This Project is funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-010049

Supported by
Changed:
<
<
  under contract PTDC/EIA-CCO/108995/2008 (94 KEuro)
>
>
  under contract PTDC/EIA-CCO/108995/2008 (116 KEuro)
 
Start Date 15 March 2010
Duration 3 years
Hosted by CCTC, Departamento de Informática, Universidade do Minho

WebHome 34 - 18 Feb 2013 - Main.JorgeSousaPinto
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and

Line: 14 to 14
 
This Project is funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-010049

Supported by
Changed:
<
<
  under contract PTDC/EIA-CCO/108995/2008 (116 KEuro)
>
>
  under contract PTDC/EIA-CCO/108995/2008 (94 KEuro)
 
Start Date 15 March 2010
Duration 3 years
Hosted by CCTC, Departamento de Informática, Universidade do Minho

WebHome 33 - 18 Feb 2013 - Main.JorgeSousaPinto
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and


WebHome 32 - 18 Dec 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and

Line: 30 to 30
 
META FILEATTACHMENT attachment="FCT_H_color.eps" attr="h" comment="" date="1279211058" name="FCT_H_color.eps" path="FCT_H_color.eps" size="265290" stream="FCT_H_color.eps" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="BarraAss_Cores_FundoBranco.pdf" attr="h" comment="" date="1299625443" name="BarraAss_Cores_FundoBranco.pdf" path="BarraAss_Cores_FundoBranco.pdf" size="141349" stream="BarraAss_Cores_FundoBranco.pdf" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="support.tex" attr="h" comment="Novo texto para colocar nos agradecimentos" date="1339587077" name="support.tex" path="support.tex" size="1457" stream="support.tex" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="atg_using_cbmc-cross.pdf" attr="h" comment="ws2 Rui Gonçalo" date="1355868172" name="atg_using_cbmc-cross.pdf" path="atg_using_cbmc-cross.pdf" size="654707" stream="atg_using_cbmc-cross.pdf" user="Main.MariaJoaoFrade" version="1"

WebHome 31 - 17 Dec 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and


WebHome 30 - 13 Jun 2012 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and

Line: 9 to 9
 

Project info

Added:
>
>
This Project is funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-010049
 
Supported by
  under contract PTDC/EIA-CCO/108995/2008 (116 KEuro)
Start Date 15 March 2010
Line: 27 to 29
 
META FILEATTACHMENT attachment="UE_cores.jpg" attr="h" comment="" date="1279210418" name="UE_cores.jpg" path="UE_cores.jpg" size="27823" stream="UE_cores.jpg" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="FCT_H_color.eps" attr="h" comment="" date="1279211058" name="FCT_H_color.eps" path="FCT_H_color.eps" size="265290" stream="FCT_H_color.eps" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="BarraAss_Cores_FundoBranco.pdf" attr="h" comment="" date="1299625443" name="BarraAss_Cores_FundoBranco.pdf" path="BarraAss_Cores_FundoBranco.pdf" size="141349" stream="BarraAss_Cores_FundoBranco.pdf" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="support.tex" attr="h" comment="Novo texto para colocar nos agradecimentos" date="1339587077" name="support.tex" path="support.tex" size="1457" stream="support.tex" user="Main.MariaJoaoFrade" version="1"

WebHome 29 - 09 Jun 2011 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and


WebHome 28 - 08 Mar 2011 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and

Line: 9 to 9
 

Project info

Changed:
<
<
Supported by
>
>
Supported by
 
  under contract PTDC/EIA-CCO/108995/2008 (116 KEuro)
Start Date 15 March 2010
Duration 3 years
Line: 19 to 19
 
Telefone +351 253604445 (direct) or +351 253604430
Fax +351 253604471
Deleted:
<
<
 
Added:
>
>
 
META FILEATTACHMENT attachment="FCT_Hcolor300x27.jpg" attr="h" comment="" date="1274884908" name="FCT_Hcolor300x27.jpg" path="FCT_Hcolor300x27.jpg" size="8968" stream="FCT_Hcolor300x27.jpg" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="QREN_Logo(COR).png" attr="h" comment="" date="1279209843" name="QREN_Logo(COR).png" path="QREN_Logo(COR).png" size="20460" stream="QREN_Logo(COR).png" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="UE_cores.jpg" attr="h" comment="" date="1279210418" name="UE_cores.jpg" path="UE_cores.jpg" size="27823" stream="UE_cores.jpg" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="FCT_H_color.eps" attr="h" comment="" date="1279211058" name="FCT_H_color.eps" path="FCT_H_color.eps" size="265290" stream="FCT_H_color.eps" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="BarraAss_Cores_FundoBranco.pdf" attr="h" comment="" date="1299625443" name="BarraAss_Cores_FundoBranco.pdf" path="BarraAss_Cores_FundoBranco.pdf" size="141349" stream="BarraAss_Cores_FundoBranco.pdf" user="Main.MariaJoaoFrade" version="1"

WebHome 27 - 15 Jul 2010 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and

Line: 9 to 9
 

Project info

Changed:
<
<
Supported by
>
>
Supported by
 
  under contract PTDC/EIA-CCO/108995/2008 (116 KEuro)
Start Date 15 March 2010
Duration 3 years
Line: 19 to 19
 
Telefone +351 253604445 (direct) or +351 253604430
Fax +351 253604471
Added:
>
>
 

META FILEATTACHMENT attachment="FCT_Hcolor300x27.jpg" attr="h" comment="" date="1274884908" name="FCT_Hcolor300x27.jpg" path="FCT_Hcolor300x27.jpg" size="8968" stream="FCT_Hcolor300x27.jpg" user="Main.MariaJoaoFrade" version="1"
Added:
>
>
META FILEATTACHMENT attachment="QREN_Logo(COR).png" attr="h" comment="" date="1279209843" name="QREN_Logo(COR).png" path="QREN_Logo(COR).png" size="20460" stream="QREN_Logo(COR).png" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="UE_cores.jpg" attr="h" comment="" date="1279210418" name="UE_cores.jpg" path="UE_cores.jpg" size="27823" stream="UE_cores.jpg" user="Main.MariaJoaoFrade" version="1"
META FILEATTACHMENT attachment="FCT_H_color.eps" attr="h" comment="" date="1279211058" name="FCT_H_color.eps" path="FCT_H_color.eps" size="265290" stream="FCT_H_color.eps" user="Main.MariaJoaoFrade" version="1"

WebHome 26 - 26 May 2010 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and

Line: 9 to 9
 

Project info

Changed:
<
<
Supported by FCT under contract PTDC/EIA-CCO/108995/2008 (116 KEuro)
>
>
Supported by
  under contract PTDC/EIA-CCO/108995/2008 (116 KEuro)
 
Start Date 15 March 2010
Duration 3 years
Hosted by CCTC, Departamento de Informática, Universidade do Minho
Line: 18 to 19
 
Telefone +351 253604445 (direct) or +351 253604430
Fax +351 253604471
Added:
>
>

META FILEATTACHMENT attachment="FCT_Hcolor300x27.jpg" attr="h" comment="" date="1274884908" name="FCT_Hcolor300x27.jpg" path="FCT_Hcolor300x27.jpg" size="8968" stream="FCT_Hcolor300x27.jpg" user="Main.MariaJoaoFrade" version="1"

WebHome 25 - 18 Mar 2010 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and

Line: 10 to 10
 

Supported by FCT under contract PTDC/EIA-CCO/108995/2008 (116 KEuro)
Changed:
<
<
Start Date January 2010
>
>
Start Date 15 March 2010
 
Duration 3 years
Hosted by CCTC, Departamento de Informática, Universidade do Minho
Team cross@di.uminho.pt

WebHome 24 - 18 Nov 2009 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and


WebHome 23 - 12 Nov 2009 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and

Line: 18 to 18
 
Telefone +351 253604445 (direct) or +351 253604430
Fax +351 253604471
Deleted:
<
<

Calendar of Events


WebHome 22 - 12 Nov 2009 - Main.JoseCampos
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and

Line: 17 to 17
 
Coordination Maria João Frade (mjf@di.uminho.pt)
Telefone +351 253604445 (direct) or +351 253604430
Fax +351 253604471
Added:
>
>

Calendar of Events


WebHome 21 - 15 Oct 2009 - Main.PedroRangelHenriques
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and


WebHome 20 - 08 Oct 2009 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and smoothly integrating such techniques into the open source software very peculiar development process without disturbing its collaborative, distributed and heterogeneous character.

Changed:
<
<		(read more.)
>
>		(read more)
 

Project info

Line: 12 to 12
 
Supported by FCT under contract PTDC/EIA-CCO/108995/2008 (116 KEuro)
Start Date January 2010
Duration 3 years
Changed:
<
<
Hosted by CCTC, Universidade do Minho
Coordination Maria João Frade (mjf(at)di(dot)uminho(dot)pt)
>
>
Hosted by CCTC, Departamento de Informática, Universidade do Minho
Team cross@di.uminho.pt
Coordination Maria João Frade (mjf@di.uminho.pt)
Telefone +351 253604445 (direct) or +351 253604430
Fax +351 253604471

WebHome 19 - 08 Oct 2009 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

Changed:
<
<		This project aims at ...
>
>		This project aims at developing new program understanding and analysis techniques and combine them for quality assessment of open source code and smoothly integrating such techniques into the open source software very peculiar development process without disturbing its collaborative, distributed and heterogeneous character.
 (read more.)


WebHome 18 - 07 Oct 2009 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at ...

Changed:
<
<		(read more.)
>
>		(read more.)
 

Project info


WebHome 17 - 07 Oct 2009 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at ...

Line: 11 to 11
 
Supported by FCT under contract PTDC/EIA-CCO/108995/2008 (116 KEuro)
Start Date January 2010
Duration 3 years
Changed:
<
<
Principal Contractor Universidade do Minho (UM)
Participating Institutions Universidade do Minho (UM)
>
>
Hosted by CCTC, Universidade do Minho
 
Coordination Maria João Frade (mjf(at)di(dot)uminho(dot)pt)

WebHome 16 - 07 Oct 2009 - Main.MariaJoaoFrade
Line: 1 to 1
 

An Infrastructure for Certification and Re-engineering of Open Source Software

This project aims at ...

Changed:
<
<		(read more.? )
>
>		(read more.)
 

Project info


WebHome 15 - 06 Oct 2009 - Main.MariaJoaoFrade
Line: 1 to 1
Changed:
<
<

REliable and Safe Code execUtion for Embedded systems

>
>

An Infrastructure for Certification and Re-engineering of Open Source Software

 
Changed:
<
<		This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems. (read more.? )
>
>		This project aims at ... (read more.? )
 

Project info

Changed:
<
<
Supported by FCT under contract PTDC/EIA/65862/2006 (161 KEuro)
Start Date January 2008
>
>
Supported by FCT under contract PTDC/EIA-CCO/108995/2008 (116 KEuro)
Start Date January 2010
 
Duration 3 years
Changed:
<
<
Principal Contractor Faculdade de Ciências (FC/UP)
Participating Institutions Universidade do Minho (UM), Universidade da Beira Interior (UBI), Instituto Superior de Engenharia do Porto (ISEP/IPP)
Coordination Simão Melo de Sousa (desousa(at)di(dot)ubi(dot)pt) (LIACC and DI/UBI)
Phone +351 275 319 891
Fax +351 275 319 899
>
>
Principal Contractor Universidade do Minho (UM)
Participating Institutions Universidade do Minho (UM)
Coordination Maria João Frade (mjf(at)di(dot)uminho(dot)pt)

WebHome 14 - 06 Oct 2009 - Main.AlcinoCunha
Line: 1 to 1
 

REliable and Safe Code execUtion for Embedded systems

This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems. (read more.? )


WebHome 13 - 01 Jul 2008 - Main.SimaoMeloDeSousa
Line: 1 to 1
 

REliable and Safe Code execUtion for Embedded systems

This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems. (read more.? )


WebHome 12 - 17 Jan 2008 - Main.SimaoMeloDeSousa
Line: 1 to 1
 

REliable and Safe Code execUtion for Embedded systems

This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems. (read more.? )

Line: 6 to 6
 

Project info

Changed:
<
<
Coordination Simão Melo de Sousa (desousa(at)di(dot)ubi(dot)pt)
Team LIACC and DIUBI
Phone +351 275 319 891
Fax +351 275 319 899
>
>
 
Supported by FCT under contract PTDC/EIA/65862/2006 (161 KEuro)
Start Date January 2008
Duration 3 years
Principal Contractor Faculdade de Ciências (FC/UP)
Participating Institutions Universidade do Minho (UM), Universidade da Beira Interior (UBI), Instituto Superior de Engenharia do Porto (ISEP/IPP)
Added:
>
>
Coordination Simão Melo de Sousa (desousa(at)di(dot)ubi(dot)pt) (LIACC and DI/UBI)
Phone +351 275 319 891
Fax +351 275 319 899
 

WebHome 11 - 16 Jan 2008 - Main.JoseBacelarAlmeida
Line: 1 to 1
 

REliable and Safe Code execUtion for Embedded systems

Changed:
<
<		This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems. (read more.) 

<--

  


-->

Goals

The overall objectives of this proposal are the following, concerning code running in heterogeneous, potentially resource-limited embedded devices.

  1. The design of mathematically sound mechanisms for the static, formal assurance of safe and reliable execution.
  2. The design and implementation of a complete infrastructure for safe and reliable execution, based on Proof-carrying Code.
  3. To study and implement different scenarios for the deployment of safety mechanisms, specifically in embedded systems.

With such mechanisms, code that does not respect previously defined policies will be rejected and never installed or executed in a target device. This will allow to increase isolation guarantees and mobile code verification, which is of paramount importance in embedded systems.

Events

  • Kick-off workshop: 25th January, 2008, Department of Computer Science of the University of Beira Interior.
>
>		This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems. (read more.? )
 

Project info

Changed:
<
<
Coordination Simão Melo de Sousa
>
>
Coordination Simão Melo de Sousa (desousa(at)di(dot)ubi(dot)pt)
 
Team LIACC and DIUBI
Changed:
<
<
Telefone +351 275 319 891
>
>
Phone +351 275 319 891
 
Fax +351 275 319 899
Deleted:
<
<
 
Supported by FCT under contract PTDC/EIA/65862/2006 (161 KEuro)
Start Date January 2008
Duration 3 years

WebHome 10 - 15 Jan 2008 - Main.JoseBacelarAlmeida
Line: 1 to 1
Changed:
<
<

RESCUE, REliable and Safe Code execUtion for Embedded systems

>
>

REliable and Safe Code execUtion for Embedded systems

 This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems. (read more.)
Changed:
<
<
>
>
 
Line: 55 to 26
 
  • Kick-off workshop: 25th January, 2008, Department of Computer Science of the University of Beira Interior.

Deleted:
<
<

Results

*

 

Project info

Coordination Simão Melo de Sousa

WebHome 9 - 05 Jan 2008 - Main.SimaoMeloDeSousa
Line: 1 to 1
 

RESCUE, REliable and Safe Code execUtion for Embedded systems

This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems. (read more.)

Line: 11 to 11
 

Research Team

Changed:
<
<
  • Simão Patrício Melo de Sousa (UBI)
>
>
  • Simão Patrício Melo de Sousa (DIUBI)
 
  • Manuel Bernardo Martins Barbosa (DIUM)
  • Luis Miguel Rosário da Silva Pinho (ISEP)
  • Nelma Resende Araújo Moreira (FCUP)
  • Rogério Ventura Lages dos Santos Reis (FCUP)
Changed:
<
<
  • Marco André Ferreira de Almeida ()
>
>
  • Marco André Ferreira de Almeida (FCUP)
 
  • Sandra Maria Mendes Alves (FCUP)
  • Luís Miguel Pinho Nogueira (ISEP)
  • António Mário Silva Marcos Florido (FCUP)
Line: 28 to 28
 
  • José Carlos Soares do Espírito Santo (DMUM)
  • Pedro Baltazar Vasconcelos (FCUP)
  • Luís Manuel Martins Damas (FCUP)
Changed:
<
<
  • David Miguel Ramalho Pereira ()
  • Hugo Miguel Oliveira Romualdo Simões ()
>
>
  • David Miguel Ramalho Pereira (FCUP)
  • Hugo Miguel Oliveira Romualdo Simões (FCUP)
 
  • Luís Pedro Oliveira Machado (DIUM)
Changed:
<
<
  • Ricardo Manuel Carrola Simões ()
>
>
  • Ricardo Manuel Carrola Simões (DIUBI)
 

RESCUE-related research opportunities (at the undergraduate and post-graduate levels) are announced here? .

Line: 52 to 52
 

Events

Changed:
<
<		 *
>
>
  • Kick-off workshop: 25th January, 2008, Department of Computer Science of the University of Beira Interior.
 

Results

Line: 62 to 62
 

Project info

Changed:
<
<
Coordination  
Team  
Telefone  
Fax  
>
>
Coordination Simão Melo de Sousa
Team LIACC and DIUBI
Telefone +351 275 319 891
Fax +351 275 319 899
 
Supported by FCT under contract PTDC/EIA/65862/2006 (161 KEuro)
Changed:
<
<
Start Date  
>
>
Start Date January 2008
 
Duration 3 years
Principal Contractor Faculdade de Ciências (FC/UP)
Participating Institutions Universidade do Minho (UM), Universidade da Beira Interior (UBI), Instituto Superior de Engenharia do Porto (ISEP/IPP)

WebHome 8 - 16 Aug 2007 - Main.JoseBacelarAlmeida
Line: 1 to 1
 

RESCUE, REliable and Safe Code execUtion for Embedded systems

Changed:
<
<		This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems. Read more.
>
>		This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems. (read more.)
 

WebHome 7 - 15 Aug 2007 - Main.JoseBacelarAlmeida
Line: 1 to 1
Changed:
<
<

Welcome to the Research/CROSS web

>
>

RESCUE, REliable and Safe Code execUtion for Embedded systems

 
Changed:
<
<

Available Information

  • ...
  • ...
  • ...

Research/CROSS Web Utilities

>
>		This project aims at providing innovative, efficient and expressive mechanisms for the secure implementation and execution of code, with an emphasis on problems posed by embedded systems. Read more.

Research Team

  • Simão Patrício Melo de Sousa (UBI)
  • Manuel Bernardo Martins Barbosa (DIUM)
  • Luis Miguel Rosário da Silva Pinho (ISEP)
  • Nelma Resende Araújo Moreira (FCUP)
  • Rogério Ventura Lages dos Santos Reis (FCUP)
  • Marco André Ferreira de Almeida ()
  • Sandra Maria Mendes Alves (FCUP)
  • Luís Miguel Pinho Nogueira (ISEP)
  • António Mário Silva Marcos Florido (FCUP)
  • Maria João Gomes Frade (DIUM)
  • Jorge Miguel de Matos Sousa Pinto (DMUM)
  • José Carlos Bacelar Almeida (DIUM)
  • Sabine Babette Broda (FCUP)
  • Luís Filipe Ribeiro Pinto (ISEP)
  • José Carlos Soares do Espírito Santo (DMUM)
  • Pedro Baltazar Vasconcelos (FCUP)
  • Luís Manuel Martins Damas (FCUP)
  • David Miguel Ramalho Pereira ()
  • Hugo Miguel Oliveira Romualdo Simões ()
  • Luís Pedro Oliveira Machado (DIUM)
  • Ricardo Manuel Carrola Simões ()

RESCUE-related research opportunities (at the undergraduate and post-graduate levels) are announced here? .

Goals

The overall objectives of this proposal are the following, concerning code running in heterogeneous, potentially resource-limited embedded devices.

  1. The design of mathematically sound mechanisms for the static, formal assurance of safe and reliable execution.
  2. The design and implementation of a complete infrastructure for safe and reliable execution, based on Proof-carrying Code.
  3. To study and implement different scenarios for the deployment of safety mechanisms, specifically in embedded systems.

With such mechanisms, code that does not respect previously defined policies will be rejected and never installed or executed in a target device. This will allow to increase isolation guarantees and mobile code verification, which is of paramount importance in embedded systems.

Events

*

Results

*

Project info

Coordination  
Team  
Telefone  
Fax  

Supported by FCT under contract PTDC/EIA/65862/2006 (161 KEuro)
Start Date  
Duration 3 years
Principal Contractor Faculdade de Ciências (FC/UP)
Participating Institutions Universidade do Minho (UM), Universidade da Beira Interior (UBI), Instituto Superior de Engenharia do Porto (ISEP/IPP)
 

WebHome 6 - 28 Mar 2005 - Main.TWikiContributor
Line: 1 to 1
 

Welcome to the Research/CROSS web

Available Information


WebHome 5 - 28 Mar 2005 - Main.TWikiContributor
Line: 1 to 1
Changed:
<
<		Welcome to the home of TWiki.Research/CROSS. This is a web-based collaboration area for ...
>
>

Welcome to the Research/CROSS web

 
Changed:
<
<
  • MeetingMinutes?
>
>

Available Information

  • ...
  • ...
  • ...
 
Changed:
<
<

Site Tools of the Research/CROSS Web

>
>

Research/CROSS Web Utilities

 
Deleted:
<
<

Notes:

  • You are currently in the Research/CROSS web. The color code for this web is this background, so you know where you are.
  • If you are not familiar with the TWiki collaboration platform, please visit WelcomeGuest first.

Web TWiki Site Map Use to...
Main Home of Main web Search Main web Recent changes in the Main web Get notified of changes to the Main web DIUM/CCTC Wiki. DIUM/CCTC
TWiki Home of TWiki web Search TWiki web Recent changes in the TWiki web Get notified of changes to the TWiki web Welcome, Registration, and other StartingPoints; TWiki history & Wiki style; All the docs... ...discover TWiki details, and how to start your own site.
DI Home of DI web Search DI web Recent changes in the DI web Get notified of changes to the DI web DI main web Department Groups and Activities
DI.EPL Home of DI/EPL web Search DI/EPL web Recent changes in the DI/EPL web Get notified of changes to the DI/EPL web DI.EPL Group ...collaborate on
DI.FAST Home of DI/FAST web Search DI/FAST web Recent changes in the DI/FAST web Get notified of changes to the DI/FAST web Foundations and Applications of Software Technology Foundations and Applications of Software Technology
DI.FMHAS Home of DI/FMHAS web Search DI/FMHAS web Recent changes in the DI/FMHAS web Get notified of changes to the DI/FMHAS web High-Assurance Software Laboratory High-Assurance Software Laboratory
DI.TETIC Home of DI/TETIC web Search DI/TETIC web Recent changes in the DI/TETIC web Get notified of changes to the DI/TETIC web Tecnologias Emergentes nas TICs ...collaborate on
EL Home of EL web Search EL web Recent changes in the EL web Get notified of changes to the EL web Engenharia de Linguagens (2011/2012) ...collaborate on
Education Home of Education web Search Education web Recent changes in the Education web Get notified of changes to the Education web Education main web Education Activities
Education.ACMSD Home of Education/ACMSD web Search Education/ACMSD web Recent changes in the Education/ACMSD web Get notified of changes to the Education/ACMSD web Algebraic and Coalgebraic Methods in Software Development MAPi
Education.ACS Home of Education/ACS web Search Education/ACS web Recent changes in the Education/ACS web Get notified of changes to the Education/ACS web Análise e Concepção de Software
Education.AeC Home of Education/AeC web Search Education/AeC web Recent changes in the Education/AeC web Get notified of changes to the Education/AeC web Algoritmos e Complexidade Licenciatura em Engenharia Informática
Education.Archive Home of Education/Archive web Search Education/Archive web Recent changes in the Education/Archive web Get notified of changes to the Education/Archive web Education.Archive Wiki. ...collaborate on
Education.CP Home of Education/CP web Search Education/CP web Recent changes in the Education/CP web Get notified of changes to the Education/CP web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
Education.CP0809 Home of Education/CP0809 web Search Education/CP0809 web Recent changes in the Education/CP0809 web Get notified of changes to the Education/CP0809 web Cálculo de Programas Licenciatura em Engenharia Informática
Education.CP0910 Home of Education/CP0910 web Search Education/CP0910 web Recent changes in the Education/CP0910 web Get notified of changes to the Education/CP0910 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1011 Home of Education/CP1011 web Search Education/CP1011 web Recent changes in the Education/CP1011 web Get notified of changes to the Education/CP1011 web Cálculo de Programas Licenciatura em Engenharia Informática
Education.CP1112 Home of Education/CP1112 web Search Education/CP1112 web Recent changes in the Education/CP1112 web Get notified of changes to the Education/CP1112 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1213 Home of Education/CP1213 web Search Education/CP1213 web Recent changes in the Education/CP1213 web Get notified of changes to the Education/CP1213 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1314 Home of Education/CP1314 web Search Education/CP1314 web Recent changes in the Education/CP1314 web Get notified of changes to the Education/CP1314 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1415 Home of Education/CP1415 web Search Education/CP1415 web Recent changes in the Education/CP1415 web Get notified of changes to the Education/CP1415 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1617 Home of Education/CP1617 web Search Education/CP1617 web Recent changes in the Education/CP1617 web Get notified of changes to the Education/CP1617 web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Ciências da Computação
Education.CP1718 Home of Education/CP1718 web Search Education/CP1718 web Recent changes in the Education/CP1718 web Get notified of changes to the Education/CP1718 web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
Education.ClubeProgramacao Home of Education/ClubeProgramacao web Search Education/ClubeProgramacao web Recent changes in the Education/ClubeProgramacao web Get notified of changes to the Education/ClubeProgramacao web Clube de Programação Departamento de Informática
Education.Criptografia Home of Education/Criptografia web Search Education/Criptografia web Recent changes in the Education/Criptografia web Get notified of changes to the Education/Criptografia web Criptografia @ DI
Education.EL Home of Education/EL web Search Education/EL web Recent changes in the Education/EL web Get notified of changes to the Education/EL web Engenharia de Linguagens
Education.EL0708 Home of Education/EL0708 web Search Education/EL0708 web Recent changes in the Education/EL0708 web Get notified of changes to the Education/EL0708 web Engenharia Linguagens Engenharia Linguagens
Education.EL0809 Home of Education/EL0809 web Search Education/EL0809 web Recent changes in the Education/EL0809 web Get notified of changes to the Education/EL0809 web Engenharia de Linguagens
Education.EL0910 Home of Education/EL0910 web Search Education/EL0910 web Recent changes in the Education/EL0910 web Get notified of changes to the Education/EL0910 web ...collaborate on
Education.EL1011 Home of Education/EL1011 web Search Education/EL1011 web Recent changes in the Education/EL1011 web Get notified of changes to the Education/EL1011 web Engenharia de Linguagens
Education.EM Home of Education/EM web Search Education/EM web Recent changes in the Education/EM web Get notified of changes to the Education/EM web Especificação e Modelação Métodos Formais em Engenharia de Software
Education.ERS Home of Education/ERS web Search Education/ERS web Recent changes in the Education/ERS web Get notified of changes to the Education/ERS web Engenharia de Redes e Serviços
Education.LAD Home of Education/LAD web Search Education/LAD web Recent changes in the Education/LAD web Get notified of changes to the Education/LAD web Linguagens para Anotação de Documentos ...collaborate on
Education.LC Home of Education/LC web Search Education/LC web Recent changes in the Education/LC web Get notified of changes to the Education/LC web Licenciatura em Ciências da Computação - 2º ano
Education.LI1 Home of Education/LI1 web Search Education/LI1 web Recent changes in the Education/LI1 web Get notified of changes to the Education/LI1 web Laboratórios de Informática 1 Licenciatura em Engenharia Informática (2012/13)
Education.LI10708 Home of Education/LI10708 web Search Education/LI10708 web Recent changes in the Education/LI10708 web Get notified of changes to the Education/LI10708 web Laboratório de Informática 1
Education.LI11011 Home of Education/LI11011 web Search Education/LI11011 web Recent changes in the Education/LI11011 web Get notified of changes to the Education/LI11011 web Laboratórios de Informática I Licenciatura em Engenharia Informática (2010/11)
Education.LI11112 Home of Education/LI11112 web Search Education/LI11112 web Recent changes in the Education/LI11112 web Get notified of changes to the Education/LI11112 web Laboratórios de Informática I Licenciatura em Engenharia Informática (2011/12)
Education.MAPiICS Home of Education/MAPiICS web Search Education/MAPiICS web Recent changes in the Education/MAPiICS web Get notified of changes to the Education/MAPiICS web MAPi - Interactive Computing Systems MAPi Doctoral Programme
Education.MFES Home of Education/MFES web Search Education/MFES web Recent changes in the Education/MFES web Get notified of changes to the Education/MFES web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática - MFES 2020/2021
Education.MFES0910 Home of Education/MFES0910 web Search Education/MFES0910 web Recent changes in the Education/MFES0910 web Get notified of changes to the Education/MFES0910 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2009/10)
Education.MFES1011 Home of Education/MFES1011 web Search Education/MFES1011 web Recent changes in the Education/MFES1011 web Get notified of changes to the Education/MFES1011 web Mestrado de [Engenharia] Informática (2010/11)
Education.MFES1112 Home of Education/MFES1112 web Search Education/MFES1112 web Recent changes in the Education/MFES1112 web Get notified of changes to the Education/MFES1112 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2011/12)
Education.MFES1213 Home of Education/MFES1213 web Search Education/MFES1213 web Recent changes in the Education/MFES1213 web Get notified of changes to the Education/MFES1213 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2012/13)
Education.MFES1314 Home of Education/MFES1314 web Search Education/MFES1314 web Recent changes in the Education/MFES1314 web Get notified of changes to the Education/MFES1314 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (13/14)
Education.MFES1415 Home of Education/MFES1415 web Search Education/MFES1415 web Recent changes in the Education/MFES1415 web Get notified of changes to the Education/MFES1415 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (14/15)
Education.MFES1617 Home of Education/MFES1617 web Search Education/MFES1617 web Recent changes in the Education/MFES1617 web Get notified of changes to the Education/MFES1617 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática [16/17]
Education.MFES1718 Home of Education/MFES1718 web Search Education/MFES1718 web Recent changes in the Education/MFES1718 web Get notified of changes to the Education/MFES1718 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática [17/18]
Education.MFES1819 Home of Education/MFES1819 web Search Education/MFES1819 web Recent changes in the Education/MFES1819 web Get notified of changes to the Education/MFES1819 web Métodos Formais em Engenharia de Software (2018/2019) Mestrado Integrado em Engenharia Informática - MFES 2018/2019
Education.MFES1920 Home of Education/MFES1920 web Search Education/MFES1920 web Recent changes in the Education/MFES1920 web Get notified of changes to the Education/MFES1920 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática - MFES 2019/2020
Education.MICEI Home of Education/MICEI web Search Education/MICEI web Recent changes in the Education/MICEI web Get notified of changes to the Education/MICEI web Mestrado em Informática e Curso de Especialização em Informática Mestrado em Informática e Curso de Especialização em Informática
Education.MSM Home of Education/MSM web Search Education/MSM web Recent changes in the Education/MSM web Get notified of changes to the Education/MSM web Mestrado e Curso de Especialização em Sistemas Móveis ...collaborate on
Education.MapiFc Home of Education/MapiFc web Search Education/MapiFc web Recent changes in the Education/MapiFc web Get notified of changes to the Education/MapiFc web MAP/i - Foundations of Computing Option I: Program Semantics, Verification, and Construction
Education.MapiSCAM Home of Education/MapiSCAM web Search Education/MapiSCAM web Recent changes in the Education/MapiSCAM web Get notified of changes to the Education/MapiSCAM web Source Code Analysis and Manipulation (Mapi) Source Code Analysis and Manipulation (Mapi)
Education.PE Home of Education/PE web Search Education/PE web Recent changes in the Education/PE web Get notified of changes to the Education/PE web Publicação Electrónica Publicação Electrónica (EBio)
Education.PED Home of Education/PED web Search Education/PED web Recent changes in the Education/PED web Get notified of changes to the Education/PED web Processamento Estruturado de Documentos ...collaborate on
Education.PP2 Home of Education/PP2 web Search Education/PP2 web Recent changes in the Education/PP2 web Get notified of changes to the Education/PP2 web Paradigmas da Programação 2 ...collaborate on
Education.PeC Home of Education/PeC web Search Education/PeC web Recent changes in the Education/PeC web Get notified of changes to the Education/PeC web Processos e Concorrência Licenciatura em Ciências da Computação
Education.ProgramacaoImperativa Home of Education/ProgramacaoImperativa web Search Education/ProgramacaoImperativa web Recent changes in the Education/ProgramacaoImperativa web Get notified of changes to the Education/ProgramacaoImperativa web ...collaborate on
Education.SEM Home of Education/SEM web Search Education/SEM web Recent changes in the Education/SEM web Get notified of changes to the Education/SEM web Semântica da Programação Licenciatura em Ciências da Computação
Education.TPI Home of Education/TPI web Search Education/TPI web Recent changes in the Education/TPI web Get notified of changes to the Education/TPI web Tecnologias e Protocolos de Infra-Estrutura
Events Home of Events web Search Events web Recent changes in the Events web Get notified of changes to the Events web Events main web Events Organization
Events.GTTSE Home of Events/GTTSE web Search Events/GTTSE web Recent changes in the Events/GTTSE web Get notified of changes to the Events/GTTSE web Generative and Transformational Techniques in Software Engineering Generative and Transformational Techniques in Software Engineering
Events.GTTSE2007 Home of Events/GTTSE2007 web Search Events/GTTSE2007 web Recent changes in the Events/GTTSE2007 web Get notified of changes to the Events/GTTSE2007 web Generative and Transformational Techniques in Software Engineering Generative and Transformational Techniques in Software Engineering
Events.JCC Home of Events/JCC web Search Events/JCC web Recent changes in the Events/JCC web Get notified of changes to the Events/JCC web Jornadas de Ciências da Computação
Events.RULE2010 Home of Events/RULE2010 web Search Events/RULE2010 web Recent changes in the Events/RULE2010 web Get notified of changes to the Events/RULE2010 web RULE Workshop 2010 ...collaborate on
Events.RuleWorkshop Home of Events/RuleWorkshop web Search Events/RuleWorkshop web Recent changes in the Events/RuleWorkshop web Get notified of changes to the Events/RuleWorkshop web Rule Workshop International Workshop on Rule-Based Specification and Programming
JoseLuisSilva Home of JoseLuisSilva web Search JoseLuisSilva web Recent changes in the JoseLuisSilva web Get notified of changes to the JoseLuisSilva web webpage de JoseLuisSilva? ...collaborate on
Personal Home of Personal web Search Personal web Recent changes in the Personal web Get notified of changes to the Personal web Personal webs Personal webs
Personal.Alcino Home of Personal/Alcino web Search Personal/Alcino web Recent changes in the Personal/Alcino web Get notified of changes to the Personal/Alcino web Home page of Personal.Alcino Cunha.
Personal.Claudia Home of Personal/Claudia web Search Personal/Claudia web Recent changes in the Personal/Claudia web Get notified of changes to the Personal/Claudia web Personal.Claudia Necco
Personal.Jacome Home of Personal/Jacome web Search Personal/Jacome web Recent changes in the Personal/Jacome web Get notified of changes to the Personal/Jacome web Jácome Cunha ...collaborate on
Personal.Joao Home of Personal/Joao web Search Personal/Joao web Recent changes in the Personal/Joao web Get notified of changes to the Personal/Joao web João Fernandes ...collaborate on
Personal.Jorge Home of Personal/Jorge web Search Personal/Jorge web Recent changes in the Personal/Jorge web Get notified of changes to the Personal/Jorge web Personal.Jorge Sousa Pinto's Web. ...collaborate on
Personal.JorgeMendes Home of Personal/JorgeMendes web Search Personal/JorgeMendes web Recent changes in the Personal/JorgeMendes web Get notified of changes to the Personal/JorgeMendes web Jorge Mendes
Personal.JoseLuisSilva Home of Personal/JoseLuisSilva web Search Personal/JoseLuisSilva web Recent changes in the Personal/JoseLuisSilva web Get notified of changes to the Personal/JoseLuisSilva web webpage de JoseLuisSilva? ...collaborate on
Personal.LSB Home of Personal/LSB web Search Personal/LSB web Recent changes in the Personal/LSB web Get notified of changes to the Personal/LSB web Luís Soares Barbosa ...collaborate on
Personal.MBB Home of Personal/MBB web Search Personal/MBB web Recent changes in the Personal/MBB web Get notified of changes to the Personal/MBB web MBB's Personal Web
Personal.Nuno Home of Personal/Nuno web Search Personal/Nuno web Recent changes in the Personal/Nuno web Get notified of changes to the Personal/Nuno web Personal.Nuno Rodrigues's Web
Personal.Olga Home of Personal/Olga web Search Personal/Olga web Recent changes in the Personal/Olga web Get notified of changes to the Personal/Olga web Personal.Olga Web Page ...collaborate on
Personal.Pablo Home of Personal/Pablo web Search Personal/Pablo web Recent changes in the Personal/Pablo web Get notified of changes to the Personal/Pablo web Home page of Personal.Pablo Berdaguer ...collaborate on
Personal.PedroMartins Home of Personal/PedroMartins web Search Personal/PedroMartins web Recent changes in the Personal/PedroMartins web Get notified of changes to the Personal/PedroMartins web Pedro Martins ...collaborate on
Personal.Tiago Home of Personal/Tiago web Search Personal/Tiago web Recent changes in the Personal/Tiago web Get notified of changes to the Personal/Tiago web Tiago Alves Personal Web
Personal.Xana Home of Personal/Xana web Search Personal/Xana web Recent changes in the Personal/Xana web Get notified of changes to the Personal/Xana web Alexandra Silva ...collaborate on
Personal.Ze Home of Personal/Ze web Search Personal/Ze web Recent changes in the Personal/Ze web Get notified of changes to the Personal/Ze web José Proença ...collaborate on
Research Home of Research web Search Research web Recent changes in the Research web Get notified of changes to the Research web Research main web Research Activities and Projects
Research.APEX Home of Research/APEX web Search Research/APEX web Recent changes in the Research/APEX web Get notified of changes to the Research/APEX web APEX Agile Prototyping for user EXperience
Research.Aviacc Home of Research/Aviacc web Search Research/Aviacc web Recent changes in the Research/Aviacc web Get notified of changes to the Research/Aviacc web Projeto AVIACC Analysis and Verification of Critical Concurrent Programs
Research.CROSS Home of Research/CROSS web Search Research/CROSS web Recent changes in the Research/CROSS web Get notified of changes to the Research/CROSS web CROSS An Infrastructure for Certification and Re-engineering of Open Source Software
Research.Digitarq Home of Research/Digitarq web Search Research/Digitarq web Recent changes in the Research/Digitarq web Get notified of changes to the Research/Digitarq web Digital Archives Development Project ...collaborate on
Research.Doutoramentos Home of Research/Doutoramentos web Search Research/Doutoramentos web Recent changes in the Research/Doutoramentos web Get notified of changes to the Research/Doutoramentos web Informações para doutorandos ...collaborate on
Research.EVOLVE Home of Research/EVOLVE web Search Research/EVOLVE web Recent changes in the Research/EVOLVE web Get notified of changes to the Research/EVOLVE web Evolutionary Verification, Validation and Certification Evolutionary Verification, Validation and Certification
Research.FATBIT Home of Research/FATBIT web Search Research/FATBIT web Recent changes in the Research/FATBIT web Get notified of changes to the Research/FATBIT web Foundations, Applications and Tools for Bidirectional Transformation Foundations, Applications and Tools for Bidirectional Transformation
Research.IKF Home of Research/IKF web Search Research/IKF web Recent changes in the Research/IKF web Get notified of changes to the Research/IKF web Research.IKF Project ...collaborate on
Research.LerNet Home of Research/LerNet web Search Research/LerNet web Recent changes in the Research/LerNet web Get notified of changes to the Research/LerNet web Research.LerNet ...collaborate on
Research.MONDRIAN Home of Research/MONDRIAN web Search Research/MONDRIAN web Recent changes in the Research/MONDRIAN web Get notified of changes to the Research/MONDRIAN web MONDRIAN Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability
Research.MathIS Home of Research/MathIS web Search Research/MathIS web Recent changes in the Research/MathIS web Get notified of changes to the Research/MathIS web What Mathematics for the Information Society?
Research.Matisse Home of Research/Matisse web Search Research/Matisse web Recent changes in the Research/Matisse web Get notified of changes to the Research/Matisse web Mathematics Education Projecto MathIS? : Que Matemática para a Sociedade da Informação?
Research.NASONI Home of Research/NASONI web Search Research/NASONI web Recent changes in the Research/NASONI web Get notified of changes to the Research/NASONI web Heterogeneous software coordination: Foundations, methods, tools. Heterogeneous software coordination: Foundations, methods, tools.
Research.OntXQuery Home of Research/OntXQuery web Search Research/OntXQuery web Recent changes in the Research/OntXQuery web Get notified of changes to the Research/OntXQuery web OntXQuery? - Pedro Henriques ...collaborate on
Research.PCVIA Home of Research/PCVIA web Search Research/PCVIA web Recent changes in the Research/PCVIA web Get notified of changes to the Research/PCVIA web Program Comprehension ...collaborate on
Research.PURe Home of Research/PURe web Search Research/PURe web Recent changes in the Research/PURe web Get notified of changes to the Research/PURe web PURe Program Understanding and Re-engineering: Calculi and Applications
Research.QAIS Home of Research/QAIS web Search Research/QAIS web Recent changes in the Research/QAIS web Get notified of changes to the Research/QAIS web QAIS Quantitative analysis of interacting systems: foundations and algorithms
Research.Rescue Home of Research/Rescue web Search Research/Rescue web Recent changes in the Research/Rescue web Get notified of changes to the Research/Rescue web RESCUE, REliable and Safe Code execUtion for Embedded systems REliable and Safe Code execUtion for Embedded systems
Research.VFS Home of Research/VFS web Search Research/VFS web Recent changes in the Research/VFS web Get notified of changes to the Research/VFS web Verifiable File System
Research.Voda Home of Research/Voda web Search Research/Voda web Recent changes in the Research/Voda web Get notified of changes to the Research/Voda web Project on grammar-based systems. Collaborate in the project on grammar-based systems.
Sandbox Home of Sandbox web Search Sandbox web Recent changes in the Sandbox web Get notified of changes to the Sandbox web Sandbox test area with all features enabled. ...experiment in an unrestricted hands-on web.
You can use color coding by web for identification and reference. This table is updated automatically based on WebPreferences settings of the individual webs. Contact webmaster@di.uminho.pt if you need a separate collaboration web for your team. See also AdminToolsCategory.
Legend of icons:   Home of web = Go to the home of the web
Search web = Search the web 		  Recent changes in the web = See recent changes in the web
Get notified of changes to the web = Subscribe to get notified of changes by e-mail

WebHome 4 - 14 Apr 2002 - Main.PeterThoeny
Line: 1 to 1
 Welcome to the home of TWiki.Research/CROSS. This is a web-based collaboration area for ...

  • MeetingMinutes?
Changed:
<
<

Maintenance of the Research/CROSS web

  •    (More options in WebSearch)
  • WebChanges: Find out recent modifications to the TWiki.Research/CROSS web.
  • WebIndex: Display all TWiki.Research/CROSS topics in alphabetical order. See also the faster WebTopicList
  • WebNotify: Subscribe to be automatically notified when something changes in the TWiki.Research/CROSS web.
  • WebStatistics: View access statistics of the TWiki.Research/CROSS web.
  • WebPreferences: Preferences of the TWiki.Research/CROSS web.
>
>

Site Tools of the Research/CROSS Web

 Notes:
Changed:
<
<
  • You are currently in the TWiki.Research/CROSS web. The color code for this web is a (SPECIFY COLOR) background, so you know where you are.
  • If you are not familiar with the TWiki collaboration tool, please visit WelcomeGuest in the TWiki.TWiki web first.
>
>
  • You are currently in the Research/CROSS web. The color code for this web is this background, so you know where you are.
  • If you are not familiar with the TWiki collaboration platform, please visit WelcomeGuest first.
 

Web TWiki Site Map Use to...
Main Home of Main web Search Main web Recent changes in the Main web Get notified of changes to the Main web DIUM/CCTC Wiki. DIUM/CCTC
TWiki Home of TWiki web Search TWiki web Recent changes in the TWiki web Get notified of changes to the TWiki web Welcome, Registration, and other StartingPoints; TWiki history & Wiki style; All the docs... ...discover TWiki details, and how to start your own site.
DI Home of DI web Search DI web Recent changes in the DI web Get notified of changes to the DI web DI main web Department Groups and Activities
DI.EPL Home of DI/EPL web Search DI/EPL web Recent changes in the DI/EPL web Get notified of changes to the DI/EPL web DI.EPL Group ...collaborate on
DI.FAST Home of DI/FAST web Search DI/FAST web Recent changes in the DI/FAST web Get notified of changes to the DI/FAST web Foundations and Applications of Software Technology Foundations and Applications of Software Technology
DI.FMHAS Home of DI/FMHAS web Search DI/FMHAS web Recent changes in the DI/FMHAS web Get notified of changes to the DI/FMHAS web High-Assurance Software Laboratory High-Assurance Software Laboratory
DI.TETIC Home of DI/TETIC web Search DI/TETIC web Recent changes in the DI/TETIC web Get notified of changes to the DI/TETIC web Tecnologias Emergentes nas TICs ...collaborate on
EL Home of EL web Search EL web Recent changes in the EL web Get notified of changes to the EL web Engenharia de Linguagens (2011/2012) ...collaborate on
Education Home of Education web Search Education web Recent changes in the Education web Get notified of changes to the Education web Education main web Education Activities
Education.ACMSD Home of Education/ACMSD web Search Education/ACMSD web Recent changes in the Education/ACMSD web Get notified of changes to the Education/ACMSD web Algebraic and Coalgebraic Methods in Software Development MAPi
Education.ACS Home of Education/ACS web Search Education/ACS web Recent changes in the Education/ACS web Get notified of changes to the Education/ACS web Análise e Concepção de Software
Education.AeC Home of Education/AeC web Search Education/AeC web Recent changes in the Education/AeC web Get notified of changes to the Education/AeC web Algoritmos e Complexidade Licenciatura em Engenharia Informática
Education.Archive Home of Education/Archive web Search Education/Archive web Recent changes in the Education/Archive web Get notified of changes to the Education/Archive web Education.Archive Wiki. ...collaborate on
Education.CP Home of Education/CP web Search Education/CP web Recent changes in the Education/CP web Get notified of changes to the Education/CP web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
Education.CP0809 Home of Education/CP0809 web Search Education/CP0809 web Recent changes in the Education/CP0809 web Get notified of changes to the Education/CP0809 web Cálculo de Programas Licenciatura em Engenharia Informática
Education.CP0910 Home of Education/CP0910 web Search Education/CP0910 web Recent changes in the Education/CP0910 web Get notified of changes to the Education/CP0910 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1011 Home of Education/CP1011 web Search Education/CP1011 web Recent changes in the Education/CP1011 web Get notified of changes to the Education/CP1011 web Cálculo de Programas Licenciatura em Engenharia Informática
Education.CP1112 Home of Education/CP1112 web Search Education/CP1112 web Recent changes in the Education/CP1112 web Get notified of changes to the Education/CP1112 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1213 Home of Education/CP1213 web Search Education/CP1213 web Recent changes in the Education/CP1213 web Get notified of changes to the Education/CP1213 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1314 Home of Education/CP1314 web Search Education/CP1314 web Recent changes in the Education/CP1314 web Get notified of changes to the Education/CP1314 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1415 Home of Education/CP1415 web Search Education/CP1415 web Recent changes in the Education/CP1415 web Get notified of changes to the Education/CP1415 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1617 Home of Education/CP1617 web Search Education/CP1617 web Recent changes in the Education/CP1617 web Get notified of changes to the Education/CP1617 web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Ciências da Computação
Education.CP1718 Home of Education/CP1718 web Search Education/CP1718 web Recent changes in the Education/CP1718 web Get notified of changes to the Education/CP1718 web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
Education.ClubeProgramacao Home of Education/ClubeProgramacao web Search Education/ClubeProgramacao web Recent changes in the Education/ClubeProgramacao web Get notified of changes to the Education/ClubeProgramacao web Clube de Programação Departamento de Informática
Education.Criptografia Home of Education/Criptografia web Search Education/Criptografia web Recent changes in the Education/Criptografia web Get notified of changes to the Education/Criptografia web Criptografia @ DI
Education.EL Home of Education/EL web Search Education/EL web Recent changes in the Education/EL web Get notified of changes to the Education/EL web Engenharia de Linguagens
Education.EL0708 Home of Education/EL0708 web Search Education/EL0708 web Recent changes in the Education/EL0708 web Get notified of changes to the Education/EL0708 web Engenharia Linguagens Engenharia Linguagens
Education.EL0809 Home of Education/EL0809 web Search Education/EL0809 web Recent changes in the Education/EL0809 web Get notified of changes to the Education/EL0809 web Engenharia de Linguagens
Education.EL0910 Home of Education/EL0910 web Search Education/EL0910 web Recent changes in the Education/EL0910 web Get notified of changes to the Education/EL0910 web ...collaborate on
Education.EL1011 Home of Education/EL1011 web Search Education/EL1011 web Recent changes in the Education/EL1011 web Get notified of changes to the Education/EL1011 web Engenharia de Linguagens
Education.EM Home of Education/EM web Search Education/EM web Recent changes in the Education/EM web Get notified of changes to the Education/EM web Especificação e Modelação Métodos Formais em Engenharia de Software
Education.ERS Home of Education/ERS web Search Education/ERS web Recent changes in the Education/ERS web Get notified of changes to the Education/ERS web Engenharia de Redes e Serviços
Education.LAD Home of Education/LAD web Search Education/LAD web Recent changes in the Education/LAD web Get notified of changes to the Education/LAD web Linguagens para Anotação de Documentos ...collaborate on
Education.LC Home of Education/LC web Search Education/LC web Recent changes in the Education/LC web Get notified of changes to the Education/LC web Licenciatura em Ciências da Computação - 2º ano
Education.LI1 Home of Education/LI1 web Search Education/LI1 web Recent changes in the Education/LI1 web Get notified of changes to the Education/LI1 web Laboratórios de Informática 1 Licenciatura em Engenharia Informática (2012/13)
Education.LI10708 Home of Education/LI10708 web Search Education/LI10708 web Recent changes in the Education/LI10708 web Get notified of changes to the Education/LI10708 web Laboratório de Informática 1
Education.LI11011 Home of Education/LI11011 web Search Education/LI11011 web Recent changes in the Education/LI11011 web Get notified of changes to the Education/LI11011 web Laboratórios de Informática I Licenciatura em Engenharia Informática (2010/11)
Education.LI11112 Home of Education/LI11112 web Search Education/LI11112 web Recent changes in the Education/LI11112 web Get notified of changes to the Education/LI11112 web Laboratórios de Informática I Licenciatura em Engenharia Informática (2011/12)
Education.MAPiICS Home of Education/MAPiICS web Search Education/MAPiICS web Recent changes in the Education/MAPiICS web Get notified of changes to the Education/MAPiICS web MAPi - Interactive Computing Systems MAPi Doctoral Programme
Education.MFES Home of Education/MFES web Search Education/MFES web Recent changes in the Education/MFES web Get notified of changes to the Education/MFES web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática - MFES 2020/2021
Education.MFES0910 Home of Education/MFES0910 web Search Education/MFES0910 web Recent changes in the Education/MFES0910 web Get notified of changes to the Education/MFES0910 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2009/10)
Education.MFES1011 Home of Education/MFES1011 web Search Education/MFES1011 web Recent changes in the Education/MFES1011 web Get notified of changes to the Education/MFES1011 web Mestrado de [Engenharia] Informática (2010/11)
Education.MFES1112 Home of Education/MFES1112 web Search Education/MFES1112 web Recent changes in the Education/MFES1112 web Get notified of changes to the Education/MFES1112 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2011/12)
Education.MFES1213 Home of Education/MFES1213 web Search Education/MFES1213 web Recent changes in the Education/MFES1213 web Get notified of changes to the Education/MFES1213 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2012/13)
Education.MFES1314 Home of Education/MFES1314 web Search Education/MFES1314 web Recent changes in the Education/MFES1314 web Get notified of changes to the Education/MFES1314 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (13/14)
Education.MFES1415 Home of Education/MFES1415 web Search Education/MFES1415 web Recent changes in the Education/MFES1415 web Get notified of changes to the Education/MFES1415 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (14/15)
Education.MFES1617 Home of Education/MFES1617 web Search Education/MFES1617 web Recent changes in the Education/MFES1617 web Get notified of changes to the Education/MFES1617 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática [16/17]
Education.MFES1718 Home of Education/MFES1718 web Search Education/MFES1718 web Recent changes in the Education/MFES1718 web Get notified of changes to the Education/MFES1718 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática [17/18]
Education.MFES1819 Home of Education/MFES1819 web Search Education/MFES1819 web Recent changes in the Education/MFES1819 web Get notified of changes to the Education/MFES1819 web Métodos Formais em Engenharia de Software (2018/2019) Mestrado Integrado em Engenharia Informática - MFES 2018/2019
Education.MFES1920 Home of Education/MFES1920 web Search Education/MFES1920 web Recent changes in the Education/MFES1920 web Get notified of changes to the Education/MFES1920 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática - MFES 2019/2020
Education.MICEI Home of Education/MICEI web Search Education/MICEI web Recent changes in the Education/MICEI web Get notified of changes to the Education/MICEI web Mestrado em Informática e Curso de Especialização em Informática Mestrado em Informática e Curso de Especialização em Informática
Education.MSM Home of Education/MSM web Search Education/MSM web Recent changes in the Education/MSM web Get notified of changes to the Education/MSM web Mestrado e Curso de Especialização em Sistemas Móveis ...collaborate on
Education.MapiFc Home of Education/MapiFc web Search Education/MapiFc web Recent changes in the Education/MapiFc web Get notified of changes to the Education/MapiFc web MAP/i - Foundations of Computing Option I: Program Semantics, Verification, and Construction
Education.MapiSCAM Home of Education/MapiSCAM web Search Education/MapiSCAM web Recent changes in the Education/MapiSCAM web Get notified of changes to the Education/MapiSCAM web Source Code Analysis and Manipulation (Mapi) Source Code Analysis and Manipulation (Mapi)
Education.PE Home of Education/PE web Search Education/PE web Recent changes in the Education/PE web Get notified of changes to the Education/PE web Publicação Electrónica Publicação Electrónica (EBio)
Education.PED Home of Education/PED web Search Education/PED web Recent changes in the Education/PED web Get notified of changes to the Education/PED web Processamento Estruturado de Documentos ...collaborate on
Education.PP2 Home of Education/PP2 web Search Education/PP2 web Recent changes in the Education/PP2 web Get notified of changes to the Education/PP2 web Paradigmas da Programação 2 ...collaborate on
Education.PeC Home of Education/PeC web Search Education/PeC web Recent changes in the Education/PeC web Get notified of changes to the Education/PeC web Processos e Concorrência Licenciatura em Ciências da Computação
Education.ProgramacaoImperativa Home of Education/ProgramacaoImperativa web Search Education/ProgramacaoImperativa web Recent changes in the Education/ProgramacaoImperativa web Get notified of changes to the Education/ProgramacaoImperativa web ...collaborate on
Education.SEM Home of Education/SEM web Search Education/SEM web Recent changes in the Education/SEM web Get notified of changes to the Education/SEM web Semântica da Programação Licenciatura em Ciências da Computação
Education.TPI Home of Education/TPI web Search Education/TPI web Recent changes in the Education/TPI web Get notified of changes to the Education/TPI web Tecnologias e Protocolos de Infra-Estrutura
Events Home of Events web Search Events web Recent changes in the Events web Get notified of changes to the Events web Events main web Events Organization
Events.GTTSE Home of Events/GTTSE web Search Events/GTTSE web Recent changes in the Events/GTTSE web Get notified of changes to the Events/GTTSE web Generative and Transformational Techniques in Software Engineering Generative and Transformational Techniques in Software Engineering
Events.GTTSE2007 Home of Events/GTTSE2007 web Search Events/GTTSE2007 web Recent changes in the Events/GTTSE2007 web Get notified of changes to the Events/GTTSE2007 web Generative and Transformational Techniques in Software Engineering Generative and Transformational Techniques in Software Engineering
Events.JCC Home of Events/JCC web Search Events/JCC web Recent changes in the Events/JCC web Get notified of changes to the Events/JCC web Jornadas de Ciências da Computação
Events.RULE2010 Home of Events/RULE2010 web Search Events/RULE2010 web Recent changes in the Events/RULE2010 web Get notified of changes to the Events/RULE2010 web RULE Workshop 2010 ...collaborate on
Events.RuleWorkshop Home of Events/RuleWorkshop web Search Events/RuleWorkshop web Recent changes in the Events/RuleWorkshop web Get notified of changes to the Events/RuleWorkshop web Rule Workshop International Workshop on Rule-Based Specification and Programming
JoseLuisSilva Home of JoseLuisSilva web Search JoseLuisSilva web Recent changes in the JoseLuisSilva web Get notified of changes to the JoseLuisSilva web webpage de JoseLuisSilva? ...collaborate on
Personal Home of Personal web Search Personal web Recent changes in the Personal web Get notified of changes to the Personal web Personal webs Personal webs
Personal.Alcino Home of Personal/Alcino web Search Personal/Alcino web Recent changes in the Personal/Alcino web Get notified of changes to the Personal/Alcino web Home page of Personal.Alcino Cunha.
Personal.Claudia Home of Personal/Claudia web Search Personal/Claudia web Recent changes in the Personal/Claudia web Get notified of changes to the Personal/Claudia web Personal.Claudia Necco
Personal.Jacome Home of Personal/Jacome web Search Personal/Jacome web Recent changes in the Personal/Jacome web Get notified of changes to the Personal/Jacome web Jácome Cunha ...collaborate on
Personal.Joao Home of Personal/Joao web Search Personal/Joao web Recent changes in the Personal/Joao web Get notified of changes to the Personal/Joao web João Fernandes ...collaborate on
Personal.Jorge Home of Personal/Jorge web Search Personal/Jorge web Recent changes in the Personal/Jorge web Get notified of changes to the Personal/Jorge web Personal.Jorge Sousa Pinto's Web. ...collaborate on
Personal.JorgeMendes Home of Personal/JorgeMendes web Search Personal/JorgeMendes web Recent changes in the Personal/JorgeMendes web Get notified of changes to the Personal/JorgeMendes web Jorge Mendes
Personal.JoseLuisSilva Home of Personal/JoseLuisSilva web Search Personal/JoseLuisSilva web Recent changes in the Personal/JoseLuisSilva web Get notified of changes to the Personal/JoseLuisSilva web webpage de JoseLuisSilva? ...collaborate on
Personal.LSB Home of Personal/LSB web Search Personal/LSB web Recent changes in the Personal/LSB web Get notified of changes to the Personal/LSB web Luís Soares Barbosa ...collaborate on
Personal.MBB Home of Personal/MBB web Search Personal/MBB web Recent changes in the Personal/MBB web Get notified of changes to the Personal/MBB web MBB's Personal Web
Personal.Nuno Home of Personal/Nuno web Search Personal/Nuno web Recent changes in the Personal/Nuno web Get notified of changes to the Personal/Nuno web Personal.Nuno Rodrigues's Web
Personal.Olga Home of Personal/Olga web Search Personal/Olga web Recent changes in the Personal/Olga web Get notified of changes to the Personal/Olga web Personal.Olga Web Page ...collaborate on
Personal.Pablo Home of Personal/Pablo web Search Personal/Pablo web Recent changes in the Personal/Pablo web Get notified of changes to the Personal/Pablo web Home page of Personal.Pablo Berdaguer ...collaborate on
Personal.PedroMartins Home of Personal/PedroMartins web Search Personal/PedroMartins web Recent changes in the Personal/PedroMartins web Get notified of changes to the Personal/PedroMartins web Pedro Martins ...collaborate on
Personal.Tiago Home of Personal/Tiago web Search Personal/Tiago web Recent changes in the Personal/Tiago web Get notified of changes to the Personal/Tiago web Tiago Alves Personal Web
Personal.Xana Home of Personal/Xana web Search Personal/Xana web Recent changes in the Personal/Xana web Get notified of changes to the Personal/Xana web Alexandra Silva ...collaborate on
Personal.Ze Home of Personal/Ze web Search Personal/Ze web Recent changes in the Personal/Ze web Get notified of changes to the Personal/Ze web José Proença ...collaborate on
Research Home of Research web Search Research web Recent changes in the Research web Get notified of changes to the Research web Research main web Research Activities and Projects
Research.APEX Home of Research/APEX web Search Research/APEX web Recent changes in the Research/APEX web Get notified of changes to the Research/APEX web APEX Agile Prototyping for user EXperience
Research.Aviacc Home of Research/Aviacc web Search Research/Aviacc web Recent changes in the Research/Aviacc web Get notified of changes to the Research/Aviacc web Projeto AVIACC Analysis and Verification of Critical Concurrent Programs
Research.CROSS Home of Research/CROSS web Search Research/CROSS web Recent changes in the Research/CROSS web Get notified of changes to the Research/CROSS web CROSS An Infrastructure for Certification and Re-engineering of Open Source Software
Research.Digitarq Home of Research/Digitarq web Search Research/Digitarq web Recent changes in the Research/Digitarq web Get notified of changes to the Research/Digitarq web Digital Archives Development Project ...collaborate on
Research.Doutoramentos Home of Research/Doutoramentos web Search Research/Doutoramentos web Recent changes in the Research/Doutoramentos web Get notified of changes to the Research/Doutoramentos web Informações para doutorandos ...collaborate on
Research.EVOLVE Home of Research/EVOLVE web Search Research/EVOLVE web Recent changes in the Research/EVOLVE web Get notified of changes to the Research/EVOLVE web Evolutionary Verification, Validation and Certification Evolutionary Verification, Validation and Certification
Research.FATBIT Home of Research/FATBIT web Search Research/FATBIT web Recent changes in the Research/FATBIT web Get notified of changes to the Research/FATBIT web Foundations, Applications and Tools for Bidirectional Transformation Foundations, Applications and Tools for Bidirectional Transformation
Research.IKF Home of Research/IKF web Search Research/IKF web Recent changes in the Research/IKF web Get notified of changes to the Research/IKF web Research.IKF Project ...collaborate on
Research.LerNet Home of Research/LerNet web Search Research/LerNet web Recent changes in the Research/LerNet web Get notified of changes to the Research/LerNet web Research.LerNet ...collaborate on
Research.MONDRIAN Home of Research/MONDRIAN web Search Research/MONDRIAN web Recent changes in the Research/MONDRIAN web Get notified of changes to the Research/MONDRIAN web MONDRIAN Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability
Research.MathIS Home of Research/MathIS web Search Research/MathIS web Recent changes in the Research/MathIS web Get notified of changes to the Research/MathIS web What Mathematics for the Information Society?
Research.Matisse Home of Research/Matisse web Search Research/Matisse web Recent changes in the Research/Matisse web Get notified of changes to the Research/Matisse web Mathematics Education Projecto MathIS? : Que Matemática para a Sociedade da Informação?
Research.NASONI Home of Research/NASONI web Search Research/NASONI web Recent changes in the Research/NASONI web Get notified of changes to the Research/NASONI web Heterogeneous software coordination: Foundations, methods, tools. Heterogeneous software coordination: Foundations, methods, tools.
Research.OntXQuery Home of Research/OntXQuery web Search Research/OntXQuery web Recent changes in the Research/OntXQuery web Get notified of changes to the Research/OntXQuery web OntXQuery? - Pedro Henriques ...collaborate on
Research.PCVIA Home of Research/PCVIA web Search Research/PCVIA web Recent changes in the Research/PCVIA web Get notified of changes to the Research/PCVIA web Program Comprehension ...collaborate on
Research.PURe Home of Research/PURe web Search Research/PURe web Recent changes in the Research/PURe web Get notified of changes to the Research/PURe web PURe Program Understanding and Re-engineering: Calculi and Applications
Research.QAIS Home of Research/QAIS web Search Research/QAIS web Recent changes in the Research/QAIS web Get notified of changes to the Research/QAIS web QAIS Quantitative analysis of interacting systems: foundations and algorithms
Research.Rescue Home of Research/Rescue web Search Research/Rescue web Recent changes in the Research/Rescue web Get notified of changes to the Research/Rescue web RESCUE, REliable and Safe Code execUtion for Embedded systems REliable and Safe Code execUtion for Embedded systems
Research.VFS Home of Research/VFS web Search Research/VFS web Recent changes in the Research/VFS web Get notified of changes to the Research/VFS web Verifiable File System
Research.Voda Home of Research/Voda web Search Research/Voda web Recent changes in the Research/Voda web Get notified of changes to the Research/Voda web Project on grammar-based systems. Collaborate in the project on grammar-based systems.
Sandbox Home of Sandbox web Search Sandbox web Recent changes in the Sandbox web Get notified of changes to the Sandbox web Sandbox test area with all features enabled. ...experiment in an unrestricted hands-on web.
You can use color coding by web for identification and reference. This table is updated automatically based on WebPreferences settings of the individual webs. Contact webmaster@di.uminho.pt if you need a separate collaboration web for your team. See also AdminToolsCategory.
Legend of icons:   Home of web = Go to the home of the web
Search web = Search the web 		  Recent changes in the web = See recent changes in the web
Get notified of changes to the web = Subscribe to get notified of changes by e-mail

WebHome 3 - 07 Apr 2002 - Main.PeterThoeny
Line: 1 to 1
 Welcome to the home of TWiki.Research/CROSS. This is a web-based collaboration area for ...

  • MeetingMinutes?
Line: 18 to 18
 
  • You are currently in the TWiki.Research/CROSS web. The color code for this web is a (SPECIFY COLOR) background, so you know where you are.
  • If you are not familiar with the TWiki collaboration tool, please visit WelcomeGuest in the TWiki.TWiki web first.
Changed:
<
<
Web TWiki Site Map Use to...
Main Home of Main web Search Main web Recent changes in the Main web Get notified of changes to the Main web DIUM/CCTC Wiki. DIUM/CCTC
TWiki Home of TWiki web Search TWiki web Recent changes in the TWiki web Get notified of changes to the TWiki web Welcome, Registration, and other StartingPoints; TWiki history & Wiki style; All the docs... ...discover TWiki details, and how to start your own site.
DI Home of DI web Search DI web Recent changes in the DI web Get notified of changes to the DI web DI main web Department Groups and Activities
DI.EPL Home of DI/EPL web Search DI/EPL web Recent changes in the DI/EPL web Get notified of changes to the DI/EPL web DI.EPL Group ...collaborate on
DI.FAST Home of DI/FAST web Search DI/FAST web Recent changes in the DI/FAST web Get notified of changes to the DI/FAST web Foundations and Applications of Software Technology Foundations and Applications of Software Technology
DI.FMHAS Home of DI/FMHAS web Search DI/FMHAS web Recent changes in the DI/FMHAS web Get notified of changes to the DI/FMHAS web High-Assurance Software Laboratory High-Assurance Software Laboratory
DI.TETIC Home of DI/TETIC web Search DI/TETIC web Recent changes in the DI/TETIC web Get notified of changes to the DI/TETIC web Tecnologias Emergentes nas TICs ...collaborate on
EL Home of EL web Search EL web Recent changes in the EL web Get notified of changes to the EL web Engenharia de Linguagens (2011/2012) ...collaborate on
Education Home of Education web Search Education web Recent changes in the Education web Get notified of changes to the Education web Education main web Education Activities
Education.ACMSD Home of Education/ACMSD web Search Education/ACMSD web Recent changes in the Education/ACMSD web Get notified of changes to the Education/ACMSD web Algebraic and Coalgebraic Methods in Software Development MAPi
Education.ACS Home of Education/ACS web Search Education/ACS web Recent changes in the Education/ACS web Get notified of changes to the Education/ACS web Análise e Concepção de Software
Education.AeC Home of Education/AeC web Search Education/AeC web Recent changes in the Education/AeC web Get notified of changes to the Education/AeC web Algoritmos e Complexidade Licenciatura em Engenharia Informática
Education.Archive Home of Education/Archive web Search Education/Archive web Recent changes in the Education/Archive web Get notified of changes to the Education/Archive web Education.Archive Wiki. ...collaborate on
Education.CP Home of Education/CP web Search Education/CP web Recent changes in the Education/CP web Get notified of changes to the Education/CP web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
Education.CP0809 Home of Education/CP0809 web Search Education/CP0809 web Recent changes in the Education/CP0809 web Get notified of changes to the Education/CP0809 web Cálculo de Programas Licenciatura em Engenharia Informática
Education.CP0910 Home of Education/CP0910 web Search Education/CP0910 web Recent changes in the Education/CP0910 web Get notified of changes to the Education/CP0910 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1011 Home of Education/CP1011 web Search Education/CP1011 web Recent changes in the Education/CP1011 web Get notified of changes to the Education/CP1011 web Cálculo de Programas Licenciatura em Engenharia Informática
Education.CP1112 Home of Education/CP1112 web Search Education/CP1112 web Recent changes in the Education/CP1112 web Get notified of changes to the Education/CP1112 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1213 Home of Education/CP1213 web Search Education/CP1213 web Recent changes in the Education/CP1213 web Get notified of changes to the Education/CP1213 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1314 Home of Education/CP1314 web Search Education/CP1314 web Recent changes in the Education/CP1314 web Get notified of changes to the Education/CP1314 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1415 Home of Education/CP1415 web Search Education/CP1415 web Recent changes in the Education/CP1415 web Get notified of changes to the Education/CP1415 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1617 Home of Education/CP1617 web Search Education/CP1617 web Recent changes in the Education/CP1617 web Get notified of changes to the Education/CP1617 web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Ciências da Computação
Education.CP1718 Home of Education/CP1718 web Search Education/CP1718 web Recent changes in the Education/CP1718 web Get notified of changes to the Education/CP1718 web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
Education.ClubeProgramacao Home of Education/ClubeProgramacao web Search Education/ClubeProgramacao web Recent changes in the Education/ClubeProgramacao web Get notified of changes to the Education/ClubeProgramacao web Clube de Programação Departamento de Informática
Education.Criptografia Home of Education/Criptografia web Search Education/Criptografia web Recent changes in the Education/Criptografia web Get notified of changes to the Education/Criptografia web Criptografia @ DI
Education.EL Home of Education/EL web Search Education/EL web Recent changes in the Education/EL web Get notified of changes to the Education/EL web Engenharia de Linguagens
Education.EL0708 Home of Education/EL0708 web Search Education/EL0708 web Recent changes in the Education/EL0708 web Get notified of changes to the Education/EL0708 web Engenharia Linguagens Engenharia Linguagens
Education.EL0809 Home of Education/EL0809 web Search Education/EL0809 web Recent changes in the Education/EL0809 web Get notified of changes to the Education/EL0809 web Engenharia de Linguagens
Education.EL0910 Home of Education/EL0910 web Search Education/EL0910 web Recent changes in the Education/EL0910 web Get notified of changes to the Education/EL0910 web ...collaborate on
Education.EL1011 Home of Education/EL1011 web Search Education/EL1011 web Recent changes in the Education/EL1011 web Get notified of changes to the Education/EL1011 web Engenharia de Linguagens
Education.EM Home of Education/EM web Search Education/EM web Recent changes in the Education/EM web Get notified of changes to the Education/EM web Especificação e Modelação Métodos Formais em Engenharia de Software
Education.ERS Home of Education/ERS web Search Education/ERS web Recent changes in the Education/ERS web Get notified of changes to the Education/ERS web Engenharia de Redes e Serviços
Education.LAD Home of Education/LAD web Search Education/LAD web Recent changes in the Education/LAD web Get notified of changes to the Education/LAD web Linguagens para Anotação de Documentos ...collaborate on
Education.LC Home of Education/LC web Search Education/LC web Recent changes in the Education/LC web Get notified of changes to the Education/LC web Licenciatura em Ciências da Computação - 2º ano
Education.LI1 Home of Education/LI1 web Search Education/LI1 web Recent changes in the Education/LI1 web Get notified of changes to the Education/LI1 web Laboratórios de Informática 1 Licenciatura em Engenharia Informática (2012/13)
Education.LI10708 Home of Education/LI10708 web Search Education/LI10708 web Recent changes in the Education/LI10708 web Get notified of changes to the Education/LI10708 web Laboratório de Informática 1
Education.LI11011 Home of Education/LI11011 web Search Education/LI11011 web Recent changes in the Education/LI11011 web Get notified of changes to the Education/LI11011 web Laboratórios de Informática I Licenciatura em Engenharia Informática (2010/11)
Education.LI11112 Home of Education/LI11112 web Search Education/LI11112 web Recent changes in the Education/LI11112 web Get notified of changes to the Education/LI11112 web Laboratórios de Informática I Licenciatura em Engenharia Informática (2011/12)
Education.MAPiICS Home of Education/MAPiICS web Search Education/MAPiICS web Recent changes in the Education/MAPiICS web Get notified of changes to the Education/MAPiICS web MAPi - Interactive Computing Systems MAPi Doctoral Programme
Education.MFES Home of Education/MFES web Search Education/MFES web Recent changes in the Education/MFES web Get notified of changes to the Education/MFES web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática - MFES 2020/2021
Education.MFES0910 Home of Education/MFES0910 web Search Education/MFES0910 web Recent changes in the Education/MFES0910 web Get notified of changes to the Education/MFES0910 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2009/10)
Education.MFES1011 Home of Education/MFES1011 web Search Education/MFES1011 web Recent changes in the Education/MFES1011 web Get notified of changes to the Education/MFES1011 web Mestrado de [Engenharia] Informática (2010/11)
Education.MFES1112 Home of Education/MFES1112 web Search Education/MFES1112 web Recent changes in the Education/MFES1112 web Get notified of changes to the Education/MFES1112 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2011/12)
Education.MFES1213 Home of Education/MFES1213 web Search Education/MFES1213 web Recent changes in the Education/MFES1213 web Get notified of changes to the Education/MFES1213 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2012/13)
Education.MFES1314 Home of Education/MFES1314 web Search Education/MFES1314 web Recent changes in the Education/MFES1314 web Get notified of changes to the Education/MFES1314 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (13/14)
Education.MFES1415 Home of Education/MFES1415 web Search Education/MFES1415 web Recent changes in the Education/MFES1415 web Get notified of changes to the Education/MFES1415 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (14/15)
Education.MFES1617 Home of Education/MFES1617 web Search Education/MFES1617 web Recent changes in the Education/MFES1617 web Get notified of changes to the Education/MFES1617 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática [16/17]
Education.MFES1718 Home of Education/MFES1718 web Search Education/MFES1718 web Recent changes in the Education/MFES1718 web Get notified of changes to the Education/MFES1718 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática [17/18]
Education.MFES1819 Home of Education/MFES1819 web Search Education/MFES1819 web Recent changes in the Education/MFES1819 web Get notified of changes to the Education/MFES1819 web Métodos Formais em Engenharia de Software (2018/2019) Mestrado Integrado em Engenharia Informática - MFES 2018/2019
Education.MFES1920 Home of Education/MFES1920 web Search Education/MFES1920 web Recent changes in the Education/MFES1920 web Get notified of changes to the Education/MFES1920 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática - MFES 2019/2020
Education.MICEI Home of Education/MICEI web Search Education/MICEI web Recent changes in the Education/MICEI web Get notified of changes to the Education/MICEI web Mestrado em Informática e Curso de Especialização em Informática Mestrado em Informática e Curso de Especialização em Informática
Education.MSM Home of Education/MSM web Search Education/MSM web Recent changes in the Education/MSM web Get notified of changes to the Education/MSM web Mestrado e Curso de Especialização em Sistemas Móveis ...collaborate on
Education.MapiFc Home of Education/MapiFc web Search Education/MapiFc web Recent changes in the Education/MapiFc web Get notified of changes to the Education/MapiFc web MAP/i - Foundations of Computing Option I: Program Semantics, Verification, and Construction
Education.MapiSCAM Home of Education/MapiSCAM web Search Education/MapiSCAM web Recent changes in the Education/MapiSCAM web Get notified of changes to the Education/MapiSCAM web Source Code Analysis and Manipulation (Mapi) Source Code Analysis and Manipulation (Mapi)
Education.PE Home of Education/PE web Search Education/PE web Recent changes in the Education/PE web Get notified of changes to the Education/PE web Publicação Electrónica Publicação Electrónica (EBio)
Education.PED Home of Education/PED web Search Education/PED web Recent changes in the Education/PED web Get notified of changes to the Education/PED web Processamento Estruturado de Documentos ...collaborate on
Education.PP2 Home of Education/PP2 web Search Education/PP2 web Recent changes in the Education/PP2 web Get notified of changes to the Education/PP2 web Paradigmas da Programação 2 ...collaborate on
Education.PeC Home of Education/PeC web Search Education/PeC web Recent changes in the Education/PeC web Get notified of changes to the Education/PeC web Processos e Concorrência Licenciatura em Ciências da Computação
Education.ProgramacaoImperativa Home of Education/ProgramacaoImperativa web Search Education/ProgramacaoImperativa web Recent changes in the Education/ProgramacaoImperativa web Get notified of changes to the Education/ProgramacaoImperativa web ...collaborate on
Education.SEM Home of Education/SEM web Search Education/SEM web Recent changes in the Education/SEM web Get notified of changes to the Education/SEM web Semântica da Programação Licenciatura em Ciências da Computação
Education.TPI Home of Education/TPI web Search Education/TPI web Recent changes in the Education/TPI web Get notified of changes to the Education/TPI web Tecnologias e Protocolos de Infra-Estrutura
Events Home of Events web Search Events web Recent changes in the Events web Get notified of changes to the Events web Events main web Events Organization
Events.GTTSE Home of Events/GTTSE web Search Events/GTTSE web Recent changes in the Events/GTTSE web Get notified of changes to the Events/GTTSE web Generative and Transformational Techniques in Software Engineering Generative and Transformational Techniques in Software Engineering
Events.GTTSE2007 Home of Events/GTTSE2007 web Search Events/GTTSE2007 web Recent changes in the Events/GTTSE2007 web Get notified of changes to the Events/GTTSE2007 web Generative and Transformational Techniques in Software Engineering Generative and Transformational Techniques in Software Engineering
Events.JCC Home of Events/JCC web Search Events/JCC web Recent changes in the Events/JCC web Get notified of changes to the Events/JCC web Jornadas de Ciências da Computação
Events.RULE2010 Home of Events/RULE2010 web Search Events/RULE2010 web Recent changes in the Events/RULE2010 web Get notified of changes to the Events/RULE2010 web RULE Workshop 2010 ...collaborate on
Events.RuleWorkshop Home of Events/RuleWorkshop web Search Events/RuleWorkshop web Recent changes in the Events/RuleWorkshop web Get notified of changes to the Events/RuleWorkshop web Rule Workshop International Workshop on Rule-Based Specification and Programming
JoseLuisSilva Home of JoseLuisSilva web Search JoseLuisSilva web Recent changes in the JoseLuisSilva web Get notified of changes to the JoseLuisSilva web webpage de JoseLuisSilva? ...collaborate on
Personal Home of Personal web Search Personal web Recent changes in the Personal web Get notified of changes to the Personal web Personal webs Personal webs
Personal.Alcino Home of Personal/Alcino web Search Personal/Alcino web Recent changes in the Personal/Alcino web Get notified of changes to the Personal/Alcino web Home page of Personal.Alcino Cunha.
Personal.Claudia Home of Personal/Claudia web Search Personal/Claudia web Recent changes in the Personal/Claudia web Get notified of changes to the Personal/Claudia web Personal.Claudia Necco
Personal.Jacome Home of Personal/Jacome web Search Personal/Jacome web Recent changes in the Personal/Jacome web Get notified of changes to the Personal/Jacome web Jácome Cunha ...collaborate on
Personal.Joao Home of Personal/Joao web Search Personal/Joao web Recent changes in the Personal/Joao web Get notified of changes to the Personal/Joao web João Fernandes ...collaborate on
Personal.Jorge Home of Personal/Jorge web Search Personal/Jorge web Recent changes in the Personal/Jorge web Get notified of changes to the Personal/Jorge web Personal.Jorge Sousa Pinto's Web. ...collaborate on
Personal.JorgeMendes Home of Personal/JorgeMendes web Search Personal/JorgeMendes web Recent changes in the Personal/JorgeMendes web Get notified of changes to the Personal/JorgeMendes web Jorge Mendes
Personal.JoseLuisSilva Home of Personal/JoseLuisSilva web Search Personal/JoseLuisSilva web Recent changes in the Personal/JoseLuisSilva web Get notified of changes to the Personal/JoseLuisSilva web webpage de JoseLuisSilva? ...collaborate on
Personal.LSB Home of Personal/LSB web Search Personal/LSB web Recent changes in the Personal/LSB web Get notified of changes to the Personal/LSB web Luís Soares Barbosa ...collaborate on
Personal.MBB Home of Personal/MBB web Search Personal/MBB web Recent changes in the Personal/MBB web Get notified of changes to the Personal/MBB web MBB's Personal Web
Personal.Nuno Home of Personal/Nuno web Search Personal/Nuno web Recent changes in the Personal/Nuno web Get notified of changes to the Personal/Nuno web Personal.Nuno Rodrigues's Web
Personal.Olga Home of Personal/Olga web Search Personal/Olga web Recent changes in the Personal/Olga web Get notified of changes to the Personal/Olga web Personal.Olga Web Page ...collaborate on
Personal.Pablo Home of Personal/Pablo web Search Personal/Pablo web Recent changes in the Personal/Pablo web Get notified of changes to the Personal/Pablo web Home page of Personal.Pablo Berdaguer ...collaborate on
Personal.PedroMartins Home of Personal/PedroMartins web Search Personal/PedroMartins web Recent changes in the Personal/PedroMartins web Get notified of changes to the Personal/PedroMartins web Pedro Martins ...collaborate on
Personal.Tiago Home of Personal/Tiago web Search Personal/Tiago web Recent changes in the Personal/Tiago web Get notified of changes to the Personal/Tiago web Tiago Alves Personal Web
Personal.Xana Home of Personal/Xana web Search Personal/Xana web Recent changes in the Personal/Xana web Get notified of changes to the Personal/Xana web Alexandra Silva ...collaborate on
Personal.Ze Home of Personal/Ze web Search Personal/Ze web Recent changes in the Personal/Ze web Get notified of changes to the Personal/Ze web José Proença ...collaborate on
Research Home of Research web Search Research web Recent changes in the Research web Get notified of changes to the Research web Research main web Research Activities and Projects
Research.APEX Home of Research/APEX web Search Research/APEX web Recent changes in the Research/APEX web Get notified of changes to the Research/APEX web APEX Agile Prototyping for user EXperience
Research.Aviacc Home of Research/Aviacc web Search Research/Aviacc web Recent changes in the Research/Aviacc web Get notified of changes to the Research/Aviacc web Projeto AVIACC Analysis and Verification of Critical Concurrent Programs
Research.CROSS Home of Research/CROSS web Search Research/CROSS web Recent changes in the Research/CROSS web Get notified of changes to the Research/CROSS web CROSS An Infrastructure for Certification and Re-engineering of Open Source Software
Research.Digitarq Home of Research/Digitarq web Search Research/Digitarq web Recent changes in the Research/Digitarq web Get notified of changes to the Research/Digitarq web Digital Archives Development Project ...collaborate on
Research.Doutoramentos Home of Research/Doutoramentos web Search Research/Doutoramentos web Recent changes in the Research/Doutoramentos web Get notified of changes to the Research/Doutoramentos web Informações para doutorandos ...collaborate on
Research.EVOLVE Home of Research/EVOLVE web Search Research/EVOLVE web Recent changes in the Research/EVOLVE web Get notified of changes to the Research/EVOLVE web Evolutionary Verification, Validation and Certification Evolutionary Verification, Validation and Certification
Research.FATBIT Home of Research/FATBIT web Search Research/FATBIT web Recent changes in the Research/FATBIT web Get notified of changes to the Research/FATBIT web Foundations, Applications and Tools for Bidirectional Transformation Foundations, Applications and Tools for Bidirectional Transformation
Research.IKF Home of Research/IKF web Search Research/IKF web Recent changes in the Research/IKF web Get notified of changes to the Research/IKF web Research.IKF Project ...collaborate on
Research.LerNet Home of Research/LerNet web Search Research/LerNet web Recent changes in the Research/LerNet web Get notified of changes to the Research/LerNet web Research.LerNet ...collaborate on
Research.MONDRIAN Home of Research/MONDRIAN web Search Research/MONDRIAN web Recent changes in the Research/MONDRIAN web Get notified of changes to the Research/MONDRIAN web MONDRIAN Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability
Research.MathIS Home of Research/MathIS web Search Research/MathIS web Recent changes in the Research/MathIS web Get notified of changes to the Research/MathIS web What Mathematics for the Information Society?
Research.Matisse Home of Research/Matisse web Search Research/Matisse web Recent changes in the Research/Matisse web Get notified of changes to the Research/Matisse web Mathematics Education Projecto MathIS? : Que Matemática para a Sociedade da Informação?
Research.NASONI Home of Research/NASONI web Search Research/NASONI web Recent changes in the Research/NASONI web Get notified of changes to the Research/NASONI web Heterogeneous software coordination: Foundations, methods, tools. Heterogeneous software coordination: Foundations, methods, tools.
Research.OntXQuery Home of Research/OntXQuery web Search Research/OntXQuery web Recent changes in the Research/OntXQuery web Get notified of changes to the Research/OntXQuery web OntXQuery? - Pedro Henriques ...collaborate on
Research.PCVIA Home of Research/PCVIA web Search Research/PCVIA web Recent changes in the Research/PCVIA web Get notified of changes to the Research/PCVIA web Program Comprehension ...collaborate on
Research.PURe Home of Research/PURe web Search Research/PURe web Recent changes in the Research/PURe web Get notified of changes to the Research/PURe web PURe Program Understanding and Re-engineering: Calculi and Applications
Research.QAIS Home of Research/QAIS web Search Research/QAIS web Recent changes in the Research/QAIS web Get notified of changes to the Research/QAIS web QAIS Quantitative analysis of interacting systems: foundations and algorithms
Research.Rescue Home of Research/Rescue web Search Research/Rescue web Recent changes in the Research/Rescue web Get notified of changes to the Research/Rescue web RESCUE, REliable and Safe Code execUtion for Embedded systems REliable and Safe Code execUtion for Embedded systems
Research.VFS Home of Research/VFS web Search Research/VFS web Recent changes in the Research/VFS web Get notified of changes to the Research/VFS web Verifiable File System
Research.Voda Home of Research/Voda web Search Research/Voda web Recent changes in the Research/Voda web Get notified of changes to the Research/Voda web Project on grammar-based systems. Collaborate in the project on grammar-based systems.
Sandbox Home of Sandbox web Search Sandbox web Recent changes in the Sandbox web Get notified of changes to the Sandbox web Sandbox test area with all features enabled. ...experiment in an unrestricted hands-on web.
You can use color coding by web for identification and reference. This table is updated automatically based on WebPreferences settings of the individual webs. Contact webmaster@di.uminho.pt if you need a separate collaboration web for your team. See also AdminToolsCategory.
Legend of icons:   Home of web = Go to the home of the web
Search web = Search the web 		  Recent changes in the web = See recent changes in the web
Get notified of changes to the web = Subscribe to get notified of changes by e-mail
(included from SiteMap; change WebHome to include from SiteMap instead of TWikiWebsTable)
>
>
Web TWiki Site Map Use to...
Main Home of Main web Search Main web Recent changes in the Main web Get notified of changes to the Main web DIUM/CCTC Wiki. DIUM/CCTC
TWiki Home of TWiki web Search TWiki web Recent changes in the TWiki web Get notified of changes to the TWiki web Welcome, Registration, and other StartingPoints; TWiki history & Wiki style; All the docs... ...discover TWiki details, and how to start your own site.
DI Home of DI web Search DI web Recent changes in the DI web Get notified of changes to the DI web DI main web Department Groups and Activities
DI.EPL Home of DI/EPL web Search DI/EPL web Recent changes in the DI/EPL web Get notified of changes to the DI/EPL web DI.EPL Group ...collaborate on
DI.FAST Home of DI/FAST web Search DI/FAST web Recent changes in the DI/FAST web Get notified of changes to the DI/FAST web Foundations and Applications of Software Technology Foundations and Applications of Software Technology
DI.FMHAS Home of DI/FMHAS web Search DI/FMHAS web Recent changes in the DI/FMHAS web Get notified of changes to the DI/FMHAS web High-Assurance Software Laboratory High-Assurance Software Laboratory
DI.TETIC Home of DI/TETIC web Search DI/TETIC web Recent changes in the DI/TETIC web Get notified of changes to the DI/TETIC web Tecnologias Emergentes nas TICs ...collaborate on
EL Home of EL web Search EL web Recent changes in the EL web Get notified of changes to the EL web Engenharia de Linguagens (2011/2012) ...collaborate on
Education Home of Education web Search Education web Recent changes in the Education web Get notified of changes to the Education web Education main web Education Activities
Education.ACMSD Home of Education/ACMSD web Search Education/ACMSD web Recent changes in the Education/ACMSD web Get notified of changes to the Education/ACMSD web Algebraic and Coalgebraic Methods in Software Development MAPi
Education.ACS Home of Education/ACS web Search Education/ACS web Recent changes in the Education/ACS web Get notified of changes to the Education/ACS web Análise e Concepção de Software
Education.AeC Home of Education/AeC web Search Education/AeC web Recent changes in the Education/AeC web Get notified of changes to the Education/AeC web Algoritmos e Complexidade Licenciatura em Engenharia Informática
Education.Archive Home of Education/Archive web Search Education/Archive web Recent changes in the Education/Archive web Get notified of changes to the Education/Archive web Education.Archive Wiki. ...collaborate on
Education.CP Home of Education/CP web Search Education/CP web Recent changes in the Education/CP web Get notified of changes to the Education/CP web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
Education.CP0809 Home of Education/CP0809 web Search Education/CP0809 web Recent changes in the Education/CP0809 web Get notified of changes to the Education/CP0809 web Cálculo de Programas Licenciatura em Engenharia Informática
Education.CP0910 Home of Education/CP0910 web Search Education/CP0910 web Recent changes in the Education/CP0910 web Get notified of changes to the Education/CP0910 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1011 Home of Education/CP1011 web Search Education/CP1011 web Recent changes in the Education/CP1011 web Get notified of changes to the Education/CP1011 web Cálculo de Programas Licenciatura em Engenharia Informática
Education.CP1112 Home of Education/CP1112 web Search Education/CP1112 web Recent changes in the Education/CP1112 web Get notified of changes to the Education/CP1112 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1213 Home of Education/CP1213 web Search Education/CP1213 web Recent changes in the Education/CP1213 web Get notified of changes to the Education/CP1213 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1314 Home of Education/CP1314 web Search Education/CP1314 web Recent changes in the Education/CP1314 web Get notified of changes to the Education/CP1314 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1415 Home of Education/CP1415 web Search Education/CP1415 web Recent changes in the Education/CP1415 web Get notified of changes to the Education/CP1415 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1617 Home of Education/CP1617 web Search Education/CP1617 web Recent changes in the Education/CP1617 web Get notified of changes to the Education/CP1617 web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Ciências da Computação
Education.CP1718 Home of Education/CP1718 web Search Education/CP1718 web Recent changes in the Education/CP1718 web Get notified of changes to the Education/CP1718 web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
Education.ClubeProgramacao Home of Education/ClubeProgramacao web Search Education/ClubeProgramacao web Recent changes in the Education/ClubeProgramacao web Get notified of changes to the Education/ClubeProgramacao web Clube de Programação Departamento de Informática
Education.Criptografia Home of Education/Criptografia web Search Education/Criptografia web Recent changes in the Education/Criptografia web Get notified of changes to the Education/Criptografia web Criptografia @ DI
Education.EL Home of Education/EL web Search Education/EL web Recent changes in the Education/EL web Get notified of changes to the Education/EL web Engenharia de Linguagens
Education.EL0708 Home of Education/EL0708 web Search Education/EL0708 web Recent changes in the Education/EL0708 web Get notified of changes to the Education/EL0708 web Engenharia Linguagens Engenharia Linguagens
Education.EL0809 Home of Education/EL0809 web Search Education/EL0809 web Recent changes in the Education/EL0809 web Get notified of changes to the Education/EL0809 web Engenharia de Linguagens
Education.EL0910 Home of Education/EL0910 web Search Education/EL0910 web Recent changes in the Education/EL0910 web Get notified of changes to the Education/EL0910 web ...collaborate on
Education.EL1011 Home of Education/EL1011 web Search Education/EL1011 web Recent changes in the Education/EL1011 web Get notified of changes to the Education/EL1011 web Engenharia de Linguagens
Education.EM Home of Education/EM web Search Education/EM web Recent changes in the Education/EM web Get notified of changes to the Education/EM web Especificação e Modelação Métodos Formais em Engenharia de Software
Education.ERS Home of Education/ERS web Search Education/ERS web Recent changes in the Education/ERS web Get notified of changes to the Education/ERS web Engenharia de Redes e Serviços
Education.LAD Home of Education/LAD web Search Education/LAD web Recent changes in the Education/LAD web Get notified of changes to the Education/LAD web Linguagens para Anotação de Documentos ...collaborate on
Education.LC Home of Education/LC web Search Education/LC web Recent changes in the Education/LC web Get notified of changes to the Education/LC web Licenciatura em Ciências da Computação - 2º ano
Education.LI1 Home of Education/LI1 web Search Education/LI1 web Recent changes in the Education/LI1 web Get notified of changes to the Education/LI1 web Laboratórios de Informática 1 Licenciatura em Engenharia Informática (2012/13)
Education.LI10708 Home of Education/LI10708 web Search Education/LI10708 web Recent changes in the Education/LI10708 web Get notified of changes to the Education/LI10708 web Laboratório de Informática 1
Education.LI11011 Home of Education/LI11011 web Search Education/LI11011 web Recent changes in the Education/LI11011 web Get notified of changes to the Education/LI11011 web Laboratórios de Informática I Licenciatura em Engenharia Informática (2010/11)
Education.LI11112 Home of Education/LI11112 web Search Education/LI11112 web Recent changes in the Education/LI11112 web Get notified of changes to the Education/LI11112 web Laboratórios de Informática I Licenciatura em Engenharia Informática (2011/12)
Education.MAPiICS Home of Education/MAPiICS web Search Education/MAPiICS web Recent changes in the Education/MAPiICS web Get notified of changes to the Education/MAPiICS web MAPi - Interactive Computing Systems MAPi Doctoral Programme
Education.MFES Home of Education/MFES web Search Education/MFES web Recent changes in the Education/MFES web Get notified of changes to the Education/MFES web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática - MFES 2020/2021
Education.MFES0910 Home of Education/MFES0910 web Search Education/MFES0910 web Recent changes in the Education/MFES0910 web Get notified of changes to the Education/MFES0910 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2009/10)
Education.MFES1011 Home of Education/MFES1011 web Search Education/MFES1011 web Recent changes in the Education/MFES1011 web Get notified of changes to the Education/MFES1011 web Mestrado de [Engenharia] Informática (2010/11)
Education.MFES1112 Home of Education/MFES1112 web Search Education/MFES1112 web Recent changes in the Education/MFES1112 web Get notified of changes to the Education/MFES1112 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2011/12)
Education.MFES1213 Home of Education/MFES1213 web Search Education/MFES1213 web Recent changes in the Education/MFES1213 web Get notified of changes to the Education/MFES1213 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2012/13)
Education.MFES1314 Home of Education/MFES1314 web Search Education/MFES1314 web Recent changes in the Education/MFES1314 web Get notified of changes to the Education/MFES1314 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (13/14)
Education.MFES1415 Home of Education/MFES1415 web Search Education/MFES1415 web Recent changes in the Education/MFES1415 web Get notified of changes to the Education/MFES1415 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (14/15)
Education.MFES1617 Home of Education/MFES1617 web Search Education/MFES1617 web Recent changes in the Education/MFES1617 web Get notified of changes to the Education/MFES1617 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática [16/17]
Education.MFES1718 Home of Education/MFES1718 web Search Education/MFES1718 web Recent changes in the Education/MFES1718 web Get notified of changes to the Education/MFES1718 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática [17/18]
Education.MFES1819 Home of Education/MFES1819 web Search Education/MFES1819 web Recent changes in the Education/MFES1819 web Get notified of changes to the Education/MFES1819 web Métodos Formais em Engenharia de Software (2018/2019) Mestrado Integrado em Engenharia Informática - MFES 2018/2019
Education.MFES1920 Home of Education/MFES1920 web Search Education/MFES1920 web Recent changes in the Education/MFES1920 web Get notified of changes to the Education/MFES1920 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática - MFES 2019/2020
Education.MICEI Home of Education/MICEI web Search Education/MICEI web Recent changes in the Education/MICEI web Get notified of changes to the Education/MICEI web Mestrado em Informática e Curso de Especialização em Informática Mestrado em Informática e Curso de Especialização em Informática
Education.MSM Home of Education/MSM web Search Education/MSM web Recent changes in the Education/MSM web Get notified of changes to the Education/MSM web Mestrado e Curso de Especialização em Sistemas Móveis ...collaborate on
Education.MapiFc Home of Education/MapiFc web Search Education/MapiFc web Recent changes in the Education/MapiFc web Get notified of changes to the Education/MapiFc web MAP/i - Foundations of Computing Option I: Program Semantics, Verification, and Construction
Education.MapiSCAM Home of Education/MapiSCAM web Search Education/MapiSCAM web Recent changes in the Education/MapiSCAM web Get notified of changes to the Education/MapiSCAM web Source Code Analysis and Manipulation (Mapi) Source Code Analysis and Manipulation (Mapi)
Education.PE Home of Education/PE web Search Education/PE web Recent changes in the Education/PE web Get notified of changes to the Education/PE web Publicação Electrónica Publicação Electrónica (EBio)
Education.PED Home of Education/PED web Search Education/PED web Recent changes in the Education/PED web Get notified of changes to the Education/PED web Processamento Estruturado de Documentos ...collaborate on
Education.PP2 Home of Education/PP2 web Search Education/PP2 web Recent changes in the Education/PP2 web Get notified of changes to the Education/PP2 web Paradigmas da Programação 2 ...collaborate on
Education.PeC Home of Education/PeC web Search Education/PeC web Recent changes in the Education/PeC web Get notified of changes to the Education/PeC web Processos e Concorrência Licenciatura em Ciências da Computação
Education.ProgramacaoImperativa Home of Education/ProgramacaoImperativa web Search Education/ProgramacaoImperativa web Recent changes in the Education/ProgramacaoImperativa web Get notified of changes to the Education/ProgramacaoImperativa web ...collaborate on
Education.SEM Home of Education/SEM web Search Education/SEM web Recent changes in the Education/SEM web Get notified of changes to the Education/SEM web Semântica da Programação Licenciatura em Ciências da Computação
Education.TPI Home of Education/TPI web Search Education/TPI web Recent changes in the Education/TPI web Get notified of changes to the Education/TPI web Tecnologias e Protocolos de Infra-Estrutura
Events Home of Events web Search Events web Recent changes in the Events web Get notified of changes to the Events web Events main web Events Organization
Events.GTTSE Home of Events/GTTSE web Search Events/GTTSE web Recent changes in the Events/GTTSE web Get notified of changes to the Events/GTTSE web Generative and Transformational Techniques in Software Engineering Generative and Transformational Techniques in Software Engineering
Events.GTTSE2007 Home of Events/GTTSE2007 web Search Events/GTTSE2007 web Recent changes in the Events/GTTSE2007 web Get notified of changes to the Events/GTTSE2007 web Generative and Transformational Techniques in Software Engineering Generative and Transformational Techniques in Software Engineering
Events.JCC Home of Events/JCC web Search Events/JCC web Recent changes in the Events/JCC web Get notified of changes to the Events/JCC web Jornadas de Ciências da Computação
Events.RULE2010 Home of Events/RULE2010 web Search Events/RULE2010 web Recent changes in the Events/RULE2010 web Get notified of changes to the Events/RULE2010 web RULE Workshop 2010 ...collaborate on
Events.RuleWorkshop Home of Events/RuleWorkshop web Search Events/RuleWorkshop web Recent changes in the Events/RuleWorkshop web Get notified of changes to the Events/RuleWorkshop web Rule Workshop International Workshop on Rule-Based Specification and Programming
JoseLuisSilva Home of JoseLuisSilva web Search JoseLuisSilva web Recent changes in the JoseLuisSilva web Get notified of changes to the JoseLuisSilva web webpage de JoseLuisSilva? ...collaborate on
Personal Home of Personal web Search Personal web Recent changes in the Personal web Get notified of changes to the Personal web Personal webs Personal webs
Personal.Alcino Home of Personal/Alcino web Search Personal/Alcino web Recent changes in the Personal/Alcino web Get notified of changes to the Personal/Alcino web Home page of Personal.Alcino Cunha.
Personal.Claudia Home of Personal/Claudia web Search Personal/Claudia web Recent changes in the Personal/Claudia web Get notified of changes to the Personal/Claudia web Personal.Claudia Necco
Personal.Jacome Home of Personal/Jacome web Search Personal/Jacome web Recent changes in the Personal/Jacome web Get notified of changes to the Personal/Jacome web Jácome Cunha ...collaborate on
Personal.Joao Home of Personal/Joao web Search Personal/Joao web Recent changes in the Personal/Joao web Get notified of changes to the Personal/Joao web João Fernandes ...collaborate on
Personal.Jorge Home of Personal/Jorge web Search Personal/Jorge web Recent changes in the Personal/Jorge web Get notified of changes to the Personal/Jorge web Personal.Jorge Sousa Pinto's Web. ...collaborate on
Personal.JorgeMendes Home of Personal/JorgeMendes web Search Personal/JorgeMendes web Recent changes in the Personal/JorgeMendes web Get notified of changes to the Personal/JorgeMendes web Jorge Mendes
Personal.JoseLuisSilva Home of Personal/JoseLuisSilva web Search Personal/JoseLuisSilva web Recent changes in the Personal/JoseLuisSilva web Get notified of changes to the Personal/JoseLuisSilva web webpage de JoseLuisSilva? ...collaborate on
Personal.LSB Home of Personal/LSB web Search Personal/LSB web Recent changes in the Personal/LSB web Get notified of changes to the Personal/LSB web Luís Soares Barbosa ...collaborate on
Personal.MBB Home of Personal/MBB web Search Personal/MBB web Recent changes in the Personal/MBB web Get notified of changes to the Personal/MBB web MBB's Personal Web
Personal.Nuno Home of Personal/Nuno web Search Personal/Nuno web Recent changes in the Personal/Nuno web Get notified of changes to the Personal/Nuno web Personal.Nuno Rodrigues's Web
Personal.Olga Home of Personal/Olga web Search Personal/Olga web Recent changes in the Personal/Olga web Get notified of changes to the Personal/Olga web Personal.Olga Web Page ...collaborate on
Personal.Pablo Home of Personal/Pablo web Search Personal/Pablo web Recent changes in the Personal/Pablo web Get notified of changes to the Personal/Pablo web Home page of Personal.Pablo Berdaguer ...collaborate on
Personal.PedroMartins Home of Personal/PedroMartins web Search Personal/PedroMartins web Recent changes in the Personal/PedroMartins web Get notified of changes to the Personal/PedroMartins web Pedro Martins ...collaborate on
Personal.Tiago Home of Personal/Tiago web Search Personal/Tiago web Recent changes in the Personal/Tiago web Get notified of changes to the Personal/Tiago web Tiago Alves Personal Web
Personal.Xana Home of Personal/Xana web Search Personal/Xana web Recent changes in the Personal/Xana web Get notified of changes to the Personal/Xana web Alexandra Silva ...collaborate on
Personal.Ze Home of Personal/Ze web Search Personal/Ze web Recent changes in the Personal/Ze web Get notified of changes to the Personal/Ze web José Proença ...collaborate on
Research Home of Research web Search Research web Recent changes in the Research web Get notified of changes to the Research web Research main web Research Activities and Projects
Research.APEX Home of Research/APEX web Search Research/APEX web Recent changes in the Research/APEX web Get notified of changes to the Research/APEX web APEX Agile Prototyping for user EXperience
Research.Aviacc Home of Research/Aviacc web Search Research/Aviacc web Recent changes in the Research/Aviacc web Get notified of changes to the Research/Aviacc web Projeto AVIACC Analysis and Verification of Critical Concurrent Programs
Research.CROSS Home of Research/CROSS web Search Research/CROSS web Recent changes in the Research/CROSS web Get notified of changes to the Research/CROSS web CROSS An Infrastructure for Certification and Re-engineering of Open Source Software
Research.Digitarq Home of Research/Digitarq web Search Research/Digitarq web Recent changes in the Research/Digitarq web Get notified of changes to the Research/Digitarq web Digital Archives Development Project ...collaborate on
Research.Doutoramentos Home of Research/Doutoramentos web Search Research/Doutoramentos web Recent changes in the Research/Doutoramentos web Get notified of changes to the Research/Doutoramentos web Informações para doutorandos ...collaborate on
Research.EVOLVE Home of Research/EVOLVE web Search Research/EVOLVE web Recent changes in the Research/EVOLVE web Get notified of changes to the Research/EVOLVE web Evolutionary Verification, Validation and Certification Evolutionary Verification, Validation and Certification
Research.FATBIT Home of Research/FATBIT web Search Research/FATBIT web Recent changes in the Research/FATBIT web Get notified of changes to the Research/FATBIT web Foundations, Applications and Tools for Bidirectional Transformation Foundations, Applications and Tools for Bidirectional Transformation
Research.IKF Home of Research/IKF web Search Research/IKF web Recent changes in the Research/IKF web Get notified of changes to the Research/IKF web Research.IKF Project ...collaborate on
Research.LerNet Home of Research/LerNet web Search Research/LerNet web Recent changes in the Research/LerNet web Get notified of changes to the Research/LerNet web Research.LerNet ...collaborate on
Research.MONDRIAN Home of Research/MONDRIAN web Search Research/MONDRIAN web Recent changes in the Research/MONDRIAN web Get notified of changes to the Research/MONDRIAN web MONDRIAN Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability
Research.MathIS Home of Research/MathIS web Search Research/MathIS web Recent changes in the Research/MathIS web Get notified of changes to the Research/MathIS web What Mathematics for the Information Society?
Research.Matisse Home of Research/Matisse web Search Research/Matisse web Recent changes in the Research/Matisse web Get notified of changes to the Research/Matisse web Mathematics Education Projecto MathIS? : Que Matemática para a Sociedade da Informação?
Research.NASONI Home of Research/NASONI web Search Research/NASONI web Recent changes in the Research/NASONI web Get notified of changes to the Research/NASONI web Heterogeneous software coordination: Foundations, methods, tools. Heterogeneous software coordination: Foundations, methods, tools.
Research.OntXQuery Home of Research/OntXQuery web Search Research/OntXQuery web Recent changes in the Research/OntXQuery web Get notified of changes to the Research/OntXQuery web OntXQuery? - Pedro Henriques ...collaborate on
Research.PCVIA Home of Research/PCVIA web Search Research/PCVIA web Recent changes in the Research/PCVIA web Get notified of changes to the Research/PCVIA web Program Comprehension ...collaborate on
Research.PURe Home of Research/PURe web Search Research/PURe web Recent changes in the Research/PURe web Get notified of changes to the Research/PURe web PURe Program Understanding and Re-engineering: Calculi and Applications
Research.QAIS Home of Research/QAIS web Search Research/QAIS web Recent changes in the Research/QAIS web Get notified of changes to the Research/QAIS web QAIS Quantitative analysis of interacting systems: foundations and algorithms
Research.Rescue Home of Research/Rescue web Search Research/Rescue web Recent changes in the Research/Rescue web Get notified of changes to the Research/Rescue web RESCUE, REliable and Safe Code execUtion for Embedded systems REliable and Safe Code execUtion for Embedded systems
Research.VFS Home of Research/VFS web Search Research/VFS web Recent changes in the Research/VFS web Get notified of changes to the Research/VFS web Verifiable File System
Research.Voda Home of Research/Voda web Search Research/Voda web Recent changes in the Research/Voda web Get notified of changes to the Research/Voda web Project on grammar-based systems. Collaborate in the project on grammar-based systems.
Sandbox Home of Sandbox web Search Sandbox web Recent changes in the Sandbox web Get notified of changes to the Sandbox web Sandbox test area with all features enabled. ...experiment in an unrestricted hands-on web.
You can use color coding by web for identification and reference. This table is updated automatically based on WebPreferences settings of the individual webs. Contact webmaster@di.uminho.pt if you need a separate collaboration web for your team. See also AdminToolsCategory.
Legend of icons:   Home of web = Go to the home of the web
Search web = Search the web 		  Recent changes in the web = See recent changes in the web
Get notified of changes to the web = Subscribe to get notified of changes by e-mail

WebHome 2 - 24 Nov 2001 - Main.PeterThoeny
Line: 1 to 1
 Welcome to the home of TWiki.Research/CROSS. This is a web-based collaboration area for ...

  • MeetingMinutes?
Line: 8 to 8
 
  •    (More options in WebSearch)
  • WebChanges: Find out recent modifications to the TWiki.Research/CROSS web.
Changed:
<
<
  • WebIndex: Display all TWiki.Research/CROSS topics in alphabetical order.
>
>
  • WebIndex: Display all TWiki.Research/CROSS topics in alphabetical order. See also the faster WebTopicList
 
  • WebNotify: Subscribe to be automatically notified when something changes in the TWiki.Research/CROSS web.
  • WebStatistics: View access statistics of the TWiki.Research/CROSS web.
  • WebPreferences: Preferences of the TWiki.Research/CROSS web.

WebHome 1 - 08 Aug 2001 - Main.PeterThoeny
Line: 1 to 1
Added:
>
>		Welcome to the home of TWiki.Research/CROSS. This is a web-based collaboration area for ...

  • MeetingMinutes?

Maintenance of the Research/CROSS web

  •    (More options in WebSearch)
  • WebChanges: Find out recent modifications to the TWiki.Research/CROSS web.
  • WebIndex: Display all TWiki.Research/CROSS topics in alphabetical order.
  • WebNotify: Subscribe to be automatically notified when something changes in the TWiki.Research/CROSS web.
  • WebStatistics: View access statistics of the TWiki.Research/CROSS web.
  • WebPreferences: Preferences of the TWiki.Research/CROSS web.

Notes:

  • You are currently in the TWiki.Research/CROSS web. The color code for this web is a (SPECIFY COLOR) background, so you know where you are.
  • If you are not familiar with the TWiki collaboration tool, please visit WelcomeGuest in the TWiki.TWiki web first.

Web TWiki Site Map Use to...
Main Home of Main web Search Main web Recent changes in the Main web Get notified of changes to the Main web DIUM/CCTC Wiki. DIUM/CCTC
TWiki Home of TWiki web Search TWiki web Recent changes in the TWiki web Get notified of changes to the TWiki web Welcome, Registration, and other StartingPoints; TWiki history & Wiki style; All the docs... ...discover TWiki details, and how to start your own site.
DI Home of DI web Search DI web Recent changes in the DI web Get notified of changes to the DI web DI main web Department Groups and Activities
DI.EPL Home of DI/EPL web Search DI/EPL web Recent changes in the DI/EPL web Get notified of changes to the DI/EPL web DI.EPL Group ...collaborate on
DI.FAST Home of DI/FAST web Search DI/FAST web Recent changes in the DI/FAST web Get notified of changes to the DI/FAST web Foundations and Applications of Software Technology Foundations and Applications of Software Technology
DI.FMHAS Home of DI/FMHAS web Search DI/FMHAS web Recent changes in the DI/FMHAS web Get notified of changes to the DI/FMHAS web High-Assurance Software Laboratory High-Assurance Software Laboratory
DI.TETIC Home of DI/TETIC web Search DI/TETIC web Recent changes in the DI/TETIC web Get notified of changes to the DI/TETIC web Tecnologias Emergentes nas TICs ...collaborate on
EL Home of EL web Search EL web Recent changes in the EL web Get notified of changes to the EL web Engenharia de Linguagens (2011/2012) ...collaborate on
Education Home of Education web Search Education web Recent changes in the Education web Get notified of changes to the Education web Education main web Education Activities
Education.ACMSD Home of Education/ACMSD web Search Education/ACMSD web Recent changes in the Education/ACMSD web Get notified of changes to the Education/ACMSD web Algebraic and Coalgebraic Methods in Software Development MAPi
Education.ACS Home of Education/ACS web Search Education/ACS web Recent changes in the Education/ACS web Get notified of changes to the Education/ACS web Análise e Concepção de Software
Education.AeC Home of Education/AeC web Search Education/AeC web Recent changes in the Education/AeC web Get notified of changes to the Education/AeC web Algoritmos e Complexidade Licenciatura em Engenharia Informática
Education.Archive Home of Education/Archive web Search Education/Archive web Recent changes in the Education/Archive web Get notified of changes to the Education/Archive web Education.Archive Wiki. ...collaborate on
Education.CP Home of Education/CP web Search Education/CP web Recent changes in the Education/CP web Get notified of changes to the Education/CP web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
Education.CP0809 Home of Education/CP0809 web Search Education/CP0809 web Recent changes in the Education/CP0809 web Get notified of changes to the Education/CP0809 web Cálculo de Programas Licenciatura em Engenharia Informática
Education.CP0910 Home of Education/CP0910 web Search Education/CP0910 web Recent changes in the Education/CP0910 web Get notified of changes to the Education/CP0910 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1011 Home of Education/CP1011 web Search Education/CP1011 web Recent changes in the Education/CP1011 web Get notified of changes to the Education/CP1011 web Cálculo de Programas Licenciatura em Engenharia Informática
Education.CP1112 Home of Education/CP1112 web Search Education/CP1112 web Recent changes in the Education/CP1112 web Get notified of changes to the Education/CP1112 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1213 Home of Education/CP1213 web Search Education/CP1213 web Recent changes in the Education/CP1213 web Get notified of changes to the Education/CP1213 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1314 Home of Education/CP1314 web Search Education/CP1314 web Recent changes in the Education/CP1314 web Get notified of changes to the Education/CP1314 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1415 Home of Education/CP1415 web Search Education/CP1415 web Recent changes in the Education/CP1415 web Get notified of changes to the Education/CP1415 web Cálculo de Programas Licenciaturas em Engenharia Informática e Ciências da Computação
Education.CP1617 Home of Education/CP1617 web Search Education/CP1617 web Recent changes in the Education/CP1617 web Get notified of changes to the Education/CP1617 web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Ciências da Computação
Education.CP1718 Home of Education/CP1718 web Search Education/CP1718 web Recent changes in the Education/CP1718 web Get notified of changes to the Education/CP1718 web Cálculo de Programas Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
Education.ClubeProgramacao Home of Education/ClubeProgramacao web Search Education/ClubeProgramacao web Recent changes in the Education/ClubeProgramacao web Get notified of changes to the Education/ClubeProgramacao web Clube de Programação Departamento de Informática
Education.Criptografia Home of Education/Criptografia web Search Education/Criptografia web Recent changes in the Education/Criptografia web Get notified of changes to the Education/Criptografia web Criptografia @ DI
Education.EL Home of Education/EL web Search Education/EL web Recent changes in the Education/EL web Get notified of changes to the Education/EL web Engenharia de Linguagens
Education.EL0708 Home of Education/EL0708 web Search Education/EL0708 web Recent changes in the Education/EL0708 web Get notified of changes to the Education/EL0708 web Engenharia Linguagens Engenharia Linguagens
Education.EL0809 Home of Education/EL0809 web Search Education/EL0809 web Recent changes in the Education/EL0809 web Get notified of changes to the Education/EL0809 web Engenharia de Linguagens
Education.EL0910 Home of Education/EL0910 web Search Education/EL0910 web Recent changes in the Education/EL0910 web Get notified of changes to the Education/EL0910 web ...collaborate on
Education.EL1011 Home of Education/EL1011 web Search Education/EL1011 web Recent changes in the Education/EL1011 web Get notified of changes to the Education/EL1011 web Engenharia de Linguagens
Education.EM Home of Education/EM web Search Education/EM web Recent changes in the Education/EM web Get notified of changes to the Education/EM web Especificação e Modelação Métodos Formais em Engenharia de Software
Education.ERS Home of Education/ERS web Search Education/ERS web Recent changes in the Education/ERS web Get notified of changes to the Education/ERS web Engenharia de Redes e Serviços
Education.LAD Home of Education/LAD web Search Education/LAD web Recent changes in the Education/LAD web Get notified of changes to the Education/LAD web Linguagens para Anotação de Documentos ...collaborate on
Education.LC Home of Education/LC web Search Education/LC web Recent changes in the Education/LC web Get notified of changes to the Education/LC web Licenciatura em Ciências da Computação - 2º ano
Education.LI1 Home of Education/LI1 web Search Education/LI1 web Recent changes in the Education/LI1 web Get notified of changes to the Education/LI1 web Laboratórios de Informática 1 Licenciatura em Engenharia Informática (2012/13)
Education.LI10708 Home of Education/LI10708 web Search Education/LI10708 web Recent changes in the Education/LI10708 web Get notified of changes to the Education/LI10708 web Laboratório de Informática 1
Education.LI11011 Home of Education/LI11011 web Search Education/LI11011 web Recent changes in the Education/LI11011 web Get notified of changes to the Education/LI11011 web Laboratórios de Informática I Licenciatura em Engenharia Informática (2010/11)
Education.LI11112 Home of Education/LI11112 web Search Education/LI11112 web Recent changes in the Education/LI11112 web Get notified of changes to the Education/LI11112 web Laboratórios de Informática I Licenciatura em Engenharia Informática (2011/12)
Education.MAPiICS Home of Education/MAPiICS web Search Education/MAPiICS web Recent changes in the Education/MAPiICS web Get notified of changes to the Education/MAPiICS web MAPi - Interactive Computing Systems MAPi Doctoral Programme
Education.MFES Home of Education/MFES web Search Education/MFES web Recent changes in the Education/MFES web Get notified of changes to the Education/MFES web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática - MFES 2020/2021
Education.MFES0910 Home of Education/MFES0910 web Search Education/MFES0910 web Recent changes in the Education/MFES0910 web Get notified of changes to the Education/MFES0910 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2009/10)
Education.MFES1011 Home of Education/MFES1011 web Search Education/MFES1011 web Recent changes in the Education/MFES1011 web Get notified of changes to the Education/MFES1011 web Mestrado de [Engenharia] Informática (2010/11)
Education.MFES1112 Home of Education/MFES1112 web Search Education/MFES1112 web Recent changes in the Education/MFES1112 web Get notified of changes to the Education/MFES1112 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2011/12)
Education.MFES1213 Home of Education/MFES1213 web Search Education/MFES1213 web Recent changes in the Education/MFES1213 web Get notified of changes to the Education/MFES1213 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (2012/13)
Education.MFES1314 Home of Education/MFES1314 web Search Education/MFES1314 web Recent changes in the Education/MFES1314 web Get notified of changes to the Education/MFES1314 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (13/14)
Education.MFES1415 Home of Education/MFES1415 web Search Education/MFES1415 web Recent changes in the Education/MFES1415 web Get notified of changes to the Education/MFES1415 web Métodos Formais em Engenharia de Software Mestrado de [Engenharia] Informática (14/15)
Education.MFES1617 Home of Education/MFES1617 web Search Education/MFES1617 web Recent changes in the Education/MFES1617 web Get notified of changes to the Education/MFES1617 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática [16/17]
Education.MFES1718 Home of Education/MFES1718 web Search Education/MFES1718 web Recent changes in the Education/MFES1718 web Get notified of changes to the Education/MFES1718 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática [17/18]
Education.MFES1819 Home of Education/MFES1819 web Search Education/MFES1819 web Recent changes in the Education/MFES1819 web Get notified of changes to the Education/MFES1819 web Métodos Formais em Engenharia de Software (2018/2019) Mestrado Integrado em Engenharia Informática - MFES 2018/2019
Education.MFES1920 Home of Education/MFES1920 web Search Education/MFES1920 web Recent changes in the Education/MFES1920 web Get notified of changes to the Education/MFES1920 web Métodos Formais em Engenharia de Software Mestrado Integrado em Engenharia Informática - MFES 2019/2020
Education.MICEI Home of Education/MICEI web Search Education/MICEI web Recent changes in the Education/MICEI web Get notified of changes to the Education/MICEI web Mestrado em Informática e Curso de Especialização em Informática Mestrado em Informática e Curso de Especialização em Informática
Education.MSM Home of Education/MSM web Search Education/MSM web Recent changes in the Education/MSM web Get notified of changes to the Education/MSM web Mestrado e Curso de Especialização em Sistemas Móveis ...collaborate on
Education.MapiFc Home of Education/MapiFc web Search Education/MapiFc web Recent changes in the Education/MapiFc web Get notified of changes to the Education/MapiFc web MAP/i - Foundations of Computing Option I: Program Semantics, Verification, and Construction
Education.MapiSCAM Home of Education/MapiSCAM web Search Education/MapiSCAM web Recent changes in the Education/MapiSCAM web Get notified of changes to the Education/MapiSCAM web Source Code Analysis and Manipulation (Mapi) Source Code Analysis and Manipulation (Mapi)
Education.PE Home of Education/PE web Search Education/PE web Recent changes in the Education/PE web Get notified of changes to the Education/PE web Publicação Electrónica Publicação Electrónica (EBio)
Education.PED Home of Education/PED web Search Education/PED web Recent changes in the Education/PED web Get notified of changes to the Education/PED web Processamento Estruturado de Documentos ...collaborate on
Education.PP2 Home of Education/PP2 web Search Education/PP2 web Recent changes in the Education/PP2 web Get notified of changes to the Education/PP2 web Paradigmas da Programação 2 ...collaborate on
Education.PeC Home of Education/PeC web Search Education/PeC web Recent changes in the Education/PeC web Get notified of changes to the Education/PeC web Processos e Concorrência Licenciatura em Ciências da Computação
Education.ProgramacaoImperativa Home of Education/ProgramacaoImperativa web Search Education/ProgramacaoImperativa web Recent changes in the Education/ProgramacaoImperativa web Get notified of changes to the Education/ProgramacaoImperativa web ...collaborate on
Education.SEM Home of Education/SEM web Search Education/SEM web Recent changes in the Education/SEM web Get notified of changes to the Education/SEM web Semântica da Programação Licenciatura em Ciências da Computação
Education.TPI Home of Education/TPI web Search Education/TPI web Recent changes in the Education/TPI web Get notified of changes to the Education/TPI web Tecnologias e Protocolos de Infra-Estrutura
Events Home of Events web Search Events web Recent changes in the Events web Get notified of changes to the Events web Events main web Events Organization
Events.GTTSE Home of Events/GTTSE web Search Events/GTTSE web Recent changes in the Events/GTTSE web Get notified of changes to the Events/GTTSE web Generative and Transformational Techniques in Software Engineering Generative and Transformational Techniques in Software Engineering
Events.GTTSE2007 Home of Events/GTTSE2007 web Search Events/GTTSE2007 web Recent changes in the Events/GTTSE2007 web Get notified of changes to the Events/GTTSE2007 web Generative and Transformational Techniques in Software Engineering Generative and Transformational Techniques in Software Engineering
Events.JCC Home of Events/JCC web Search Events/JCC web Recent changes in the Events/JCC web Get notified of changes to the Events/JCC web Jornadas de Ciências da Computação
Events.RULE2010 Home of Events/RULE2010 web Search Events/RULE2010 web Recent changes in the Events/RULE2010 web Get notified of changes to the Events/RULE2010 web RULE Workshop 2010 ...collaborate on
Events.RuleWorkshop Home of Events/RuleWorkshop web Search Events/RuleWorkshop web Recent changes in the Events/RuleWorkshop web Get notified of changes to the Events/RuleWorkshop web Rule Workshop International Workshop on Rule-Based Specification and Programming
JoseLuisSilva Home of JoseLuisSilva web Search JoseLuisSilva web Recent changes in the JoseLuisSilva web Get notified of changes to the JoseLuisSilva web webpage de JoseLuisSilva? ...collaborate on
Personal Home of Personal web Search Personal web Recent changes in the Personal web Get notified of changes to the Personal web Personal webs Personal webs
Personal.Alcino Home of Personal/Alcino web Search Personal/Alcino web Recent changes in the Personal/Alcino web Get notified of changes to the Personal/Alcino web Home page of Personal.Alcino Cunha.
Personal.Claudia Home of Personal/Claudia web Search Personal/Claudia web Recent changes in the Personal/Claudia web Get notified of changes to the Personal/Claudia web Personal.Claudia Necco
Personal.Jacome Home of Personal/Jacome web Search Personal/Jacome web Recent changes in the Personal/Jacome web Get notified of changes to the Personal/Jacome web Jácome Cunha ...collaborate on
Personal.Joao Home of Personal/Joao web Search Personal/Joao web Recent changes in the Personal/Joao web Get notified of changes to the Personal/Joao web João Fernandes ...collaborate on
Personal.Jorge Home of Personal/Jorge web Search Personal/Jorge web Recent changes in the Personal/Jorge web Get notified of changes to the Personal/Jorge web Personal.Jorge Sousa Pinto's Web. ...collaborate on
Personal.JorgeMendes Home of Personal/JorgeMendes web Search Personal/JorgeMendes web Recent changes in the Personal/JorgeMendes web Get notified of changes to the Personal/JorgeMendes web Jorge Mendes
Personal.JoseLuisSilva Home of Personal/JoseLuisSilva web Search Personal/JoseLuisSilva web Recent changes in the Personal/JoseLuisSilva web Get notified of changes to the Personal/JoseLuisSilva web webpage de JoseLuisSilva? ...collaborate on
Personal.LSB Home of Personal/LSB web Search Personal/LSB web Recent changes in the Personal/LSB web Get notified of changes to the Personal/LSB web Luís Soares Barbosa ...collaborate on
Personal.MBB Home of Personal/MBB web Search Personal/MBB web Recent changes in the Personal/MBB web Get notified of changes to the Personal/MBB web MBB's Personal Web
Personal.Nuno Home of Personal/Nuno web Search Personal/Nuno web Recent changes in the Personal/Nuno web Get notified of changes to the Personal/Nuno web Personal.Nuno Rodrigues's Web
Personal.Olga Home of Personal/Olga web Search Personal/Olga web Recent changes in the Personal/Olga web Get notified of changes to the Personal/Olga web Personal.Olga Web Page ...collaborate on
Personal.Pablo Home of Personal/Pablo web Search Personal/Pablo web Recent changes in the Personal/Pablo web Get notified of changes to the Personal/Pablo web Home page of Personal.Pablo Berdaguer ...collaborate on
Personal.PedroMartins Home of Personal/PedroMartins web Search Personal/PedroMartins web Recent changes in the Personal/PedroMartins web Get notified of changes to the Personal/PedroMartins web Pedro Martins ...collaborate on
Personal.Tiago Home of Personal/Tiago web Search Personal/Tiago web Recent changes in the Personal/Tiago web Get notified of changes to the Personal/Tiago web Tiago Alves Personal Web
Personal.Xana Home of Personal/Xana web Search Personal/Xana web Recent changes in the Personal/Xana web Get notified of changes to the Personal/Xana web Alexandra Silva ...collaborate on
Personal.Ze Home of Personal/Ze web Search Personal/Ze web Recent changes in the Personal/Ze web Get notified of changes to the Personal/Ze web José Proença ...collaborate on
Research Home of Research web Search Research web Recent changes in the Research web Get notified of changes to the Research web Research main web Research Activities and Projects
Research.APEX Home of Research/APEX web Search Research/APEX web Recent changes in the Research/APEX web Get notified of changes to the Research/APEX web APEX Agile Prototyping for user EXperience
Research.Aviacc Home of Research/Aviacc web Search Research/Aviacc web Recent changes in the Research/Aviacc web Get notified of changes to the Research/Aviacc web Projeto AVIACC Analysis and Verification of Critical Concurrent Programs
Research.CROSS Home of Research/CROSS web Search Research/CROSS web Recent changes in the Research/CROSS web Get notified of changes to the Research/CROSS web CROSS An Infrastructure for Certification and Re-engineering of Open Source Software
Research.Digitarq Home of Research/Digitarq web Search Research/Digitarq web Recent changes in the Research/Digitarq web Get notified of changes to the Research/Digitarq web Digital Archives Development Project ...collaborate on
Research.Doutoramentos Home of Research/Doutoramentos web Search Research/Doutoramentos web Recent changes in the Research/Doutoramentos web Get notified of changes to the Research/Doutoramentos web Informações para doutorandos ...collaborate on
Research.EVOLVE Home of Research/EVOLVE web Search Research/EVOLVE web Recent changes in the Research/EVOLVE web Get notified of changes to the Research/EVOLVE web Evolutionary Verification, Validation and Certification Evolutionary Verification, Validation and Certification
Research.FATBIT Home of Research/FATBIT web Search Research/FATBIT web Recent changes in the Research/FATBIT web Get notified of changes to the Research/FATBIT web Foundations, Applications and Tools for Bidirectional Transformation Foundations, Applications and Tools for Bidirectional Transformation
Research.IKF Home of Research/IKF web Search Research/IKF web Recent changes in the Research/IKF web Get notified of changes to the Research/IKF web Research.IKF Project ...collaborate on
Research.LerNet Home of Research/LerNet web Search Research/LerNet web Recent changes in the Research/LerNet web Get notified of changes to the Research/LerNet web Research.LerNet ...collaborate on
Research.MONDRIAN Home of Research/MONDRIAN web Search Research/MONDRIAN web Recent changes in the Research/MONDRIAN web Get notified of changes to the Research/MONDRIAN web MONDRIAN Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability
Research.MathIS Home of Research/MathIS web Search Research/MathIS web Recent changes in the Research/MathIS web Get notified of changes to the Research/MathIS web What Mathematics for the Information Society?
Research.Matisse Home of Research/Matisse web Search Research/Matisse web Recent changes in the Research/Matisse web Get notified of changes to the Research/Matisse web Mathematics Education Projecto MathIS? : Que Matemática para a Sociedade da Informação?
Research.NASONI Home of Research/NASONI web Search Research/NASONI web Recent changes in the Research/NASONI web Get notified of changes to the Research/NASONI web Heterogeneous software coordination: Foundations, methods, tools. Heterogeneous software coordination: Foundations, methods, tools.
Research.OntXQuery Home of Research/OntXQuery web Search Research/OntXQuery web Recent changes in the Research/OntXQuery web Get notified of changes to the Research/OntXQuery web OntXQuery? - Pedro Henriques ...collaborate on
Research.PCVIA Home of Research/PCVIA web Search Research/PCVIA web Recent changes in the Research/PCVIA web Get notified of changes to the Research/PCVIA web Program Comprehension ...collaborate on
Research.PURe Home of Research/PURe web Search Research/PURe web Recent changes in the Research/PURe web Get notified of changes to the Research/PURe web PURe Program Understanding and Re-engineering: Calculi and Applications
Research.QAIS Home of Research/QAIS web Search Research/QAIS web Recent changes in the Research/QAIS web Get notified of changes to the Research/QAIS web QAIS Quantitative analysis of interacting systems: foundations and algorithms
Research.Rescue Home of Research/Rescue web Search Research/Rescue web Recent changes in the Research/Rescue web Get notified of changes to the Research/Rescue web RESCUE, REliable and Safe Code execUtion for Embedded systems REliable and Safe Code execUtion for Embedded systems
Research.VFS Home of Research/VFS web Search Research/VFS web Recent changes in the Research/VFS web Get notified of changes to the Research/VFS web Verifiable File System
Research.Voda Home of Research/Voda web Search Research/Voda web Recent changes in the Research/Voda web Get notified of changes to the Research/Voda web Project on grammar-based systems. Collaborate in the project on grammar-based systems.
Sandbox Home of Sandbox web Search Sandbox web Recent changes in the Sandbox web Get notified of changes to the Sandbox web Sandbox test area with all features enabled. ...experiment in an unrestricted hands-on web.
You can use color coding by web for identification and reference. This table is updated automatically based on WebPreferences settings of the individual webs. Contact webmaster@di.uminho.pt if you need a separate collaboration web for your team. See also AdminToolsCategory.
Legend of icons:   Home of web = Go to the home of the web
Search web = Search the web 		  Recent changes in the web = See recent changes in the web
Get notified of changes to the web = Subscribe to get notified of changes by e-mail
(included from SiteMap; change WebHome to include from SiteMap instead of TWikiWebsTable)

Revision 35r35 - 03 Jun 2013 - 14:52:21 - JorgeSousaPinto
Revision 34r34 - 18 Feb 2013 - 18:53:43 - JorgeSousaPinto
Revision 33r33 - 18 Feb 2013 - 17:46:49 - JorgeSousaPinto
Revision 32r32 - 18 Dec 2012 - 22:02:52 - MariaJoaoFrade
Revision 31r31 - 17 Dec 2012 - 16:02:20 - MariaJoaoFrade
Revision 30r30 - 13 Jun 2012 - 11:31:17 - MariaJoaoFrade
Revision 29r29 - 09 Jun 2011 - 14:22:54 - MariaJoaoFrade
Revision 28r28 - 08 Mar 2011 - 23:13:37 - MariaJoaoFrade
Revision 27r27 - 15 Jul 2010 - 16:36:47 - MariaJoaoFrade
Revision 26r26 - 26 May 2010 - 14:43:02 - MariaJoaoFrade
Revision 25r25 - 18 Mar 2010 - 15:08:58 - MariaJoaoFrade
Revision 24r24 - 18 Nov 2009 - 17:47:06 - MariaJoaoFrade
Revision 23r23 - 12 Nov 2009 - 18:40:03 - MariaJoaoFrade
Revision 22r22 - 12 Nov 2009 - 14:34:35 - JoseCampos
Revision 21r21 - 15 Oct 2009 - 06:33:56 - PedroRangelHenriques
Revision 20r20 - 08 Oct 2009 - 17:53:24 - MariaJoaoFrade
Revision 19r19 - 08 Oct 2009 - 10:09:08 - MariaJoaoFrade
Revision 18r18 - 07 Oct 2009 - 23:21:47 - MariaJoaoFrade
Revision 17r17 - 07 Oct 2009 - 06:45:42 - MariaJoaoFrade
Revision 16r16 - 07 Oct 2009 - 06:34:57 - MariaJoaoFrade
Revision 15r15 - 06 Oct 2009 - 23:11:03 - MariaJoaoFrade
Revision 14r14 - 06 Oct 2009 - 11:07:53 - AlcinoCunha
Revision 13r13 - 01 Jul 2008 - 11:50:24 - SimaoMeloDeSousa
Revision 12r12 - 17 Jan 2008 - 21:23:01 - SimaoMeloDeSousa
Revision 11r11 - 16 Jan 2008 - 01:07:20 - JoseBacelarAlmeida
Revision 10r10 - 15 Jan 2008 - 18:07:54 - JoseBacelarAlmeida
Revision 9r9 - 05 Jan 2008 - 15:14:02 - SimaoMeloDeSousa
Revision 8r8 - 16 Aug 2007 - 00:24:26 - JoseBacelarAlmeida
Revision 7r7 - 15 Aug 2007 - 03:30:56 - JoseBacelarAlmeida
Revision 6r6 - 28 Mar 2005 - 09:40:13 - TWikiContributor
Revision 5r5 - 28 Mar 2005 - 09:40:13 - TWikiContributor
Revision 4r4 - 14 Apr 2002 - 06:48:51 - PeterThoeny?
Revision 3r3 - 07 Apr 2002 - 10:31:00 - PeterThoeny?
Revision 2r2 - 24 Nov 2001 - 11:40:23 - PeterThoeny?
Revision 1r1 - 08 Aug 2001 - 05:20:01 - PeterThoeny?
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM