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 338
Look more.. (2/97)
Export

export all inquiry results (338)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
276

book article EST / book article ENG

A software product line approach for semantic specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, MarcSPLC '14: 18th International Software Product Line Conference, Florence Italy, September 15-19, 2014. Volume 12014 / p. 217-226 : ill https://doi.org/10.1145/2648511.2648534 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
277

journal article EST / journal article ENG

Sound conflict management and resolution for virtual-enterprise collaborationsNarendra, Nanjangud C.; Norta, Alexander; Mahunnah, Msury; Ma, Lixin; Maggi, Fabrizio MariaService-oriented computing and applications2016 / p. 233-251 : ill https://doi.org/10.1007/s11761-015-0183-0 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG
278

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
279

journal article EST / journal article ENG

Special issue on concept lattices and their applications (CLA 2020)Valverde-Albacete, Francisco José; Trnecka, Martin; Ben Yahia, SadokInternational journal of approximate reasoning2024 / art. 109079, 3 p. https://doi.org/10.1016/j.ijar.2023.109079 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
280

journal article EST / journal article ENG

Special Issue on Digital Twin for Future Networks and Emerging IoT Applications (DT4IoT)Hakiri, Akram; Ben Yahia, Sadok; Gokhale, Aniruddha S.; Mellouli, NédraFuture generation computer systems2024 / p. 81-84 https://doi.org/10.1016/j.future.2024.06.056 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
281

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
282

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
283

journal article EST / journal article ENG

Stream clustering guided supervised learning for classifying NIDS alertsVaarandi, Risto; Guerra Manzanares, AlejandroFuture generation computer systems2024 / p. 231-244 : ill https://doi.org/10.1016/j.future.2024.01.032 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
284

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
285

book article EST / book article ENG

String diagrammatic electrical circuit theoryBoisseau, Guillaume; Sobocinski, Pawel MariaarXiv.org2022 / 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
286

book article EST / book article ENG

String diagrammatic trace theoryEarnshaw, Matthew David; Sobocinski, Pawel Maria48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)2023 / art. 43, 43 p. : ill https://doi.org/10.4230/LIPIcs.MFCS.2023.43 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG
Related publications 1
- Languages of string diagrams = Nöördiagrammide keeled
287

journal article EST / journal article ENG

Structured development of implementations for divide-and-conquer specificationsBortin, MaksymScience of computer programming2024 / art. 103011, 15 p. : ill https://doi.org/10.1016/j.scico.2023.103011 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
288

book article EST / book article ENG

Structuring analyses of complex enterprise datasets with adaptive morphogenesis methodsPolis, EinarECBS '17: Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / art. a5, 10 p. : ill https://doi.org/10.1145/3123779.3123808 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
289

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
290

journal article EST / journal article ENG

Symbolic Automata: Omega-Regularity Modulo TheoriesVeanes, Margus; Ball, Thomas; Ebner, Gabriel; Zhuchko, EkaterinaProceedings of the ACM on Programming Languages2025 / art. 2, p. 33-66 : ill https://doi.org/10.1145/3704838 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
291

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
292

book article EST / book article ENG

TalTech Systems for the Interspeech 2025 ML-SUPERB 2.0 ChallengeAlumäe, Tanel; Fedorchenko, ArtemInterspeech 2025 : 17-21 August 2025, Rotterdam, The Netherlands2025 / p. 2098–2102 : ill https://doi.org/10.21437/Interspeech.2025-1797 https://www.isca-archive.org/interspeech_2025/alumae25_interspeech.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
293

book article EST / book article ENG

TalTech Systems for the PROCESS Signal Processing Grand ChallengeIllaste, Erik; Alumäe, TanelICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) : Conference proceedings2025 / p. 1-2 https://doi.org/10.1109/ICASSP49660.2025 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
294

book article EST / book article ENG

TalTech-IRIT-LIS speaker and language diarization systems for DISPLACE 2024Kalda, Joonas; Alumäe, Tanel; Lebourdais, Martin; Bredin, Herve; Baroudi, Séverin; Marxer, RicardInterspeech 2024, 1-5 September 2024, Kos, Greece2024 / p. 1635–1639 : ill https://doi.org/10.21437/Interspeech.2024-2462 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
Related publications 1
- Improved Training Methods for Multi-Talker Speech Processing = Treeningmeetodid mitme rääkijaga kõne töötluseks
295

book article EST / book article ENG

Tape Diagrams for Monoidal MonadsBonchi, Filippo; Cioffo, Cipriano Junior; Di Giorgio, Alessandro; Di Lavore, Elena11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025) : CALCO 2025, June 16–18, 2025, University of Strathclyde, UK2025 / 24 p.: ill https://doi.org/10.4230/LIPIcs.CALCO.2025.11 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
296

journal article EST / journal article ENG

TermX: The semantic interoperability, knowledge management and sharing platformBossenko, Igor; Piho, Gunnar; Ivanova, Marina; Ross, PeeterSoftwareX2024 / art. 101839, 7 p. : ill https://doi.org/10.1016/j.softx.2024.101839 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Related publications 1
- A domain-specific framework for supporting semantic interoperability in primary and secondary use of health data on the example of the Estonian National Health Information System = Tervishoiu domeenipõhise semantilise raamistiku loomine terviseandmete esmaseks ja teiseseks kasutamiseks Eesti Tervise infosüsteemi näitel
297

book article EST / book article ENG

Test adapter generation based on assume/guarantee contracts for verification of cyber-physical systemsGuin, Jishu; Vain, Jüri; Tsiopoulos, LeonidasMODELSWARD 2025 : 13th International Conference on Model-Based Software and Systems Engineering, Proceedings, Porto, Portugal, 26-28 February, 20252025 / p. 297–304 http://doi.org/10.5220/0013322100003896 https://www.scitepress.org/PublicationsDetail.aspx?ID=TcnFenKjQbg=&t=1 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
298

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
299

book article EST / book article ENG

The 2016 BBN Georgian telephone speech keyword spotting systemAlumäe, Tanel; Karakos, Damianos; Hartmann, William2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA2017 / p. 5755-5759 : tab https://doi.org/10.1109/ICASSP.2017.7953259 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
300

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

Number of records 338, displaying 276 - 300

previous
5
6
7
8
9
10
11
12
13
14
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