Web | Tools | Use to... |
---|---|---|
DI | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Department Groups and Activities |
DI.EPL | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
DI.FAST | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Foundations and Applications of Software Technology |
DI.FMHAS | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | High-Assurance Software Laboratory |
DI.TETIC | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
EL | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Education | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Education Activities |
Education.ACMSD | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | MAPi |
Education.ACS | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
Education.AeC | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciatura em Engenharia Informática |
Education.Archive | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Education.CP | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação |
Education.CP0809 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciatura em Engenharia Informática |
Education.CP0910 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1011 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciatura em Engenharia Informática |
Education.CP1112 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1213 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1314 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1415 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciaturas em Engenharia Informática e Ciências da Computação |
Education.CP1617 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado Integrado em Engenharia Informática e Ciências da Computação |
Education.CP1718 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação |
Education.ClubeProgramacao | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Departamento de Informática |
Education.Criptografia | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
Education.EL | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Engenharia de Linguagens |
Education.EL0708 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Engenharia Linguagens |
Education.EL0809 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Engenharia de Linguagens |
Education.EL0910 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Education.EL1011 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Engenharia de Linguagens |
Education.EM | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Métodos Formais em Engenharia de Software |
Education.ERS | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
Education.LAD | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Education.LC | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciatura em Ciências da Computação - 2º ano |
Education.LI1 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciatura em Engenharia Informática (2012/13) |
Education.LI10708 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
Education.LI11011 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciatura em Engenharia Informática (2010/11) |
Education.LI11112 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciatura em Engenharia Informática (2011/12) |
Education.MAPiICS | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | MAPi Doctoral Programme |
Education.MFES | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado Integrado em Engenharia Informática - MFES 2020/2021 |
Education.MFES0910 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado de [Engenharia] Informática (2009/10) |
Education.MFES1011 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado de [Engenharia] Informática (2010/11) |
Education.MFES1112 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado de [Engenharia] Informática (2011/12) |
Education.MFES1213 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado de [Engenharia] Informática (2012/13) |
Education.MFES1314 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado de [Engenharia] Informática (13/14) |
Education.MFES1415 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado de [Engenharia] Informática (14/15) |
Education.MFES1617 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado Integrado em Engenharia Informática [16/17] |
Education.MFES1718 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado Integrado em Engenharia Informática [17/18] |
Education.MFES1819 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado Integrado em Engenharia Informática - MFES 2018/2019 |
Education.MFES1920 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado Integrado em Engenharia Informática - MFES 2019/2020 |
Education.MICEI | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Mestrado em Informática e Curso de Especialização em Informática |
Education.MSM | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Education.MapiFc | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Option I: Program Semantics, Verification, and Construction |
Education.MapiSCAM | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Source Code Analysis and Manipulation (Mapi) |
Education.PE | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Publicação Electrónica (EBio) |
Education.PED | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Education.PP2 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Education.PeC | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciatura em Ciências da Computação |
Education.ProgramacaoImperativa | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Education.SEM | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Licenciatura em Ciências da Computação |
Education.TPI | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
Events | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Events Organization |
Events.GTTSE | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Generative and Transformational Techniques in Software Engineering |
Events.GTTSE2007 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Generative and Transformational Techniques in Software Engineering |
Events.JCC | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
Events.RULE2010 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Events.RuleWorkshop | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | International Workshop on Rule-Based Specification and Programming |
JoseLuisSilva | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Main | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | DIUM/CCTC |
Personal | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Personal webs |
Personal.Alcino | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
Personal.Claudia | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
Personal.JFF | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | João Ferreira Personal Web |
Personal.Jacome | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Personal.Joao | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Personal.Joost | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
Personal.Jorge | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Personal.JorgeMendes | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
Personal.JoseLuisSilva | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Personal.LSB | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Personal.MBB | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
Personal.Nuno | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
Personal.Olga | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Personal.Pablo | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Personal.PedroMartins | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Personal.Tiago | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Personal Web |
Personal.Xana | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Personal.Ze | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Research | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Research Activities and Projects |
Research.APEX | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Agile Prototyping for user EXperience |
Research.Aviacc | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Analysis and Verification of Critical Concurrent Programs |
Research.CROSS | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | An Infrastructure for Certification and Re-engineering of Open Source Software |
Research.Digitarq | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Research.Doutoramentos | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Research.EVOLVE | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Evolutionary Verification, Validation and Certification |
Research.FATBIT | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Foundations, Applications and Tools for Bidirectional Transformation |
Research.IKF | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Research.LerNet | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Research.MONDRIAN | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability |
Research.MathIS | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | What Mathematics for the Information Society? |
Research.Matisse | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Projecto MathIS? : Que Matemática para a Sociedade da Informação? |
Research.NASONI | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Heterogeneous software coordination: Foundations, methods, tools. |
Research.OntXQuery | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Research.PCVIA | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...collaborate on |
Research.PURe | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Program Understanding and Re-engineering: Calculi and Applications |
Research.QAIS | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Quantitative analysis of interacting systems: foundations and algorithms |
Research.Rescue | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | REliable and Safe Code execUtion for Embedded systems |
Research.VFS | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | |
Research.Voda | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Collaborate in the project on grammar-based systems. |
Sandbox | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...experiment in an unrestricted hands-on web. |
TWiki | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | ...discover TWiki details, and how to start your own site. |
This table is updated automatically based on WebPreferences settings of the individual webs. |
Legend: | ![]() | ![]() | ![]() | ![]() | |
![]() | ![]() | ![]() | ![]() |
"$SUM( $ABOVE() )"
to TWiki tables and other topic textExternalSite:Page
text to external sites based on aliases defined in a rules topic :-)
or
Related Topics: AdminDocumentationCategory