HASLab

High-Assurance Software Laboratory

Overview

Home
People
Selected Publications
Technical Reports
BookShelf
Projects
Seminar
R&D Blog
Press
Events
Opportunities
Education
Tools
Links
Intranet

News

New Paper: José N. Oliveira, Miguel A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326, March 2013, doi:10.1109/TSE.2012.15
New Paper: Nuno Macedo and Alcino Cunha: Implementing QVT-R Bidirectional Model Transformations using Alloy. Accepted at FASE'13
New Paper: Shin-Cheng Mu, J.N. Oliveira. Programming from Galois connections. The Journal of Logic and Algebraic Programming 81 (2012) 680–704 (DOI 10.1016/j.jlap.2012.05.003)
New Position: Hugo Macedo is since this month (Jan. 2013) a post-doct at Deducteam in Paris.
New Paper: J.N. Oliveira. Towards a Linear Algebra of Programming. Formal Aspects of Computing (2012) 24: 433–458 (DOI 10.1007/s00165-012-0240-9)

Statistics for DI/FMHAS Web

Month:	Topic views:	Topic saves:	File uploads:	Most popular topic views:	Top contributors for topic save and uploads:

Jan 2007	376	0	0	144 TfmSeminar? 57 WebHome 25 WebStatistics 22 WebSearch 22 WebChanges 20 WebNotify 19 WebIndex 9 WebRss 8 FlexibleSkinTopBar? 8 FlexibleSkinStyleSheet? 8 FlexibleSkinLeftBar?
Dec 2006	422	2	0	143 TfmSeminar? 80 WebHome 29 WebStatistics 28 WebChanges 22 WebSearch 21 WebNotify 18 WebIndex 12 FlexibleSkinStyleSheet? 10 FlexibleSkinTopicFooter? 9 WebSearchAdvanced 9 WebRss	2 JoostVisser
Nov 2006	307	14	0	76 TfmSeminar? 55 WebHome 30 WebChanges 27 Software? 25 WebSearch 25 WebNotify 24 WebStatistics 14 WebIndex 5 FlexibleSkinLeftBar? 4 WebSearchAdvanced 4 WebRss	14 JoostVisser
Oct 2006	255	0	0	85 TfmSeminar? 38 WebHome 17 WebStatistics 14 WebPreferences 14 WebChanges 13 WebIndex 13 WebNotify 13 WebSearch 7 WebTopicList 7 FlexibleSkinTopBar? 7 FlexibleSkinLeftBar?
Sep 2006	100	19	0	30 TfmSeminar? 28 WebHome 7 WebSearch 6 FlexibleSkinLeftBar? 5 FlexibleSkinStyleSheet? 4 WebChanges 3 WebIndex 3 FlexibleSkinTopBar? 3 WebPreferences 1 FlexibleSkinTopicFooter? 1 WebStatistics	19 JoostVisser
Aug 2006	398	0	0	40 WebHome 33 WebStatistics 31 PUReNews? 30 PUReSoftware? 24 SpreadsheetUnderstanding? 22 PUReCafe? 18 PURePublications? 17 UsingCVS? 17 WebIndex 16 Camila? 11 2LT?
Jul 2006	5792	11	1	1475 CoddFish? 645 PUReCafe? 595 WebHome 404 PUReSoftware? 281 WebStatistics 206 PurePublications? 201 PUReNews? 190 SdfMetz? 185 2LT? 169 Camila? 138 HaGLR?	6 JoostVisser 5 JoseBacelarAlmeida 1 LuisSoaresBarbosa
Jun 2006	907	0	0	140 PUReNews? 91 PUReCafe? 70 WebHome 57 WebStatistics 53 PurePublications? 39 CoddFish? 31 PUReSoftware? 30 UsingCVS? 28 Camila? 25 CAMILA? 24 WebRss
May 2006	881	0	0	107 PUReCafe? 106 PUReNews? 60 WebHome 56 PurePublications? 39 PUReSoftware? 39 Camila? 38 WebIndex 36 WebStatistics 31 UsingCVS? 28 WebRss 26 SdfMetz?
Apr 2006	4590	15	6	941 PUReCafe? 674 WebHome 360 PUReSoftware? 265 WebStatistics 237 SdfMetz? 167 Camila? 162 PUReNews? 139 VDMGrammarEvolution? 136 PurePublications? 122 HaGLR? 100 VooDooM?	7 AlexandraSilva 6 JoostVisser 5 JoseBacelarAlmeida 1 JorgeSousaPinto 1 LuisSoaresBarbosa 1 JoseVilaca
Mar 2006	7347	39	6	1224 PUReCafe? 873 WebHome 547 PUReSoftware? 500 WebStatistics 399 PUReNews? 281 PurePublications? 220 VooDooMFront? 206 SdfMetz? 205 Camila? 187 CoddFish? 178 PUReEvents?	23 JoostVisser 12 LuisSoaresBarbosa 6 AlexandraSilva 4 JorgeSousaPinto
Feb 2006	4464	5	0	893 PUReCafe? 448 WebHome 363 PUReSoftware? 194 WebStatistics 188 PUReNews? 183 SdfMetz? 169 PurePublications? 138 VDMGrammarEvolution? 136 VooDooM? 126 VooDooMFront? 121 Camila?	4 JoostVisser 1 JoseBacelarAlmeida
Jan 2006	704	0	0	143 PUReCafe? 105 WebHome 64 PUReNews? 58 UsingCVS? 54 PUReSoftware? 22 Camila? 21 WebStatistics 19 SdfMetz? 18 WebIndex 18 PurePublications? 16 PUReEvents?
Dec 2005	9357	32	1	1567 PUReCafe? 1559 CAMILA? 673 PUReSoftware? 652 WebHome 463 VDMGrammarEvolution? 460 WebStatistics 301 PURePublications? 282 HaGLR? 267 PUReNews? 234 PUReEvents? 219 PurePublications?	17 JoostVisser 15 AlexandraSilva 1 LuisSoaresBarbosa
Nov 2005	447	0	0	101 WebHome 61 PUReCafe? 33 PUReNews? 31 UsingCVS? 23 PUReSoftware? 16 WebStatistics 15 PurePublications? 14 WebIndex 14 PUReEvents? 14 SdfMetz? 13 Camila?
Oct 2005	5120	49	15	918 PUReCafe? 719 WebHome 405 SdfMetz? 360 PUReSoftware? 307 WebStatistics 231 PurePublications? 152 PUReEvents? 142 PUReNews? 140 SpreadsheetUnderstanding? 130 PURePublications? 118 Camila?	33 JoostVisser 14 JoseProenca 12 TiagoAlves 5 AlexandraSilva
Sep 2005	325	1	0	65 WebHome 37 PUReCafe? 26 PUReNews? 24 PurePublications? 20 WebStatistics 15 WebIndex 12 Camila? 11 SdfMetz? 8 PUReSoftware? 7 UsingCVS? 6 PURePublications?	1 JoseProenca
Aug 2005	4502	40	9	814 PUReCafe? 643 SdfMetz? 359 WebHome 271 PUReSoftware? 214 SpreadsheetUnderstanding? 192 WebStatistics 183 PurePublications? 166 PUReNews? 132 VDMGrammarEvolution? 131 PUReEvents? 110 VooDooMFront?	45 AlexandraSilva 3 JoseProenca 1 LuisSoaresBarbosa
Jul 2005	4194	82	5	830 PUReCafe? 425 WebHome 385 SdfMetz? 234 PUReSoftware? 191 SpreadsheetUnderstanding? 176 WebStatistics 163 VDMGrammarEvolution? 145 PurePublications? 144 PUReNews? 129 VooDooMFront? 124 Camila?	71 AlexandraSilva 7 JoostVisser 5 TiagoAlves 2 AlcinoCunha 1 JorgeSousaPinto 1 JoaoFernandes
Jun 2005	4776	7	1	961 PUReCafe? 527 WebHome 520 SdfMetz? 326 PUReSoftware? 192 WebStatistics 186 PurePublications? 170 PUReNews? 146 VooDooMFront? 142 Camila? 112 PUReEvents? 103 VooDooM?	5 AlcinoCunha 2 JoostVisser 1 PauloSilva
May 2005	5080	25	0	896 PUReCafe? 550 WebHome 420 VooDooMFront? 370 SdfMetz? 363 PUReSoftware? 253 PurePublications? 239 PUReNews? 173 WebStatistics 153 PUReEvents? 137 VooDooM? 133 Camila?	23 JoostVisser 1 JoseProenca 1 TiagoAlves
Apr 2005	4303	31	2	795 PUReCafe? 573 WebHome 360 VooDooMFront? 348 PUReSoftware? 212 WebStatistics 161 Camila? 149 PUReNews? 145 PurePublications? 144 SdfMetz? 114 PUReEvents? 109 HaGLR?	24 JoostVisser 5 JoseBacelarAlmeida 2 TiagoAlves 1 JoaoFernandes 1 JoaoFerreira
Mar 2005	3754	49	2	847 PUReCafe? 609 WebHome 294 VooDooMFront? 255 PUReSoftware? 218 WebStatistics 153 PurePublications? 146 PUReNews? 115 PUReEvents? 88 PureAnnouncements? 77 SdfMetz? 77 WebChanges	38 JoostVisser 11 JoaoFerreira 2 AlcinoCunha
Feb 2005	3108	7	1	752 PUReCafe? 448 WebHome 279 VooDooMFront? 226 WebStatistics 196 PUReSoftware? 162 PurePublications? 103 PUReEvents? 88 PUReNews? 81 PureAnnouncements? 77 HaGLR? 66 SdfMetz?	5 JoseProenca 3 TiagoAlves
Jan 2005	2836	26	3	724 PUReCafe? 474 WebHome 187 PUReSoftware? 173 PurePublications? 161 VooDooMFront? 128 WebStatistics 112 PUReEvents? 92 PUReNews? 68 WebChanges 65 PureAnnouncements? 65 HaGLR?	7 LuisSoaresBarbosa 6 TiagoAlves 5 JoseNunoOliveira 3 JoostVisser 3 JoaoSaraiva 3 JorgeSousaPinto 1 AlcinoCunha 1 NunoRodrigues
Dec 2004	2590	21	3	533 PUReCafe? 387 WebHome 210 PUReSoftware? 131 PUReNews? 125 HaGLR? 114 PUReEvents? 113 PurePublications? 103 VooDooMFront? 102 WebStatistics 79 PureAnnouncements? 75 WebChanges	13 JoostVisser 10 TiagoAlves 1 JoseBacelarAlmeida
Nov 2004	4628	11	2	1621 WebStatistics 944 PUReCafe? 506 WebHome 287 PUReSoftware? 180 PUReEvents? 117 PurePublications? 102 PUReNews? 89 PureAnnouncements? 87 WebIndex 86 HaGLR? 68 VooDooM?	7 JoostVisser 4 AlcinoCunha 1 JoseNunoOliveira 1 LuisSoaresBarbosa
Oct 2004	2382	13	2	425 WebHome 416 PUReCafe? 235 WebStatistics 226 PUReSoftware? 133 PurePublications? 127 PUReEvents? 87 HaGLR? 79 PUReNews? 77 PureAnnouncements? 76 ProjectSummary? 70 ChopaChops?	4 JorgeSousaPinto 4 JoostVisser 3 AlcinoCunha 2 LuisSoaresBarbosa 1 JoseBacelarAlmeida 1 JoaoSaraiva
Sep 2004	2720	24	7	516 WebHome 494 PUReCafe? 311 WebStatistics 190 PUReSoftware? 158 PUReEvents? 132 PUReNews? 109 PurePublications? 77 VooDooM? 73 PureAnnouncements? 72 HaGLR? 70 ChopaChops?	17 LuisSoaresBarbosa 9 JoostVisser 5 TiagoAlves
Aug 2004	3525	23	8	822 WebStatistics 737 PUReCafe? 434 WebHome 196 PUReSoftware? 154 PUReNews? 137 PurePublications? 125 PUReEvents? 87 PureAnnouncements? 80 MenuTopics? 72 WebIndex 72 VooDooM?	31 JoostVisser
Jul 2004	3537	12	1	909 PUReCafe? 662 WebStatistics 582 WebHome 197 PUReSoftware? 164 PurePublications? 139 PUReEvents? 126 PUReNews? 78 MenuTopics? 74 PureAnnouncements? 68 HaskellCommunitiesAndActivities? 65 VooDooM?	6 JorgeSousaPinto 3 LuisSoaresBarbosa 2 JoostVisser 1 NunoRodrigues 1 JoseBacelarAlmeida
Jun 2004	2892	14	3	751 PUReCafe? 676 WebStatistics 582 WebHome 156 PUReSoftware? 110 PUReEvents? 90 PUReNews? 85 PurePublications? 47 PureAnnouncements? 45 ProjectSummary? 44 VooDooM? 43 WebChanges	9 LuisSoaresBarbosa 6 JoostVisser 1 JoseNunoOliveira 1 AlcinoCunha
May 2004	2389	12	1	671 WebStatistics 624 PUReCafe? 537 WebHome 128 PUReSoftware? 78 PUReEvents? 56 PurePublications? 46 PUReNews? 46 HaskellCommunitiesAndActivities? 24 MenuTopics? 20 WebPreferences 19 VooDooM?	5 JoseNunoOliveira 3 JorgeSousaPinto 3 JoaoSaraiva 2 AlcinoCunha
Apr 2004	720	18	1	304 WebHome 98 PUReCafe? 54 PUReSoftware? 37 WebStatistics 32 PurePublications? 30 VooDooM? 23 PUReNews? 22 PureAnnouncements? 22 HaskellCommunitiesAndActivities? 21 PUReEvents? 13 WebChanges	5 JorgeSousaPinto 4 LuisSoaresBarbosa 4 JoostVisser 2 JoseBarros 2 AlcinoCunha 1 JoseNunoOliveira 1 JoseBacelarAlmeida
Mar 2004	1076	51	2	494 WebHome 165 PUReCafe? 125 PUReSoftware? 55 PurePublications? 37 WebChanges 34 PureAnnouncements? 32 WebStatistics 32 PUReNews? 28 PUReEvents? 18 ProjectSummary? 14 VooDooM?	27 JoostVisser 17 AlcinoCunha 5 JorgeSousaPinto 2 JoseNunoOliveira 1 JoseBacelarAlmeida 1 JoaoSaraiva
Feb 2004	890	100	12	430 WebHome 134 PUReCafe? 83 PurePublications? 34 PUReEvents? 33 PUReNews? 32 WebChanges 30 WebStatistics 30 MenuTopics? 26 PureAnnouncements? 16 ProjectSummary? 7 WebPreferences	56 AlcinoCunha 17 JoseNunoOliveira 17 JorgeSousaPinto 8 JoseBarros 7 LuisSoaresBarbosa 6 JoostVisser 1 DavidCosta

Notes:

Do not edit this topic, it is updated automatically. (You can also force an update)
TWikiDocumentation tells you how to enable the automatic updates of the statistics.
Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.

r1056 - 28 Jun 2007 - 11:45:15 - JoseBacelarAlmeida

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback

Syndicate this site RSS ATOM