Index file section J for tcs2000.bib
Last update: Thu Jun 29 04:16:06 MDT 2023
Return to index directory
J
-
Jacob, G., 273(1)271--282
-
Jacob, G., see Bigotte, M.
-
Jacobs, Bart, 239(1)41--95, 260(1)1--1, 280(1)1, 291(3)329--349,
327(1)71--108
-
Jacobs, Bart, see Hughes, Jesse
-
Jacobs:2000:OOH, 239(1)41--95
-
Jacobs:2001:F, 260(1)1--1
-
Jacobs:2002:F, 280(1)1
-
Jacobs:2003:CMS, 291(3)329--349
-
Jacquet, Hélène, 266(1)463--487,
see Bauderon, Michel
-
Jagadeesan, R., 278(1)223--255
-
Jagadeesan, R., see Gupta, V.
-
Jagadeesan, Radha, 318(3)323--354
-
Jagadeesan, Radha, see Desharnais, Josée
-
Jagannathan, Suresh, 240(1)117--146
-
Jagannathan:2000:CBT, 240(1)117--146
-
JAGs, 237(1)327--345
-
Jain, Sanjay, 241(1)115--141, 241(1)143--189, 255(1)107--123,
259(1)455--473, 261(1)3--29, 261(1)31--56, 268(2)323--349,
270(1)287--308, 284(1)143--160, 298(1)111--143, 313(2)209--228
-
Jain, Sanjay, see Case, John
-
Jain:2000:LLF, 241(1)143--189
-
Jain:2001:BBN, 255(1)107--123
-
Jain:2001:LRE, 261(1)3--29
-
Jain:2002:MCC, 284(1)143--160
-
Jain:2003:LFR, 298(1)111--143
-
Jain:2004:LHS, 313(2)209--228
-
Jan{\v{c}}ar, Petr, 256(1)23--30, 258(1)409--433
-
Jancar:2001:DBL, 258(1)409--433
-
Jancar:2001:NRC, 256(1)23--30
-
Janodet, J. C., 313(2)295--312
-
Janodet, J. C., see Higuera, C. de la
-
Jansen, Klaus, 255(1)33--50, 302(1)239--256, 306(1)543--551
-
Jansen, Klaus, see Erlebach, Thomas
-
Jansen, Thomas, 276(1)51--81, 287(1)131--144
-
Jansen, Thomas, see Droste, Stefan
-
Jansen:2003:AFP, 306(1)543--551
-
Jansen:2003:ASS, 302(1)239--256
-
Janson, Svante, 326(1)213--227
-
Janson:2004:ASC, 326(1)213--227
-
Janssen, Jeannette, 262(1)649--667
-
Janssen:2001:AAC, 262(1)649--667
-
Jantke, Klaus P., 298(1)51--70
-
Jantke, Klaus P., see Lange, Steffen
-
Japanese, 292(2)497--524
-
Java, 283(2)305--331, 291(3)329--349
-
Jay, 254(1)677--681
-
Jean, 292(1)3--7, 292(1)85--96
-
Jeavons, Peter, 306(1)485--511
-
Jeavons, Peter, see Dalmau, Víctor
-
J{\c{e}}drzejowicz, Joanna, 250(1)31--53
-
Jedrzejowicz:2001:SLP, 250(1)31--53
-
Jeffrey, Alan, 300(1)379--409, 323(1)1--48
-
Jeffrey, Alan, see Gordon, Andrew D.
-
Jeffrey:2004:TBF, 323(1)1--48
-
Jelenkovi{\'c}, Predrag R., 326(1)293--327
-
Jelenkovic:2004:LRU, 326(1)293--327
-
Jenkinson, Oliver, 262(1)191--213, 310(1)247--271
-
Jenkinson:2001:SCT, 262(1)191--213
-
Jenkinson:2004:CBW, 310(1)247--271
-
Jenner, Lars, 254(1)379--422
-
Jenner:2001:FAS, 254(1)379--422
-
Jensen, Thomas, 283(2)305--331
-
Jensen, Thomas, see Denney, Ewen
-
Jia, Xiaohua, 314(1)293--301, 329(1)325--330
-
Jia, Xiaohua, see Gu, Jun, \see{Ruan, Lu
-
Jiang, Tao, 235(1)59--70, 299(1)211--229
-
Jiang, Tao, see Buhrman, Harry,
see Chen, Zhi-Zhong
-
Jiang, Zhuhan, 302(1)275--294
-
Jiang:2003:UEW, 302(1)275--294
-
Jiao, Li, 311(1)165--197
-
Jiao:2004:LBA, 311(1)165--197
-
Jimbo, Shuji, 304(1)291--313, 312(2)251--266
-
Jimbo, Shuji, see Hashiguchi, Kosaburo
-
Jin, Guohua, 255(1)449--481
-
Jin:2001:TFP, 255(1)449--481
-
Joachimski, Felix, 311(1)105--119
-
Joachimski:2004:CCC, 311(1)105--119
-
job, 268(1)67--90, 320(2)199--212, 325(3)467--478
-
Johnstone, Peter, 260(1)87--117
-
Johnstone:2001:SCC, 260(1)87--117
-
join-calculus, 266(1)569--603
-
Joinet, Jean-Baptiste, 294(3)353--378
-
Joinet, Jean-Baptiste, see Danos, Vincent
-
joker, 294(1)269--305
-
Joly, Thierry, 266(1)975--985
-
Joly:2001:CTP, 266(1)975--985
-
Jong, Hidde de, 325(1)3--24
-
Jong, Hidde de, see Eveillard, Damien
-
Jonoska, Nata{\v{s}}a, 262(1)349--375, see Fiebig, Doris
-
Jonsson, Bengt, 256(1)145--167, 282(1)33--51, 290(1)241--264
-
Jonsson, Bengt, see Abdulla, Parosh Aziz
-
Jonsson, Peter, 244(1)189--203, 320(2)373--394, 329(1)93--113,
329(1)315--323
-
Jonsson, Peter, see Dahllöf, Vilhelm,
see Dalmau, Víctor
-
Jonsson:2000:BCS, 244(1)189--203
-
Jonsson:2002:TPP, 282(1)33--51
-
Jonsson:2004:RFV, 329(1)93--113
-
Joseph, Mathai, 253(1)119--152
-
Joseph, Mathai, see Liu, Zhiming
-
Joshi, Aravind K., 293(2)243--259
-
Joshi:2003:NSW, 293(2)243--259
-
Jouannaud, Jean-Pierre, 236(1)35--132, 272(1)41--68, 817(z)81--82
-
Jouannaud, Jean-Pierre, see Blanqui, Frédéric,
see Bouhoula, Adel
-
Joung, Yuh-Jzer, 243(1)307--338
-
Joung:2000:TDA, 243(1)307--338
-
Juban, Laurent, 270(1)625--642
-
Juban, Laurent, see Durand, Arnaud
-
Juedes, David, 289(1)553--571
-
Juedes, David, see Cai, Liming
-
jugs, 282(2)259--270
-
jump, 262(1)241--256
-
Jung, Achim, 316(1)1--2, 328(3)221--244
-
Jung, Achim, see Alvarez-Manilla, Mauricio,
see Birkedal, Lars
-
Jung, Hermann, 292(3)639--652
-
Jung:2003:EDP, 292(3)639--652
-
Junghanns, Andreas, 252(1)151--175
-
Junghanns:2001:SIS, 252(1)151--175
-
jury, 321(1)73--94
-
Justin, Jacques, 255(1)363--376, 255(1)539--553, 276(1)281--313
-
Justin, Jacques, see Droubay, Xavier
-
Justin:2001:FPS, 255(1)363--376
-
Justin:2002:EWE, 276(1)281--313
-
Jutla, Charanjit, 243(1)363--389
-
Jutla, Charanjit, see Garay, Juan A.
-
Jutla, Charanjit S., 258(1)491--522
-
Jutla, Charanjit S., see Emerson, E. Allen
-
JVM, 290(1)741--778