Index file section I for jautomreason.bib

Last update: Thu Dec 25 02:01:23 MST 2025

Return to index directory

I

I-SATCHMO, 27(3)313--322
Iancu, Mihnea, 50(2)191--202
Iancu:2013:MML, 50(2)191--202
Ibens, Ortrun, 18(2)237--246
Ibens, Ortrun, see Moser, Max
Iborra, José, 58(3)391--411
Iborra:2017:RTD, 58(3)391--411
ICE-Based, 64(7)1393--1418
ID, 65(8)1125--1151
ideal, 30(2)153--177
idempotence, 2(3)277--281
idempotent, 2(3)283--286
Identification, 14(3)427--462
identifying, 8(3)395--419
identity, 6(1)79--109, 17(2)215--257, 66(3)301--329, 67(4)z--99999999, 68(2)z--99999999
IEAash, 20(3)387--387
IEC, 60(1)63--84
Igarashi, Atsushi, 60(3)279--298
Igarashi, Atsushi, see Kojima, Kensuke
II, 15(2)167--215, 22(2)171--221, 25(4)247--289, 64(8)1611--1662, 64(8)1685--1729
II, Leo-, 55(4)389--404
III, 52(1)1--29
III, Leo-, 65(6)775--807
IJCAR, 28(3)307--320, 40(2)87--88, 47(4)337--339, 64(7)1165--1167, 66(3)275--276
Illustrated, 62(4)505--530
ILTP, 38(1)261--271
Imanishi, Akifumi, 60(3)279--298
Imanishi, Akifumi, see Kojima, Kensuke
Immler, Fabian, 61(1)73--111, 62(2)215--236
Immler:2018:VOS, 61(1)73--111
Immler:2019:FOF, 62(2)215--236
Impact, 58(4)413--481
Imperative, 59(1)3--45, 62(4)481--503
implement, 9(3)309--354
implementation, 1(2)161--208, 4(4)353--380, 5(4)461--492, 13(3)409--421, 26(2)107--137, 27(1)3--27, 29(3)365--387, 33(3)319--339, 37(1)21--43, 42(2)349--388, 43(1)81--119, 62(3)331--365, 64(3)363--389, 64(4)699--735, 64(8)1611--1662, 69(4)z--99999999
implemented, 21(2)233--275, 43(3)305--336
implementing, 7(4)597--630, 8(1)23--38, 11(1)43--81, 24(1)277--296, 36(4)289--310, 53(3)271--304
Implicants, 22(2)149--170
Implicantsash, 18(3)337--356
Implicate, 18(3)337--356, 38(1)155--172
implication, 7(4)511--536
implicit, 1(4)391--405, 14(2)189--235, 50(2)123--133, 63(4)813--855
Importance, 65(6)727--773
imprecise, 9(2)217--230
Improper, 62(2)281--300
improve, 6(1)51--75
improved, 13(3)361--373
Improvement, 27(3)313--322, 60(2)157--176
Improving, 12(3)359--388, 37(3)155--203, 55(3)295--306
IMPS, 11(2)213--248
in, Built-, 27(1)61--87
in-Chief, Editor-, 2(1)105--107, 65(2)155--155
Incarnations, 18(2)211--220
incidence, 1(3)263--283, 2(2)109--126, 16(3)355--368, 68(1)z--99999999
Incoherent, 39(3)317--349
Incomplete, 64(7)1523--1552
Incompletely, 69(3)z--99999999
Incompleteness, 19(3)319--346, 55(1)1--37, 63(3)597--623, 65(7)1027--1070, 67(1)z--99999999
incompletensess, 4(2)219--231
inconsistency, 9(2)179--215, 29(2)125--169
inconsistent, 11(1)23--41, 12(1)1--31, 22(3)263--309
incorrect, 36(1)149--176
increase, 16(3)223--239
Incredible, 53(1)1--61
incremental, 12(3)359--388, 30(2)153--177, 32(4)z--99999999, 44(4)337--369
Incrementality, 61(1)333--365
incrementally, 11(3)391--428
Indefinite, 19(1)31--85
index, 22(4)485--486, 22(4)487--487, 25(4)329--329, 25(4)331--332, 26(4)433--433, 26(4)435--435, 27(4)423--423, 27(4)425--425, 28(4)435--435, 28(4)437--437, 29(3)413--413, 29(3)415--415, 30(3)445--445, 30(3)447--447, 31(3)371--371, 31(3)373--373, 49(3)303--326, 49(3)327--362, 64(2)331--360
indexing, 9(2)147--167, 32(2)103--120
Indrzejczak, Andrzej, 67(4)z--99999999
Indrzejczak:2023:BCF, 67(4)z--99999999
induction, 7(3)303--324, 11(3)433--434, 14(2)189--235, 15(2)167--215, 16(1)1--1, 16(1)3--37, 16(1)39--78, 16(1)113--145, 18(1)5--24, 26(1)1--49, 36(4)311--344, 64(2)253--294
inductive, 5(4)533--540, 7(1)27--103, 14(3)427--462, 16(1)79--111, 21(2)233--275, 22(1)65--115, 22(2)117--147, 23(3)347--371, 36(1)149--176, 47(2)133--160, 47(3)251--289, 67(3)z--99999999
Industrial, 20(3)387--387, 45(4)397--414
inequality, 5(3)339--362, 8(3)421--426, 56(3)367--386, 68(1)z--99999999
inevitability, 11(1)23--41
inexact, 5(2)207--233, 8(1)77--90
inference, 3(2)201--209, 3(4)383--393, 4(1)15--27, 4(4)445--462, 5(1)93--95, 6(3)337--339, 7(4)631--634, 8(2)213--274, 9(1)141--143, 11(1)1--22, 11(2)269--288, 11(3)391--428, 19(3)347--376, 21(3)381--400, 23(3)299--318, 23(3)319--346, 26(3)223--268, 27(2)123--139, 28(4)371--396, 47(2)111--132, 47(2)161--189, 47(4)369--398, 55(3)269--284, 59(2)165--218
Inferring, 4(4)397--424, 29(2)125--169, 39(4)z--z
Infinite, 34(3)209--238, 63(4)1077--1101
Infinite-State, 48(1)1--42
Infinitely, 64(7)1269--1286
Infiniteness, 67(4)z--99999999
Influence, 47(1)1--16
information, 3(1)81--90, 4(4)397--424, 25(2)123--164
Informational, 20(1)167--190
Infrastructure, 43(4)z--99999999, 59(4)483--502
inheritance, 3(1)1--34, 29(3)337--363, 64(1)73--95
Inhibitor, 26(4)409--431
initial, 37(1)21--43
Innermost, 51(1)27--56
Inoue, Katsumi, 13(1)145--172
Inoue, Katsumi, see Sakama, Chiaki
Input, 52(1)31--65, 65(2)157--203
Instance, 18(2)177--182, 38(1)57--78, 39(2)219--243, 41(2)99--142, 69(1)z--z
Instantiation, 28(4)371--396, 48(3)293--362
Instantiation-Based, 57(1)37--65
instantiations, 11(3)391--428
Instantion, 18(2)205--210
Instruction, 65(4)569--598
integer, 5(1)25--35, 63(2)369--392
integral, 8(2)275--295, 62(2)281--300
Integrated, 36(4)379--410
Integrating, 21(3)327--355, 39(2)141--160, 44(1)z--99999999, 66(1)141--171
integration, 13(3)297--337, 14(3)353--381, 30(1)33--58, 35(1)265--293, 66(2)175--213, 67(3)z--99999999
Integrity, 36(4)379--410
Intelligence, 20(3)387--387
intelligent, 2(1)43--62, 2(2)127--153, 32(3)187--226, 39(2)181--218
intelligible, Semi-, 56(2)155--200
intensional, 14(2)237--255, 33(2)89--132, 65(6)809--890
Interaction, 16(1)181--222, 32(3)259--286, 39(2)109--139, 47(1)17--56
interactive, 11(2)213--248, 44(1)z--z, 49(3)427--451, 56(3)201--203, 61(1)1--8, 61(1)9--32, 64(5)793--794, 68(4)z--99999999, 69(1)z--99999999
interconnection, 48(4)419--439
Interest, 6(4)419--461
Interface, 39(2)107--108, 39(2)161--180, 66(2)215--238
interference, Non-, 63(1)1--51, 64(8)1685--1729
Interian, Yannet, 35(1)181--200
Interian, Yannet, see Boufkhad, Yacine
Interleavings, 59(1)47--85
International, 20(3)387--387
interpolant, 65(7)941--969, 66(3)409--435
Interpolating, 47(4)341--367
Interpolation, 54(1)69--97, 54(4)353--390, 57(1)1--2, 57(1)3--36, 57(1)37--65, 57(1)67--95, 65(5)647--690, 67(4)z--99999999, 69(1)z--99999999
interpretation, 16(3)369--425, 34(4)z--z, 40(2)195--220, 56(3)283--308, 58(3)363--390, 62(4)505--530, 66(4)667--688
interpretation, meta-, 13(2)189--210
Interpreting, 10(3)345--370
Interprocedural, 42(2)265--300
Interruptible, 61(1)141--189
interrupts, 14(1)43--91, 42(2)301--347
Intertwined, 64(4)677--688
interval, 62(2)281--300
interviewing, 6(3)299--317
Interweaving, 6(3)299--317
Intractable, 5(1)37--47
Introducing, 18(1)105--134, 19(2)173--203
introduction, 4(3)237--267, 7(2)169--170, 7(4)447--451, 12(1)33--45, 61(1)1--8
intuitionistic, 7(4)537--561, 13(3)361--373, 21(2)205--231, 30(2)121--151, 38(1)261--271, 43(1)19--51, 51(2)129--149, 62(1)1--68, 62(1)127--167, 67(1)z--99999999, 68(3)z--z
intuitionistic, Bi-, 51(1)3--26
Invariant-Free, 50(1)1--49
invariants, 17(3)325--347, 17(3)349--370, 40(2)221--243, 63(4)1005--1029, 64(7)1523--1552
inverse, 5(1)1--23, 34(4)365--385, 40(2)133--177
investigation, 7(4)453--474
Investigations, 68(4)z--99999999
invocation, 7(3)403--433
Involving, 33(3)251--269
Iosif, Radu, 45(2)131--156
Iosif, Radu, see Bozga, Marius
iptables, 61(1)191--242
IR, 60(3)337--363
Ireland, 35(4)429--431
Ireland, Andrew, 16(1)79--111, 36(4)379--410
Ireland:1996:PUF, 16(1)79--111
Ireland:2006:IAH, 36(4)379--410
Isabelle, 10(1)15--58, 55(1)1--37, 56(1)1--47, 56(3)261--282, 63(3)557--595, 67(1)z--z
Isabelleash, 23(3)299--318, 39(2)181--218, 40(4)327--356, 49(3)303--326, 52(4)361--378, 57(3)219--244, 58(4)483--508, 59(3)345--387, 62(1)69--91, 62(2)261--280, 62(4)531--555, 63(3)763--786, 64(2)331--360, 64(3)363--389, 64(4)737--765, 64(5)827--856, 65(4)569--598, 65(5)691--709, 66(1)141--171, 66(4)953--988, 67(1)z--99999999, 68(1)z--99999999, 68(2)z--99999999, 68(3)z--99999999, 69(3)z--99999999, 69(4)z--99999999
Isar, 29(3)389--411, 56(2)155--200
IsaVODEs, 68(4)z--99999999
Isberner, Gabriele, Kern-, 45(1)3--19
Iser, Markus, 69(3)z--z
Iser, Markus, see Fuchs, Tobias
Isomorphisms, 64(5)795--825
Isotopy, 40(2)221--243
Issar, Sunil, 16(3)321--353, 32(1)75--92
Issar, Sunil, see Andrews, Peter B.
issue, 10(3)371--388, 13(2)173--173, 14(1)1--1, 15(1)v--v, 16(1)1--1, 36(1)125--147, 36(4)287--287, 37(1)1--1, 37(3)153--154, 39(2)107--108, 39(3)245--247, 45(1)1--2, 46(3)223--224, 47(2)107--109, 47(4)337--339, 48(2)133--134, 51(1)1--2, 57(1)1--2, 59(1)1--2, 63(2)157--158, 63(4)809--811, 64(3)361--362, 64(7)1165--1167, 65(7)891--892, 66(3)275--276
Iterated, 20(1)143--165, 34(1)49--72
iteration, 11(1)1--22
ITP, 62(2)169--170, 62(4)431--432, 63(2)319--321
ITPs, 69(1)z--99999999
Itsykson, Dmitry, 35(1)51--72
Itsykson, Dmitry, see Alekhnovich, Michael
Iwasaki, Yumi, 1(2)161--208
Iwasaki, Yumi, see Friedland, Peter E.