Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

Arvutiteadus. Tarkvara (category)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 291
Look more.. (2/95)
Export

export all inquiry results (291)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
101

journal article EST / journal article ENG

Evolving process viewsEshuis, Rik; Norta, Alexander; Roulaux, RaoulInformation and software technology2016 / p. 20-35 : ill https://doi.org/10.1016/j.infsof.2016.08.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
102

journal article EST / journal article ENG

Experts still needed : boosting long-term android malware detection with active learningGuerra-Manzanares, Alejandro; Bahsi, HayretdinJournal of Computer Virology and Hacking Techniques2024 / p. 901 - 918 https://doi.org/10.1007/s11416-024-00536-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
103

book article EST / book article ENG

Exploring and demonstrating the once-only principle : a European perspectiveKrimmer, Robert Johannes; Kalvet, Tarmo; Toots, Maarja; Cepilovs, Aleksandrs; Tambouris, Efthimiosdg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA2017 / p. 546-551 : ill https://doi.org/10.1145/3085228.3085235 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
104

journal article EST / journal article ENG

Extended reality technologies in small and medium-sized European industrial companies : level of awareness, diffusion and enablers of adoptionJalo, Henri; Pirkkalainen, Henri; Torro, Osku; Pessot, Elena; Zangiacomi, Andrea; Tepljakov, AlekseiVirtual Reality2022 / p. 1745 - 1761 https://doi.org/10.1007/s10055-022-00662-2 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
105

book article EST / book article ENG

Facilitating cross-sectoral digital product developmentSoe, Ralf-MartinProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 795-798 https://doi.org/10.1145/3428502.3428623 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
106

journal article EST / journal article ENG

FastStereoNet : A fast neural architecture search for improving the inference of disparity estimation on resource-limited platformsLoni, Mohammad; Zoljodi, Ali; Majd, Amin; Ahn, Byung Hoon; Daneshtalab, Masoud; Sjödin, Mikael; Esmaeilzadeh, HadiIEEE Transactions on Systems, Man, and Cybernetics : Systems2022 / p. 5222-5234 : ill https://doi.org/10.1109/TSMC.2021.3123136 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
107

book article EST / book article 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

book article EST / book article ENG
108

book article EST / book article ENG

FINEST Twins : platform for cross-border smart city solutionsSoe, Ralf-Martindg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA2017 / p. 352-357 : ill https://doi.org/10.1145/3085228.3085287 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
109

journal article EST / journal article ENG

Finiteness and rational sequences, constructivelyUustalu, Tarmo; Veltri, NiccoloJournal of functional programming2017 / art. e13, p. 1-20 https://doi.org/10.1017/S0956796817000041 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
110

journal article EST / journal article ENG

A flexible enhanced throughput and reduced overhead (FETRO) MAC protocol for ETSI SmartBANKhan, Rida; Alam, Muhammad Mahtab; Guizani, MohsenIEEE Transactions on Mobile Computing2022 / p. 2671-2686 : ill https://doi.org/10.1109/TMC.2020.3047596 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
111

journal article EST / journal article ENG

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

journal article EST / journal article ENG
112

book article EST / book article ENG

Flow aided path following of an underwater robotJung, David S.; Pott, Peter P.; Salumäe, Taavi; Kruusmaa, Maarja2013 IEEE International Conference on Robotics and Automation (ICRA) : Karlsruhe, Germany, May 6-10, 20132013 / p. 4602-4607 : ill https://doi.org/10.1109/ICRA.2013.6631231 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
113

book article EST / book article ENG

Flow feature extraction for underwater robot localization : preliminary resultsMuhammad, Naveed; Strokina, Nataliya; Toming, Gert; Tuhtan, Jeffrey Andrew; Kämäräinen, Joni-Kristian; Kruusmaa, Maarja2015 IEEE International Conference on Robotics and Automation (ICRA) : Washington State Convention Center, Seattle, Washington, May 26-30, 20152015 / p. 1125-1130 : ill https://doi.org/10.1109/ICRA.2015.7139317 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
114

book article EST / book article ENG

ForewordUustalu, TarmoICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming2013 / p. iii Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
115

journal article EST / journal article ENG

Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / art. 100846 https://doi.org/10.1016/j.jlamp.2022.100846 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
116

journal article EST / journal article ENG

A framework for comprehensive impact assessment in the case of an extreme winter scenario, considering integrative aspects of systemic vulnerability and resilienceMolarius, Riitta; Tuomaala, Pekka; Piira, Kalevi; Räikkönen, Minna; Aubrecht, Christoph; Polese, Maria; Zuccaro, Giulio; Pilli-Sihvola, Karoliina; Rannat, KalevCMES - Computer Modeling in Engineering and Sciences2015 / p. 131 - 158 https://www.techscience.com/CMES/v109-110n2/27295 https://doi.org/10.3970/cmes.2015.109.131 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
117

book article EST / book article ENG

A Framework for the adoption of blockchain technology in healthcare information management systems : a case study of NigeriaAzogu, Irene; Norta, Alexander; Pappel, Ingrid; Longo, Justin; Draheim, DirkProceedings of the 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV’19), Melbourne, Australia, April 3-5, 20192019 / p. 310–316 : ill https://doi.org/10.1145/3326365.3326405 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
118

book article EST / book article ENG

From equations to distinctions: Two interpretations of effectful computationsVoorneveld, NielsProceedings 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

book article EST / book article ENG
119

journal article EST / journal article ENG

Functional self-test of high-performance pipe-lined signal processing architecturesGorev, Maksim; Ubar, Raimund-Johannes; Ellervee, Peeter; Devadze, Sergei; Raik, Jaan; Min, MartMicroprocessors and microsystems2015 / p. 909-918 : ill https://doi.org/10.1016/j.micpro.2014.11.002 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
120

book article EST / book article ENG

Functorial language games for question answeringFelice, Giovanni de; Di Lavore, Elena; Roman Garcia, Mario; Toumi, AlexisProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 311–321 https://doi.org/10.4204/EPTCS.333.21 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
121

journal article EST / journal article ENG

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Related publications 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
122

book article EST / book article 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

book article EST / book article ENG
123

book article EST / book article ENG

Global intelligent governance a collaborative platformGanapati, Sukumar; Ahn, Michael; Chen, Yu-Che; Krimmer, Robert Johannes; Viale Pereira, Gabriela; Pliscoff, Cristian; Tseng, Hsien-Lee; Wu, JiannanDG.O'21: DG.O2021: The 22nd Annual International Conference on Digital Government Research2021 / p. 593 - 595 https://doi.org/10.1145/3463677.3463728 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
124

journal article EST / journal article 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

journal article EST / journal article ENG
125

journal article EST / journal article ENG

Guest editorial: New boundaries for roboticsKruusmaa, Maarja; Tan, Xiaobo; Laschi, Cecilia; Fioroni, Paolo; Madhavan, RajRobotics and autonomous systems2014 / p. 1-2 https://doi.org/10.1016/j.robot.2012.12.002 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Number of records 291, displaying 101 - 125

previous
1
2
3
4
5
6
7
8
9
10
next

1. tarkvara

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu