50 Recent Changes in TWiki Web retrieved at 20:50 (GMT)
| Publications | 29 Oct 2015 - 13:02 - r6 | AlexandraSilva |
| Publications 2014 2015 Nuno Oliveira, Luís Soares Barbosa: Reasoning about software reconfigurations: The behavioural and structural perspectives. Science of Computer ... | ||
| WorkBench | 06 Oct 2014 - 21:24 - r8 | JoseNunoOliveira |
| Grant BI1 2012 PTDC/EIA CCO/122240/2010 UMINHO WP1 Calculating fault propagation in functional programs This site contains the experimental part of the homonym ... | ||
| BisimulationsInKAT | 08 Nov 2013 - 00:51 - r2 | RicardoAlmeida |
| Constructing (Bi)simulations for KAT This page contains the source code of KAT Decider, a project which features the decision of language inclusion/equality between ... | ||
| WebPreferences | 15 Oct 2013 - 16:52 - r31 | JoseFaria |
| Research/QAIS Web Preferences The following settings are web preferences of the Research/QAIS web. These preferences overwrite the site level preferences in ... | ||
| WebSideBar | 15 Oct 2013 - 15:48 - r15 | LuisSoaresBarbosa |
| Overview Home Project Description Team Research Team Job Opportunities Results Publications WorkBench (Bi)simulations in KAT ... | ||
| Workshops | 17 Sep 2013 - 14:38 - r2 | JoseNunoOliveira |
| Workshops Workshop 0 : Braga, 17 October 2011, see program here. Workshop 1 : Braga, 16 17 September 2013. Workshop 2 : Lisbon, 15 16 September 2014 (dates ... | ||
| Team | 17 Sep 2013 - 14:31 - r3 | JoseNunoOliveira |
| Research Team Silva Alejandro Sanchez Ana Maldonado Elisabete Freire Nuno Oliveira Monteiro Barbosa Nuno Oliveira Daniel ... | ||
| WebHome | 07 Sep 2012 - 22:13 - r32 | AlexandraSilva |
| Quantitative analysis of interacting systems: foundations and algorithms Project Summary In recent years, there has been an increasing interest in studying the behavior ... | ||
| Jobs | 06 Jan 2012 - 17:07 - NEW | AlexandraSilva |
| Job announcements None at the moment. | ||
| FctForm | 06 Jan 2012 - 16:19 - r17 | AlexandraSilva |
| Quantitative analysis of interacting systems: foundations and algorithms Summary 5000 In recent years, there has been an increasing interest in studying the behavior ... | ||
| WebCss | 06 Jan 2012 - 13:09 - r3 | AlexandraSilva |
| .natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ... | ||
| WebStatistics | 06 Jan 2012 - 13:09 - r126 | AlexandraSilva |
| Statistics for Research/QAIS Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ... | ||
| T4 | 06 Jan 2012 - 13:08 - r6 | AlexandraSilva |
| T4 Case study: the ASK system The ASK system is a communication software product that acts as a mediator between service consumers and service providers, for instance ... | ||
| T5 | 06 Jan 2012 - 13:08 - r4 | AlexandraSilva |
| T5 Application: a !QoS robust composition calculus for services This task aims at integrating the theoretical results obtained in T1 ad T2 with the team previous work ... | ||
| T1 | 06 Jan 2012 - 13:08 - r4 | AlexandraSilva |
| T1 Uniform metric derivation for quantitative models of computation In order to study services from a quantitative perspective, there is a need to shift from classical ... | ||
| T3 | 06 Jan 2012 - 13:08 - r4 | AlexandraSilva |
| T3: Computational Layer: algorithms Language equivalences of finite DAs and bisimilarity of finite LTSs can be respectively computed via the Myhill Nerode algorithm ... | ||
| T2 | 06 Jan 2012 - 13:08 - r6 | AlexandraSilva |
| T2 Coalgebraic Metric Bisimulation Bisimulations are an extremely useful tool for reasoning about the equivalence of systems: in order to prove that two systems ... | ||
| WebTopicList | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
| WebSearchAdvanced | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
| WebTopicCreator | 15 Nov 2006 - 19:43 - r2 | TWikiContributor |
| WebIndex | 15 Nov 2006 - 19:43 - r4 | TWikiContributor |
| WebSearch | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
| WebChanges | 15 Nov 2006 - 19:43 - r3 | TWikiContributor |
| WebAtom | 24 Jan 2006 - 06:07 - r2 | TWikiContributor |
| TWiki's Research/QAIS web | ||
| WebRss | 28 Mar 2005 - 09:40 - r4 | TWikiContributor |
| " else "TWiki's Research/QAIS web"}% /Research/QAIS | ||
| WebNotify | 28 Mar 2005 - 09:40 - r5 | TWikiContributor |
| TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration | ||
| WebLeftBar | 28 Mar 2005 - 09:40 - r4 | TWikiContributor |
| " warn "off"}% | ||
Number of topics: 27 See also:
RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes