Index file section O for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
O
-
OASP, 9(4)26--26
-
OBDD, 8(4)20--20, 22(4)26--26
-
Obdrzálek, Jan, 21(4)28--28, see Gajarský, Jakub
-
object, 3(4)562--603, 9(1)3--3, 9(1)7--7, 9(2)13--13, 12(4)29--29,
14(1)5--5, 14(4)32--32, 15(3)25--25, 15(4)31--31, 17(4)29--29,
18(3)24--24, 19(1)6--6, 19(2)7--7, 19(2)15--15, 19(3)17--17,
20(3)15--15, 24(1)2--2
-
object-oriented, 9(3)22--22
-
objective, 12(4)28--28, 14(2)10--10, 15(2)16--16, 15(4)27--27, 17(1)1--1,
20(2)10--10
-
obligations, 10(3)20--20
-
observability, 15(1)3--3
-
observable, 11(4)28--28, 19(3)23--23, 21(4)32--32
-
observation, 2(3)340--387, 9(3)18--18, 15(2)16--16, 15(3)24--24,
15(4)35--35, 16(1)6--6, 19(3)23--23, 20(2)10--10, 24(4)31--31
-
Observation, Partial-, 15(2)16--16
-
observational, 15(4)35--35, 17(4)23--23, 23(4)27--27
-
observe, 17(2)10--10, 23(3)18--18
-
observed, 11(4)28--28, 14(2)10--10, 20(2)10--10
-
observing, 10(3)19--19
-
obstacle, 8(4)20--20
-
obtain, 2(1)57--92, 2(3)388--407, 9(3)21--21, 9(3)23--23, 9(4)24--24,
10(1)2--2, 10(2)14--14, 10(3)16--16, 11(4)22--22, 12(4)29--29,
13(2)11--11, 13(2)12--12, 13(2)16--16, 13(3)21--21, 13(4)34--34,
14(1)6--6, 14(1)7--7, 14(2)8--8, 14(3)20--20, 15(1)3--3, 16(1)7--7,
16(1)9--9, 16(3)27--27, 16(4)31--31, 16(4)33--33, 17(2)11--11,
17(3)17--17, 18(1)2--2, 18(1)5--5, 18(2)9--9, 18(2)10--10,
18(3)21--21, 18(3)24--24, 18(4)29--29, 18(4)30--30, 18(4)33--33,
19(1)1--1, 19(2)8--8, 19(2)14--14, 19(4)24--24, 19(4)29--29,
20(1)3--3, 20(2)7--7, 20(3)13--13, 20(3)14--14, 23(4)22--22
-
obtained, 9(1)2--2, 10(3)18--18, 11(3)20--20, 11(4)22--22, 12(1)8--8,
12(2)10--10, 13(1)8--8, 13(2)18--18, 13(3)19--19, 13(3)25--25,
13(4)31--31, 14(1)2--2, 14(2)13--13, 15(1)2--2, 15(1)5--5,
15(3)19--19, 15(3)24--24, 15(3)25--25, 15(4)30--30, 15(4)34--34,
16(1)5--5, 16(3)25--25, 16(4)30--30, 17(1)3--3, 17(3)22--22,
17(4)26--26, 18(1)6--6, 18(2)16--16, 19(1)1--1, 19(3)21--21,
19(4)31--31, 20(3)17--17, 20(4)25--25, 22(4)22--22, 24(2)10--10
-
obtaining, 10(4)27--27, 11(3)18--18, 13(2)16--16, 15(1)9--9, 15(4)34--34,
17(2)9--9, 20(1)2--2
-
obvious, 20(1)6--6
-
occur, 12(2)14--14, 13(2)15--15, 14(4)28--28, 14(4)32--32, 18(2)12--12,
18(3)21--21, 19(2)8--8, 19(2)9--9, 19(3)18--18, 20(4)23--23,
21(1)5--5
-
occurrence, 12(3)21--21, 13(1)1--1, 13(2)15--15, 20(4)20--20,
21(3)18--18
-
occurring, 9(1)7--7, 9(2)11--11, 13(4)32--32, 16(4)32--32, 19(3)18--18,
22(1)4--4
-
Ochremiak, Joanna, 20(1)1--1
-
Ochremiak, Joanna, see Atserias, Albert
-
odd, 19(2)7--7
-
ODTA, 15(1)8--8
-
Oetsch, Johannes, 22(1)2--2
-
Oetsch:2021:BUE, 22(1)2--2
-
of, algebras-, 20(1)2--2
-
of-order, Out-, 21(1)5--5
-
of-order, out-, 21(1)5--5
-
of-service, quality-, 12(1)5--5
-
of-spheres, system-, 13(4)30--30
-
of-stack, top-, 20(3)14--14
-
of-the-art, state-, 2(2)182--215, 12(1)7--7, 15(4)33--33,
16(2)12--12, 17(1)6--6, 19(2)12--12
-
off, 18(4)31--31
-
off, trade-, 13(2)16--16, 17(1)5--5
-
Off-Diagonal, 17(4)26--26
-
off-diagonal, 17(4)26--26
-
off-the-shelf, 8(3)18--18, 14(2)14--14
-
offer, 10(1)3--3, 10(3)20--20, 16(4)35--35, 19(2)13--13
-
officials, 14(2)10--10
-
offline, 17(4)23--23
-
offs, trade-, 13(2)16--16
-
offsets, 10(1)4--4
-
Offtermatt, Philip, 24(1)3--3
-
Offtermatt, Philip, see Blondin, Michael
-
often, 2(1)57--92, 2(2)155--181, 9(3)17--17, 10(2)13--13, 10(3)20--20,
11(4)26--26, 13(2)13--13, 15(4)27--27, 15(4)30--30, 15(4)31--31,
15(4)35--35, 16(2)11--11, 16(2)12--12, 17(1)5--5, 17(3)18--18,
18(2)12--12, 18(2)13--13, 18(3)21--21, 19(1)4--4, 21(3)17--17
-
Ognjanovi{\'c}, Z., 21(2)16--16, see Tomovi{\'c}, S.
-
ogSpace, 15(3)25--25
-
Okada, Mitsuhiro, 21(1)2--2
-
Okada, Mitsuhiro, see Bana, Gergei
-
Okamoto, 17(4)23--23
-
Olejnik, Maciej, 20(4)21--21
-
Olejnik, Maciej, see Huang, Xiaowei
-
Oliva, Paulo, 11(1)7--7
-
Oliva, Paulo, see Arthan, Rob
-
Oliveras, Albert, 20(4)25--25
-
Oliveras, Albert, see Borralleras, Cristina
-
Olivetti, Nicola, 3(2)226--278, 6(3)578--613, 8(4)22--22, 10(3)18--18,
10(3)21--21
-
Olivetti, Nicola, see Bonatti, Piero Andrea,
see Giordano, Laura,
see Metcalfe, George
-
Olivetti:2007:SCT, 8(4)22--22
-
\omega, 19(1)3--3
-
Omega-regular, 12(1)2--2
-
omitting, 15(3)25--25
-
Omodeo, Eugenio G., 7(2)269--301
-
Omodeo, Eugenio G., see Dovier, Agostino
-
OMT, 20(4)25--25
-
on-going, 24(3)21--21
-
on-the-fly, 9(3)19--19
-
once, 18(2)16--16, 19(2)9--9
-
once, read-, 22(4)26--26
-
one, many-, 18(2)11--11
-
One, Zero-, 23(2)12--12
-
one, zero-, 23(2)12--12
-
one-argument, 14(3)22--22
-
One-Counter, 21(2)12--12
-
one-counter, 24(1)3--3
-
one-dimensional, 20(3)14--14
-
one-sided, 15(2)16--16, 16(1)6--6
-
One-Step, 16(2)10--10
-
one-step, 9(1)6--6, 16(2)10--10
-
One-Variable, 16(3)27--27
-
one-variable, 9(4)28--28, 16(3)27--27
-
one-way, 2(2)216--254, 12(2)10--10, 14(3)19--19, 15(2)15--15
-
Ong, C.-H. Luke, 7(3)473--498, 18(3)25--25, 22(2)12--12, 22(3)16--16
-
Ong, C.-H. Luke, see Broadbent, Christopher H.,
see Hague, Matthew,
see Murawski, Andrzej S.
-
ongoing, 17(2)12--12
-
online, 16(2)16--16, 21(1)5--5
-
only'', ``forward-, 17(2)14--14
-
only, black-, 13(2)16--16
-
only, read-, 13(3)27--27
-
Ono, Hirotaka, 13(3)23--23
-
Ono, Hirotaka, see Makino, Kazuhisa
-
onto, 18(1)4--4
-
ontology, 9(3)22--22, 12(2)11--11, 12(3)20--20, 13(3)21--21, 14(1)2--2,
14(2)16--16, 16(4)31--31, 20(2)12--12, 21(3)20--20, 24(1)9--9
-
ontology-based, 20(2)12--12
-
Ontology-Mediated, 21(3)20--20
-
ontology-mediated, 21(3)20--20
-
Oostrom, Vincent, Van, 16(2)14--14
-
open, 9(4)26--26, 9(4)29--29, 10(1)1--1, 11(3)19--19, 11(4)22--22,
11(4)23--23, 13(2)12--12, 13(4)29--29, 13(4)30--30, 13(4)31--31,
14(1)6--6, 14(2)9--9, 15(1)3--3, 15(2)14--14, 15(3)25--25,
15(4)26--26, 15(4)34--34, 16(1)1--1, 16(1)3--3, 16(1)4--4, 16(1)7--7,
16(2)10--10, 16(3)25--25, 16(4)28--28, 17(2)10--10, 17(3)21--21,
17(4)24--24, 18(3)24--24, 18(3)25--25, 19(2)7--7, 19(2)13--13,
19(3)18--18, 19(3)22--22, 21(1)6--6, 23(2)9--9, 24(2)10--10
-
open-world, 14(2)16--16, 21(4)27--27
-
opened, 10(3)22--22
-
operate, 1(2)247--284, 11(4)26--26, 14(2)12--12, 23(3)16--16
-
operating, 12(3)18--18, 19(3)18--18
-
operation, 9(2)10--10, 9(3)17--17, 10(2)9--9, 13(4)30--30, 13(4)33--33,
14(2)15--15, 14(4)30--30, 15(2)14--14, 15(3)24--24, 15(4)31--31,
16(4)31--31, 17(3)15--15, 17(4)28--28, 18(1)6--6, 18(2)16--16,
18(4)27--27, 19(2)7--7, 19(2)12--12, 22(2)10--10, 23(3)15--15,
23(4)24--24, 24(4)28--28
-
operational, 8(4)24--24, 9(3)16--16, 9(4)29--29, 10(1)3--3, 10(3)19--19,
14(1)1--1, 14(4)28--28, 15(2)14--14, 15(4)35--35, 19(3)22--22,
19(4)28--28, 20(1)5--5, 23(4)27--27
-
operator, super-, 10(3)19--19
-
operator-is, 17(2)14--14
-
operators, super-, 10(3)19--19
-
OPL, 1(2)285--320
-
\oplus, 19(4)29--29
-
Oppen, Nelson-, 9(2)8--8
-
opponent, 16(3)25--25, 17(1)1--1
-
opposed, 13(4)30--30
-
opposing, 22(1)7--7
-
opposite, 16(2)17--17
-
optical, 14(4)26--26
-
optimal, 5(2)316--320, 7(2)219--260, 8(3)14--14, 10(1)5--5, 11(4)22--22,
12(1)4--4, 13(4)29--29, 14(2)10--10, 17(1)4--4, 17(4)31--31,
18(2)17--17, 18(4)33--33, 19(2)8--8
-
optimality, 2(3)388--407, 11(4)22--22, 12(1)4--4
-
optimally, 9(4)26--26, 17(4)23--23, 18(4)26--26
-
optimisation, 23(1)7--7
-
optimization, 1(2)285--320, 2(3)289--339, 8(3)17--17, 10(1)3--3,
14(2)10--10, 16(2)12--12, 18(2)8--8, 18(4)26--26, 20(4)25--25
-
optimize, 2(2)182--215, 14(2)10--10
-
Optimized, 24(1)7--7
-
optimizing, 7(2)219--260, 12(1)5--5
-
Opus, 16(4)32--32
-
oq, 14(4)26--26
-
or, and-, 12(1)5--5
-
or-random, real-, 21(1)2--2
-
oracle, 14(2)16--16, 16(1)6--6, 18(2)11--11, 18(3)18--18
-
orbit, 14(4)30--30
-
orbit-finite, 20(3)14--14
-
Ord-Horn, 11(3)15--15
-
order, 1(1)33--59, 4(3)379--401, 6(4)675--700, 8(4)20--20, 8(4)23--23,
9(1)6--6, 9(2)14--14, 9(3)17--17, 10(4)27--27, 10(4)29--29,
11(4)26--26, 12(1)1--1, 12(2)12--12, 12(3)18--18, 12(3)21--21,
12(4)27--27, 13(2)18--18, 14(1)3--3, 14(2)11--11, 14(3)19--19,
15(1)8--8, 16(1)7--7, 16(3)22--22, 16(3)25--25, 16(3)27--27,
17(2)10--10, 17(2)13--13, 17(4)31--31, 18(2)10--10, 18(2)12--12,
18(2)13--13, 18(3)22--22, 18(3)24--24, 19(2)8--8, 19(3)18--18,
19(3)23--23, 19(4)29--29, 20(2)8--8, 21(1)5--5, 21(2)14--14,
22(4)26--26, 23(2)10--10, 24(4)29--29
-
Order, First-, 13(1)5--5, 14(2)8--8, 14(3)17--17, 15(2)11--11,
16(1)9--9, 16(2)17--17, 16(3)27--27, 17(4)25--25, 21(4)29--29,
23(2)12--12, 23(3)17--17
-
order, First-, 1(2)175--207, 8(4)21--21, 9(2)13--13,
13(3)20--20, 16(3)27--27, 21(2)16--16, 24(4)30--30
-
Order, Higher-, 13(2)10--10, 14(2)8--8, 14(3)21--21,
16(2)13--13, 20(1)5--5
-
order, Higher-, 4(4)493--529, 11(1)6--6, 14(2)8--8, 22(2)12--12
-
order, higher-, 1(1)3--32, 3(1)80--136, 9(2)8--8, 10(2)8--8,
10(4)26--26, 13(2)10--10, 13(3)20--20, 14(2)8--8, 14(3)21--21,
14(4)32--32, 16(2)13--13, 16(3)26--26, 18(1)4--4, 18(3)25--25,
20(1)5--5, 22(2)12--12, 23(4)25--25
-
order, Out-of-, 21(1)5--5
-
order, out-of-, 21(1)5--5
-
order, pre-, 15(1)6--6
-
Order, Second-, 14(4)25--25, 17(4)25--25, 18(3)20--20
-
order, second-, 2(1)135--153, 2(2)216--254, 6(2)468--480,
10(1)7--7, 12(1)3--3, 13(4)31--31, 14(4)25--25, 15(1)2--2,
15(2)11--11, 17(2)12--12, 17(4)25--25, 18(2)9--9, 18(2)11--11,
18(4)33--33, 20(3)17--17, 21(2)11--11, 21(2)15--15, 22(2)12--12
-
Order-invariance, 18(4)33--33
-
Order-Invariant, 18(4)33--33
-
order-invariant, 1(1)112--130, 18(4)33--33
-
order-preserving, 21(2)14--14
-
order-sorted, 16(2)14--14
-
order., 11(4)26--26
-
ordered, 1(1)112--130, 2(1)93--134, 2(3)408--429, 4(1)33--55, 8(4)19--19,
11(4)26--26, 12(3)19--19, 14(3)21--21, 15(1)8--8, 16(1)1--1,
16(2)16--16, 17(2)10--10, 17(2)14--14, 17(4)32--32, 19(2)7--7,
19(3)16--16, 20(1)3--3, 20(1)6--6, 20(4)23--23, 21(2)11--11,
24(4)31--31
-
ordered-data, 15(1)8--8
-
ordering, 9(3)18--18, 10(2)10--10, 12(1)4--4, 14(3)20--20, 15(1)10--10,
16(2)13--13
-
ordinal, 9(3)18--18, 19(3)17--17, 21(1)4--4
-
ordinary, 7(2)363--419, 8(3)15--15, 8(3)16--16, 14(2)8--8, 16(4)32--32,
20(2)7--7, 21(2)13--13
-
Ordyniak, Sebastian, 20(3)15--15
-
Ordyniak, Sebastian, see Lodha, Neha
-
Organization, 1(1)162--170
-
oriented, goal-, 16(1)8--8
-
oriented, object-, 9(3)22--22
-
oriented, set-, 13(4)32--32
-
original, 1(1)3--32, 2(3)340--387, 8(4)19--19, 8(4)20--20, 9(1)6--6,
9(2)9--9, 10(2)8--8, 10(3)22--22, 11(4)25--25, 13(4)30--30,
14(4)29--29, 15(2)13--13, 18(4)28--28, 18(4)33--33, 19(2)13--13,
20(4)19--19, 22(3)19--19
-
originality, 8(4)21--21
-
originally, 9(1)4--4, 9(1)7--7, 10(3)22--22, 12(3)22--22, 13(1)1--1,
13(1)6--6, 16(4)35--35, 17(3)16--16
-
originated, 8(3)14--14, 18(2)15--15
-
orthogonal, 14(4)31--31
-
Ortiz, Magdalena, 18(4)27--27
-
Ortiz, Magdalena, see Ahmetaj, Shqiponja
-
Ossona De Mendez, Patrice, 21(2)11--11, 21(4)29--29
-
Ossona De Mendez, Patrice, see Eickmeyer, Kord,
see Gajarský, Jakub
-
Ostropolski-Nalewaja, Piotr, 24(2)16--16
-
Ostropolski-Nalewaja, Piotr, see Benedikt, Michael
-
other, 1(2)175--207, 1(2)208--246, 1(2)247--284, 2(1)135--153,
2(2)255--287, 8(3)17--17, 8(4)21--21, 8(4)23--23, 9(1)6--6, 9(2)9--9,
9(3)18--18, 9(4)27--27, 10(1)3--3, 10(1)4--4, 10(1)7--7, 10(2)8--8,
10(3)17--17, 10(4)29--29, 11(3)16--16, 12(2)15--15, 12(3)21--21,
12(4)28--28, 13(2)11--11, 13(2)12--12, 13(2)13--13, 13(3)19--19,
13(4)30--30, 13(4)31--31, 14(2)9--9, 14(2)14--14, 14(3)20--20,
14(3)21--21, 14(4)28--28, 15(2)16--16, 15(3)19--19, 15(4)26--26,
15(4)30--30, 15(4)31--31, 15(4)34--34, 16(1)3--3, 16(1)5--5,
16(2)11--11, 16(2)13--13, 16(3)23--23, 17(3)21--21, 17(3)22--22,
18(1)1--1, 18(1)4--4, 18(2)10--10, 18(2)13--13, 18(2)14--14,
18(2)17--17, 18(3)23--23, 18(4)28--28, 18(4)31--31, 19(1)1--1,
19(1)5--5, 19(2)12--12, 19(2)15--15, 19(3)20--20, 19(3)22--22,
19(4)26--26, 19(4)30--30, 20(1)3--3, 20(1)6--6, 20(2)10--10,
20(2)12--12, 20(4)23--23, 21(1)2--2, 22(3)15--15, 23(1)4--4,
24(1)4--4, 24(3)27--27
-
Otop, Jan, 17(1)2--2, 18(4)31--31
-
Otop, Jan, see Chatterjee, Krishnendu,
see Michaliszyn, Jakub
-
Otto, Martin, 3(3)418--463
-
Otto, Martin, see Grädel, Erich
-
Ouaknine, Joël, 17(3)16--16, 23(2)9--9,
see Almagor, Shaull,
see Lazi{\'c}, Ranko
-
ought, 9(3)19--19
-
ours, 19(1)3--3
-
ourselves, 17(2)12--12, 19(4)28--28
-
out-of-order, 21(1)5--5
-
outcome, 8(3)18--18, 10(3)17--17, 15(2)12--12, 16(4)33--33, 19(1)5--5
-
outermost, 10(2)10--10, 19(4)29--29
-
outlier, 9(1)7--7
-
outlined, 9(2)8--8
-
outperform, 16(2)12--12, 18(2)13--13
-
output, 1(1)33--59, 2(2)216--254, 8(4)21--21, 9(1)3--3, 10(3)20--20,
10(4)27--27, 18(2)11--11, 18(3)18--18, 21(3)24--24, 24(2)17--17,
24(4)33--33
-
output, input-, 19(4)28--28
-
outputs., 14(4)25--25
-
outside, 17(4)23--23
-
outstanding, 15(3)23--23
-
over-approximate, 18(3)24--24, 19(4)31--31
-
over-approximations, 17(4)23--23
-
overall, 2(1)93--134, 10(1)4--4, 11(3)16--16, 15(1)9--9
-
overapproximating, 22(4)22--22
-
overcome, 2(1)93--134, 13(4)28--28, 15(3)23--23, 15(4)30--30,
16(2)11--11, 16(4)33--33, 18(1)3--3, 20(4)19--19
-
overcoming, 1(1)33--59, 12(3)20--20
-
overhead, 8(3)14--14, 10(4)25--25, 16(1)8--8, 20(2)12--12
-
Overlooked, 16(3)23--23
-
overview, 14(3)17--17
-
OWA, 16(1)3--3
-
ower-hard, 16(3)20--20
-
Owing, 20(2)12--12
-
OWL, 12(2)11--11, 14(1)2--2, 14(2)16--16
-
own, 13(2)17--17, 14(2)14--14, 18(1)2--2, 20(3)14--14
-
Ozaki, Ana, 21(4)30--30, 24(4)34--34
-
Ozaki, Ana, see Artale, Alessandro,
see Baader, Franz