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 publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 184
Look more.. (2/89)
Export

export all inquiry results (184)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
151

book article EST / book article ENG

Situated transition systemsNester, Chad MitchellarXiv2022 / p. 103-115 https://doi.org/10.4204/EPTCS.372.8 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
152

book article EST / book article ENG

Smart city collaboration model : A case study of university-city collaborationSarv, Lill; Kibus, Kristel; Soe, Ralf-MartinProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 674−677 https://doi.org/10.1145/3428502.3428601 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
153

journal article EST / journal article ENG

Smart healthcare : disease prediction using the cuckoo-enabled deep classifier in IoT frameworkKumar, Ashwani; Reddy, S. Sai Satyanarayana; Mahommad, Gouse Baig; Khan, Baseem; Sharma, RahulScientific Programming2022 https://doi.org/10.1155/2022/2090681 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
154

journal article EST / journal article ENG

Sociotechnical factors and Industry 4.0 : an integrative perspective for the adoption of smart manufacturing technologiesMarcon, Érico; Soliman, Marlon; Gerstlberger, Wolfgang Dieter; Frank, Alejandro G.Journal of Manufacturing Technology Management2022 / p. 259-289 : ill https://doi.org/10.1108/JMTM-01-2021-0017 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
155

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
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria
156

journal article EST / journal article ENG

Split-chip design to prevent IP reverse engineeringPagliarini, Samuel Nascimento; Sweeney, Joseph; Mai, Ken; Blanton, Shawn; Mitra, Subhasish; Pileggi, LarryIEEE Design and Test2020 / p. 109-118 https://doi.org/10.1109/MDAT.2020.3033255 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
157

journal article EST / journal article ENG

SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
158

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
159

book article EST / book article ENG

String diagrammatic electrical circuit theoryBoisseau, Guillaume; Sobocinski, Pawel MariaarXiv2022 / p. 178-191 : ill https://doi.org/10.4204/EPTCS.372.13 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.13 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
160

book article EST / book article ENG

Surviving the unforeseen - teaching IT and engineering students during COVID-19 outbreakRuberg, Priit; Ellervee, Peeter; Tammemäe, Kalle; Reinsalu, Uljana; Rähni, Andres; Robal, TarmoProceedings - Frontiers in Education Conference, FIE2022 / Code 184790 https://doi.org/10.1109/FIE56618.2022.9962383 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
161

book article EST / book article ENG

ZED-TTE: Zone embedding and deep neural network based travel time estimation approachOunoughi, Chahinez; Yeferny, Taoufik; Ben Yahia, Sadok2021 International Joint Conference on Neural Networks (IJCNN) : proceedings2021 / 10 p https://doi.org/10.1109/IJCNN52387.2021.9533456 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
162

journal article EST / journal article ENG

Test scenario specification language for model-based testingHalling, Evelin; Vain, Jüri; Boyarchuk, Artem; Illiashenko, OlegInternational Journal of Computing2019 / p. 408-421 : ill http://www.computingonline.net/computing/article/view/1611 https://doi.org/10.47839/ijc.18.4.1611 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG
163

journal article EST / journal article ENG

The essential competencies of software professionals : a unified competence frameworkAssyne, Nana; Ghanbari, Hadi; Pulkkinen, MirjaInformation and software technology2022 / art. 107020, 20 p. : ill https://doi.org/10.1016/j.infsof.2022.107020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
164

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
165

journal article EST / journal article ENG

The state of research on software engineering competencies : a systematic mapping studyAssyne, Nana; Ghanbari, Hadi; Pulkkinen, MirjaJournal of systems and software2022 / art. 111183, 18 p. : ill https://doi.org/10.1016/j.jss.2021.111183 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
166

journal article EST / journal article ENG

A theme section on the central role of modeling in designing and explaining data-driven systems and softwareAttiogbé, Christian; Ben Yahia, Sadok; Bellatreche, LadjelSoftware and Systems Modeling2023 / p. 1945 - 1947 https://doi.org/10.1007/s10270-023-01133-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
167

book article EST / book article ENG

Theory and practice of linked open statistical dataTambouris, Efthimios; Kalampokis, Evangelos; Janssen, Marijn; Matheus, Ricardo; Hermans, Paul; Kalvet, Tarmodg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 20182018 / Article No. 130, 2 p https://doi.org/10.1145/3209281.3209341 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
168

journal article EST / journal article ENG

3D modelling of non-uniform and turbulent flow in vertical slot fishwaysFuentes-Pérez, Juan Francisco; Silva, A.T.; Tuhtan, Jeffrey Andrew; Garcia-Vega, Ana; Carbonell Baeza, Ruth; Musall, Mark; Kruusmaa, MaarjaEnvironmental modelling & software2018 / p. 156-169 : ill https://doi.org/10.1016/j.envsoft.2017.09.011 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
169

book article EST / book article ENG

Towards a networked modern democracy: thoughts on how ICT could enable new forms for the relationship between citizens and their representativesFischer, Dirk-Hinnerk; Krimmer, Robert Johannesdg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 20182018 / art. 52, 8 p. : ill https://doi.org/10.1145/3209281.3209284 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
170

book article EST / book article ENG

Towards a smart sustainable city roadmapPereira, Gabriela Viale; Estevez, Elsa; Krimmer, Robert; Janssen, Marijn; Janowski, TomaszProceedings of the 20th Annual International Conference on Digital Government Research : Governance in the Age of Artificial Intelligence, 2019, Dubai 18 June- 20 June 20192019 / p. 527- 528 https://doi.org/10.1145/3325112.3325274 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
171

journal article EST / journal article ENG

Towards a smarter directional data aggregation in VANETsAllani, Sabri; Yeferny, Taoufik; Chbeir, Richard; Ben Yahia, SadokWorld Wide Web2020 / p. 2303−2322 : ill https://doi.org/10.1007/s11280-019-00749-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
172

journal article EST / journal article ENG

Towards a synesthesia laboratory : real-time localization and Visualization of a sound source for virtual reality applicationsKöse, Ahmet; Tepljakov, Aleksei; Astapov, Sergei; Draheim, Dirk; Petlenkov, Eduard; Vassiljeva, KristinaJournal of communications software and systems2018 / p. 112–120 : ill https://doi.org/10.24138/jcomss.v14i1.410 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG
173

journal article EST / journal article ENG

Transnational digital identity as an instrument for Global Digital Citizenship : The case of Estonia’s e-ResidencyTammpuu, Piia; Masso, AnuInformation systems frontiers2019 / p. 621-634 : ill https://doi.org/10.1007/s10796-019-09908-y Professor Anu Masso: e-residentsus taastoodab digitaalset ebavõrdsust Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
174

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
175

book article EST / book article ENG

Understanding MPSoCs : exploiting memory microarchitectural vulnerabilities of high performance NoC-based MPSoCsSepulveda, Johanna; Azad, Siavoosh Payandeh; Niazmand, Behrad; Jervan, GertSAMOS '18 : Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Pythagorion, Greece, July 15-19, 20182018 / p. 162-166 https://doi.org/10.1145/3229631.3239367 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Number of records 184, displaying 151 - 175

previous
1
2
3
4
5
6
7
8
next

1. tarkvara

vaste

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu