Skip to main content
Search
Connect
Gertrudis Rivas
@gertrudis-rivas
0
followers
Follow
Videos
Playlists
Most recent
Most recent
Most viewed
0:05
Read Self-Stabilizing Systems: 5th International Workshop WSS 2001 Lisbon Portugal October
10 years ago
0:08
Read Cryptographic Hardware and Embedded Systems -- CHES 2003: 5th International Workshop Cologne
10 years ago
0:07
Read UbiComp 2003: Ubiquitous Computing: 5th International Conference Seattle WA USA October
10 years ago
0:08
Read Algebraic Methodology and Software Technology: 5th International Conference AMAST '96
10 years ago
0:08
Read Dependable Computing - EDCC 2005: 5th European Dependable Computing Conference Budapest
10 years ago
0:07
Read Cryptographic Hardware and Embedded Systems - CHES 2002: 4th International Workshop Redwood
10 years ago
0:08
Read Foundations of Software Science and Computation Structures: 4th International Conference
10 years ago
0:08
Read Dependable Computing EDCC-4: 4th European Dependable Computing Conference Toulouse France
10 years ago
0:08
Read 3rd IEEE International Conference on Engineering of Complex Computer Systems Iceccs '97
10 years ago
0:05
Read High Performance Transaction Systems: 2nd International Workshop Asilomar Conference Center
10 years ago
0:05
Read Information Security Applications: 5th International Workshop WISA 2004 Jeju Island Korea
10 years ago
0:06
Read Automated Technology for Verification and Analysis: 5th International Symposium ATVA 2007
10 years ago
0:07
Read Pervasive Computing: 5th International Conference PERVASIVE 2007 Toronto Canada May 13-16
10 years ago
0:08
Download Pervasive Computing for Quality of Life Enhancement: 5th International Conference
10 years ago
0:08
Read Web Services and Formal Methods: 4th International Workshop WS-FM 2007 Brisbane Australia
10 years ago
0:06
Read Computer Aided Systems Theory - CAST '94: 4th International Workshop Ottawa Ontario May
10 years ago
0:07
Read ZB 2005: Formal Specification and Development in Z and B: 4th International Conference
10 years ago
0:05
Read Wireless Sensor Networks: 4th European Conference EWSN 2007 Delft The Netherlands January
10 years ago
0:05
Read ESEC '91: 3rd European Software Engineering Conference ESEC '91 Milan Italy October 21-24
10 years ago
0:07
Download AI '88: 2nd Australian Joint Artificial Intelligence Conference Adelaide Australia
10 years ago
0:08
Read Applied Parallel Computing. New Paradigms for HPC in Industry and Academia: 5th International
10 years ago
0:08
Read NETWORKING 2006. Networking Technologies Services Protocols Performance of Computer and
10 years ago
0:08
Read Compiler Construction: 5th International Conference CC '94 Edinburgh U.K. April 7 - 9
10 years ago
0:06
Read Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop
10 years ago
0:08
Read Information Security Applications: 4th International Workshop WISA 2003 Jeju Island Korea
10 years ago
0:05
Read Ubiquitous Computing Systems: 4th International Symposium UCS 2007 Tokyo Japan November
10 years ago
0:08
Read Algebraic Methodology and Software Technology: 4th International Conference AMAST '95
10 years ago
0:06
Read Computer Aided Verification: 3rd International Workshop CAV '91 Aalborg Denmark July 1-4
10 years ago
0:08
Download Computer-Aided Verification: 2nd Internatonal Conference CAV '90 New Brunswick NJ
10 years ago
0:08
Read Computer Safety Reliability and Security: 26th International Conference SAFECOMP 2007
10 years ago