Ideas, requests, problems regarding the Mobius site 
| Topics in Members web: | Changed: now 12:16 | Changed by: |
| WebStatistics | 01 Dec 2009 - 06:02 - r1.1516 | TWikiGuest |
| Statistics for Members Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Dec 2009 14 0 0 3 ... | ||
| ImperialCollege | 01 Sep 2009 - 11:28 - r1.8 | SophiaDrossopoulou |
| Team from the Department of Computing, Imperial College, London http://www.doc.ic.ac.uk/ People: DimitrisMostrous SophiaDrossopoulou, NobukoYoshida, AlexSummers MartinBerger ... | ||
| WebHome | 28 Aug 2009 - 17:37 - r1.49 | IanStark |
| MOBIUS The European Mobius consortium is composed of 16 Partners: ENDCOLOR CO 1 INRIA CO 2 TLS Technologies Poland CO 3 ETH Zurich Switzerland CO 4 Radboud Universiteit ... | ||
| WebLeftBar | 30 Jul 2009 - 09:02 - r1.25 | JorgeSacchini |
| Mobius Home Objectives Partners Workpackages End User Panel Scientific Advisory Board Publications Deliverables Links to Related projects Intranet Tools | ||
| TUD | 19 Jun 2008 - 08:51 - r1.2 | AlexanderReinhard? |
| The chair Theoretical Computer Science: Formal Methods and Information Security at the TU Darmstadt develops formal methods, techniques, and tools for the development ... | ||
| DimitrisMostrous | 11 Jun 2008 - 15:36 - r1.2 | DimitrisMostrous |
| http://www.doc.ic.ac.uk/~mostrous | ||
| WebNotify | 29 Nov 2007 - 13:36 - r1.10 | SophieHadjadj |
| This is a subscription service to be automatically notified by e-mail when topics change in this Members web. This is a convenient service, so you do not have to ... | ||
| RwthAachen | 10 Jul 2007 - 16:46 - r1.5 | AlexanderReinhard? |
| The Formal Methods for Security Engineering Group at the RWTH Aachen develops formal methods, techniques, and tools for the development of secure and reliable software ... | ||
| MartinBerger | 25 Apr 2007 - 20:33 - NEW | SophiaDrossopoulou |
| Martin Berger is a MOBIUS member from Imperial College. More at his home page: http://www.doc.ic.ac.uk/~mberger/ | ||
| AdrianFrancalanza | 07 Jun 2006 - 16:12 - NEW | SophiaDrossopoulou |
| Adrian Franclanza information to be added soon | ||
| TlsTechnologies | 10 Jan 2006 - 16:25 - r1.3 | GrzegorzGrudzinski |
| TLS-Technologie TLS-Technologie is a small software development company established in 2001 in Warsaw, Poland. TLS provides outsourcing services for larger companies ... | ||
| RadboudUniversiteit | 16 Nov 2005 - 13:36 - r1.8 | ErikPoll |
| The Security of Systems group at the Radboud University Nijmegen focuses its research on security and Java specification and verification. The group is involved in ... | ||
| UniversityOfWarsaw | 09 Nov 2005 - 19:55 - r1.5 | JacekChrzaszcz |
| Profile The Institute of Informatics of Warsaw University is one of three institutes within the Faculty of Mathematics, Informatics and Mechanics, Warsaw University ... | ||
| InstituteOfCybernetics | 21 Oct 2005 - 16:52 - r1.5 | TarmoUustalu |
| Institute of Cybernetics, Tallinn, Estonia The Institute of Cybernetics (IOC) is an interdisciplinary research institution with about 40 research staff that specializes ... | ||
| UniversityCollegeDublin | 07 Oct 2005 - 09:28 - r1.4 | JosephKiniry |
| The Systems Research Group (SRG), primarily the KindSoftware subgroup, in the School of Computer Science and Informatics at University College Dublin focuses on the ... | ||
| LudwigMaximilianUniversitat | 02 Sep 2005 - 15:18 - r1.3 | LennartBeringer |
| Ludwig-Maximilians-Universit t M nchen The chair for Theoretical Computer Science at LMU Munich carries out research in programming languages (semantics, type theory ... | ||
| EthZurich | 05 Aug 2005 - 07:58 - r1.7 | HermannLehner |
| The Software Component Technology Group at the Swiss Federal Institute of Technology Zurich aims at creating techniques and tools for the development of provably ... | ||
| UniversityOfEdinburgh | 02 Aug 2005 - 16:49 - r1.4 | IanStark |
| The University of Edinburgh Profile The Mobius team at Edinburgh are from the Mobility and Security group in the Laboratory for Foundations of Computer Science (LFCS ... | ||
| FranceTelecom | 01 Aug 2005 - 15:51 - r1.4 | PierreCregut |
| France Télécom Profile France Télécom is one of the world's leading telecommunications carriers, with 117,1 million customers on the five continents (220 countries ... | ||
| UniversidadPolitecnica | 29 Jul 2005 - 19:00 - r1.6 | MobiusAtUpm |
| PhD Scholarships associated to Mobius offered at UPM Profile The Computational Logic, Implementation, and Parallelism (CLIP) Group at the Technical University of ... | ||
| InRia | 27 Jul 2005 - 12:28 - r1.5 | JulienCharles |
| Profile INRIA is a French public-sector scientific and technological institute operating under the dual authority of the Ministry of Research and the Ministry of ... | ||
| ChalmersUniversity | 04 Jul 2005 - 13:23 - r1.3 | AndreiSabelfeld |
| The research team involved in the Mobius project consists of two Chalmers research groups: ProSec and Formal Methods groups. The ProSec group explores security models ... | ||
| EverestProject | 01 Jul 2005 - 09:07 - r1.3 | JulienCharles |
| The Everest Project home page: http://www-sop.inria.fr/everest/ | ||
| SapAg | 27 May 2005 - 11:49 - r1.3 | MaartenRits |
| http://www.sap.com Founded in 1972, SAP is the recognized leader in providing collaborative business solutions for all types of industries and for every major market ... | ||
| NobukoYoshida | 20 May 2005 - 14:01 - NEW | SophiaDrossopoulou |
| Nobuko Yoshida http://www.doc.ic.ac.uk/~yoshida/ | ||
| ChristopherAnderson | 20 May 2005 - 13:59 - NEW | SophiaDrossopoulou |
| Christopher Anderson http://binarylord.com/ | ||
| SophiaDrossopoulou | 20 May 2005 - 13:55 - NEW | SophiaDrossopoulou |
| Sophia Drossopoulou http://www.doc.ic.ac.uk/~scd/ Sophia Drossopoulou photo: | ||
| TrustedLogic | 20 May 2005 - 08:42 - r1.3 | EricVetillard |
| Trusted Logic Trusted Logic is a small software company, created in 1999, which specializes in software security for embedded systems. Trusted Logic addresses four ... | ||
| WebPreferences | 05 Apr 2005 - 17:17 - r1.20 | JulienCharles |
| Members Web Preferences The following settings are web preferences of the Members web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC ... | ||
| WebRss | 16 Aug 2004 - 03:26 - r1.2 | PeterThoeny |
| TWiki's Members web SCRIPTURL /view SCRIPTSUFFIX /Members The web for users, groups and offices. TWiki is a Web-Based Collaboration Platform for the Corporate World ... | ||
| WebSearchAdvanced | 18 Jan 2004 - 10:49 - NEW | PeterThoeny |
| INCLUDE{" TWIKIWEB .WebSearchAdvanced"} | ||
| WebIndex | 24 Nov 2001 - 11:36 - r1.2 | PeterThoeny |
| SEARCH{"\. " scope "topic" regex "on" nosearch "on"} See also the faster WebTopicList | ||
| WebTopicList | 24 Nov 2001 - 11:36 - NEW | PeterThoeny |
| TOPICLIST{" $name "} See also the verbose WebIndex. | ||
| WebChanges | 16 Aug 2001 - 19:56 - r1.2 | PeterThoeny |
| INCLUDE{" TWIKIWEB .WebChanges"} | ||
| WebSearch | 08 Aug 2001 - 05:57 - r1.8 | PeterThoeny |
| INCLUDE{" TWIKIWEB .WebSearch"} | ||