Index of /~bochmann/Curriculum/Pub

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] 1969 - Effect of cor..> 18-Sep-2012 11:22 170K [   ] 1969 - Effect of cor..> 18-Sep-2012 11:22 170K [   ] 1969 - Multi-step co..> 18-Sep-2012 11:21 425K [   ] 1969 - Multi-step co..> 18-Sep-2012 11:21 425K [   ] 1971 - PhD thesis - ..> 17-Jun-2016 20:47 3.3M [   ] 1971 - PhD thesis - ..> 17-Jun-2016 20:47 3.3M [   ] 1972 - Photoreaction..> 18-Sep-2012 11:07 352K [   ] 1972 - Photoreaction..> 18-Sep-2012 11:07 352K [   ] 1973 - Hierarchical ..> 20-Sep-2012 16:13 136K [   ] 1973 - Hierarchical ..> 20-Sep-2012 16:13 136K [   ] 1973 - Multiple exit..> 21-Sep-2012 08:56 184K [   ] 1973 - Multiple exit..> 21-Sep-2012 08:56 184K [   ] 1974 - Properties of..> 17-Sep-2012 11:37 683K [   ] 1976 - A sampler of ..> 17-Sep-2012 11:35 4.4M [   ] 1976 - Semantic eval..> 17-Sep-2012 11:34 767K [   ] 1976 - Semantic eval..> 17-Sep-2012 11:34 767K [   ] 1977 - Operating sys..> 21-Sep-2012 09:19 763K [   ] 1977 - Standard issu..> 17-Sep-2012 11:27 849K [   ] 1977 - Standard issu..> 17-Sep-2012 11:27 849K [   ] 1978 - Compile time ..> 17-Sep-2012 11:19 1.8M [   ] 1978 - Compile time ..> 17-Sep-2012 11:19 1.8M [   ] 1978 - Finite State ..> 12-Jun-2006 15:15 887K [   ] 1978 - Finite State ..> 12-Jun-2006 15:15 887K [   ] 1978 - Message Link ..> 12-Jun-2006 15:00 1.2M [   ] 1978 - Message Link ..> 12-Jun-2006 15:00 1.2M [   ] 1978 Liege - Finite ..> 24-Jun-2016 17:55 6.7M [   ] 1978 Liege - Finite ..> 24-Jun-2016 17:55 6.7M [   ] 1979 - Distributed s..> 02-Jul-2013 10:19 629K [   ] 1979 - Distributed s..> 02-Jul-2013 10:19 629K [   ] 1979 - Semantic equi..> 17-Sep-2012 11:16 785K [   ] 1979 - Semantic equi..> 17-Sep-2012 11:16 785K [   ] 1980 - Videotex Netw..> 17-Sep-2012 11:00 7.3M [   ] 1981 - Data structur..> 17-Sep-2012 10:58 11M [   ] 1981 - Data structur..> 17-Sep-2012 10:58 11M [   ] 1982 - Experience wi..> 17-Sep-2012 10:47 1.0M [   ] 1982 - Experience wi..> 17-Sep-2012 10:47 1.0M [   ] 1983 - Formal descri..> 17-Sep-2012 10:40 868K [   ] 1983 - Formal descri..> 17-Sep-2012 10:40 868K [   ] 1983 - On the Constr..> 13-Mar-2008 01:57 1.2M [   ] 1983 - On the Constr..> 13-Mar-2008 01:57 1.2M [   ] 1983 - Relationship ..> 01-Oct-2012 16:29 409K [   ] 1983 - Relationship ..> 01-Oct-2012 16:29 409K [   ] 1983 - Structured sp..> 10-Oct-2013 15:44 5.0M [   ] 1983 - Structured sp..> 10-Oct-2013 15:44 5.0M [   ] 1986 - Semi-automati..> 17-Sep-2012 10:35 588K [   ] 1986 - Semi-automati..> 17-Sep-2012 10:35 588K [   ] 1987 - Some comments..> 15-Sep-2012 17:46 1.0M [   ] 1987 - Some comments..> 15-Sep-2012 17:46 1.0M [   ] 1988 - Adding Perfor..> 15-Jul-1999 21:30 169K [   ] 1988 - Adding Perfor..> 15-Jul-1999 21:30 169K [   ] 1988 - Delay-indepen..> 27-Feb-2012 11:53 1.0M [   ] 1988 - Delay-indepen..> 27-Feb-2012 11:53 1.0M [   ] 1988 - Impact of Que..> 01-Jul-2016 21:05 13M [   ] 1988 - Impact of Que..> 01-Jul-2016 21:05 13M [   ] 1989 - Formal method..> 22-Sep-2012 16:36 38K [   ] 1989 - Formal method..> 22-Sep-2012 16:36 38K [   ] 1989 - New results o..> 20-Dec-2006 04:38 921K [   ] 1989 - New results o..> 20-Dec-2006 04:38 921K [   ] 1990 - An execution ..> 21-Sep-2012 11:04 660K [   ] 1990 - An execution ..> 21-Sep-2012 11:04 660K [   ] 1990 - Deriving anal..> 24-Jun-2016 21:10 13M [   ] 1990 - Deriving anal..> 24-Jun-2016 21:10 13M [   ] 1990 - Deriving prot..> 15-Sep-2012 17:19 291K [   ] 1990 - Deriving prot..> 29-Jun-2006 05:30 1.9M [   ] 1990 - Deriving prot..> 29-Jun-2006 05:30 1.9M [   ] 1990 - Design princi..> 12-Jun-2006 14:36 1.0M [   ] 1990 - Design princi..> 12-Jun-2006 14:36 1.0M [   ] 1990 - Implementatio..> 22-Sep-2012 16:46 84K [   ] 1990 - Method of ana..> 15-Sep-2012 17:13 921K [   ] 1990 - Mondel - An o..> 22-Sep-2012 16:49 104K [   ] 1990 - Mondel - An o..> 22-Sep-2012 16:49 104K [   ] 1990 - Protocol spec..> 12-Jun-2006 15:45 1.5M [   ] 1990 - Protocol spec..> 12-Jun-2006 15:45 1.5M [   ] 1990 - Specification..> 22-Feb-2010 15:19 2.4M [   ] 1990 - Specification..> 22-Feb-2010 15:19 2.4M [   ] 1990 - Test result a..> 21-Sep-2012 11:01 62K [   ] 1990 - Test result a..> 21-Sep-2012 11:01 62K [   ] 1990 - Translation f..> 22-Sep-2012 17:01 55K [   ] 1990 - Translation f..> 22-Sep-2012 17:01 55K [   ] 1991 - Error recover..> 07-Jul-2016 19:18 6.9M [   ] 1991 - Error recover..> 07-Jul-2016 19:18 6.9M [   ] 1991 - Execution of ..> 22-Sep-2012 21:19 175K [   ] 1991 - Execution of ..> 22-Sep-2012 21:19 175K [   ] 1991 - Le projet MMS..> 15-Sep-2012 18:56 71K [   ] 1991 - Le projet MMS..> 15-Sep-2012 18:56 71K [TXT] 1991 - Le projet MMS..> 15-Sep-2012 18:59 142K [TXT] 1991 - Le projet MMS..> 15-Sep-2012 18:59 142K [   ] 1991 - OSI specifica..> 22-Sep-2012 16:55 59K [   ] 1991 - OSI specifica..> 22-Sep-2012 16:55 59K [   ] 1991 - Object-orient..> 21-Sep-2012 19:10 93K [   ] 1991 - Object-orient..> 21-Sep-2012 19:10 93K [   ] 1991 - Test selectio..> 12-Jun-2006 14:38 1.2M [   ] 1991 - Testing non-d..> 22-Sep-2012 15:39 79K [   ] 1991 - Testing non-d..> 22-Sep-2012 15:39 79K [   ] 1992 - A framework f..> 21-Sep-2012 11:39 1.0M [   ] 1992 - A framework f..> 21-Sep-2012 11:39 1.0M [   ] 1992 - Dynamic exten..> 22-Sep-2012 17:15 116K [   ] 1992 - Dynamic exten..> 22-Sep-2012 17:15 116K [   ] 1992 - Dynamic modif..> 22-Sep-2012 17:13 49K [   ] 1992 - Dynamic modif..> 22-Sep-2012 17:13 49K [   ] 1992 - Generating te..> 22-Sep-2012 21:29 170K [   ] 1992 - Generating te..> 22-Sep-2012 21:29 170K [   ] 1992 - Multiple inhe..> 22-Sep-2012 18:05 174K [   ] 1992 - Multiple inhe..> 22-Sep-2012 18:05 174K [   ] 1992 - Object-orient..> 25-Jun-2016 10:16 12M [   ] 1992 - Object-orient..> 25-Jun-2016 10:16 12M [   ] 1992 - Prolog for in..> 24-Jun-2016 18:18 14M [   ] 1992 - Prolog for in..> 24-Jun-2016 18:18 14M [   ] 1992 - Semantics and..> 22-Sep-2012 17:05 77K [   ] 1992 - Test system f..> 22-Sep-2012 17:43 192K [   ] 1992 - Test system f..> 22-Sep-2012 17:43 192K [   ] 1992 - Type evolutio..> 22-Sep-2012 17:07 134K [   ] 1992 - Type evolutio..> 22-Sep-2012 17:07 134K [   ] 1993 - A framework f..> 15-Sep-2012 16:51 148K [   ] 1993 - A framework f..> 15-Sep-2012 16:51 148K [   ] 1993 - A subset of L..> 21-Sep-2012 12:00 917K [   ] 1993 - A subset of L..> 21-Sep-2012 12:00 917K [   ] 1993 - Abstract dyna..> 21-Sep-2012 21:50 68K [   ] 1993 - Abstract dyna..> 21-Sep-2012 21:50 68K [   ] 1993 - Conformance t..> 22-Sep-2012 21:23 184K [   ] 1993 - Conformance t..> 22-Sep-2012 21:23 184K [   ] 1993 - Diagnosing di..> 15-Jul-1999 21:37 145K [   ] 1993 - Diagnosis for..> 21-Sep-2012 13:19 1.0M [   ] 1993 - Fairness of N..> 22-Sep-2012 16:08 130K [   ] 1993 - Fairness of N..> 22-Sep-2012 16:08 130K [   ] 1993 - Generating sy..> 15-Jul-1999 21:41 61K [   ] 1993 - Generating sy..> 15-Jul-1999 21:41 61K [   ] 1993 - Incremental c..> 15-Jul-1999 21:39 278K [   ] 1993 - Modeling and ..> 21-Sep-2012 13:04 1.0M [   ] 1993 - Multiple faul..> 21-Sep-2012 13:17 1.0M [   ] 1993 - Multiple faul..> 21-Sep-2012 13:17 1.0M [TXT] 1993 - Protocol Engi..> 22-Sep-2012 23:12 60K [   ] 1993 - Specification..> 21-Sep-2012 20:23 126K [   ] 1993 - Specification..> 21-Sep-2012 20:23 126K [   ] 1993 - Test generati..> 15-Jul-1999 21:41 147K [   ] 1993 - Test generati..> 15-Jul-1999 21:41 147K [   ] 1994 - A Conceptual ..> 22-Sep-2012 21:06 192K [   ] 1994 - A Conceptual ..> 22-Sep-2012 21:06 192K [   ] 1994 - A metric appr..> 22-Sep-2012 21:24 145K [   ] 1994 - A metric appr..> 22-Sep-2012 21:24 145K [   ] 1994 - A quality-of-..> 28-Sep-2012 20:17 29K [   ] 1994 - A quality-of-..> 28-Sep-2012 20:17 29K [   ] 1994 - A structural ..> 22-Sep-2012 21:26 152K [   ] 1994 - A structural ..> 22-Sep-2012 21:26 152K [   ] 1994 - Automatic ana..> 15-Jul-1999 21:39 341K [   ] 1994 - Automatic ana..> 15-Jul-1999 21:39 341K [   ] 1994 - Configuration..> 21-Sep-2012 15:15 436K [   ] 1994 - Configuration..> 21-Sep-2012 15:15 436K [   ] 1994 - Derivation de..> 15-Sep-2012 16:06 106K [   ] 1994 - Derivation de..> 15-Sep-2012 16:06 106K [   ] 1994 - Experiments o..> 22-Sep-2012 18:57 173K [   ] 1994 - Experiments o..> 22-Sep-2012 18:57 173K [   ] 1994 - Functional re..> 22-Sep-2012 17:58 68K [   ] 1994 - Functional re..> 22-Sep-2012 17:58 68K [   ] 1994 - On controllin..> 08-Jul-2016 14:37 7.6M [   ] 1994 - On controllin..> 08-Jul-2016 14:37 7.6M [   ] 1994 - On distribute..> 21-Sep-2012 15:10 88K [   ] 1994 - On distribute..> 21-Sep-2012 15:10 88K [   ] 1994 - On specifying..> 22-Sep-2012 18:23 256K [   ] 1994 - On specifying..> 22-Sep-2012 18:23 256K [   ] 1994 - Prise en comp..> 03-Mar-2008 15:16 167K [   ] 1994 - Protocol test..> 21-Sep-2012 15:04 2.1M [   ] 1994 - Protocol test..> 21-Sep-2012 15:04 2.1M [   ] 1994 - Selecting tes..> 15-Jul-2009 08:08 119K [   ] 1994 - Test selectio..> 15-Jul-1999 21:41 217K [   ] 1994 - Test selectio..> 15-Jul-1999 21:41 217K [   ] 1995 - A top down me..> 21-Sep-2012 15:29 788K [   ] 1995 - A top down me..> 21-Sep-2012 15:29 788K [   ] 1995 - An Automatic ..> 21-Sep-2012 15:37 1.1M [   ] 1995 - An Automatic ..> 21-Sep-2012 15:37 1.1M [   ] 1995 - Modeling Basi..> 21-Sep-2012 15:39 223K [   ] 1995 - Object-orient..> 15-Jul-1999 21:35 183K [   ] 1995 - Verification ..> 21-Sep-2012 15:25 668K [   ] 1995 - Verification ..> 21-Sep-2012 15:25 668K [   ] 1996 - A framework f..> 15-Jul-2009 16:18 924K [   ] 1996 - A framework f..> 15-Jul-2009 16:18 924K [   ] 1996 - A quality of ..> 26-Sep-2012 15:38 1.7M [   ] 1996 - A quality of ..> 26-Sep-2012 15:38 1.7M [   ] 1996 - Architectural..> 27-Jan-2000 16:23 52K [   ] 1996 - On fault cove..> 15-Jul-1999 21:42 171K [   ] 1996 - Performance e..> 21-Sep-2012 16:02 1.0M [   ] 1996 - Performance e..> 21-Sep-2012 16:02 1.0M [   ] 1996 - Some principl..> 21-Sep-2012 16:08 195K [   ] 1996 - Some principl..> 21-Sep-2012 16:08 195K [   ] 1996 - Testing in co..> 24-Jun-2016 19:20 12M [   ] 1997 - A formal meth..> 15-Sep-2012 15:45 593K [   ] 1997 - A formal meth..> 15-Sep-2012 15:45 593K [   ] 1997 - Application d..> 15-Jul-1999 21:36 63K [   ] 1997 - Application d..> 15-Jul-1999 21:36 63K [   ] 1997 - Automating th..> 15-Jul-1999 21:36 66K [   ] 1997 - Checking expe..> 15-Jul-2009 16:28 313K [   ] 1997 - Cooperative q..> 15-Jul-1999 21:36 53K [   ] 1997 - Cooperative q..> 15-Jul-1999 21:36 53K [   ] 1997 - Enabling tech..> 25-Jun-2016 15:30 21M [   ] 1997 - Enabling tech..> 25-Jun-2016 15:30 21M [   ] 1997 - HTML extensio..> 15-Jul-1999 21:41 41K [   ] 1997 - New models fo..> 25-Jun-2016 10:40 7.6M [   ] 1997 - New models fo..> 25-Jun-2016 10:40 7.6M [   ] 1997 - Some principl..> 15-Jul-1999 21:36 68K [   ] 1997 - Some principl..> 15-Jul-1999 21:36 68K [   ] 1997 - xxEnabling te..> 15-Jul-1999 21:43 250K [   ] 1997 - xxEnabling te..> 15-Jul-1999 21:43 250K [   ] 1998 - A pattern sys..> 29-Sep-2012 20:22 178K [   ] 1998 - A pattern sys..> 29-Sep-2012 20:22 178K [   ] 1998 - Denombrement ..> 02-Jul-2016 11:41 9.6M [   ] 1998 - Distributed m..> 15-Jul-1999 21:38 163K [   ] 1998 - Distributed m..> 15-Jul-1999 21:38 163K [   ] 1998 - Distributed o..> 17-Oct-2008 15:45 79K [   ] 1998 - Distributed o..> 17-Oct-2008 15:45 79K [   ] 1998 - La gestion de..> 25-Jun-2016 10:21 1.2M [   ] 1998 - La gestion de..> 25-Jun-2016 10:21 1.2M [   ] 1998 - On the design..> 07-Jul-2016 18:11 10M [   ] 1998 - Quality of se..> 02-Jul-2016 10:48 15M [   ] 1998 - Quality of se..> 02-Jul-2016 10:48 15M [   ] 1999 - A digital lib..> 15-Jul-1999 21:39 133K [   ] 1999 - A digital lib..> 15-Jul-1999 21:39 133K [   ] 1999 - An approach t..> 15-Jul-1999 21:38 115K [   ] 1999 - An approach t..> 15-Jul-1999 21:38 115K [   ] 1999 - Object compos..> 15-Jul-1999 21:42 80K [   ] 1999 - Object compos..> 15-Jul-1999 21:42 80K [   ] 1999 - Quality of se..> 22-Feb-2000 22:54 60K [   ] 1999 - Quality of se..> 22-Feb-2000 22:54 60K [   ] 1999 - Service manag..> 15-Jul-1999 21:36 41K [   ] 1999 - Service manag..> 15-Jul-1999 21:36 41K [   ] 1999 - Submodule con..> 17-Oct-2008 15:49 136K [   ] 2000 - A Petri net b..> 23-Mar-2000 14:39 110K [   ] 2000 - A Petri net b..> 23-Mar-2000 14:39 110K [   ] 2000 - Activity Nets..> 11-Oct-2000 00:13 194K [   ] 2000 - Activity Nets..> 11-Oct-2000 00:13 194K [   ] 2000 - Quality of se..> 17-Oct-2008 15:36 65K [   ] 2000 - Quality of se..> 17-Oct-2008 15:36 65K [   ] 2001 - A secure auth..> 09-Mar-2001 10:37 88K [   ] 2001 - A secure auth..> 09-Mar-2001 10:37 88K [   ] 2001 - Optimal wavel..> 26-Sep-2012 14:47 423K [   ] 2001 - Optimal wavel..> 26-Sep-2012 14:47 423K [   ] 2001 - Submodule con..> 26-Oct-2005 12:20 132K [   ] 2001 - Submodule con..> 26-Oct-2005 12:20 132K [   ] 2002 - A hybrid arch..> 13-Aug-2004 15:51 201K [   ] 2002 - Describing re..> 01-Jul-2016 18:32 9.0M [   ] 2002 - Describing re..> 01-Jul-2016 18:32 9.0M [   ] 2002 - QoS issues fo..> 08-Jul-2016 19:56 269K [   ] 2002 - QoS issues fo..> 08-Jul-2016 19:56 269K [   ] 2002 - Segmented bur..> 13-Aug-2004 15:47 215K [   ] 2002 - Segmented bur..> 13-Aug-2004 15:47 215K [   ] 2002 - Submodule con..> 28-Oct-2004 12:15 138K [   ] 2002 - Submodule con..> 28-Oct-2004 12:15 138K [   ] 2003 - Agent support..> 26-Sep-2012 12:50 216K [   ] 2003 - Agent support..> 26-Sep-2012 12:50 216K [   ] 2003 - An experiment..> 03-Sep-2003 17:08 214K [   ] 2003 - An experiment..> 03-Sep-2003 17:08 214K [   ] 2003 - Decomposing s..> 26-Sep-2012 11:15 216K [   ] 2003 - Decomposing s..> 26-Sep-2012 11:15 216K [   ] 2003 - Fault diagnos..> 17-Oct-2008 15:39 137K [   ] 2003 - Integrating Q..> 26-Sep-2012 11:23 173K [   ] 2003 - Integrating Q..> 26-Sep-2012 11:23 173K [   ] 2003 - Methods for d..> 01-Mar-2003 09:40 266K [   ] 2003 - Methods for d..> 01-Mar-2003 09:40 266K [   ] 2003 - Performance E..> 09-Oct-2010 11:44 145K [   ] 2003 - Performance E..> 09-Oct-2010 11:44 145K [   ] 2003 - Progressive s..> 26-Sep-2012 13:03 189K [   ] 2003 - Progressive s..> 26-Sep-2012 13:03 189K [   ] 2003 - Pushing Quali..> 20-Oct-2008 14:27 156K [   ] 2003 - Pushing Quali..> 20-Oct-2008 14:27 156K [   ] 2003 - Revisiting Jo..> 26-Sep-2012 11:27 171K [   ] 2003 - Revisiting Jo..> 26-Sep-2012 11:27 171K [   ] 2003 - Support for p..> 23-Oct-2003 01:56 169K [   ] 2003 - Support for p..> 23-Oct-2003 01:56 169K [   ] 2003 - User-managed ..> 30-Oct-2003 03:51 257K [   ] 2003 - User-managed ..> 30-Oct-2003 03:51 257K [   ] 2003 - Wide-area ser..> 02-Oct-2007 16:37 244K [   ] 2003 - Wide-area ser..> 02-Oct-2007 16:37 244K [   ] 2004 - A bandwidth a..> 20-Apr-2004 12:12 231K [   ] 2004 - A secure auth..> 22-Apr-2004 16:45 129K [   ] 2004 - A trust model..> 21-Sep-2004 12:13 235K [   ] 2004 - A trust model..> 21-Sep-2004 12:13 235K [   ] 2004 - ACSD Hamilton..> 08-Jul-2016 18:31 188K [   ] 2004 - QoS-based dis..> 08-Jul-2016 15:06 15M [   ] 2004 - QoS-based dis..> 08-Jul-2016 15:06 15M [   ] 2004 - Robust optica..> 13-Aug-2004 16:03 165K [   ] 2004 - Robust optica..> 13-Aug-2004 16:03 165K [   ] 2004 - The Agile All..> 09-Jun-2004 14:11 340K [   ] 2004 - The Agile All..> 09-Jun-2004 14:11 340K [   ] 2005 - Customer-mana..> 30-Oct-2003 04:58 156K [   ] 2005 - Customer-mana..> 30-Oct-2003 04:58 156K [   ] 2005 - Hierarchical ..> 07-Jun-2005 14:50 422K [   ] 2005 - Montreal Work..> 08-Jul-2016 18:35 447K [   ] 2005 - Montreal Work..> 08-Jul-2016 18:35 447K [   ] 2005 - Retransmissio..> 03-Feb-2005 11:31 161K [   ] 2005 - Retransmissio..> 03-Feb-2005 11:31 161K [   ] 2005 - Service disco..> 24-Mar-2005 16:43 293K [   ] 2005 - Service disco..> 24-Mar-2005 16:43 293K [   ] 2005 - Submodule con..> 28-Jun-2006 16:59 165K [   ] 2005 - Submodule con..> 28-Jun-2006 16:59 165K [   ] 2006 - A Novel Frame..> 28-Sep-2012 21:46 31K [   ] 2006 - Delay perform..> 28-Jun-2006 16:58 76K [   ] 2006 - Fault detecti..> 26-Sep-2012 10:03 158K [   ] 2006 - Fault detecti..> 26-Sep-2012 10:03 158K [   ] 2006 - Generalizing ..> 24-Sep-2012 12:13 177K [   ] 2006 - Optimization ..> 05-Jun-2006 14:31 271K [   ] 2006 - Optimization ..> 05-Jun-2006 14:31 271K [   ] 2006 - Petri net pro..> 21-Oct-2008 02:15 342K [   ] 2006 - Petri net pro..> 21-Oct-2008 02:15 342K [   ] 2006 - Progressive s..> 01-Jun-2009 23:39 373K [   ] 2006 - Progressive s..> 01-Jun-2009 23:39 373K [   ] 2006 - Salzburg talk..> 08-Jul-2016 18:42 1.2M [   ] 2007 - An overview o..> 17-Oct-2008 14:41 96K [   ] 2007 - An overview o..> 17-Oct-2008 14:41 96K [   ] 2007 - Deriving prot..> 28-Jun-2006 16:55 1.2M [   ] 2007 - Deriving prot..> 28-Jun-2006 16:55 1.2M [   ] 2007 - Design of an ..> 25-Apr-2008 18:16 1.4M [   ] 2007 - Least constra..> 23-Oct-2007 10:44 314K [   ] 2008 - CliqueStream ..> 21-Oct-2008 16:56 247K [   ] 2008 - CliqueStream ..> 21-Oct-2008 16:56 247K [   ] 2008 - Deriving comp..> 18-Sep-2008 14:00 175K [   ] 2008 - Deriving comp..> 18-Sep-2008 14:00 175K [   ] 2008 - Grade-of-serv..> 29-May-2008 11:06 1.1M [   ] 2008 - Grade-of-serv..> 29-May-2008 11:06 1.1M [   ] 2008 - Testing syste..> 12-Oct-2007 18:53 157K [   ] 2008 - Testing syste..> 12-Oct-2007 18:53 157K [   ] 2009 - A locality p..> 09-Nov-2009 14:43 182K [   ] 2009 - A locality p..> 09-Nov-2009 14:43 182K [   ] 2009 - A computation..> 09-Oct-2010 12:05 130K [   ] 2009 - A computation..> 09-Oct-2010 12:05 130K [   ] 2009 - A diffusive l..> 11-Nov-2009 10:16 62K [   ] 2009 - A diffusive l..> 11-Nov-2009 10:16 62K [   ] 2009 - A proof of wa..> 14-Feb-2010 09:55 70K [   ] 2009 - A proof of wa..> 14-Feb-2010 09:55 70K [   ] 2009 - CliqueStream ..> 09-Oct-2010 11:30 342K [   ] 2009 - CliqueStream ..> 09-Oct-2010 11:30 342K [   ] 2009 - Deploying agi..> 09-Oct-2010 11:02 493K [   ] 2009 - Deploying agi..> 09-Oct-2010 11:02 493K [   ] 2009 - GeoP2P - An A..> 09-Nov-2009 14:49 299K [   ] 2009 - Peer-to-peer ..> 09-Nov-2009 14:56 282K [   ] 2009 - Peer-to-peer ..> 09-Nov-2009 14:56 282K [   ] 2009 - Resource crit..> 20-Sep-2012 16:07 266K [   ] 2009 - Resource crit..> 20-Sep-2012 16:07 266K [   ] 2009 - Towards a glo..> 09-Oct-2010 10:57 111K [   ] 2009 - Towards a glo..> 09-Oct-2010 10:57 111K [   ] 2010 - Corrections t..> 15-Sep-2012 14:20 116K [   ] 2010 - Corrections t..> 15-Sep-2012 14:20 116K [   ] 2011 - Forward-looki..> 15-Sep-2012 14:15 964K [   ] 2011 - Improved usag..> 29-Sep-2012 17:09 738K [   ] 2011 - Improved usag..> 29-Sep-2012 17:09 738K [   ] 2011 - On the realiz..> 01-Sep-2011 11:09 313K [   ] 2011 - On the realiz..> 01-Sep-2011 11:09 313K [   ] 2011 - Performance m..> 26-Oct-2010 15:13 501K [   ] 2011 - Performance m..> 26-Oct-2010 15:13 501K [   ] 2011 - Protocol Engi..> 29-Sep-2012 17:39 160K [   ] 2011 - Protocol Engi..> 29-Sep-2012 17:39 160K [   ] 2011 - Transforming ..> 21-Sep-2011 10:47 563K [   ] 2011 - Transforming ..> 21-Sep-2011 10:47 563K [   ] 2011 - Using diffusi..> 05-Jun-2011 22:36 132K [   ] 2012 - Evaluating re..> 23-Sep-2012 12:04 481K [   ] 2012 - Evaluating re..> 23-Sep-2012 12:04 481K [   ] 2012 - FSM-based tes..> 13-Sep-2012 10:50 293K [   ] 2012 - FSM-based tes..> 13-Sep-2012 10:50 293K [   ] 2012 - Solving some ..> 20-Sep-2012 15:40 226K [   ] 2013 - A proof of wa..> 20-Mar-2013 17:32 222K [   ] 2013 - A proof of wa..> 20-Mar-2013 17:32 222K [   ] 2013 - Building Rich..> 04-Jun-2013 10:23 191K [   ] 2013 - Building Rich..> 04-Jun-2013 10:23 191K [   ] 2013 - Dist-RIA Craw..> 19-Nov-2013 07:57 223K [   ] 2013 - Dist-RIA Craw..> 19-Nov-2013 07:57 223K [   ] 2013 - Distributed q..> 03-Jun-2013 21:37 277K [   ] 2013 - Model-based R..> 03-Feb-2016 15:42 390K [   ] 2013 - Model-based R..> 03-Feb-2016 15:42 390K [   ] 2013 - Performance m..> 19-Nov-2013 08:00 812K [   ] 2013 - Using logic t..> 21-Dec-2011 20:43 346K [   ] 2013 - Using logic t..> 21-Dec-2011 20:43 346K [   ] 2014 - A model-based..> 03-Feb-2016 15:39 2.2M [   ] 2014 - A model-based..> 03-Feb-2016 15:39 2.2M [   ] 2014 - Associativity..> 03-Feb-2016 16:47 47K [   ] 2014 - Associativity..> 03-Feb-2016 16:47 47K [   ] 2014 - GDist-RIA Cra..> 03-Feb-2016 15:43 622K [   ] 2014 - PDist-RIA Cra..> 03-Feb-2016 15:41 912K [   ] 2014 - PDist-RIA Cra..> 03-Feb-2016 15:41 912K [   ] Boch04 with Bassel A..> 12-Jun-2006 14:41 203K [   ] Boch04 with Bassel A..> 12-Jun-2006 14:41 203K [DIR] Theses/ 15-Jul-2018 14:23 - [DIR] Theses/ 15-Jul-2018 14:23 - [TXT] all-pubs.html 20-Nov-2016 22:21 202K [TXT] all-pubs.html 20-Nov-2016 22:21 202K [TXT] early-pubs.html 20-Nov-2016 20:53 12K [TXT] early-pubs.html 20-Nov-2016 20:53 12K [   ] formatList.xsl 29-Sep-2012 12:20 1.2K [   ] formatList.xsl 29-Sep-2012 12:20 1.2K [TXT] pubs-DistrMMSystems...> 19-Nov-2016 20:43 5.9K [TXT] pubs-DistrMMSystems...> 19-Nov-2016 20:43 5.9K [TXT] pubs-OpticalNetworks..> 20-Nov-2016 22:14 16K [TXT] pubs-SEMethods.html 20-Nov-2016 22:20 16K [TXT] pubs-SEMethods.html 20-Nov-2016 22:20 16K [TXT] pubs-WebServices.html 20-Nov-2016 22:15 12K [TXT] pubs-WebServices.html 20-Nov-2016 22:15 12K [DIR] xx RecentPublication..> 22-Nov-2016 14:58 -
Apache/2.0.59 (FreeBSD) mod_ssl/2.0.59 OpenSSL/0.9.7e-p1 PHP/5.1.6 with Suhosin-Patch Server at www.site.uottawa.ca Port 80