Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Open Publishing Association (kirjastus/väljaandja)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 33
Vaata veel.. (2/95)
Ekspordi

ekspordi kõik päringu tulemused (33)
Salvesta TXT fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus EST / artikkel kogumikus ENG

Bicategories of automata, automata in bicategoriesBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 1-19 https://doi.org/10.4204/EPTCS.397.1 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
2

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG
3

artikkel kogumikus EST / artikkel kogumikus ENG

A Categorical semantics for bounded Petri NetsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanieleProceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 20212021 / 15 p https://doi.org/10.48550/arXiv.2101.09100 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
4

artikkel kogumikus EST / artikkel kogumikus ENG

Categorical semantics for functional reactive programming with temporal recursion and corecursionJeltsch, WolfgangProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 127-142 : ill https://doi.org/10.4204/EPTCS.153.9 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
5

artikkel kogumikus EST / artikkel kogumikus ENG

A categorical semantics for hierarchical Petri NetsGenovese, Fabrizio; Herold, Jelle; Loregian, Fosco; Palombi, DanieleProceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 20212021 / p. 51−68 https://doi.org/10.48550/arXiv.2102.00096 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
6

artikkel kogumikus EST / artikkel kogumikus ENG

Coherence for skew-monoidal categoriesUustalu, TarmoProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 68-77 https://doi.org/10.4204/EPTCS.153.5 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
7

artikkel kogumikus EST / artikkel kogumikus ENG

Coinductive big-step semantics for concurrencyUustalu, TarmoProceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 20132013 / p. 63-78 https://doi.org/10.4204/EPTCS.137.6 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
8

artikkel kogumikus EST / artikkel kogumikus ENG

Collages of string diagramsBraithwaite, Dylan; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 39-53 https://doi.org/10.4204/EPTCS.397.3 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria
9

artikkel kogumikus

Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMsAhman, Danel; Kääramees, MarkoEPTCS 80 : proceedings of the 7th Workshop on Model-Based Testing : Tallinn, Estonia, 25 March 20122012 / p. 115-129 : ill https://www.semanticscholar.org/paper/Constraint-Based-Heuristic-On-line-Test-Generation-Ahman-K%C3%A4%C3%A4ramees/c798ef6753277479b79652be2a5921a1db94c74c

artikkel kogumikus
10

artikkel kogumikus EST / artikkel kogumikus ENG

Cornering opticsBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 97-110 : ill https://doi.org/10.4204/EPTCS.380.6 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.6.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
11

artikkel kogumikus EST / artikkel kogumikus ENG

Dagger-Drazin InversesCockett, Robin; Pacaud Lemay, Jean-Simon; Srinivasan, Priyaa VarshineeProceedings of the 22nd International Conference on Quantum Physics and Logic 2025 (QPL 2025)2025 / p. 301–316 https://doi.org/10.4204/EPTCS.426.12 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
12

artikkel kogumikus EST / artikkel kogumikus ENG

Data structures for topologically sound higher-dimensional diagram rewritingHadzihasanovic, Amar; Kessler, Diana-Maria5th International Conference on Applied Category Theory, ACT 2022, Hybrid, Glasgow, 18-22 July 20222023 / p. 111-127 : ill https://doi.org/10.4204/EPTCS.380.7 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
13

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG
14

artikkel kogumikus EST / artikkel kogumikus ENG

Directed containers as categoriesAhman, Danel; Uustalu, TarmoProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 89-98 https://doi.org/10.4204/eptcs.207.5 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
15

artikkel kogumikus EST / artikkel kogumikus ENG

Duality of lattices associated to left and right quotientsBell, Jason; Smertnig, Daniel; Tamm, Hellis16th International Conference on Automata and Formal Languages, AFL 2023, Eger, 5 September - 7 September 20232023 / p. 35-50 https://doi.org/10.4204/EPTCS.386.5 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
16

artikkel kogumikus EST / artikkel kogumikus ENG

Fibration linguistics (FibLang) : language acquisitionGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 224-236 : ill https://doi.org/10.4204/EPTCS.380.13 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
17

artikkel kogumikus EST / artikkel kogumikus ENG

From equations to distinctions: Two interpretations of effectful computationsVoorneveld, Niels Frits WillemProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
18

artikkel kogumikus EST / artikkel kogumikus ENG

Generating representative executions : extended abstractMaarand, Hendrik; Uustalu, Tarmo10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 20172017 / p. 39-48 : ill https://doi.org/10.4204/EPTCS.246.8 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
19

artikkel ajakirjas EST / artikkel ajakirjas ENG

