Na področju geometričnih in kombinatoričnih konfiguracij smo pokazali, da so šibko zastavično tranzitivne konfiguracije v povratno enolični zvezi z dvodelnimi 1/2-ločno tranzitivnimi grafi z notranjim obsegom 6 ali več. Konstruirali smo več neskončnih družin šibko zastavično tranzitivnih konfiguracij, med njimi tudi družino konfiguracij, ki niso sebi polarne. Najmanjša šibko zastavično tranzitivna konfiguracija, ki smo jo konstruirali, ima 27 točk, najmanjša taka konfiguracija, ki ni sebi polarna, pa 34 točk. Z uporabo več vzporednih računalniških sistemov v Ljubljani, Bielefeldu in Bayreuthu smo prešteli vse v 3 konfiguracije za v manjše je 19 in vse v 3 konfiguracije brez trikotnikov za v manjše je 21. Razvili smo teorijo policikličnih konfiguracij, ki predstavljajo posplošitev cikličnih konfiguracij in jih je mogoče opisati s pomočjo krovnih grafov s ciklično grupo. S to teorijo smo pridobili orodje za študij realizacij kombinatornih konfiguracij v običajni ravnini. Raziskali smo povezave policiklične strukture konfiguracij s kletkami. Posebej smo preštudirali lastnosti konfiguracij, ki ustrezajo 10-kletkam. Podrobneje smo se ukvarjali zlasti s policikličnimi v k konfiguracijami za k je 2,3,4. V nekaterih primerih lahko algebraično strukturo uporabimo pri opisu njihove rotacijske realizacije v evklidski ravnini. Izkazalo se je, da je za nekatere posebne družine policikličnih v 4 konfiguracij obstoj rotacijske realizacije natanko določen že s kombinatoričnim opisom. Na področju kemijske teorije grafov smo izdelali posplošeno spiralno kodo, ki omogoča učinkovit zapis poljubnega kubičnega poliedra. Razvili smo osnovno teorijo cikličnih Haarovih grafov in jo uporabili za raziskavo simetrijskih lastnosti nekaterih molekularnih grafov na torusu. Z metodo rodovnih funkcij smo izračunali Hosoyeve polinome različnih družin grafov benzenoidnih molekul. Razvili smo postopke za rekonstrukcijo molekularnih grafov, ki ob dolžinah vezi upoštevajo tudi kote in tako dosegajo mnogo večjo zanesljivost in robustnost. Na področju simbolnega računanja smo Gosperjev sumacijski algoritem posplošili na primer, ko so sumandi hkrati hipergeometrični in multibazni q-hipergeometrični. Razvili smo algoritme za iskanje polinomskih ter hipergeometričnih rešitev rekurzivnih enačb v multibaznem in mešanem primeru. Izdelali smo teorijo reševanja linearnih operatorskih enačb z razvojem rešitve v vrsto po polinomski bazi, ki je združljiva z operatorjem. Pokazali smo, da s tem dobimo izomorfizem med ustreznima operatorskima algebrama, kar smo uporabili pri iskanju rešitev operatorskih enačb v obliki vrst s polinomskimi, racionalnimi oziroma hipergeometričnimi koeficienti. Preučevali smo reševanje večrazsežnih linearnih rekurzivnih enačb s konstantnimi koeficienti. Enačbi smo priredili apeks, ki skupaj z začetnimi pogoji odloča o algebraični naravi rodovne funkcije rešitve. Konstruirali smo primere enačb, kjer je rodovna funkcija rešitve D-končna, a ni algebraična, in primere, kjer ta funkcija ni D-končna. Raziskali smo strukturo hipergeometričnih členov več spremenljivk in dokazali nekoliko popravljeno domnevo Wilfa in Zeilbergerja, da je vsak holonomen hipergeometrični člen konjugiran nekemu pravemu hipergeometričnemu členu. Konstruirali smo primere holonomnih hipergeometričnih členov, ki niso pravi, ter razvili algoritem, ki poišče minimalno aditivno dekompozicijo hipergeometričnega člena ene spremenljivke. V teoriji relativne realizabilnosti smo študirali izračunljivo analizo in izračunljivo topologijo. Za računske modele smo privzeli parcialne kombinatorne algebre s podalgebrami izračunljivih elementov, na osnovi katerih smo definirali kategorije skromnih množic. Pokazali smo, da so domene s totalnostmi vložene v ekvilogične prostore in da vložitev ohrani preproste in odvisne tipe. Demonstrirali smo, kako lahko razvijemo izračunljivo analizo in topologijo v notranji logiki skromnih množic.