Topics in Members web: | Changed: now 11:35 | Changed by: |
AdrianFrancalanza | 07 Jun 2006 - 16:12 - NEW | SophiaDrossopoulou |
Adrian Franclanza information to be added soon |
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 ... |
ChristopherAnderson | 20 May 2005 - 13:59 - NEW | SophiaDrossopoulou |
Christopher Anderson http://binarylord.com/ |
DimitrisMostrous | 11 Jun 2008 - 15:36 - r1.2 | DimitrisMostrous |
http://www.doc.ic.ac.uk/~mostrous |
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 ... |
EverestProject | 01 Jul 2005 - 09:07 - r1.3 | JulienCharles |
The Everest Project home page: http://www-sop.inria.fr/everest/ |
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 ... |
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 ... |
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 ... |
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 ... |
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 ... |
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/ |
NobukoYoshida | 20 May 2005 - 14:01 - NEW | SophiaDrossopoulou |
Nobuko Yoshida http://www.doc.ic.ac.uk/~yoshida/ |
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 ... |
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 ... |
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 ... |
SophiaDrossopoulou | 20 May 2005 - 13:55 - NEW | SophiaDrossopoulou |
Sophia Drossopoulou http://www.doc.ic.ac.uk/~scd/ Sophia Drossopoulou photo: |
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 ... |
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 ... |
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 ... |
UniversidadPolitecnica | 29 Jul 2005 - 19:00 - r1.6 | MobiusAtUpm |
Ph D? Scholarships associated to Mobius offered at UPM Profile The Computational Logic, Implementation, and Parallelism (CLIP) Group at the Technical University of Madrid ... |
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 ... |
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 ... |
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 ... |
WebChanges | 16 Aug 2001 - 19:56 - r1.2 | PeterThoeny |
INCLUDE{" TWIKIWEB .WebChanges"} |
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 ... |
WebIndex | 24 Nov 2001 - 11:36 - r1.2 | PeterThoeny |
SEARCH{"\. " scope "topic" regex "on" nosearch "on"} See also the faster WebTopicList |
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 Search Changes ... |
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 come ... |
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 ... |
WebSearch | 08 Aug 2001 - 05:57 - r1.8 | PeterThoeny |
INCLUDE{" TWIKIWEB .WebSearch"} |
WebSearchAdvanced | 18 Jan 2004 - 10:49 - NEW | PeterThoeny |
INCLUDE{" TWIKIWEB .WebSearchAdvanced"} |
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 ... |
WebTopicList | 24 Nov 2001 - 11:36 - NEW | PeterThoeny |
TOPICLIST{" $name "} See also the verbose WebIndex. |