Graphical sequent calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoElectronic proceedings in theoretical computer science2017 / p. 91-103 https://doi.org/10.4204/EPTCS.243.7 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
20

artikkel kogumikus EST / artikkel kogumikus ENG

Inductive and coinductive predicate liftings for effectful programsVeltri, Niccolo; Voorneveld, Niels Frits WillemProceedings 37th Conference on Mathematical Foundations of Programming SemanticsHybrid: Salzburg, Austria and Online, 30th August - 2nd September, 20212021 / p. 260-277 https://doi.org/10.4204/EPTCS.351.16 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
21

artikkel kogumikus EST / artikkel kogumikus ENG

Monoid structures on indexed containersDe Pascalis, Michele; Uustalu, Tarmo; Veltri, NiccoloProceedings of the 20th International Symposium on Logical and Semantic Frameworks, with Applications, LSFA 2025, Brasília, Brazil, 6-11 October 20252025 / p. 37-54 https://doi.org/10.4204/EPTCS.430.4 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
22

artikkel kogumikus EST / artikkel kogumikus ENG

Monoidal width : capturing rank widthDi Lavore, Elena; Sobocinski, Pawel MariaProceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 20222023 / p. 268-283 : ill https://doi.org/10.4204/EPTCS.380.16 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Monoidal width = Monoidiline laius
23

artikkel kogumikus EST / artikkel kogumikus ENG

Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized typesAbel, Andreas; Chapman, JamesProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 51-67 https://doi.org/10.4204/EPTCS.153.4 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
24

artikkel kogumikus EST / artikkel kogumikus ENG

Obstructions to compositionalityPuca, Caterina; Hadzihasanovic, Amar; Genovese, Fabrizio; Coecke, Bob6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 226-245 https://doi.org/10.4204/EPTCS.397.14 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
25

artikkel kogumikus EST / artikkel kogumikus ENG

Open diagrams via Coend calculusRoman Garcia, MarioProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 65-78 : ill https://doi.org/10.4204/EPTCS.333.5 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria

Kirjeid leitud 33, kuvan 1 - 25

eelmine
1
2
järgmine

1. data publishing
2. convex combinations of relatively weakly open sets
3. FMI open data
4. fractional open circuit voltage
5. inventory of open stacks
6. linked open data
7. linked open statistical data
8. linked open statistics
9. open architecture for information exchange
10. open architecture model
11. open cast
12. open circuit fault
13. open circuit protection
14. open cloud ecosystem
15. open cooperativism
16. open data
17. open data ecosystem
18. open data format
19. open data policies
20. open dataset
21. open design
22. open education
23. open educational resources
24. Open Estonia Foundation
25. open games
26. open geospatial consortium
27. open government data
28. open government data (OGD)
29. open graphs
30. open habitat
31. open hardware
32. open induction
33. open innovation
34. Open Learning Resources (OLR)
35. open loop control
36. open notes
37. Open Ocean
38. open office
39. open online courses
40. open optical networking
41. open plan office
42. open pour concrete casting
43. open retail electricity market
44. open ring substrate
45. open self‐ventilated machines
46. Open Skies agreement
47. open society
48. open source
49. open source hardware
50. open source intelligence
51. Open Source Intelligence (OSINT)
52. open source intelligence tools
53. open source software
54. open source-based innovation
55. open space
56. open transitions
57. open value network
58. open voting
59. open-data
60. open-data platform
61. open-economy dynamic general equilibrium model
62. open-loop stability
63. open-source
64. open-source components
65. open-source hardware
66. open-source intelligence (OSINT)
67. open-source platforms
68. open-source technologies
69. OSV (open self‐ventilated) machines
70. TOGAF (The Open Group Architecture Framework)
71. topographic access to open stacks
72. ASEAN (Association of Southeast Asian Nations)
73. association of local-self government
74. association of local-self governments
75. association of undertakings
76. Association pattern mining
77. association rule
78. association rule mining
79. association rules
80. European-African Hepato-Pancreato-Biliary Association (E-AHPBA)
81. EU-Ukraine association agreement
82. genome-wide association study (GWAS)
83. numerical association rule mining
84. quantitative association rule mining
85. statine-fenofibrate association
86. The World Association for Waterborne Transport Infrastructure (PIANC)
87. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining

1. AI powered Data Curation & Publishing Virtual Assistant (AIDAVA)
2. Baltic Open
3. EuroScience Open Forum
4. Nõmme Open
5. Open Multilingual Wordnet
6. Estonian Cleantech Association
7. European Logistics Association
8. International Association for Management Development in Dynamic Societies

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu