Accessibility and presentability in 2-categoriesDi Liberti, Ivan; Loregian, FoscoJournal of pure and applied algebra2023 / art. 107155, 25 p https://doi.org/10.1016/j.jpaa.2022.107155 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS AGMF'2007 GöteborgisPaal, EugenAastaraamat 2007 / Eesti Matemaatika Selts2012 / lk. 178 Aichinger, Florian. On the convergence rate of the fraction of simple algebras : [review]Henno, JaakZentralblatt MATH2020 / 1 p https://www.zbmath.org/?q=an:1459.08001 https://doi.org/10.1007/s00012-020-00684-4 Algebra Geometry Mathematical Physics VIII2013 Algebra ja geomeetria näidisülesandeid inseneridele : õppevahendKivinukk, Andi1992 https://www.ester.ee/record=b1063627*est Algebra ja trigonomeetria õpik : gümnaasiumi IV klassileRatassepp, Kalev1942 https://www.ester.ee/record=b1288582*est Algebra of differential forms with exterior differential d3 = 0 in dimensions one and twoBazunova, NadeždaRocky Mountain journal of mathematics2002 / p. 483-497 https://www.jstor.org/stable/44238643 Algebra, geomeetria ja matemaatiline füüsika. 5. rahvusvaheline konverents, Bedlewo, Poola, 12.-16. oktoober 2009Paal, EugenAastaraamat 2009 / Eesti Matemaatika Selts2010 / lk. 272-273 Algebra, geomeetria ja matemaatilise füüsika konverents Tallinnas : [10.-13. juulil 2014 Tallinna Tehnikaülikoolis]Kuusk, PiretAastaraamat 2012 / Eesti Matemaatika Selts2014 / lk. 143-146 Algebra, geomeetria ja matemaatilise füüsika rahvusvaheline seminar AGMF'05 TallinnasPaal, Eugen; Puusemp, PeeterAastaraamat 2005 / Eesti Matemaatika Selts2006 / lk. 241-242 Algebra, geometry and mathematical physics2011 Algebra, geometry and mathematical physics : AGMP, Mulhouse, France, October 20112014 https://www.ester.ee/record=b4425009*est Algebraic and coalgebraic perspectives on interaction lawsUustalu, Tarmo; Voorneveld, NielsProgramming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings2020 / p. 186-205 https://doi.org/10.1007/978-3-030-64437-6_10 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS Algebraic approach for analysis and control of a water tank systemBelikov, Juri; Kotta, Ülle; Tepljakov, AlekseiInformation technology and control2016 / p. 175-183 : ill http://dx.doi.org/10.5755/j01.itc.45.2.13212 Algebraic formalism of differential one-forms for nonlinear control systems on time scalesBartosiewicz, Zbigniew; Kotta, Ülle; Pawluszewicz, Ewa; Wyrwas, MałgorzataProceedings of the Estonian Academy of Sciences. Physics. Mathematics2007 / 3, p. 264-282 Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006 : Kuressaare, Estonia, July 2006 : proceedingsJohnson, Michael; Vene, Varmo2006 https://www.ester.ee/record=b2160509*est Algebraic necessary and sufficient condition for difference flatnessKaldmäe, ArvoInternational Journal of Control2021 / 8 p https://doi.org/10.1080/00207179.2021.1908598 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Algebralised teisendusedKõiv, HelgiMatemaatika ülesanded kõrgkoolidesse astujaile1985 / lk. 11-22 https://www.ester.ee/record=b1248239*est Algebraliste süsteemide endomorfismide uurimisest Tartu Ülikooli kasvandike pooltPuusemp, Peeter350 aastat matemaatikat Tartu Ülikoolis = 350 лет математики в Тартуском университете : ettekannete teesid1982 / lk. 73-76 https://www.ester.ee/record=b1255795*est Bialgebraic foundations for the operational semantics of string diagramsBonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel Maria; Zanasi, FabioInformation and computation2021 / art. 104767, 22 p https://doi.org/10.1016/j.ic.2021.104767 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Birepresentation of Mal'tsev AlgebrasPaal, EugenInternational Congress on Algebra in Memory of A.L.Shirsov : Barnaul, August 20-25 : theses on ring theory, algebras and modules : abstracts1991 / p. 172 Birepresentations of Mal'tsev algebrasPaal, EugenTallinna Tehnikaülikooli Toimetised1994 / lk. 19-32 Book reviews : Semigroups and automata. SelectaUno Kaljulaid (1941-1999). Edited by Jaak Peetre (Lund, Sweden) and Jaan Penjam (Tallinn, Estonia), 2006, IOS Press, Amsterdam. ISBN 1-58603-582-7Lumiste, ÜloProceedings of the Estonian Academy of Sciences. Physics. Mathematics2006 / p. 189-191 Build, augment and destroy, universallyGhani, Neil; Uustalu, Tarmo; Vene, VarmoProgramming Languages and Systems : Second Asian Symposium : APLAS 2004 : Taipei, Taiwan, November 4-6, 2004 : proceedings2004 / p. 327-347 https://www.researchgate.net/publication/221323363_Build_Augment_and_Destroy_Universally A canonical algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaFormal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings2021 / p. 63-81 https://doi.org/10.1007/978-3-030-90636-8_4 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS Canonical gradings of monadsBreuvart, Flavien; McDermott, Dylan; Uustalu, TarmoProceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 1-21 https://doi.org/10.4204/eptcs.380.1 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf Conference proceedings at Scopus Article at Scopus Article at WOS Celakoska-Jordanova, Vesna; Celakoska, Emilija; Miovska, Valentina. Free power-semicommutative ternary groupoids : [review]Henno, JaakZentralblatt MATH2020 / 1 p https://zbmath.org/?q=an:1436.08008 Coalgebra, cocomposition and cohomologyOziewicz, Zbigniew; Paal, Eugen; Rozanski, JerzyNon-associative algebra and its applications1994 / p. 314-322 Coalgebraic update lensesAhman, Danel; Uustalu, TarmoElectronic notes in theoretical computer science2014 / p. 25-48 : ill A coalgebraic view of bar recursion and bar inductionCapretta, Venanzio; Uustalu, TarmoFoundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings2016 / p. 91-106 https://doi.org/10.1007/978-3-662-49630-5_6 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS Coassociativity, cohomology and Gerstenhaber algebrasPaal, EugenAlgebras, groups and geometries1998 / p. 85-93 Codensity lifting of monads and its dualKatsumata, Shin-ya; Sato, Tetsuya; Uustalu, TarmoLogical methods in computer science2018 / p. 1-31 https://doi.org/10.23638/LMCS-14(4:6)2018 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS (Co)end CalculusLoregian, Fosco2021 https://doi.org/10.1017/9781108778657 Combining algebraic effect descriptions using the tensor of complete latticesVoorneveld, NielsElectronic notes in theoretical computer science2020 / p. 257-281 https://doi.org/10.1016/j.entcs.2020.09.013 Journal metrics at Scopus Article at Scopus Article at WOS Completeness for categories of generalized automataBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 20232023 / art. 20, 14 p. : ill https://doi.org/10.4230/LIPIcs.CALCO.2023.20 Conference proceeding at Scopus Article at Scopus Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / p. 8:1−8:42 https://doi.org/10.23638/LMCS-17(2:8)2021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Constructive final semantics of finite bagsJoram, Philipp; Veltri, Niccolò14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 20232023 / art. 20, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.20 Conference proceeding at Scopus Article at Scopus Couceiro, Miguel; Devillet, Jimmy. Every quasitrivial \(n\)-ary semigroup is reducible to a semigroup : [review]Henno, JaakZentralblatt MATH2020 / 1 p https://zbmath.org/?q=an:1446.20084 Davvaz, Bijan; Leoreanu-Fotea, Violeta; Feng, Feng. Redox reactions as experimental examples of ternary weak algebraic hyperstructures : [review]Zentralblatt MATH2018 / [2] p https://zbmath.org/?q=1397.20073 Degrading listsMcDermott, Dylan; Pirog, Maciej; Uustalu, TarmoProceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020), Part of BOPL 2020 : The Bologna Federated Conference on Programming Languages, 8-10 September 20202020 / art. 6, 14 p https://doi.org/10.1145/3414080.3414084 Conference proceedings at Scopus Article at Scopus Diagrammatic polyhedral algebraBonchi, Filippo; Di Giorgio, Alessandro; Sobocinski, Pawel Maria41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 40:1-40:18 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40 Conference Proceedings at Scopus Article at Scopus Differential 2-rigsLoregian, Fosco; Trimble, ToddProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 159-182 : ill https://doi.org/10.4204/EPTCS.380.10 Conference proceeding at Scopus Article at Scopus Article at WOS Differential 2-rigsLoregian, Fosco; Trimble, ToddarXiv.org2022 / 16 p. : ill https://doi.org/10.48550/arXiv.2103.00938 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4413.pdf Dodek, W. A.; Trokhimenko, V. S. Menger algebras of idempotent n-ary operations : [review]Henno, JaakzbMATH Open2022 / 1 p https://zbmath.org/1413.20061 Dolinka, Igor. Finite bands are finitely related : [review]Zentralblatt MATH2018 / [1] p https://zbmath.org/?q=06936367 Dynamical Poincare algebras and higher spin interaction theorySaar, R.; Ots, I.; Loide, Rein-Karl; Vili, R.Hadronic journal1997 / p. 559-574 Effective algebraic analysis approach to linear systems over Ore algebrasCluzeau, T.; Koutschan, C.; Quadrat, A.; Tõnso, MarisAlgebraic and symbolic computation methods in dynamical systems2020 / p. 3-52 https://doi.org/10.1007/978-3-030-38356-5_1 Escrows are opticsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanielearXiv.org2022 / 16 p. : ill https://doi.org/10.48550/arXiv.2105.10028 https://arxiv.org/pdf/2105.10028.pdf Extended observer form with vector fieldsMullari, Tanel; Kotta, Ülle; Kaldmäe, Arvo; Kaparin, Vadim; Simha, AshutoshInternational journal of control2023 / 14 p https://doi.org/10.1080/00207179.2023.2274060 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS First order power-assotiative deformations of Pauli algebraKõiv, Madis; Loide, Rein-KarlEesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics1979 / lk. 76-79 https://www.ester.ee/record=b1264310*est Flexible presentations of graded monadsKatsumata, Shin-ya; McDermott, Dylan; Uustalu, Tarmo; Wu, NicolasProceedings of the ACM on Programming Languages2022 / art. 123, 28 p https://doi.org/10.1145/3547654 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Flexibly graded monads and graded algebrasMcDermott, Dylan; Uustalu, TarmoMathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings2022 / p. 102-128 : ill https://doi.org/10.1007/978-3-031-16912-0_4 Conference Proceeding at Scopus Article at Scopus Article at WOS Conference proceeding at WOS Functions' algebra in nonlinear control : computational aspects and softwareBelikov, Juri; Kaldmäe, Arvo; Kaparin, Vadim; Kotta, Ülle; Shumsky, Alexey Ye.; Tõnso, Maris; Zhirabok, AlexeyProceedings of the Estonian Academy of Sciences2017 / p. 89-107 https://doi.org/10.3176/proc.2017.1.06 http://www.ester.ee/record=b2355998*est Hulkliikmetest ja algebralistest võrranditest : fakultatiivkursus XI klassileLõhmus, Ahto1980 https://www.ester.ee/record=b1270104*est Hulkliikmetest ja algebralistest võrranditest : fakultatiivkursus XI klassileLõhmus, Ahto1991 https://www.ester.ee/record=b1197645*est Identification of pseudo-random noise generator structureLossmann, Eerik; Meister, Ants; Madar, UrveElektronika ir elektrotechnika = Electronics and electrical engineering2005 / 6, p. 13-15 https://eejournal.ktu.lt/index.php/elt/article/view/10460 Invitation to compositionKluge, Liivi; Paal, Eugen; Stasheff, JimCommunications in algebra2000 / 3, p. 1405-1422 Jääkliikmega Tauberi teoreem Cesaro summeerimismenetluse korralTammeraid, IvarKonverentsi "Algebra ja analüüsi meetodid V" teesid : Tartus, 20. ja 21. novembril 1998. a. / Tartu Ülikool, matemaatikateaduskond1998 / lk. 35 Keskkooli algebraBorkvell, Albert; Kasvand, August; Laarens, Felix1937 https://www.ester.ee/record=b1537705*est Keskkooli algebraBorkvell, Albert; Kasvand, August; Laarens, Felix1937 https://www.ester.ee/record=b1537699*est Kõrgema matemaatika kontrolltööd. Algebra = Контрольные работы по высшей математике : алгебра1989 https://www.ester.ee/record=b1209438*est Kõrgema matemaatika teatmik. I, Põhimõisted. Lineaaralgebra. Analüütiline geomeetria1978 https://www.ester.ee/record=b1308433*est Mal'tsev algebras and conservation lawsLõhmus, Jaak; Paal, Eugen; Sorgsepp, LeoContemporary mathematics1995 / p. 281-290 Mal'tsev algebras and conservation lawsLõhmus, Jaak; Paal, Eugen; Sorgsepp, LeoAbst. II Int. Wigner Symposium, Goslar, July 15-20, 19911991 / p. 75 Mal'tsev algebras and trialityPaal, EugenJournal of physics : conference series2012 / p. 012015 https://iopscience.iop.org/article/10.1088/1742-6596/346/1/012015 Mashevitzky, G. Identical inclusions of semilattices : [review]Henno, JaakZentralblatt MATH2020 / 1 p https://zbmath.org/?q=an:1443.20085 Materjale keskkooli matemaatikakursuse kordamiseks. I osa, Aritmeetika ja algebra1971 https://www.ester.ee/record=b1328970*est Non-coordinate case of graded differential algebra with ternary differentialBazunova, NadeždaJournal of nonlinear mathematical physics2006 / Supplement, August, p. 21-26 https://www.tandfonline.com/doi/pdf/10.2991/jnmp.2006.13.s.3 Note on analytic Moufang loopsPaal, EugenAbstracts of International Conference : Loop'03 : Prague, 20032003 https://eudml.org/doc/249351 Note on Moufang-Noether currentsPaal, EugenCzechoslovak journal of physics2006 / 10/11, p. 1257-1262 https://arxiv.org/pdf/math-ph/0606054.pdf On ∗-representations of polynomial algebras in quantum matrix spaces of rank 2Bershtein, OlgaAlgebra and representation theory2013 / [11] p On algebraic structure of pre-operadKluge, Liivi2002 https://www.ester.ee/record=b1688674*est On currents and symmetries associated with Mal'tsev algebrasLõhmus, Jaak; Paal, Eugen; Sorgsepp, Leo1989 https://www.ester.ee/record=b1209537*est On derivation deviations in an abstract pre-operadKluge, Liivi; Paal, EugenCommunications in algebra2001 / p. 1609-1626 https://www.researchgate.net/publication/2099024_On_derivation_deviations_in_an_abstract_pre-operad On doctrines and Cartesian bicategoriesBonchi, Filippo; Santamaria, Alessio; Seeber, Jens; Sobocinski, Pawel MariaCALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings2021 / p. 10:1−10:7 https://doi.org/10.4230/LIPIcs.CALCO.2021.10 Conference Proceedings at Scopus Article at Scopus On mathematical complexity of SriyantraPustõnski, Vladislav-VenjaminIndian journal of history of science2014 / p. 268-277 : ill On Shirshov bases of graded algebrasPetrov, Fedor; Zusmanovich, PashaIsrael journal of mathematics2013 / p. 23-28 On the utility of Robinson-Amitsur ultrafiltersZusmanovich, PashaJournal of algebra2013 / p. 268-286 Operadic quantization as a tool for discrete geometryPaal, Eugen; Virkepu, Jüri3Quantum : Algebra Geometry Information (QQQ Conference 2012) : 10-13 July 2012, Tallinn, Estonia : dedicated to memory of Professor Jean-Louis Loday (1936-2012)2014 / p. 1-9 Operads and cohomologyKluge, Liivi; Paal, EugenAlgebras, groups and geometries2004 / p. 1-7 Operads and nonassociative deformationsPaal, EugenNon-associative algebra and its applications2006 / p. 323-328 https://www.taylorfrancis.com/chapters/edit/10.1201/9781420003451-34/operads-nonassociative-deformations-eugen-paal Operads for x-physicsPaal, EugenAbstracts of 10th International Colloquium "Quantum Groups and Integrable Systems" : Prague, 21-23 June, 20012001 / p. 8 https://www.researchgate.net/publication/226036969_Operads_for_x-physics Operads for x-physicsPaal, EugenCzechoslovak journal of physics2001 / 12, p. 1407-1413 Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriadNester, Chad Mitchell2024 https://www.ester.ee/record=b5650413*est https://digikogu.taltech.ee/et/Item/696327ea-955a-45ad-bf93-bca34084131f https://doi.org/10.23658/taltech.4/2024 Peirce's sequent proofs of distributivityMa, Minghui; Pietarinen, Ahti-VeikkoLogic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings2017 / p. 168-182 https://doi.org/10.1007/978-3-662-54069-5_13 Conference proceedings at Scopus Article at Scopus Article at WOS PrefaceMakhlouf, Abdenacer; Paal, Eugen; Silvestrov, Sergei; Stolin, AlexanderAlgebra, geometry and mathematical physics : AGMP, Mulhouse, France, October 20112014 / p. vii-ix Preface to "Algebra, Geometry, and Mathematical Physics 2010"Abramov, Viktor; Fuchs, Jürgen; Paal, Eugen; Shestopalov, Y.; Silvestrov, Sergei; Stolin, AlexanderJournal of physics : conference series2012 / p. 0111001 https://ui.adsabs.harvard.edu/abs/2012JPhCS.346a1001S/abstract The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Roman Garcia, MarioarXiv.org2023 / 56 p. : ill https://doi.org/10.48550/arXiv.2301.11867 Realization of nonlinear time-delay input–output equationsKaldmäe, Arvo; Kotta, Ülle; Tõnso, MarisIEEE Control Systems Letters2018 / p. 369-374 https://doi.org/10.1109/LCSYS.2018.2838456 Journal metrics at Scopus Article at Scopus Residuation in existential graphsHaydon, Nathan Joseph; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 229−237 https://doi.org/10.1007/978-3-030-86062-2_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS Rule algebras for adhesive categoriesBehr, Nicolas; Sobocinski, Pawel MariaLogical methods in computer science2020 / p. 2:1−2:38 https://doi.org/10.23638/LMCS-16(3:2)2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Runners for interleaving algebraic effectsVoorneveld, NielsTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 407-424 https://doi.org/10.1007/978-3-031-17715-6_26 Conference Proceedings at Scopus Article at Scopus Seminar "Algebra ja tema rakendused" : [2.-4. mail 2008 Viinistul]Puusemp, PeeterAastaraamat 2008 / Eesti Matemaatika Selts2010 / lk. 107-109 : fot Seminar "Algebra ja tema rakendused" : Nelijärve, 7.-8. mai 2005Paal, Eugen; Puusemp, PeeterAastaraamat 2005 / Eesti Matemaatika Selts2006 / lk. 243-244 Span(Graph) : a canonical feedback algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaSoftware and systems modeling2023 / p. 495-520 : ill https://doi.org/10.1007/s10270-023-01092-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, NielsMathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings2022 / p. 198-221 : ill https://doi.org/10.1007/978-3-031-16912-0_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 511 - 541 https://doi.org/10.1017/S0960129522000317 Journal at Scopus Article at Scopus Journal metrics at WOS Article at WOS The structure of concurrent process historiesNester, Chad MitchellCoordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings2021 / p. 209−224 https://doi.org/10.1007/978-3-030-78142-2_13 Conference proceedings at Scopus Article at Scopus Subdividing the positive cone (R+)γ by Voronoi perfect polyhedras and totally positive algebraic integersLeibak, Alar17th International conference on "Mathematical Modelling and Analysis" : June 6-9, 2012, Tallinn, Estonia : abstracts2012 / p. 78 Supersymmetry : superfield equations of motionLoide, Rein-Karl; Suurvarik, Pavel3Quantum : Algebra Geometry Information (QQQ Conference 2012) : 10-13 July 2012, Tallinn, Estonia : dedicated to memory of Professor Jean-Louis Loday (1936-2012)2014 / p. 1-7 Sweedler theory of monadsMcDermott, Dylan; Rivas, Exequiel; Uustalu, TarmoFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings2022 / p. 428-448 https://doi.org/10.1007/978-3-030-99253-8_22 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS The connection between different static state feedback linearizability conditions of discrete time nonlinear control systemsMullari, Tanel; Kotta, Ülle; Tõnso, MarisProceedings of the European Control Conference 2007, Kos, Greece, July 2-5, 20072007 / p. 4268−4275 http://ieeexplore.ieee.org/document/7068444/ The smash product of monoidal theoriesHadzihasanovic, Amar36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June-2 July 2021, Rome, Italy, virtual : proceedings2021 / art. 9470575, 13 p https://doi.org/10.1109/LICS52264.2021.9470575 Conference proceeding at Scopus Article at Scopus Article at WOS 3Quantum : Algebra Geometry InformationPaal, Eugen; Kuusk, Piret; Stolin, Alexander3Quantum : Algebra Geometry Information (QQQ Conference 2012) : 10-13 July 2012, Tallinn, Estonia : dedicated to memory of Professor Jean-Louis Loday (1936-2012)2014 / p. 1-7 3Quantum : Algebra Geometry Information (QQQ Conference 2012) : 10-13 July 2012, Tallinn, Estonia : dedicated to memory of Professor Jean-Louis Loday (1936-2012)2014 Transformation of nonlinear discrete-time state equations into the observer form : revisionMullari, Tanel; Kotta, ÜlleProceedings of the Estonian Academy of Sciences2023 / p. 1-5 https://doi.org/10.3176/proc.2023.1.01 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Triangulated factorization systems and t-structuresLoregian, Fosco; Virili, SimoneJournal of algebra2020 / p. 219-241 https://doi.org/10.1016/j.jalgebra.2019.12.021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS 2D binary operadic Lax representation for harmonic oscillatorPaal, Eugen; Virkepu, JüriKoninklijke Vlaamse Academie van Belgie voor Wetenschappen en Kunsten2010 / p. 209-216 https://www.researchgate.net/publication/1913785_2D_binary_operadic_Lax_representation_for_harmonic_oscillator Type-theoretic constructions of the final coalgebra of the finite powerset functorVeltri, Niccolo41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 22:1-22:18 https://doi.org/10.4230/LIPIcs.FSCD.2021.22 Conference Proceedings at Scopus Article at Scopus A variety theorem for relational universal algebraNester, Chad MitchellRelational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021 : proceedings2021 / p. 362–377 https://doi.org/10.1007/978-3-030-88701-8_22 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS Web-based software implementation of finite state machine decomposition for design and educationDevadze, Sergei; Kruus, Margus; Sudnitsõn, AleksanderCompSysTech' 2001 : proceedings of the International Conference on Computer Systems and Technologies, Sofia, 21-22 June 20012001 / [6] p. : ill https://pld.ttu.ee/decomposition/publications/Sudnitson_CST_Estonia.pdf What makes a strong monad?McDermott, Dylan; Uustalu, TarmoProceedings of the Ninth Workshop on Mathematically Structured Functional Programming2022 / p. 113-133 https://doi.org/10.4204/EPTCS.360.6 Conference Proceedings at Scopus Article at Scopus Article at WOS Üldalgebra alused : loengukonspektPuusemp, Peeter2002 http://www.ester.ee/record=b1594092*est Üldalgebra alused : õpik kõrgkoolidelePuusemp, Peeter2012 https://www.ester.ee/record=b2768990*est https://digikogu.taltech.ee/et/Item/efda564d-8bb6-460b-b580-67201df83d29 Алгебраическая структура чисел с операцией дистрибутивной относительно умноженияKivinukk, Andi; Sirel, A.XXV студенческая научно-техническая конференция вузов Прибалтийских республик, Белорусской ССР и Молдавской ССР, 21-23 апреля 1981 года : тезисы докладов. Том 1, Общественные науки. Физико-математические науки. Строительство. Экономика1981 / с. 60 https://www.ester.ee/record=b1322624*est Вложения систем МенгераHenno, JaakВсесоюзный коллоквиум по общей алгебре. Резюме сообщений и докладов1971 Метод декомпозиции конечных автоматов с использованием алгебры пар покрытийSudnitsõn, AleksanderРасчет и проектирование приборов, устройств и систем технической кибернетики1980 / с. 3-9 https://www.ester.ee/record=b1281890*est https://digikogu.taltech.ee/et/Item/8e0abfe2-9020-4ebd-85d1-fd67de0d1b30 О некоторых свойствах систем Менгера : автореферат ... кандидата физико-математических наук (01.01.03)Henno, Jaak1974 http://www.ester.ee/record=b1328531*est О некоторых свойствах систем Менгера : диссертация на соискание ученой степени кандидата физико-математических наукHenno, Jaak1973 http://www.ester.ee/record=b3783051*est Отображения между алгебрами ограниченных непрерывных A-значных функцийAbel, MatiОбработка информации. Функциональный анализ1974 / с. 37-48 https://www.ester.ee/record=b1347059*est https://digikogu.taltech.ee/et/Item/0dd16355-1e9a-4ed9-b616-b6d162fa44a5 Плотно вложенные левые идеалы систем Менгера. IHenno, JaakEesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics1973 / lk. 123-130 https://www.ester.ee/record=b1264310*est Плотно вложенные правые идеалы систем МенгераHenno, JaakEesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics1972 / lk. 131-141 https://www.ester.ee/record=b1264310*est Плотные вложения в системах МенгераHenno, JaakEesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics1972 / lk. 231-238 https://www.ester.ee/record=b1264310*est Свободные Ω-системыHenno, JaakМатематика и теоретическая механика : сборник статей. 71973 / с. 29-40 https://www.ester.ee/record=b2190580*est https://digikogu.taltech.ee/et/Item/21dbe945-8f82-454a-940e-322b3fdbe756 Связность пространства максимальных идеалов алгебры ограниченных непрерывных A-значных функцийAbel, MatiEesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics1973 / lk. 214-216 https://www.ester.ee/record=b1264310*est Сложность вычислении в многоосновных алгебрахHenno, JaakМатериалы конференции "Методы алгебры и функционального анализа при исследовании семейств операторов" : 24-26 ноября 19781978 / с. 93-96 https://www.ester.ee/record=b1272270*est Эквивалентности Грина в системах МенгераHenno, JaakMatemaatika- ja mehhaanikaalaseid töid. 101971 / с. 37-46 https://www.ester.ee/record=b1715026*est