Searching - TalTech Research Portal

display

sort

101

book article EST / book article ENG

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

book article EST / book article ENG

102

book article

Seminar "Algebra ja tema rakendused" : [2.-4. mail 2008 Viinistul]Puusemp, PeeterAastaraamat 2008 / Eesti Matemaatika Selts2010 / lk. 107-109 : fot

book article

103

book article

Seminar "Algebra ja tema rakendused" : Nelijärve, 7.-8. mai 2005Paal, Eugen; Puusemp, PeeterAastaraamat 2005 / Eesti Matemaatika Selts2006 / lk. 243-244

book article

104

journal article EST / journal article ENG

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

journal article EST / journal article ENG

Related publications 1

Monoidal context theory = Monoidiliste kontekstide teooria

105

book article EST / book article ENG

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

book article EST / book article ENG

106

journal article EST / journal article ENG

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

journal article EST / journal article ENG

107

journal article EST / journal article ENG

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

journal article EST / journal article ENG

108

book article EST / book article ENG

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

book article EST / book article ENG

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

109

book article

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

book article

110

book article EST / book article ENG

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 https://doi.org/10.1088/1742-6596/532/1/012016 Journal metrics at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

111

book article EST / book article ENG

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

book article EST / book article ENG

112

journal article

TetracompositionKluge, Liivi; Paal, EugenCommunications in contemporary mathematics2002 / 3, p. 435-456

journal article

113

book article

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/

book article

114

book article EST / book article ENG

The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Román, Mario32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)2024 / art. 25, 19 p. ill https://doi.org/10.4230/LIPIcs.CSL.2024.25 Conference proceedings Article at Scopus Article at WOS

book article EST / book article ENG

115

book article EST / book article ENG

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

book article EST / book article ENG

116

book article EST / book article ENG

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 https://doi.org/10.1088/1742-6596/532/1/011001 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

117

book

3Quantum : Algebra Geometry Information (QQQ Conference 2012) : 10-13 July 2012, Tallinn, Estonia : dedicated to memory of Professor Jean-Louis Loday (1936-2012)2014

book

118

journal article EST / journal article ENG

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

journal article EST / journal article ENG

119

journal article EST / journal article ENG

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

journal article EST / journal article ENG

120

book article

2D binary operadic Lax representation for harmonic oscillatorPaal, Eugen; Virkepu, JüriNoncommutative structures in mathematics and physics : 22-26 juli 20082010 / p. 209-216 https://www.researchgate.net/publication/1913785_2D_binary_operadic_Lax_representation_for_harmonic_oscillator

book article

121

book article EST / book article ENG

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

book article EST / book article ENG

122

book article EST / book article ENG

A unifying categorical view of nondeterministic iteration and testsGoncharov, Sergey; Uustalu, Tarmo35th International Conference on Concurrency Theory (CONCUR 2024)2024 / art. 25 https://doi.org/10.4230/LIPIcs.CONCUR.2024.25 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

123

book article EST / book article ENG

Update monads: Cointerpreting directed containersAhman, Danel; Uustalu, Tarmo19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France2014 / p. 1-23 : ill https://doi.org/10.4230/LIPIcs.TYPES.2013.1 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

124

book article EST / book article ENG

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

book article EST / book article ENG

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

125

book article

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

book article

algebra (subject term)

types of item

keyword 32

subject term 6