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: | WebHome | WebSearch | WebChanges | WebNotify | |
WebPreferences | WebStatistics | WebTopicList | WebIndex |
"$SUM( $ABOVE() )"
to TWiki tables and other topic textExternalSite:Page
text to external sites based on aliases defined in a rules topic :-)
or for = :eek:=