Index file section F for lncs2000.bib
Last update: Thu May 16 02:07:42 MDT 2019
Return to index directory
F
-
F, 1784(0)130--z
-
F, UML-, 1850(0)63--z
-
Faber, Wolfgang, 1861(0)807--z
-
Faber, Wolfgang, see Eiter, Thomas
-
Fabre, Yoann, 1834(0)54--z
-
Fabre:2000:FDM, 1834(0)54--z
-
Fabric, 1903(0)87--z
-
face, 1770(0)53--z, 1853(0)890--z, 1902(0)327--z
-
Face, Small-, 1858(0)44--z
-
Facilitate, 1822(0)187--z
-
facility, 1858(0)320--z, 1912(0)91--z
-
factor, 1767(0)263--z, 1783(0)147--z, 1903(0)46--z, 1983(0)158--z,
1983(0)538--z
-
Factor-Like, Certainty-, 1792(0)25--z
-
Factored, 1800(0)951--z
-
Factoring, 1807(0)35--z
-
Factorisation, 1858(0)3--z
-
Factorization, 1807(0)1--18, 1883(0)218--z, 1954(0)520--z,
1975(0)292--z, 1975(0)308--z
-
Facts, 1883(0)265--z
-
Factual, 1909(0)419--z
-
Fading, 1839(0)474--z
-
Fagerberg, Rolf, 2125(0)414--z
-
Fagerberg:2000:STR, 2125(0)414--z
-
Fages, François, 1974(0)214--z,
see Smaus, Jan-Georg
-
Fagg, Graham E., 1908(0)346--z, 1908(0)354--z
-
Fagg:2000:AAC, 1908(0)354--z
-
Fagg:2000:FMF, 1908(0)346--z
-
Fahringer, Thomas, 1940(0)191--z, 1940(0)428--z
-
Fahringer:2000:FOP, 1940(0)428--z
-
Fahringer:2000:PMH, 1940(0)191--z
-
Fail-Stop, 1975(0)292--z, 1977(0)165--z
-
Failure, 1752(0)79--z, 1792(0)49--z, 1800(0)1258--z, 1861(0)179--z,
1877(0)214--z, 1877(0)552--z, 1905(0)211--z, 1909(0)363--z,
1914(0)360--z, 1940(0)230--z, 1961(0)58--z
-
fair, 1767(0)137--z, 1807(0)172--z, 1851(0)200--z, 1880(0)93--z,
1954(0)143--z, 1974(0)151--z, 1975(0)209--z
-
Fairy, 1765(0)378--z
-
Faithful, 1782(0)26--z
-
Fakotakis, N., 1835(0)139--z
-
Fakotakis, N., see Stamatatos, E.
-
Falavigna, Daniele, 1902(0)351--z
-
Falavigna, Daniele, see Barbero, Cristina
-
Falcone, Rino, 1792(0)273--z
-
Falcone:2000:LDL, 1792(0)273--z
-
Fallah, A., El-, 1813(0)283--z
-
Faloutsos, Christos, 1777(0)51--z
-
Faloutsos, Christos, see Traina Jr., Caetano
-
Falquet, Gilles, 1937(0)156--z
-
Falquet:2000:CRC, 1937(0)156--z
-
Fambon, Olivier, 1752(0)427--z
-
Fambon, Olivier, see Ferreira, Paulo
-
Fan, Charles C., 1800(0)1204--z
-
Fan, Charles C., see Bohossian, Vasken
-
Fan, Wenfei, 1949(0)208--z
-
Fan, Wenfei, see Buneman, Peter
-
Fanelli, Anna Maria, 1857(0)372--z
-
Fanelli:2000:MNF, 1857(0)372--z
-
Fanizzi, N., 1792(0)214--z, 1923(0)229--z, 1932(0)109--z
-
Fanizzi, N., see Esposito, F.,
see Semeraro, G.
-
FANTOMAS, 1800(0)1236--z
-
Faria, Luiz, 1839(0)652--z
-
Faria:2000:TSG, 1839(0)652--z
-
Farkas, Alex, 1755(0)316--z
-
Farkas, Alex, see Morrison, Ronald
-
Farnham, Shelly, 1834(0)12--23
-
Farnham, Shelly, see Cheng, Lili
-
Farquharson, Roy G., 1933(0)250--z
-
Farquharson, Roy G., see Setzkorn, Christian
-
Farrell, Stephen, 1892(0)144--z
-
Farrell, Stephen, see Maglio, Paul P.
-
Farwell, David, 1934(0)179--z
-
Farwell, David, see Helmreich, Stephen
-
Fast, 1761(0)126--z, 1770(0)242--z, 1800(0)171--z, 1800(0)1053--z,
1800(0)1110--z, 1800(0)1176--z, 1807(0)523--z, 1807(0)573--z,
1853(0)463--z, 1853(0)856--z, 1858(0)252--z, 1880(0)300--z,
1902(0)177--z, 1905(0)40--z, 1907(0)17--z, 1910(0)221--z,
1910(0)232--z, 1932(0)486--z, 1940(0)537--z, 1940(0)547--z,
1940(0)557--z, 1974(0)94--z, 1983(0)239--z, 1983(0)443--z,
2125(0)75--z, 2125(0)258--z
-
Faster, 1767(0)174--z, 2125(0)462--z
-
Fatigue, 1933(0)260--z
-
Fauconnier, H., 1914(0)268--z
-
Fauconnier, H., see Aguilera, M. K.
-
Faugeras, O., 1883(0)376--z
-
Faugeras, O., see Anandan, P.
-
Faulstich, Lukas C., 1836(0)142--z
-
Faulstich, Lukas C., see Spiliopoulou, Myra
-
Fault, 1783(0)82--z, 1800(0)1044--z, 1800(0)1144--z, 1800(0)1214--z,
1800(0)1236--z, 1800(0)1248--z, 1800(0)1296--1300, 1851(0)527--z,
1864(0)303--z, 1880(0)131--z, 1908(0)152--z, 1908(0)346--z,
1928(0)137--z, 1932(0)186--z, 1983(0)174--z
-
Fault-State, 1800(0)1266--z
-
Fault-Tolerant, 1800(0)692--z, 1800(0)699--z, 1800(0)1200--z,
1800(0)1286--z, 1800(0)1291--z, 1928(0)302--z
-
Faulty, 1853(0)576--z
-
Favela, Jesus, 1839(0)262--z
-
Favela, Jesus, see Vizcaino, Aurora
-
Favrholdt, Lene M., 1851(0)200--z
-
Favrholdt, Lene M., see Azar, Yossi
-
Favrholdt, Lene Monrad, 1974(0)106--z
-
Favrholdt:2000:LEC, 1974(0)106--z
-
feature, 1737(0)20--z, 1755(0)155--z, 1839(0)163--z, 1857(0)127--z,
1858(0)340--z, 1861(0)777--z, 1864(0)260--270, 1878(0)148--z,
1883(0)20--z, 1883(0)278--z, 1883(0)295--z, 1892(0)86--z,
1892(0)347--z, 1909(0)216--z, 1909(0)238--z, 1910(0)221--z,
1910(0)575--z, 1923(0)1--z, 1923(0)59--z, 1932(0)417--z,
1933(0)97--z, 1941(0)39--z, 1983(0)268--z, 1983(0)473--z,
1983(0)479--z
-
FedeRaL, 1909(0)374--z
-
Federated, 1773(0)1--z
-
Federating, 1909(0)374--z
-
Federations, 1832(0)191--z
-
Feedback, 1839(0)383--z, 1932(0)368--z
-
Feelders, A. J., 1910(0)395--z
-
Feelders:2000:PKE, 1910(0)395--z
-
Feige, R., Kristeva-, 1933(0)55--z
-
Feige, Uriel, 1851(0)10--z
-
Feige:2000:CNH, 1851(0)10--z
-
Feise, Joachim, 1903(0)38--z
-
Feise:2000:AHW, 1903(0)38--z
-
Feitelson, Dror G., 1911(0)68--z
-
Feitelson:2000:CE, 1911(0)68--z
-
Fekete, Sándor P., 2125(0)192--z, 2125(0)300--z,
see Arkin, Esther M.
-
Fekete:2000:HDP, 2125(0)300--z
-
Felber, Pascal, 1752(0)254--z
-
Felber:2000:RCO, 1752(0)254--z
-
Felfernig, Alexander, 1937(0)312--z
-
Felfernig:2000:IKB, 1937(0)312--z
-
Felleisen, Matthias, 1799(0)105--z
-
Felleisen, Matthias, see Krishnamurthi, Shriram
-
Fellows, Michael R., 1974(0)240--z
-
Fellows:2000:CKC, 1974(0)240--z
-
FEM, 1800(0)428--z, 1800(0)443--z
-
Feng, Wenyi, 1800(0)951--z
-
Feng, Wu-chun, 1911(0)113--z
-
Feng, Wu-chun, see Petrini, Fabrizio
-
Feng:2000:CBL, 1800(0)951--z
-
Fenner, Steve, 1770(0)407--z
-
Fenner, Steve, see Buhrman, Harry
-
Fensel, D., 1937(0)1--z
-
Fensel:2000:ON, 1937(0)1--z
-
Fent, Alfred, 1773(0)45--z
-
Fent:2000:LUQ, 1773(0)45--z
-
Fergerson, Ray W., 1937(0)17--z
-
Fergerson, Ray W., see Noy, Natalya Fridman
-
Ferilli, S., 1792(0)214--z, 1923(0)229--z, 1932(0)109--z
-
Ferilli, S., see Esposito, F.,
see Semeraro, G.
-
Fermüller, Christian G., 1761(0)167--z, 1955(0)114--z
-
Fermuller:2000:ICS, 1761(0)167--z
-
Fermuller:2000:SW, 1955(0)114--z
-
Fernandes, Chris, 1932(0)389--z
-
Fernandes:2000:DRU, 1932(0)389--z
-
Fernandez de la Vega, W., 1767(0)59--z
-
Fernández, Francisco, 1908(0)322--z
-
Fernández, Gustavo J., 1908(0)113--z
-
Fernández, Maribel, 1956(0)41--z,
see Bakel, Steffen van
-
Fernandez, Mary, 1974(0)11--z
-
Fernández-Anta, Isabel, 1892(0)297--z
-
Fernandez-Anta:2000:AGW, 1892(0)297--z
-
Fernández-Castro, Isabel, 1839(0)653--z,
see Ferrero, Bego
-
Fernandez:2000:AXQ, 1974(0)11--z
-
Fernandez:2000:DCE, 1908(0)322--z
-
Fernandez:2000:UPM, 1908(0)113--z
-
FernandezdelaVega:2000:INR, 1767(0)59--z
-
Fernau, Henning, 1851(0)97--z
-
Fernau, Henning, see Alber, Jochen
-
Ferrández, Antonio, 1835(0)252--z,
see Peral, Jesús
-
Ferrari, GianLuigi, 1877(0)48--z
-
Ferrari, GianLuigi, see Nicola, Rocco De
-
Ferrario, Maria Angela, 1892(0)301--z
-
Ferrario:2000:CMU, 1892(0)301--z
-
Ferré, Sébastien, 1861(0)1033--z
-
Ferre:2000:FSB, 1861(0)1033--z
-
Ferreira, Alfonso, 1800(0)1042--z
-
Ferreira, Alfonso, see Kiamilev, Fouad
-
Ferreira, Paulo, 1752(0)104--z, 1752(0)427--z
-
Ferreira, Paulo, see Shapiro, Marc
-
Ferreira, Renato, 1915(0)32--z
-
Ferreira, Renato, see Agrawal, Gagan
-
Ferreira:2000:PDI, 1752(0)427--z
-
Ferrer, Josep, Domingo-, 1975(0)44--z
-
Ferrer-Gomila, Josep Lluís, 1975(0)237--z
-
Ferrer-Gomila:2000:EPC, 1975(0)237--z
-
Ferrero, Bego, 1839(0)653--z
-
Ferrero:2000:MPG, 1839(0)653--z
-
Ferri, César, 1961(0)237--z, see Albert, Elvira
-
Fertin, Guillaume, 1928(0)149--z
-
Fertin:2000:DKG, 1928(0)149--z
-
Feschet, F., 1983(0)565--z
-
Feschet, F., see Robardet, C.
-
Feschet, Fabien, 1910(0)599--z
-
Feschet, Fabien, see Robardet, Céline
-
Fessant, Fabrice Le, 1752(0)104--z
-
Fessant, Fabrice Le, see Shapiro, Marc
-
Few, 1731(0)165--z
-
Fewer, 1800(0)966--z
-
Fezzani, Djamel, 1983(0)380--z
-
Fezzani:2000:WFC, 1983(0)380--z
-
Fiber, 1800(0)1132--z, 1940(0)146--z
-
Fibonacci, 1851(0)535--z
-
Fibres, 1853(0)768--z
-
Fich, F. E., 1914(0)360--z
-
Fich, Faith, 1853(0)756--z, 1914(0)1--z
-
Fich, Faith, see Adler, Micah
-
Fich:2000:LBD, 1914(0)1--z
-
Fich:2000:SHS, 1914(0)360--z
-
Fidge, Colin J., 1816(0)213--z
-
Fidge:2000:AMT, 1816(0)213--z
-
field, 1892(0)403--z, 1934(0)239--z, 1949(0)129--z, 1976(0)248--z
-
Fighter, 1813(0)283--z
-
Figure-and-Ground, 1857(0)393--z
-
Filali, Mamoun, 1800(0)1027--z
-
Filali:2000:RBV, 1800(0)1027--z
-
file, 1861(0)1033--z, 1908(0)137--z
-
File-Based, 1903(0)147--z
-
Files, VA-, 1923(0)83--z
-
Filho, Innocêncio Pereira, 1923(0)449--z,
see Leme, Paulo
-
Filiol, Eric, 1977(0)31--z
-
Filiol:2000:DAS, 1977(0)31--z
-
Filipe, Joaquim, 1937(0)449--z
-
Filipe:2000:OSM, 1937(0)449--z
-
Filled, 1731(0)359--z
-
Filling, Space-, 1832(0)20--z
-
Film, 1923(0)328--z, 1923(0)481--z
-
Filter, 1907(0)17--z, 1940(0)319--z
-
Filtering, 1800(0)250--z, 1892(0)315--z, 1892(0)363--z, 1902(0)151--z,
1923(0)403--z, 1932(0)435--z, 1933(0)293--z, 1975(0)44--z,
1983(0)380--z
-
Filtering, Frequency-, 1902(0)265--z
-
Finance, 1976(0)373--z, 1983(0)538--z
-
Financial, 1983(0)215--z, 1983(0)256--z, 1983(0)268--z, 1983(0)274--z,
1983(0)308--z, 1983(0)532--z
-
Find, 1928(0)290--z
-
Finding, 1806(0)161--z, 1849(0)333--z, 1853(0)73--z, 1858(0)137--z,
1861(0)493--z, 1864(0)313--z, 1910(0)498--z, 1932(0)266--z,
1932(0)486--z, 1983(0)133--z
-
Fine, 1940(0)146--z, 1974(0)429--z
-
Fingerprint, 1857(0)351--z
-
Fingerprinting, 1975(0)97--z, 1976(0)401--z, 1976(0)415--z
-
Finite, 1754(0)18--z, 1761(0)95--z, 1782(0)290--z, 1800(0)1266--z,
1853(0)199--z, 1853(0)272--z, 1853(0)487--z, 1853(0)536--z,
1858(0)447--z, 1858(0)457--z, 1861(0)285--z, 1861(0)448--z,
1861(0)897--z, 1877(0)108--z, 1907(0)66--z, 1908(0)121--z,
1961(0)1--z, 1976(0)248--z
-
Finite-State, 1853(0)744--z, 1877(0)521--z, 1932(0)166--z
-
Finitely, 1853(0)675--z
-
Fink, Michael, 1919(0)2--z
-
Fink, Michael, see Eiter, Thomas
-
Fink, Torsten, 1908(0)208--z
-
Fink:2000:IMC, 1908(0)208--z
-
Finke, Matthias, 1905(0)172--z
-
Finke, Matthias, see Braun, Norbert
-
Finkel, Alain, 1770(0)346--z, 1877(0)566--z
-
Finkel:2000:DRP, 1770(0)346--z
-
Finkel:2000:WAT, 1877(0)566--z
-
Finney, Joe, 1905(0)266--z
-
Finney, Joe, see Schmid, Stefan
-
Finocchi, Irene, 1731(0)379--z
-
Finocchi, Irene, see Demetrescu, Camil
-
Firm, 1800(0)743--z
-
first, 1753(0)1--z, 1761(0)137--z, 1761(0)236--z, 1858(0)193--z,
1910(0)299--z, 1932(0)377--z, 1955(0)25--z, 1983(0)187--z,
2125(0)471--z
-
First-Class, 1782(0)88--z, 1782(0)336--z, 1782(0)412--z, 1861(0)429--z
-
First-Order, 1761(0)1--z, 1761(0)152--z, 1761(0)282--z, 1784(0)297--z,
1853(0)342--z, 1861(0)53--z, 1866(0)112--z
-
Firstborn, 1834(0)235--z
-
Fischer, Clemens, 1816(0)469--z
-
Fischer, Markus, 1800(0)16--z
-
Fischer:2000:ANS, 1800(0)16--z
-
Fischer:2000:BSR, 1816(0)469--z
-
Fischlin, Marc, 1880(0)413--z, 1976(0)458--z
-
Fischlin, Roger, 1880(0)413--z
-
Fischlin, Roger, see Fischlin, Marc
-
Fischlin:2000:ENM, 1880(0)413--z
-
Fischlin:2000:NSP, 1976(0)458--z
-
Fisher, 1857(0)117--z
-
Fisher, Kathleen, 1782(0)135--z, 1850(0)83--z
-
Fisher, Pete, 1934(0)196--z
-
Fisher, Pete, see Weisgerber, John
-
Fisher:2000:CCL, 1782(0)135--z
-
Fisher:2000:EMI, 1850(0)83--z
-
Fishkin, Aleksei V., 1974(0)454--z
-
Fishkin, Aleksei V., see Afrati, Foto
-
Fit, 1755(0)80--z
-
Fitness, 1813(0)143--z, 1937(0)419--z
-
Fitting, Melvin, 1761(0)23--z, 1861(0)41--z
-
Fitting:2000:DHT, 1861(0)41--z
-
Fitting:2000:HOM, 1761(0)23--z
-
Fitzgibbon, A. W., 1883(0)298--z
-
Fitzgibbon, A. W., see Triggs, B.
-
Fixed, 1851(0)97--z, 1974(0)106--z
-
Fixed-Length, 1976(0)90--z
-
Fixed-Parameter, 2125(0)75--z
-
Fixpoint, 1861(0)164--z, 1864(0)1--z
-
Flach, Peter, 1910(0)255--z
-
Flach, Peter, see Todorovski, Ljup{\v{c}}o
-
Flack, Chapman, 1907(0)1--z
-
Flack:2000:BLT, 1907(0)1--z
-
Flajolet, Philippe, 1853(0)388--z
-
Flajolet, Philippe, see Banderier, Cyril
-
FLASH, 1912(0)341--z
-
Flash, 1976(0)192--z
-
Flat, 1940(0)494--z
-
Flegel, Ulrich, 1907(0)28--z
-
Flegel, Ulrich, see Biskup, Joachim
-
Fleischer, Lisa K., 1800(0)505--z
-
Fleischer:2000:ISC, 1800(0)505--z
-
Fleischmann, Rodrigo Uzun, 1909(0)147--z
-
Fleischmann, Rodrigo Uzun,
see Granville, Lisandro Zambenedetti
-
Fleming, Michael, 1934(0)25--z
-
Fleming:2000:MIT, 1934(0)25--z
-
Flender, Gerd, 1800(0)1144--z
-
Flender, Gerd, see Barth, Thomas
-
Flesca, Sergio, 1777(0)510--z
-
Flesca:2000:QGD, 1777(0)510--z
-
Fleury, Éric, 1800(0)528--z, see Chelius, Guillaume
-
Flexibility, 1806(0)218--z, 1850(0)27--z, 1937(0)17--z
-
Flexible, 1752(0)497--z, 1800(0)1184--z, 1907(0)130--z, 1940(0)260--z
-
FlexiNet, 1752(0)497--z
-
FlexVoice, 1902(0)189--z
-
Flich, Jose, 1940(0)300--z
-
Flich:2000:CTB, 1940(0)300--z
-
Floating, 1954(0)3--36, 1954(0)217--z
-
Flood, 1909(0)137--z
-
Flood, C. H., 1914(0)59--z
-
Flood, C. H., see Detlefs, D. L.
-
Flooding, 1914(0)253--z
-
FLORA, 1861(0)1078--z
-
Flow, 1755(0)40--z, 1755(0)389--z, 1767(0)277--z, 1770(0)455--z,
1782(0)26--z, 1782(0)180--z, 1782(0)382--z, 1851(0)300--z,
1851(0)462--z, 1853(0)415--z, 1877(0)395--z, 1892(0)155--z,
1928(0)116--z, 1940(0)494--z, 1940(0)502--z, 1940(0)514--z,
1961(0)199--z, 2125(0)450--z
-
Flow, Control-, 1806(0)161--z
-
Flow, Multiple-, 1905(0)77--z
-
Flow-Directed, 1782(0)56--z
-
Flowmeter, 1825(0)346--z
-
Fluent, 1861(0)733--z, 1861(0)747--z, 1861(0)762--z, 1861(0)777--z,
1861(0)1225--z, 1955(0)436--z
-
Fluid, 1940(0)440--z
-
Fly, On-the-, 1954(0)390--z
-
FMPPTA, 1800(0)974--z
-
Focardi, Riccardo, 1816(0)258--z, 1853(0)354--z
-
Focardi:2000:ITN, 1853(0)354--z
-
Focardi:2000:MAT, 1816(0)258--z
-
Focus, 1902(0)289--z
-
Focused, Seller-, 2125(0)135--z
-
Foggia, P., 1857(0)330--z
-
Foggia, P., see Cordella, L. P.
-
Fokkink, W. J., 1853(0)729--z
-
Fokkink:2000:CES, 1853(0)729--z
-
Fold, 1861(0)613--z, 2125(0)401--z
-
Folding, 1940(0)268--z
-
Follow, 1923(0)395--z
-
Fomin, Fedor, 1928(0)161--z
-
Fomin:2000:DSN, 1928(0)161--z
-
Fong, Jessica H., 1770(0)193--z
-
Fong, L. Y., 1983(0)505--z
-
Fong, L. Y., see Szeto, K. Y.
-
Fong:2000:APD, 1770(0)193--z
-
Fonseca, Manuel J., 1941(0)266--z
-
Fonseca, Manuel J., see Jorge, Joaquim A.
-
Fontaine, Caroline, 1807(0)507--z
-
Fontaine, Caroline, see Canteaut, Anne
-
Fontoura, Marcus, 1850(0)63--z
-
Fontoura:2000:UFM, 1850(0)63--z
-
Foo, Ernest, 1975(0)149--z
-
Foo, Ernest, see Maitland, Greg
-
Food, 1892(0)331--z, 1923(0)490--z
-
Football, 1834(0)286--z
-
Footprints, 1923(0)280--z
-
Forax, Rémi, 1799(0)147--z
-
Forax:2000:RTP, 1799(0)147--z
-
Forbidden, 1853(0)869--z, 1858(0)330--z
-
Force, Brute-, 1977(0)67--z
-
Force-Directed, 1731(0)351--z
-
Forecast, 1755(0)511--z
-
Forecasting, 1983(0)268--z, 1983(0)274--z
-
Forero, Manuel Guillermo, 1834(0)205--z
-
Forero, Manuel Guillermo, see Mendoza, Bernardo Uribe
-
Forests, 1864(0)219--z
-
Forgery, 1880(0)184--z
-
Forget, 1878(0)230--z
-
Forgotten, 1934(0)137--z
-
form, 1800(0)951--z, 1839(0)282--z, 1954(0)73--z, 1977(0)283--z
-
Formal, 1755(0)155--z, 1755(0)470--z, 1783(0)82--z, 1783(0)127--z,
1783(0)178--z, 1783(0)193--z, 1783(0)334--z, 1783(0)363--z,
1783(0)367--z, 1800(0)974--z, 1800(0)1019--z, 1800(0)1037--z,
1806(0)142--z, 1806(0)345--z, 1816(0)2--z, 1853(0)127--z,
1861(0)1137--z, 1861(0)1210--z, 1877(0)29--z, 1877(0)66--z,
1878(0)2--z, 1878(0)168--z, 1878(0)363--z, 1878(0)374--z,
1878(0)433--z, 1878(0)491--z, 1912(0)242--z, 1919(0)21--z,
1937(0)57--z, 1937(0)97--z, 1937(0)296--z, 1954(0)3--36,
1954(0)217--z, 1954(0)246--z, 1954(0)335--z, 1956(0)1--z,
1974(0)325--z
-
formal, Semi-, 1783(0)82--z
-
Formalising, 1956(0)174--z
-
Formalism, 1816(0)469--z, 1835(0)16--26, 1839(0)654--z, 1932(0)629--z,
1937(0)366--z
-
Formality, 1907(0)1--z
-
Formalization, 1919(0)133--z, 1937(0)288--z
-
Formalizing, 1782(0)88--z, 1792(0)285--z, 1940(0)428--z
-
Formalware, 1816(0)197--z
-
Forman, George, 1910(0)243--z
-
Forman, George, see Zhang, Bin
-
format, 1792(0)238--z
-
Formative, 1892(0)276--z
-
Formed, Well-, 1825(0)43--z
-
Formisano, Andrea, 1761(0)175--z
-
Formisano:2000:ERE, 1761(0)175--z
-
Formula, 1792(0)84--z, 1792(0)226--z, 1861(0)493--z, 1861(0)583--z,
1861(0)688--z, 1861(0)897--z, 1919(0)179--z
-
Formulae, 1853(0)612--z
-
Formulas-as-Types-as-Objects, 1956(0)174--z
-
Formulation, 1956(0)148--z
-
Forrest, Stephanie, 1813(0)3--z
-
Forrest, Stephanie, see Holland, John H.
-
Fortnow, Lance, 1770(0)407--z
-
Fortnow, Lance, see Buhrman, Harry
-
Forums, 1765(0)209--z
-
Forward-Secure, 1976(0)116--z
-
Foti, D., 1800(0)390--z
-
Foti:2000:SPC, 1800(0)390--z
-
Foundation, 1783(0)304--z, 1784(0)314--z, 1800(0)1039--z, 1806(0)66--z,
1839(0)272--z, 1857(0)67--z, 1861(0)733--z, 1932(0)283--z,
1932(0)582--z
-
Founded, Well-, 1861(0)673--z
-
Four, 2125(0)99--z
-
Four-Connected, 1731(0)145--z
-
Four-Scenes, 1941(0)155--z
-
Fouren, A., 1914(0)149--z
-
Fouren, A., see Attiya, H.
-
Fournet, Cédric, 1974(0)397--z
-
Fournet:2000:IJC, 1974(0)397--z
-
Fournier, Hervé, 1853(0)832--z
-
Fournier:2000:LBE, 1853(0)832--z
-
Fowler, Robert J., 1915(0)182--z
-
Fowler, Robert J., see Zhang, Kai
-
Fox, 1923(0)395--z
-
Fox, Geoffrey, 1800(0)526--z
-
Fox, Geoffrey, see Caromel, Denis
-
Fox, Mark S., 1822(0)164--z
-
Fox, Mark S., see Lallement, Yannick
-
FPGA, 1800(0)776--z, 1800(0)874--z, 1800(0)951--z
-
FPGA, Multi-, 1800(0)924--z
-
FPGAash, 1800(0)890--z
-
FPGAs, 1755(0)257--z
-
FPT, 1974(0)240--z
-
Fradet, Pascal, 1783(0)319--z
-
Fradet:2000:ANF, 1783(0)319--z
-
Fragment, 1761(0)126--z, 1761(0)152--z, 1770(0)267--z, 1861(0)1137--z,
1955(0)436--z, 1974(0)264--z
-
Fragmentation, 2125(0)313--z
-
Fraguas, Francisco J., López-, 1755(0)297--z, 1861(0)179--z
-
Frames, 1883(0)85--z
-
framework, 1731(0)107--z, 1737(0)153--z, 1755(0)1--z, 1761(0)191--z,
1784(0)114--z, 1799(0)91--z, 1800(0)692--z, 1800(0)738--z,
1800(0)766--z, 1800(0)792--z, 1816(0)438--z, 1832(0)153--z,
1834(0)54--z, 1835(0)106--z, 1850(0)63--z, 1850(0)362--z,
1853(0)127--z, 1857(0)250--z, 1857(0)362--z, 1861(0)399--z,
1864(0)71--z, 1864(0)164--z, 1864(0)326--z, 1877(0)69--z,
1905(0)227--z, 1915(0)57--z, 1919(0)361--z, 1941(0)193--z,
1949(0)152--z, 1949(0)252--z, 1974(0)55--z, 1974(0)373--z,
1975(0)30--z, 1975(0)164--z, 1983(0)295--z
-
Framsticks, 1834(0)214--z
-
Franceschet, Massimo, 1792(0)131--z
-
Franceschet:2000:PTC, 1792(0)131--z
-
Franceschini, Robert, 1800(0)250--z
-
Franceschini, Robert, see Jamkhandi, Piyush
-
Franceschinis, Giuliana, 1825(0)43--z
-
Franceschinis, Giuliana, see Ballarini, Paolo
-
Franco, Gianluca, 1974(0)429--z
-
Franco, Gianluca, see Gianantonio, Pietro Di
-
Franconi, Enrico, 1861(0)1048--z
-
Franconi:2000:SAS, 1861(0)1048--z
-
Frank, Andrew U., 1849(0)80--z
-
Frank, Jeremy, 1864(0)271--z
-
Frank, Lars, 1755(0)341--z
-
Frank:2000:IDC, 1755(0)341--z
-
Frank:2000:RPD, 1864(0)271--z
-
Frank:2000:SCM, 1849(0)80--z
-
Franklin, Matt, 1976(0)373--z
-
Franklin:2000:CDP, 1976(0)373--z
-
Fraser, Donald, 1857(0)300--z
-
Fraser, Donald, see Wan, Weijian
-
Frasson, Claude, 1839(0)113--z, 1839(0)554--z
-
Frasson, Claude, see Thibodeau, Marc-Andre,
see Zouaq, Amal
-
Fraternali, Piero, 1777(0)3--z
-
Fraternali, Piero, see Ceri, Stefano
-
Frattolillo, F., 1800(0)536--z
-
Frattolillo, F., see Santo, M. Di
-
Fraud, 1800(0)636--644
-
Fraysseix, Hubert de, 1731(0)276--z
-
Fred, 1834(0)12--23
-
Free, 1761(0)109--z, 1807(0)351--z, 1851(0)214--z, 1878(0)59--z
-
Free, Abuse-, 1853(0)524--z
-
Free, Alternation-, 1955(0)418--z
-
Free, Arbitrage-, 1983(0)551--z
-
Free, AT-, 1928(0)59--z
-
Free, Conflict-, 1858(0)351--z
-
Free, Congestion-, 1800(0)234--z
-
Free, Cube-, 1770(0)99--z
-
Free, Deadlock-, 1877(0)489--z
-
Free, Receipt-, 1807(0)539--z
-
Free, Triangle-, 1731(0)341--z
-
Free-Sets, 1910(0)75--z
-
Free-Space, 1800(0)1104--z
-
FreeBSD, 1961(0)33--z
-
Freedman, Reva, 1839(0)433--z, 1839(0)474--z
-
Freedman, Reva, see VanLehn, Kurt
-
Freedman:2000:TNL, 1839(0)433--z
-
Freisleben, Bernd, 1800(0)1144--z
-
Freisleben, Bernd, see Barth, Thomas
-
Freitag, Burkhard, 1773(0)45--z
-
Freitag, Burkhard, see Fent, Alfred
-
Freitas, Alex A., 1910(0)345--z
-
Freitas, Alex A., see Carvalho, Deborah R.
-
Freitas, Vasco, 1923(0)376--z
-
Freitas, Vasco, see Macedo, Joaquim
-
Freksa, Christian, 1849(0)54--z, 1849(0)100--z
-
Freksa, Christian, see Casakin, Hernan
-
Freksa:2000:SMR, 1849(0)100--z
-
French, 1835(0)242--251, 1835(0)315--z
-
Frequency, 1902(0)314--z, 1910(0)75--z, 1950(0)145--z, 1950(0)161--z,
1974(0)81--z
-
Frequency, High-, 1934(0)158--z
-
Frequency-Filtering, 1902(0)265--z
-
Frequent, 1861(0)972--z, 1910(0)13--z, 1910(0)316--z, 1932(0)562--z
-
Frequently, 1909(0)137--z
-
Frey, Lud{\v{e}}k, 1902(0)151--z,
see {\v{Z}}i{\v{z}}ika, Jan
-
Freytag, Johann Christoph, 1949(0)168--z
-
Freytag, Johann Christoph, see Bergholz, André
-
Friction, 1858(0)310--z
-
Fried, David J., 1907(0)162--z
-
Fried, David J., see Lippmann, Richard
-
Fried, Roland, 1933(0)67--z
-
Fried:2000:SSM, 1933(0)67--z
-
Frieder, Ophir, 1800(0)1281--z
-
Frieder, Ophir, see Chowdhury, Abdur
-
Friedman, R., 1914(0)374--z
-
Friedman, R., see Chockler, G.
-
Friedrich, Gerhard, 1937(0)312--z
-
Friedrich, Gerhard, see Felfernig, Alexander
-
Friedrich, Mario, 1799(0)79--z
-
Friedrich, Stefan, 1954(0)91--z
-
Friedrich, Stefan, see Basin, David
-
Friedrich:2000:EOO, 1799(0)79--z
-
Friendly, User-, 1923(0)352--z
-
Fries, Terrence P., 1864(0)303--z
-
Fries:2000:ABA, 1864(0)303--z
-
Frisiani, Arrigo, 1908(0)152--z
-
Frisiani, Arrigo, see Migliardi, Mauro
-
Fritsche, Lutz, 1933(0)198--z
-
Fritsche:2000:WBE, 1933(0)198--z
-
Frixione, Marcello, 1792(0)333--z
-
Frixione, Marcello, see Chella, Antonio
-
Fröba, Bernhard, 1857(0)362--z
-
Froba:2000:SSC, 1857(0)362--z
-
Froebel, Peter, 1816(0)73--z
-
Froebel, Peter, see Lawford, Mark
-
Fröhlich, Peter, 1850(0)472--z
-
Frohlich:2000:ATC, 1850(0)472--z
-
Front-Ends, 1755(0)481--z
-
Frucci, M., 1941(0)219--z
-
Frucci, M., see Cordella, L. P.
-
Fruitflies, 1822(0)13--z
-
Frumkin, Michael, 1940(0)440--z
-
Frumkin, Michael, see Jin, Haoqiang
-
Frustagli, Gianluca, 1933(0)225--z
-
Frustagli, Gianluca, see Mattucci, Dino Alberto
-
Frutos Escrig, David, de, 1825(0)187--z
-
Frutos-Escrig, David de, 1877(0)259--z
-
Frutos-Escrig, David de, see Bruni, Roberto
-
FSOI, 1800(0)1126--z
-
FT-MPI, 1908(0)346--z
-
FTL, 1861(0)523--537
-
FTPDS, 1800(0)1200--z
-
Fu, Ada Wai-chee, 1932(0)59--z
-
Fu, Yongjian, 1737(0)249--z, 1836(0)21--z
-
Fu, Yuxi, 1877(0)596--z, 1974(0)385--z
-
Fu:2000:CCM, 1877(0)596--z
-
Fu:2000:GBA, 1836(0)21--z
-
Fu:2000:GCC, 1974(0)385--z
-
Fu:2000:IHD, 1737(0)249--z
-
Fu:2000:MMI, 1932(0)59--z
-
Fua, P., 1883(0)37--z
-
Fua, P., see Leclerc, Y. G.
-
Fuchs, Martin, 1902(0)433--z
-
Fuchs:2000:AMM, 1902(0)433--z
-
Fuente, Oscar, 1839(0)43--z
-
Fuente, Oscar, see Arcos, José Luis Los
-
Fuhr, Norbert, 1923(0)352--z, 1923(0)364--z
-
Fuhr, Norbert, see Gövert, Norbert
-
Fuhr:2000:CSB, 1923(0)364--z
-
Fujihara, Nobuhiko, 1765(0)427--z
-
Fujihara, Nobuhiko, see Azechi, Shintaro
-
Fujihira, Masaru, 1839(0)655--z
-
Fujihira, Masaru, see Itoh, Kohji
-
Fujii, Atsushi, 1934(0)13--z
-
Fujii, Kensaku, 1765(0)338--z
-
Fujii:2000:AMT, 1934(0)13--z
-
Fujii:2000:NSR, 1765(0)338--z
-
Fujishige, Satoru, 1851(0)300--z
-
Fujishige, Satoru, see Arata, Kouji
-
Fujishiro, Issei, 1940(0)537--z
-
Fujishiro, Issei, see Chen, Li
-
Fujita, Satoshi, 1858(0)210--z, 1940(0)243--z
-
Fujita:2000:DLB, 1940(0)243--z
-
Fujita:2000:TDL, 1858(0)210--z
-
Fujito, Toshihiro, 1974(0)117--z
-
Fujito:2000:AIC, 1974(0)117--z
-
Fujiwara, Akihiro, 1800(0)116--z
-
Fujiwara:2000:PSP, 1800(0)116--z
-
Fukamachi, Shuichi, 1767(0)306--z
-
Fukamachi, Shuichi, see Shibata, Yusuke
-
Fukuda, Yuko, 1940(0)535--z
-
Fukuda, Yuko, see Nishihara, Katsunobu
-
Fulantelli, Giovanni, 1892(0)305--z
-
Fulantelli:2000:AOH, 1892(0)305--z
-
Full, 1761(0)282--z, 1880(0)229--z, 1902(0)39--z
-
Fuller, John, 1799(0)91--z
-
Fuller, John, see Dobson, Simon
-
Fully, 1731(0)49--z, 1914(0)283--z
-
Fully-Abstract, 1853(0)163--z
-
function, 1770(0)605--z, 1777(0)219--223, 1782(0)200--z, 1784(0)1--z,
1792(0)226--z, 1799(0)165--z, 1807(0)275--z, 1807(0)335--z,
1807(0)445--z, 1807(0)453--z, 1807(0)485--z, 1807(0)507--z,
1816(0)26--z, 1851(0)504--z, 1857(0)147--z, 1857(0)250--z,
1861(0)358--z, 1861(0)629--z, 1864(0)45--z, 1864(0)107--z,
1880(0)515--z, 1902(0)229--z, 1910(0)409--z, 1940(0)292--z,
1954(0)217--z, 1954(0)234--z, 1956(0)1--z, 1961(0)273--z,
1976(0)162--z, 1977(0)1--z, 1977(0)19--z, 2125(0)246--z
-
Functional, 1753(0)16--z, 1753(0)32--z, 1753(0)47--z, 1753(0)63--z,
1777(0)350--z, 1782(0)1--z, 1782(0)165--z, 1782(0)230--z,
1816(0)73--z, 1835(0)27--z, 1853(0)37--z, 1861(0)179--z,
1877(0)442--z, 1923(0)219--z, 1933(0)49--z, 1937(0)312--z,
1940(0)355--z, 1955(0)25--z, 1955(0)381--z, 1961(0)237--z
-
functional, Non-, 1783(0)319--z, 1800(0)1009--z
-
Functional-Logic, 1755(0)297--z
-
Functionally, 1974(0)465--z
-
Functor, 1902(0)45--z
-
Fundamental, 1839(0)564--z, 1932(0)311--z
-
Fung, C. C., 1983(0)97--z, 1983(0)103--z
-
Fung, C. C., see Wong, K. W.
-
Fung:2000:LCD, 1983(0)97--z
-
Funika, W{\l}odzimierz, 1908(0)242--z, see Bubak, Marian
-
Furcy, David, 1864(0)320--z
-
Furcy:2000:ULA, 1864(0)320--z
-
Furlanello, Cesare, 1857(0)220--z
-
Furlanello:2000:BTB, 1857(0)220--z
-
Furman, Vladimir, 1977(0)80--z
-
Furman, Vladimir, see Biham, Eli
-
Furnari, Mario Mango, 1940(0)336--z
-
Furnari, Mario Mango, see Calidonna, Claudia Roberta
-
Further, 1761(0)109--z, 1839(0)304--z
-
Furukawa, Takao, 1834(0)159--z
-
Furukawa:2000:CMP, 1834(0)159--z
-
Fusion, 1800(0)324--z, 1822(0)443--z, 1857(0)137--z, 1857(0)362--z,
1923(0)376--z
-
Future, 1731(0)379--z, 1765(0)45--z, 1777(0)3--z, 1800(0)1104--z,
1818(0)82--z, 1839(0)8--z, 1861(0)1--z, 1903(0)13--z, 1940(0)1--z
-
Fuzzification, 1933(0)274--z
-
Fuzzy, 1792(0)155--z, 1800(0)130--z, 1813(0)83--z, 1813(0)107--z,
1878(0)491--z, 1909(0)226--z, 1909(0)257--z, 1910(0)24--z,
1910(0)416--z, 1923(0)35--z, 1983(0)103--z, 1983(0)109--z
-
Fuzzy, Neuro-, 1857(0)372--z
-
Fyfe, Colin, 1983(0)158--z, 1983(0)164--z, 1983(0)332--z
-
Fyfe, Colin, see Gou, Zhenkun, \see{Han, Ying,
see McKay, Duncan
-
Fynn, John, 1839(0)649--z
-
Fynn, John, see Chambreuil, Michel