Last update: Thu Sep 19 02:00:59 MDT 2024
Return to index directory
O
-
O, 38(4)353--373
-
OBDD, 12(1)33--45
-
Obfuscation, 60(1)107--131
-
Obituary, 32(4)z--z
-
Object, 63(3)557--595
-
object, nested-, 14(2)317--323
-
Object-based, 39(1)1--47
-
Object-oriented, 41(3)219--249
-
obstacles, 3(1)81--90
-
Obvious, 3(4)383--393
-
Octopus, 33(2)171--218
-
odd, 14(3)383--412
-
ODE, 61(1)73--111
-
ODEs, 62(2)215--236
-
of-Distribution, Out-, 68(3)z--99999999
-
Ofer, 51(4)453--456
-
Off, Round-, 68(1)z--z
-
Offline, 36(1)85--124
-
Ohlbach, H. J., 1(3)327--332
-
Ohlbach, Hans Jürgen, 1(4)435--440, 3(1)1--34, 15(2)267--275,
20(3)317--336
-
Ohlbach:1985:LU, 1(3)327--332
-
Ohlbach:1985:PLH, 1(4)435--440
-
Ohlbach:1987:LIA, 3(1)1--34
-
Ohlbach:1995:NAA, 15(2)267--275
-
Ohlbach:1998:ESR, 20(3)317--336
-
Okazaki, Hiroyuki, 50(2)161--172
-
Okazaki, Hiroyuki, see Futa, Yuichi
-
Oliet, Narciso, Martí-, 60(4)421--463
-
Oliveira, Ana Cristina, Rocha-, 58(2)231--251
-
Oliveras, Albert, 46(1)81--102, 48(1)107--131, 50(3)243--277
-
Oliveras, Albert, see Barrett, Clark,
see Borralleras, Cristina,
see Larrosa, Javier
-
Olivetti, Nicola, 9(1)99--139
-
Olivetti:1992:TSC, 9(1)99--139
-
OMDoc, 50(2)191--202
-
Omission, 50(2)123--133
-
Omodeo, E. G., 6(2)173--187
-
Omodeo, E. G., see Cantone, D.
-
Omodeo, Eugenio G., 52(1)1--29
-
Omodeo:2014:SGI, 52(1)1--29
-
On-Line, 37(1)45--66
-
Once, Read-, 66(2)239--274
-
one, 7(1)109--158
-
only, 42(1)35--76
-
Ontology, 44(4)337--369, 58(1)67--95
-
open, 5(2)141--165, 27(2)157--174, 31(3)335--370
-
Opening, 4(4)465--474
-
OpenJDK, 62(1)93--126
-
Operating, 42(2)123--124, 42(2)229--264
-
Operating-System, 42(2)189--227
-
operation, 10(1)1--13, 55(3)285--294, 56(1)49--94
-
Operational, 64(2)167--195
-
operator, 2(2)127--153, 7(2)193--230, 7(2)257--270, 9(2)261--288,
10(1)59--78
-
Oppacher, F., 4(1)69--100
-
Oppacher:1988:HTB, 4(1)69--100
-
Optimal, 23(1)83--104, 38(1)173--199, 43(2)121--137, 67(1)z--99999999
-
Optimality, 59(4)425--454
-
OptiMathSAT, 64(3)423--460
-
optimization, 5(3)339--362, 22(1)65--115, 46(1)81--102, 51(2)151--196,
64(3)423--460, 65(7)1071--1096
-
Optimized, 28(2)173--204
-
Optimizing, 7(3)325--336, 39(3)277--316
-
order, 8(1)45--75, 13(1)69--82, 16(1)3--37, 42(1)99--122, 46(1)1--42,
47(1)57--105, 49(1)53--93, 54(3)199--284, 57(3)245--280, 60(1)3--21,
68(1)z--99999999
-
Order, First-, 18(2)183--188, 19(3)347--376, 21(3)381--400,
27(4)353--389, 28(4)371--396, 28(4)397--415, 32(2)167--184,
34(3)295--321, 40(1)35--60, 45(4)437--473, 52(4)361--378,
53(2)141--172, 55(3)269--284, 57(2)157--185, 60(2)133--156,
60(4)465--501, 60(4)527--527, 61(1)455--484, 64(2)295--330,
64(3)391--422, 64(3)611--640, 64(6)1001--1050, 65(3)357--423,
65(5)647--690, 65(8)1097--1124, 67(1)z--99999999, 67(2)z--z,
67(3)z--z, 68(3)z--99999999
-
order, First-, 4(2)191--213, 10(2)237--263
-
order, first-, 2(3)287--327, 6(2)147--172, 6(4)361--388,
9(3)355--372
-
Order, Higher-, 25(2)123--164, 34(2)179--207, 37(1)117--152,
40(1)35--60, 47(4)369--398, 47(4)451--479, 51(1)57--77,
55(4)307--372, 55(4)389--404, 56(3)221--259, 58(2)293--310,
62(2)237--260, 63(2)439--462, 63(4)941--966, 64(7)1393--1418,
65(3)425--460, 65(6)775--807, 66(4)541--564, 66(4)1065--1095,
66(4)1097--1097, 67(1)z--99999999, 67(2)z--99999999
-
order, Higher-, 44(4)303--336, 49(2)209--239
-
order, higher-, 5(3)257--291, 11(1)43--81
-
Order, Partial-, 23(3)265--298
-
Order, Second-, 63(2)415--438, 64(3)391--422
-
Order-Sorted, 60(4)465--501
-
Ordered, 13(1)117--143, 25(3)167--217, 29(1)17--57, 64(7)1169--1195
-
ordering, 6(1)39--49, 10(3)389--397, 14(2)293--316, 23(1)25--42,
30(1)99--120, 50(1)51--98
-
Ordinal, 22(3)341--378, 34(4)387--423
-
ORE, 59(4)455--482
-
Orejas, Fernando, 50(1)1--49
-
Orejas, Fernando, see Gaintzarain, Jose
-
organizing, 6(3)299--317, 33(1)29--49
-
Oriat, Catherine, 45(4)415--435
-
Oriat, Catherine, see Bousquet, Lydie du
-
Orientability, 43(2)173--201
-
Oriented, Goal-, 62(1)127--167
-
oriented, Object-, 41(3)219--249
-
oriented, structure-, 15(1)95--165
-
Ornaghi, Mario, 13(3)361--373
-
Ornaghi, Mario, see Miglioli, Pierangelo
-
Orthogonal, 58(2)231--251
-
Ortiz, Magdalena, 41(1)61--98
-
Ortiz:2008:DCQ, 41(1)61--98
-
OS, 61(1)141--189
-
other, 2(2)171--190, 6(1)39--49, 27(2)141--156, 27(2)157--174,
60(4)503--526, 64(2)197--251
-
Otop, Jan, 48(3)363--390
-
Otop:2012:UCV, 48(3)363--390
-
Otten, Jens, 38(1)261--271
-
Otten, Jens, see Raths, Thomas
-
OTTER, 14(3)413--426, 17(2)215--257
-
Otter, 18(2)211--220
-
Otter--Lambda, 36(4)311--344
-
Otto, Carsten, 58(1)3--31
-
Otto, Carsten, see Giesl, Jürgen
-
Otto, Friedrich, 19(1)87--115, 28(3)235--256
-
Otto, Friedrich, see Cremanns, Robert,
see Narendran, Paliath
-
out, Middle-, 16(1)113--145
-
Out-of-Distribution, 68(3)z--99999999
-
output, 58(2)253--291
-
Overbeek, 11(3)333--351
-
Overbeek, R. A., 1(2)209--228
-
Overbeek, R. A., see Lusk, E. L.
-
Overbeek, Ross, 1(1)103--114, 2(3)287--327, 2(4)419--431, 4(2)233--234,
8(1)23--38, 11(3)315--316
-
Overbeek, Ross, see Boyer, Robert,
see Glickfeld, Barney, \see{Jindal, Anita,
see Lusk, Ewing
-
Overbeek, Ross A., 12(2)139--156
-
Overbeek, Ross A., see Butler, Ralph M.
-
Overbeek:1988:BR, 4(2)233--234
-
Overbeek:1993:CCP, 11(3)315--316
-
overhead, Bounded-, 11(1)83--113
-
overview, 1(1)5--48
-
Owens, Scott, 56(3)221--259
-
Owens, Scott, see Kumar, Ramana
-
Owicki--Gries, 66(1)141--171
-
owicz, Artur Korni{\l}, 50(2)203--210, 55(3)191--198, 55(3)257--268,
see Grabowski, Adam
-
owicz:2013:RRM, 50(2)203--210
-
owicz:2015:DEM, 55(3)257--268
-
OWL, 53(3)245--269, 59(4)455--482, 60(4)385--419
-
Ozaki, Ana, 64(8)1553--1610
-
Ozaki, Ana, see Hustadt, Ullrich