| Topics in DI/FMHAS web: | Changed: now 17:14 | Changed by: |
| BestCaseRL8 | 02 Nov 2015 - 00:12 - r10 | JoseCampos |
| Languages And Tools for Critical Real time Systems The goal of this project is to contribute to a change to the current paradigm of secure ITC infrastructure, according ... | ||
| BookShelf | 09 Oct 2012 - 14:24 - NEW | JorgeSousaPinto |
| http://dx.doi.org/10.1007/978 3 540 88643 3 JorgeSousaPinto 09 Oct 2012 | ||
| Education | 22 Mar 2012 - 10:48 - r11 | JoseNunoOliveira |
| Ph.D. MAP/I Doctoral Programme in Computer Science. See eg. units such as PSVC. M.Sc. Master courses in Computer science at Minho University are built upon the ... | ||
| Events | 28 May 2011 - 23:27 - r9 | JoseNunoOliveira |
| Forthcoming Events GTTSE'11 4th Summer School on Generative and Transformational Techniques in Software Engineering, 2011. Past Events 2010 7th Int ... | ||
| EventsHeadlines | 28 May 2011 - 23:27 - NEW | TWikiGuest |
| GTTSE'11 4th Summer School on Generative and Transformational Techniques in Software Engineering, 2011 2010 7th Int. Conference on Formal Aspects of Component ... | ||
| HASLabPress | 14 Jun 2013 - 13:26 - r15 | JacomeCunha |
| Imprensa Universidade do Minho desenvolve aplicação que evita erros no Excel http://www.tvi.iol.pt/videos/13893309 UMinho recebe polo do INESC TEC http://www.cienciahoje ... | ||
| Links | 12 Oct 2012 - 10:47 - r7 | JorgeSousaPinto |
| #OldWebPages Sites: File System GC (VFS @ Minho) Old webpages: FAST (CCTC) and Formal Methods (DIUM) and Formal Methods Group 2361 (INESC ... | ||
| LocalLinksSideBar | 23 Nov 2009 - 23:34 - r3 | JorgeSousaPinto |
| do Minho of Informatics Science and Technology Center (CCTC) page @ CCTC site FMHAS Intranet | ||
| News | 30 Dec 2013 - 11:29 - r64 | JoseNunoOliveira |
| News New Paper: J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. IJFCS Vol. 24, No. 6 (2013) 709 #8211;728, WSP Company. DOI: 10.1142/S0129054113400145 ... | ||
| NewsHeadlines | 30 Dec 2013 - 11:29 - NEW | TWikiGuest |
| New Paper: J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. IJFCS Vol. 24, No. 6 (2013) 709 #8211;728, WSP Company. DOI: 10.1142/S0129054113400145 ... | ||
| Opportunities | 31 May 2013 - 13:31 - r17 | AlcinoCunha |
| Working at HASLab HASLab is located in the Braga Campus of Universidade do Minho, one of the top state funded research universities in Portugal and in the top 3% of ... | ||
| PastPeople | 10 Apr 2013 - 14:09 - r6 | JoseNunoOliveira |
| #FormerStudents Former Researchers and Ph.D Students Post Doc Visser (2003 2007) Uustalu (2000 2002) Pons (2000 2001) Barthe (1998 1999) Ph ... | ||
| PastProjects | 23 Oct 2013 - 09:33 - r8 | JoseNunoOliveira |
| Past Projects Research Projects (FP7) (FCT) Evolve (ADI) MathIS (FCT) (FCT) (FCT) AudioBrowser (FCT) KARMA (ADI) ... | ||
| People | 25 Nov 2013 - 20:31 - r62 | PauloSilva |
| (All email addresses are AT di.uminho.pt) Staff Maranhão Abreu email: rui computer org http://portal.acm.org/author page.cfm?id 81321488948 ACM repositoriUM ... | ||
| PeopleSideBar | 10 Nov 2009 - 17:33 - r2 | JorgeSousaPinto |
| Staff Research Students External Research Students Former Research Members Former Researchers and Students | ||
| Projects | 07 Jun 2013 - 23:01 - r36 | JoseCampos |
| #ResearchProjects Research Projects SmartGrids (ON.2, 2013 2015) Network Sensing for Critical Systems Monitoring (ON.2, 2013 2015) Cooperation and ... | ||
| ProjectsSideBar | 10 Nov 2009 - 17:28 - r3 | JorgeSousaPinto |
| Research Projects Research Networks and Coordination Actions Training and Cooperation Projects Transfer Projects Past Projects | ||
| Research | 09 Oct 2012 - 14:27 - r16 | JorgeSousaPinto |
| Lemma "Improve Practice Through Theory" Overview Software technology is pre scientific in its lack of an effective basis for predicting computers' behaviour. HASLab ... | ||
| ResearchLines | 12 May 2011 - 15:31 - r3 | PauloSergioAlmeida |
| Dependable Distributed Systems The goal is to advance the state of the art in dependable distributed data management and dependable distributed systems, in particular ... | ||
| ResearchPartners | 16 Nov 2009 - 19:18 - NEW | JorgeSousaPinto |
| #ResearchPartnerships Research Partnerships: Universitet (DK) TH (SE) CSK (JP) CWI (NL) IHA (DK) IIST UNU (Macau CN) Sophia Antipolis ... | ||
| ResearchSideBar | 28 Oct 2009 - 11:55 - NEW | JoseBacelarAlmeida |
| Research Partnerships Industrial Liaisons | ||
| SelectedPublications | 10 Apr 2013 - 14:13 - r15 | JoseNunoOliveira |
| Recent Publications Journal Papers J.N. Oliveira, M.A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering ... | ||
| Seminar | 04 Apr 2015 - 20:32 - r200 | JoseNunoOliveira |
| This page has been moved to the new HASLab web site at http://haslab.uminho.pt/calendar HASLab Seminar Series The HASLab Seminar Series is a scientific colloquium ... | ||
| TechnicalReports | 19 Jun 2020 - 09:48 - r20 | JoseNunoOliveira |
| Technical Reports LaTeX style file: haslab report.sty 2011 TR HASLab:01:2011 L. S. Barbosa and Dimitrios Settas (eds). Pre Proceedings of the Fifth International ... | ||
| Tools | 27 Mar 2010 - 15:39 - r4 | JoseNunoOliveira |
| (Under revision) 2LT A two level data transformation system. 2LT is a deliverable of the PURe project. Examples of application include XML schema evolution coupled ... | ||
| WebChanges | 16 Aug 2001 - 19:58 - NEW | PeterThoeny? |
| WebCss | 29 Mar 2008 - 03:33 - r2 | JoseBacelarAlmeida |
| .natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ... | ||
| WebHome | 25 Oct 2013 - 12:27 - r76 | JoseNunoOliveira |
| Welcome to HASLab Our Motto "Improving Practice Through Theory" Overview Software technology is pre scientific in its lack of an effective basis for predicting ... | ||
| WebIndex | 24 Nov 2001 - 11:41 - r2 | PeterThoeny? |
| See also the faster WebTopicList | ||
| WebLeftBar | 16 Aug 2004 - 09:01 - NEW | ArthurClemens? |
| Web Web Home Changes Index Search Webs | ||
| WebNotify | 04 Jun 2006 - 14:33 - r5 | JoostVisser |
| This is a subscription service to be automatically notified by e mail when topics change in this DI/FMHAS web. This is a convenient service, so you do not have to ... | ||
| WebPreferences | 06 Dec 2011 - 09:46 - r18 | JoseFaria |
| TWiki.DI/FMHAS Web Preferences The following settings are web preferences of the TWiki.DI/FMHAS web. These preferences overwrite the site level preferences ... | ||
| WebRss | 30 Jan 2003 - 08:15 - NEW | Main.HASLab people |
| HASLab web /view/DI/FMHAS The DI/FMHAS web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World. | ||
| WebSearch | 08 Aug 2001 - 05:26 - NEW | PeterThoeny? |
| WebSearchAdvanced | 28 Oct 2009 - 11:32 - NEW | TWikiGuest |
| WebSideBar | 06 May 2013 - 16:29 - r21 | JoseNunoOliveira |
| Overview Home People Selected Publications Technical Reports BookShelf Projects Seminar Blog Press ... | ||
| WebStatistics | 28 Jun 2007 - 11:45 - r1056 | JoseBacelarAlmeida |
| Statistics for DI/FMHAS Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and ... | ||
| WebTopicList | 24 Nov 2001 - 11:40 - NEW | PeterThoeny? |
| See also the verbose WebIndex. | ||
Number of topics: 38
See also the faster WebTopicList