Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
G
-
Gabarró, J., 16(1)36--50, see Stewart, A.
-
Gabarro, Joaquim, 25(6)833--846
-
Gabarro, Joaquim, see Stewart, Alan
-
Gabarró, Joaquim, 4_1S_638_648,
see Balcázar, José
-
Gabbay, D., 7(5)533--549
-
Gabbay, D., see Barringer, H.
-
Gabbay, Murdoch J., 13(3)341--363, 20(4)451--479
-
Gabbay:2002:NAA, 13(3)341--363
-
Gabbay:2008:CAS, 20(4)451--479
-
gain, 23(4)513--539
-
Gaina, Daniel, 29(5)805--832
-
Gaina:2017:BSC, 29(5)805--832
-
Gall, Pascale, Le, 30(1)107--131
-
Gallardo, María del Mar, 16(3)166--193
-
Gallardo, María-del-Mar, 29(3)531--557,
see Comini, Marco
-
Gallardo:2004:GSP, 16(3)166--193
-
Gallois, Jean-Pierre, 20(6)563--595
-
Gallois, Jean-Pierre, see Labbé, Sébastien
-
Galpin, Vashti, 25(4)503--541
-
Galpin:2013:HHM, 25(4)503--541
-
GALS, 28(5)767--804
-
game-theoretic, 22(5)585--609
-
games, 29(4)629--649, 32(2)315--360
-
Ganai, Malay, 23(6)781--805
-
Ganai, Malay, see Wang, Chao
-
Gao, Han, 23(4)541--565
-
Gao:2011:CPS, 23(4)541--565
-
garbage, 6(4)359--390, 31(3)353--374
-
García-Bañuelos, Luciano, 28(4)597--613,
see Polyvyanyy, Artem
-
Gardiner, P. H. B., 5(4)367--382, 8(4)479--489
-
Gardiner, P. H. B., see Martin, A. P.
-
Gardiner, Paul, 8(1)67--85
-
Gardiner, Paul, see Seidel, Karen
-
Gardiner:1993:SCR, 5(4)367--382
-
Garlan, D., 10(3)193--213
-
Garlan, D., see Dingel, J.
-
Gaudel, Marie-Claude, 10(5)436--451, 23(6)681--681, 30(6)627--628
-
Gaudel, Marie-Claude, see Aichernig, Bernhard K.,
see Cavalcanti, Ana
-
Gaudel:1998:TAD, 10(5)436--451
-
Gaussian, 28(5)881--907
-
Gay, Simon, 15(4)299--318
-
Gay:2003:IES, 15(4)299--318
-
Geijn, Robert A. van de, 25(6)933--945
-
Geijn, Robert A. van de, see Bientinesi, Paolo
-
Geisler, S., 33(1)87--125
-
Geisler:2021:SDM, 33(1)87--125
-
general, 20(4)429--450, 28(2)207--231
-
Generalisations, 13(3)308--326
-
generalised, 11(2)200--222, 12(6)459--472, 12(6)473--484, 16(1)19--35,
19(3)363--374, 28(6)1057--1078
-
generalized, 16(3)166--193
-
Generating, 12(6)443--458, 22(2)193--213, 23(1)3--19, 27(5)805--829
-
generation, 4(6)572--581, 12(2)71--99, 20(4)379--405, 21(5)393--395,
25(4)573--607, 25(4)609--657, 26(3)441--490, 26(4)795--823,
27(5)951--973, 28(1)65--78, 30(3)333--349
-
generator, 3(1)2--20, 8(1)108--126, 23(5)589--606, 30(6)659--684,
33(2)251--295
-
generic, 14(2)108--122, 22(3)363--384, 33(4)695--727
-
Genius, 14(2)92--98
-
Genon, Alexandre, 17(2)177--200
-
Genon, Alexandre, see De Wachter, Bram
-
Genrich, Hartmann J., 14(1)55--89
-
Genrich:2002:DQN, 14(1)55--89
-
Gentle, 22(6)663--665
-
geographical, 33(6)925--955
-
geometric, 22(2)129--151
-
George, Chris, 1(1)85--114, 4(1)48--75, 20(1)101--116, 25(3)365--388
-
George, Chris, see Nielsen, Mogens,
see Perna, Juan I.
-
George:1992:NDS, 4(1)48--75
-
George:2008:SPM, 20(1)101--116
-
Georgescu, Horia, 12(6)485--500
-
Georgescu, Horia, see Cowling, Anthony J.
-
Georgievska, Sonja, 24(4)727--748
-
Georgievska:2012:PMM, 24(4)727--748
-
Gerard, 32(1)147--148
-
Gerhardt, David, 31(2)261--285
-
Gerhardt, David, see Bisgaard, Morten
-
Gerhold, Marcus, 30(1)77--106
-
Gerhold:2018:MBT, 30(1)77--106
-
Gerth, Rob, 10(5)469--482
-
Gerth, Rob, see Dams, Dennis
-
Gervais, Frédéric, 26(5)919--941,
see Frappier, Marc
-
Gerwin, 30(3)491--492
-
Ghassemi, Fatemeh, 29(6)1051--1086
-
Ghassemi, Fatemeh, see Yousefi, Behnaz
-
Ghazali, Masitah, 21(6)613--641
-
Ghazali, Masitah, see Dix, Alan
-
Gheorghe, Marian, 12(6)459--472
-
Gheorghe:2000:GSX, 12(6)459--472
-
Ghezzi, Carlo, 24(2)163--186, 31(5)459--502
-
Ghezzi, Carlo, see Filieri, Antonio,
see Menghi, Claudio
-
Ghilezan, Silvia, 28(4)643--667
-
Ghilezan:2016:DRA, 28(4)643--667
-
Giacobazzi, Roberto, 29(1)3--31, 30(6)685--711
-
Giacobazzi, Roberto, see Bruni, Roberto
-
Giacobazzi:2017:MIO, 29(1)3--31
-
Gianas, Yann, Régis-, 33(1)127--150
-
Giannakopoulou, Dimitra, 28(2)179--180
-
Giannakopoulou:2016:E, 28(2)179--180
-
giant, 22(6)663--665
-
Giaquinta, Ruben, 32(2)157--186
-
Giaquinta, Ruben, see Fraser, Douglas
-
Gibbons, Jeremy, 16(1)19--35
-
Gibbons, Jeremy, see Martin, Clare
-
Gibson, P., 7(4)469--472
-
Gibson, P., see Brock, Simon
-
Gibson-Robinson, Thomas, 28(3)381--407, 31(3)375--409
-
Gibson-Robinson, Thomas, see Antonino, Pedro,
see Boulgakov, Alexandre
-
Gidey, Habtom Kashay, 31(5)541--610
-
Gidey, Habtom Kashay, see Marmsoler, Diego
-
Gift, 32(2)251--273
-
Gikas, S., 1(1)147--171
-
Gikas, S., see Burton, C. T.
-
Gill, Steve, 21(6)613--641
-
Gill, Steve, see Dix, Alan
-
Gioles, Theofanis, Vassiliou-, 10(5)483--508
-
Giorgetti, Alain, 30(6)629--657, 30(6)659--684
-
Giorgetti, Alain, see Dubois, Catherine,
see Petiot, Guillaume
-
Giunchiglia, F., 10(4)361--380
-
Giunchiglia, F., see Cimatti, A.
-
Giusto, Cinzia, Di, 28(4)531--566
-
Gleirscher, Mario, 33(4)763--802
-
Gleirscher:2021:RDA, 33(4)763--802
-
Glenstrup, Arne J., 25(2)257--288
-
Glenstrup, Arne J., see Damgaard, Troels C.
-
Glesner, Sabine, 18(2)244--262
-
Glesner:2006:FIC, 18(2)244--262
-
global, 23(5)649--679
-
Gnesi, S., 24(2)161--162
-
Gnesi, S., see Fiadeiro, J. L.
-
Gnesi, Stefania, 10(4)311--312, 31(2)131--132
-
Gnesi:1998:E, 10(4)311--312
-
Gnesi:2019:E, 31(2)131--132
-
Go, Brian, 23(5)649--679
-
Go, Brian, see Chandy, K. Mani
-
goal, 22(3)217--241
-
goal-directed, 26(3)563--589
-
Gogolla, Martin, 20(1)79--100
-
Gogolla, Martin, see Kuhlmann, Mirco
-
Goguen, Joseph, 11(3)272--301, 13(3)274--307
-
Goguen:1999:SSA, 11(3)272--301
-
Goguen:2002:IM, 13(3)274--307
-
Goldsack, S. J., 2(1)196--202
-
Goldsack, S. J., see Denvir, Tim
-
Gollmann, Dieter, 8(2)245--246
-
Gollmann, Dieter, see Bowen, Jonathan
-
Gomes, Victor B. F., 28(2)265--293
-
Gomes, Victor B. F., see Armstrong, Alasdair
-
Gomez, Rodolfo, 26(6)1169--1204
-
Gomez, Rodolfo, see Su, Li
-
Gómez, Rodolfo, 18(4)459--493, 25(2)289--318,
see Bowman, Howard
-
Gomez:2013:MCT, 25(2)289--318
-
GomX-3, 31(2)261--285
-
Goncharov, Sergey, 22(3)363--384
-
Goncharov, Sergey, see Mossakowski, Till
-
Gordon, 29(6)933--933
-
Gordon, Andrew D., 17(3)277--318
-
Gordon, Michael J. C., 15(4)406--421
-
Gordon, Mike, 19(3)343--362
-
Gordon, Mike, see Slind, Konrad
-
Gordon:2003:VPS, 15(4)406--421
-
Gordon:2005:VWS, 17(3)277--318
-
Gori, Roberta, 30(6)685--711
-
Gori, Roberta, see Bruni, Roberto
-
Gorlatch, Sergei, 7(6)663--682
-
Gorlatch:1995:PDC, 7(6)663--682
-
Gorm, 31(4)453--454
-
Gorogiannis, Nikos, 19(1)35--62, 19(2)273--273, 19(4)417--444
-
Gorogiannis:2007:MRSa, 19(1)35--62
-
Gorogiannis:2007:MRSb, 19(2)273--273
-
Gorogiannis:2007:MRSc, 19(4)417--444
-
Gorrieri, Roberto, 10(4)313--337
-
Gorrieri, Roberto, see Bernardo, Marco
-
Gorton, Stephen, 22(3)243--268
-
Gorton, Stephen, see Bocchi, Laura
-
Gottliebsen, Hanne, 25(6)993--1016
-
Gottliebsen:2013:ARN, 25(6)993--1016
-
Gottschalk, Florian, 22(3)459--482
-
Gottschalk, Florian, see Aalst, Wil M. P. van der
-
Gouda, Mohamed G., 4(3)273--298
-
Gouda, Mohamed G., see Anderson, James H.
-
Gough, G., 7(5)533--549
-
Gough, G., see Barringer, H.
-
GPU-accelerated, 31(1)27--46
-
GR1, 33(1)27--63, 33(4)729--761
-
GR(1)*, 33(4)729--761
-
Graf, Susanne, 8(5)607--616
-
Graf:1996:CMF, 8(5)607--616
-
Graiet, Mohamed, 29(6)987--1011
-
Graiet:2017:VDA, 29(6)987--1011
-
grained, fine-, 26(4)761--793
-
Grammar, 12(6)459--472
-
grammars, 2(1)359--392, 33(6)1115--1145
-
Grandy, Holger, 20(1)41--59
-
Grandy, Holger, see Haneberg, Dominik
-
Grant, Colin, 3(1)58--101
-
Grant, Colin, see Stepney, Susan
-
graph, 5(1)21--60, 7(5)473--509, 11(6)690--723, 13(3)327--340,
21(1)103--131, 22(3)385--422, 24(2)217--248, 29(4)651--703,
33(6)1115--1145, 33(6)1249--1277
-
Graphical, 11(3)244--271
-
grid, 32(1)71--111
-
Gries, David, 3(1)1--1
-
Gries:1991:E, 3(1)1--1
-
Griesmayer, Andreas, 21(6)571--588
-
Griesmayer, Andreas, see Basuki, Thomas Anung
-
Grimal, Solange, Coupet-, 16(4)352--373
-
Grinchtein, Olga, 20(6)619--635
-
Grinchtein:2008:NIR, 20(6)619--635
-
GRL, 28(5)767--804
-
Groot, A. L. de, 18(4)433--458
-
Groot, A. L. de, see Vaandrager, F. W.
-
Groote, Jan Friso, 6(2)115--164, 9(1)1--48, 10(5)435--435, 17(1)19--37,
17(3)342--388
-
Groote, Jan Friso, see Badban, Bahareh,
see Bezem, Marc
-
Groote, Philippe de, 10(2)160--170
-
Groote:1994:PAG, 6(2)115--164
-
Groote:1998:E, 10(5)435--435
-
Groote:2005:CCA, 17(1)19--37
-
Große-Rhode, Martin, 13(2)161--186
-
Grosse-Rhode:2002:CCF, 13(2)161--186
-
Grosu, Radu, 13(1)1--31
-
Grosu:2001:SBS, 13(1)1--31
-
ground, 19(2)225--241
-
group, 24(4)555--567, 27(5)867--884
-
Grov, Gudmund, 31(1)95--129
-
Grov, Gudmund, see Lin, Yuhui
-
Groves, Lindsay, 21(1)187--223, 25(5)769--799
-
Groves, Lindsay, see Doherty, Simon
-
Groves:2009:TBD, 21(1)187--223
-
Gruler, Alexander, 20(6)637--662
-
Gruler, Alexander, see Botaschanjan, Jewgenij
-
Grumberg, Orna, 30(5)571--595
-
Grumberg, Orna, see Elkader, Karam Abd
-
Grundy, Jim, 9(5)469--483
-
Grundy, Jim, see Back, Ralph
-
Gu, Xiaofeng, 25(2)319--341
-
Gu, Xiaofeng, see Subramani, K.
-
Gu, Zonghua, 33(3)343--384
-
Gu, Zonghua, see Yang, Zhibin
-
Guan, Yong, 30(6)739--757, 32(4)417--437
-
Guan, Yong, see Chen, Shanyan,
see Shi, Zhiping
-
guarantee, 10(3)193--213, 31(3)353--374, 33(4)729--761
-
guarantee, Assume-, 26(4)825--859
-
guarantee, assume-, 30(5)571--595
-
guarantee, rely-, 9(2)149--174, 22(6)735--772, 28(6)1057--1078
-
guards, 6(2)115--164
-
Guck, Dennis, 29(4)651--703
-
Guck, Dennis, see Junges, Sebastian
-
Guéhéneuc, Yann-Gaël, 22(3)345--361,
see Moha, Naouel
-
Guelev, Dimitar P., 29(4)705--750
-
Guelev, Dimitar P., see Moszkowski, Ben
-
Guerra, Esther, 26(6)1115--1152, 33(6)1173--1208
-
Guerra, Esther, see Lara, Juan de,
see Rossini, Alessandro
-
Guest, 17(2)91--92, 17(4)389--389, 18(1)1--2, 18(3)263--263,
19(3)275--275, 20(4)349--350
-
guide, 3(4)367--376, 29(6)1121--1122, 32(1)147--148
-
guided, Counterexample-, 33(4)637--667
-
guided, Verification-, 21(6)541--569
-
Güniçen, Canan, 26(6)1153--1167
-
Gunicen:2014:RBP, 26(6)1153--1167
-
Gunnels, John A., 25(6)933--945
-
Gunnels, John A., see Bientinesi, Paolo
-
Gunter, Elsa, 17(2)201--221
-
Gunter:2005:MCT, 17(2)201--221
-
Guoliang, Zheng, 16(2)155--163
-
Guoliang, Zheng, see Xuandong, Li
-
Gupta, Aarti, 23(6)781--805
-
Gupta, Aarti, see Wang, Chao
-
Gupta, Indranil, 31(5)503--540
-
Gupta, Indranil, see Liu, Si
-
Gupta, Rajesh, 17(2)160--176
-
Gupta, Rajesh, see Norman, Gethin
-
Gürgens, S., 17(3)260--276
-
Gurgens:2005:SAE, 17(3)260--276
-
György, András, 33(1)27--63,
see Cavezza, Davide G.
-
Gyuris, Viktor, 11(4)402--425
-
Gyuris, Viktor, see Sistla, A. Prasad