Index file section G for sttt.bib
Last update: Fri Aug 30 02:15:44 MDT 2024
Return to index directory
G
-
Gabor, Thomas, 22(4)457--476
-
Gabor:2020:SCP, 22(4)457--476
-
Gabreau, Christophe, 26(2)189--205
-
Gabreau, Christophe, see Ducoffe, Mélanie
-
Gadelha, Mikhail R., 23(6)857--861
-
Gadelha, Mikhail Y. R., 19(1)97--114
-
Gadelha:2017:HLB, 19(1)97--114
-
Gadelha:2021:EAT, 23(6)857--861
-
Gallardo, María del Mar, 5(2)165--184, 11(5)359--374,
20(5)499--514, 22(2)103--104,
see Cámara, Pedro de la
-
Gallardo:2004:ATA, 5(2)165--184
-
Gallardo:2018:IRB, 20(5)499--514
-
Gallardo:2020:ISI, 22(2)103--104
-
Gallasch, Guy E., 10(1)5--14
-
Gallasch, Guy E., see Kristensen, Lars M.
-
Gallasch, Guy Edward, 9(3)371--391, 10(1)29--56, 10(1)75--93,
18(6)685--706
-
Gallasch, Guy Edward, see Gupta, Amar Kumar,
see Vanit-Anunchai, Somsak
-
Gallasch:2007:CSP, 9(3)371--391
-
Gallasch:2008:MDL, 10(1)75--93
-
Galler, Stefan J., 16(6)727--751
-
Galler:2014:STD, 16(6)727--751
-
Gallois, Jean-Pierre, 5(2)124--139
-
Gallois, Jean-Pierre, see Lugato, David
-
game, 7(2)118--128, 9(1)25--36, 9(1)37--51, 12(5)373--389, 13(6)553--569,
20(2)195--210, 20(5)529--546, 21(3)325--349, 24(5)735--756
-
games, PRISM-, 20(2)195--210
-
Ganai, Malay K., 8(4)387--396
-
Ganai:2006:EDS, 8(4)387--396
-
Ganesh, Vijay, 25(2)219--239, 25(5)799--800
-
Ganesh, Vijay, see Scott, Joseph
-
Ganjei, Zeinab, 18(5)517--534
-
Ganjei:2016:CDS, 18(5)517--534
-
Ganty, Pierre, 19(5)565--584
-
Ganty:2017:UPS, 19(5)565--584
-
gap, 20(1)95--117, 25(2)185--204
-
Garavel, Hubert, 3(3)314--331, 8(1)1--3, 15(2)89--107
-
Garavel:2001:SDC, 3(3)314--331
-
Garavel:2006:WYS, 8(1)1--3
-
Garavel:2013:CTC, 15(2)89--107
-
Garbi, Giulio, 22(4)477--496
-
Garbi, Giulio, see Alrahman, Yehia Abd
-
García, Bruno, 22(2)105--114, see Panizo, Laura
-
Garcia, Vinicius Cardoso, 13(4)337--353
-
Garcia, Vinicius Cardoso, see Lisboa, Liana Barachisio
-
García-Bañuelos, Luciano, 24(2)183--203,
see Dumas, Marlon
-
García-Borgoñón, L., 19(3)325--339,
see Barcelona, M. A.
-
García-Rodríguez de Guzmán, Ignacio, 26(1)1--20,
see Angulo, Guisella
-
Gardner, Ryan, 19(6)717--741
-
Gardner, Ryan, see Jeannin, Jean-Baptiste
-
Gargantini, Angelo, 19(2)247--269, 26(3)301--326, 26(3)379--401
-
Gargantini, Angelo, see Arcaini, Paolo,
see Leithner, Manuel
-
Garland, Stephen J., 6(1)67--76
-
Garland, Stephen J., see Win, Toh Ne
-
gas, 17(3)251--266
-
Ga{\v{s}}evi{\'c}, Dragan, 9(2)103--117
-
Gasevic:2007:MBA, 9(2)103--117
-
Gaudel, Marie-Claude, 14(1)73--93
-
Gaudel, Marie-Claude, see Denise, Alain
-
Ge, Ning, 20(4)423--440
-
Ge:2018:IFV, 20(4)423--440
-
gear, 3(3)353--368, 19(2)133--140, 19(2)141--166, 19(2)167--186,
19(2)187--203, 19(2)205--228
-
Gebker, Julian, 26(2)229--245
-
Gebker, Julian, see Adelt, Julius
-
Geiger, Dan, 13(3)247--261
-
Geiger, Dan, see Baras, Dorit
-
Geiger, Leif, 12(3)287--304
-
Geiger:2010:FCS, 12(3)287--304
-
general, 2(4)394--409, 11(1)39--51, 13(1)21--35, 19(5)623--647
-
generalized, 13(6)571--584, 19(6)653--673, 21(3)307--324
-
generated, 16(1)13--29
-
generating, 3(4)431--455, 4(4)456--471, 16(1)49--65, 17(5)585--600,
18(3)319--334, 23(6)875--877, 24(4)511--527, 25(5)733--746,
26(2)147--168
-
generation, 3(3)314--331, 4(2)142--152, 5(1)59--77, 5(2)124--139,
5(2)158--164, 6(2)174--182, 7(4)361--375, 8(1)4--25, 8(3)195--203,
8(6)607--620, 9(5)429--445, 9(5)505--525, 10(2)145--160,
10(4)337--346, 11(3)261--267, 11(4)273--290, 12(2)97--111,
12(6)429--446, 14(4)439--459, 16(4)437--455, 16(5)465--479,
16(5)543--558, 16(6)713--726, 16(6)727--751, 17(3)339--349,
18(1)1--19, 18(1)109--120, 18(2)227--243, 18(3)245--249,
18(3)335--353, 19(1)31--52, 19(6)743--761, 20(3)327--354,
21(2)183--202, 21(3)351--364, 23(1)31--53, 23(6)847--851,
23(6)853--856, 23(6)857--861, 23(6)871--873
-
generation, next-, 19(6)717--741
-
generation/synthesis, 7(4)297--315
-
generator, 2(1)46--67, 22(1)57--78, 26(3)301--326
-
generic, 8(1)37--56, 16(3)295--313, 17(1)91--105, 20(6)739--769
-
genetic, 6(2)117--127, 19(4)449--464
-
Genrich, Hartmann, 3(4)394--404
-
Genrich:2001:EPN, 3(4)394--404
-
Gentilini, R., 13(3)273--287
-
Gentilini, R., see Bauer, K.
-
GenUTest, 11(4)273--290
-
Georgiou, Chryssis, 11(2)153--171
-
Georgiou:2009:AIC, 11(2)153--171
-
Gérard, Sébastien, 5(2)124--139,
see Lugato, David
-
Gerecht, Timo, 21(6)613--633
-
Gerecht, Timo, see Luthmann, Lars
-
Gerostathopoulos, Ilias, 22(4)497--509
-
Gerostathopoulos, Ilias, see Bures, Tomas
-
Gersten, Ori, 12(1)53--67
-
Gersten, Ori, see Dolev, Shlomi
-
Gerwinn, Sebastian, 17(4)485--504
-
Gerwinn, Sebastian, see Ellen, Christian
-
Geske, Maren, 16(5)465--479, 16(5)531--542
-
Geske, Maren, see Bauer, Oliver,
see Steffen, Bernhard
-
Ghamarian, Amir Hossein, 14(1)15--40
-
Ghamarian:2012:MAU, 14(1)15--40
-
Ghani, Abdul Azim Abdul, 19(6)743--761
-
Ghani, Abdul Azim Abdul, see Parizi, Reza Meimandi
-
Gherghina, Cristian, 16(4)363--380, 16(4)381--397
-
Gherghina, Cristian, see Ferreira, João F.
-
Gherghina:2014:EPV, 16(4)363--380
-
Ghica, Dan R., 12(5)373--389
-
Ghica, Dan R., see Bakewell, Adam
-
Ghirvu, Lucian, 4(2)142--152
-
Ghirvu, Lucian, see Bozga, Marius
-
Ghorbal, Khalil, 19(6)717--741
-
Ghorbal, Khalil, see Jeannin, Jean-Baptiste
-
Gianas, Yann, Régis-, 24(5)717--733
-
Giannakopoulou, Dimitra, 18(2)227--243
-
Giannakopoulou, Dimitra, see Essen, Christian von
-
Giantamidis, Georgios, 23(1)1--29
-
Giantamidis:2021:LMM, 23(1)1--29
-
Gibson-Robinson, Thomas, 18(2)149--167, 21(5)567--605, 24(4)613--633
-
Gibson-Robinson, Thomas, see Antonino, Pedro
-
Gibson-Robinson:2016:FPR, 18(2)149--167
-
Gibson-Robinson:2019:SRC, 21(5)567--605
-
Giese, Holger, 6(3)203--218, 10(3)207--222, 23(3)411--488
-
Giese, Holger, see Burmester, Sven,
see Schneider, Sven
-
Gilmore, Stephen, 20(3)289--311
-
Gilmore, Stephen, see Ciancia, Vincenzo
-
Gioles, Theofanis, Vassiliou-, 16(3)295--313
-
GIOP, 2(4)394--409
-
Gioulekas, Fotios, 22(1)3--32, 22(1)33--34
-
Gioulekas:2020:CCC, 22(1)3--32, 22(1)33--34
-
Gioulekas:2020:CCM, 22(1)3--32, 22(1)33--34
-
Girault, Alain, 15(3)229--245
-
Girault, Alain, see Assayad, Ismail
-
Giunchiglia, Fausto, 2(4)410--425, 3(1)1--12
-
Giunchiglia, Fausto, see Cimatti, Alessandro
-
Giunchiglia:2000:TPT, 3(1)1--12
-
Given-Wilson, Thomas, 22(5)563--564
-
Given-Wilson, Thomas, see Biondi, Fabrizio
-
Gladisch, Christoph D., 14(4)439--459
-
Gladisch:2012:MGQ, 14(4)439--459
-
Gläser, Michael, 10(4)353--358
-
Glaser:2008:STS, 10(4)353--358
-
Gliwa, Peter, 15(1)9--28, 15(1)53--63
-
Gliwa, Peter, see Lisper, Björn,
see Merriam, Nicholas
-
Globally, 8(1)4--25
-
GNATprove, 17(6)695--707
-
Gnesi, Stefania, 8(4)301--302, 16(6)643--646, 17(5)555--557,
20(3)237--241, 20(4)355--358
-
Gnesi, Stefania, see Beek, Maurice H. ter,
see Fantechi, Alessandro,
see Fitzgerald, John S.
-
Gnesi:2015:SSI, 17(5)555--557
-
GNU, 4(4)505--528
-
Go2Pins, 25(1)77--94
-
goal, 24(6)889--910
-
goal, multi-, 23(6)853--856
-
goal, test-, 23(6)853--856
-
Godefroid, Patrice, 6(2)117--127, 13(6)537--551, 13(6)571--584
-
Godefroid, Patrice, see Etessami, Kousha
-
Godefroid:2004:EVL, 6(2)117--127
-
Godefroid:2011:LGM, 13(6)571--584
-
Godhal, Yashdeep, 15(5)585--601
-
Godhal:2013:SAA, 15(5)585--601
-
Goldman, Robert P., 16(1)13--29
-
Goldman:2014:LAT, 16(1)13--29
-
Gomes, Adriano, 14(6)673--702
-
Gomes, Cláudio, 24(6)999--1024,
see Hansen, Simon Thrane
-
Gomes, Pedro de Carvalho, 18(6)653--684
-
Gomes, Pedro de Carvalho, see Amighi, Afshin
-
Gomes:2012:CMB, 14(6)673--702
-
Gómez-Zamalloa, Miguel, 17(1)107--119,
see Wong, Peter Y. H.
-
good, 4(1)1--7
-
Gool, Louis C. M. van, 24(3)441--472
-
Gool, Louis C. M. van, see Bunte, Olav
-
Gopalakrishnan, Ganesh, 7(4)341--350, 12(2)113--122
-
Gopalakrishnan, Ganesh, see Bunker, Annette,
see Yang, Yu
-
Gopinath, Divya, 25(3)393--405
-
Gopinath, Divya, see Usman, Muhammad
-
Gordon, Steven, 2(2)144--159
-
Gordon:1998:AMS, 2(2)144--159
-
Gorla, Alessandra, 10(6)493--502
-
Gorla, Alessandra, see Carzaniga, Antonio
-
Gorostiaga, Felipe, 23(2)157--183
-
Gorostiaga:2021:SRV, 23(2)157--183
-
Gorp, Pieter, Van, 12(3)171--181
-
Gossen, Frederik, 25(3)267--285
-
Gossen:2023:AAR, 25(3)267--285
-
Gottschalk, F., 10(1)95--110
-
Gottschalk:2008:PUC, 10(1)95--110
-
Gouglidis, Antonios, 23(5)685--700
-
Gouglidis, Antonios, see Grompanopoulos, Christos
-
Gouraud, Sandrine-Dominique, 14(1)73--93
-
Gouraud, Sandrine-Dominique, see Denise, Alain
-
Gouw, Stijn de, 17(1)107--119, 24(5)783--802
-
Gouw, Stijn de, see Hiep, Hans-Dieter A.,
see Wong, Peter Y. H.
-
GPSO, 22(2)183--194
-
GPU, 22(5)583--599
-
GPUs, 18(2)169--185
-
GraBaTs, 12(3)287--304
-
Grabowski, Jens, 10(4)281--283, 10(4)309--326, 16(3)215--225,
16(3)227--246, 19(3)309--324
-
Grabowski, Jens, see Herbold, Steffen,
see Makedonski, Philip,
see Neukirchen, Helmut,
see Schieferdecker, Ina
-
Grabowski:2014:HSR, 16(3)215--225
-
grade, 12(6)429--446
-
gradual, 5(2)237--246
-
Graf, Susanne, 4(2)139--141, 8(2)93--96, 8(2)113--127, 8(2)128--145
-
Graf, Susanne, see Ober, Iulian
-
Graf:2003:PSE, 4(2)139--141
-
Graf:2006:PSV, 8(2)93--96
-
Graf:2006:RTP, 8(2)113--127
-
grained, coarse-, 5(2)107--123, 18(4)449--467
-
grammar, 10(3)233--245, 16(4)437--455, 23(3)335--368, 24(4)511--527
-
graph, 3(2)182--192, 8(1)77--91, 9(2)193--207, 10(3)233--245,
12(3)171--181, 12(3)183--199, 12(3)263--271, 16(5)493--505,
17(3)267--289, 18(1)57--66, 18(6)653--684, 20(6)705--737,
22(1)57--78, 22(1)79--102, 22(5)635--654, 23(3)335--368,
23(3)369--410, 23(3)411--488, 24(1)49--65, 24(4)529--548
-
graph-based, 12(3)273--285, 23(1)105--114
-
graphical, 20(2)139--155, 20(3)327--354
-
graphics, 13(1)21--35
-
Graphillion, 18(1)57--66
-
greedy, 21(1)71--86, 22(2)183--194
-
Greenstreet, Mark R., 3(3)286--313
-
Greenstreet, Mark R., see Kern, Christoph
-
Greulich, Christoph, 20(5)515--528
-
Greulich, Christoph, see Edelkamp, Stefan
-
Greybox, 16(5)519--529
-
GrGen.NET, 12(3)263--271
-
grid, 16(4)421--435
-
Griffith, Dennis, 14(3)249--289
-
Griffith, Dennis, see Meredith, Patrick O'Neil
-
Grilletti, Gianluca, 20(3)289--311
-
Grilletti, Gianluca, see Ciancia, Vincenzo
-
GRL, 24(6)889--910
-
Groce, Alex, 6(4)260--276, 8(3)229--247, 10(2)131--144, 20(1)57--78
-
Groce, Alex, see Holmes, Josie
-
Groce:2004:HMC, 6(4)260--276
-
Groce:2006:EED, 8(3)229--247
-
Groce:2008:ETS, 10(2)131--144
-
Grompanopoulos, Christos, 23(5)685--700
-
Grompanopoulos:2021:SVU, 23(5)685--700
-
Groote, Jan Friso, 8(1)77--91, 26(2)127--129
-
Groote:2006:IVL, 8(1)77--91
-
Groote:2024:FMI, 26(2)127--129
-
GROOVE, 14(1)15--40
-
Gros, Timo P., 25(3)407--426
-
Gros:2023:ANN, 25(3)407--426
-
Große, Daniel, 19(5)605--621, 21(5)545--565,
see Herdt, Vladimir, \see{Riener, Heinz
-
Grossmann, Juergen, 10(4)383--400, 16(3)247--267
-
Grossmann, Juergen, see Schieferdecker, Ina
-
Grossmann:2014:THS, 16(3)247--267
-
Grosu, Radu, 14(3)327--347, 18(4)449--467, 21(4)401--423
-
Grosu, Radu, see Bogomolov, Sergiy,
see Gurung, Amit, \see{Huang, Xiaowan
-
group, 20(3)313--325
-
Grov, Gudmund, 20(2)139--155
-
Grov:2018:TTG, 20(2)139--155
-
Grumberg, O., 2(3)279--287
-
Grumberg, O., see Clarke, E. M.
-
Grumberg, Orna, 4(4)496--504, 6(2)174--182, 7(1)1--3, 9(2)119--132,
11(2)85--94, 24(5)667--689
-
Grumberg, Orna, see Ben-David, Shoham,
see Brim, Lubo{\v{s}},
see Campos, Sérgio,
see Frenkel, Hadar, \see{Huth, Michael
-
Grumberg:2007:VFT, 9(2)119--132
-
Grünbacher, Paul, 14(5)613--630, see Heider, Wolfgang
-
Gruner, Stefan, 25(1)115--128
-
Gruner, Stefan, see Nxumalo, Madoda
-
GSDetector, 24(6)889--910
-
Gu, Rong, 24(3)395--414
-
Gu:2022:VSS, 24(3)395--414
-
Guan, Z., 5(4)370--390
-
Guan, Z., see Luqi
-
guarantee, 24(5)667--689, 25(4)593--616
-
Guard-based, 18(4)427--448
-
Güdemann, Matthias, 19(4)391--393
-
Gudemann:2017:PSI, 19(4)391--393
-
Guelev, Dimitar P., 9(1)53--62
-
Guelev:2007:MCP, 9(1)53--62
-
Guemhioui, Karim, El, 4(3)381--396
-
Guerri, Davide, 19(3)281--308
-
Guerri, Davide, see Hillah, Lom Messan
-
Guest, 6(2)99--101, 8(6)605--606, 11(3)173--174, 13(2)107--109
-
guide, 2(2)98--132
-
guided, 10(2)113--129, 18(4)449--467
-
guided, Abstraction-, 15(5)413--431
-
Gulwani, Sumit, 13(6)519--535, 15(5)497--518
-
Gulwani, Sumit, see Srivastava, Saurabh,
see Taly, Ankur
-
GUMP, 25(3)287--299
-
Gunter, Elsa L., 5(1)78--89, 5(4)308--319
-
Gunter, Elsa L., see Alur, Rajeev
-
Gunter:2003:CMS, 5(1)78--89
-
Guo, Hai-Feng, 16(4)437--455
-
Guo, Jian, 16(4)339--361
-
Guo, Jian, see Fang, Huixing
-
Guo, Qiang, 13(4)355--376
-
Guo:2011:FBT, 13(4)355--376
-
Guo:2014:MBT, 16(4)437--455
-
Gupta, Aarti, 7(2)156--173, 8(4)387--396, 15(4)321--336
-
Gupta, Aarti, see Ganai, Malay K.,
see Kahlon, Vineet, \see{Prasad, Mukul R.
-
Gupta, Amar Kumar, 18(6)685--706
-
Gupta, Ashutosh, 24(5)843--888
-
Gupta, Ashutosh, see Chakraborty, Supratik
-
Gupta, Ashutosh Kumar, 15(4)291--303
-
Gupta, Atul, 10(2)145--160
-
Gupta:2008:AEE, 10(2)145--160
-
Gupta:2013:TP, 15(4)291--303
-
Gupta:2016:ECV, 18(6)685--706
-
Gurfinkel, Arie, 9(5)429--445, 12(5)319--335, 12(6)409--427
-
Gurfinkel, Arie, see Chechik, Marsha,
see Simmonds, Jocelyn
-
Gurfinkel:2010:CPN, 12(6)409--427
-
Gurov, Dilian, 4(4)405--420, 18(6)653--684
-
Gurov, Dilian, see Amighi, Afshin,
see Fredlund, Lars-Åke
-
Gurung, Amit, 21(4)401--423
-
Gurung:2019:PRA, 21(4)401--423
-
Gustafsson, Jan, 4(4)437--455
-
Gustafsson, Jan, see Engblom, Jakob
-
Guzmán, Ignacio, García-Rodríguez de, 26(1)1--20