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

export all inquiry results (233)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
176

book article EST / book article ENG

Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward inductionIqbal, Junaid; Truscan, Dragos; Vain, Jüri; Porres, IvanProceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / 10 pages : ill https://doi.org/10.1145/3123779.3123813 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
177

book article EST / book article ENG

Regular monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaLeibniz International Proceedings in Informatics, LIPIcs2022 / p. 44:1-44:14 https://doi.org/10.4230/LIPIcs.MFCS.2022.44 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
178

book article EST / book article ENG

Reordering derivatives of trace closures of regular languages [Online resource]Maarand, Hendrik; Uustalu, Tarmo30th International Conference on Concurrency Theory : (CONCUR 2019)2019 / art. 40 ; 40:1–40:16 https://doi.org/10.4230/LIPIcs.CONCUR.2019.40 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG
179

book article EST / book article ENG

Research gaps on public service deliveryLopes, Nuno Vasco; Sa Soares, Delfina; Meyerhoff Nielsen, Morten; Tavares, AntonioICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 20172017 / p. 465-474 : ill https://doi.org/10.1145/3047273.3047388 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
180

book article EST / book article ENG

Re-shaping the EU digital identity frameworkLips, Silvia; Vinogradova, Natalia; Krimmer, Robert Johannes; Draheim, Dirk23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings2022 / p. 13-21 https://doi.org/10.1145/3543434.3543652 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
Seotud publikatsioonid 1
- A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
181

journal article EST / journal article ENG

A roadside unit deployment framework for enhancing transportation services in Maghrebian citiesChaabene, Seif Ben; Yeferny, Taoufik; Ben Yahia, SadokConcurrency and Computation: Practice and Experience2021 / art. e5611 https://doi.org/10.1002/cpe.5611 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
182

book article EST / book article ENG

Robust training of vector quantized bottleneck modelsLancucki, Adrian; Chorowski, Jan; Sanchez, Guillaume; Marxer, Ricard; Chen, Nanxin; Dolfing, Hans J.G.A.; Khurana, Sameer; Alumäe, Tanel; Laurent, Antoine2020 International Joint Conference onNeural Networks (IJCNN), 19-24 July 2020, Glasgow, UK : proceedings2020 / art. 163566 : 7 p https://doi.org/10.1109/IJCNN48605.2020.9207145 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
183

book article EST / book article ENG

RoCo-NAS : robust and compact neural architecture searchGeraeinejad, Vahid; Sinaei, Sima; Modarressi, Mehdi; Daneshtalab, Masoud2021 International Joint Conference on Neural Networks (IJCNN) : proceedings2021 / 8 l https://doi.org/10.1109/IJCNN52387.2021.9534460 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
184

book article EST / book article ENG

The role of linked open statistical data in public service co-creationMcBride, Keegan David Braun; Matheus, Ricardo; Toots, Maarja; Kalvet, Tarmo; Krimmer, Robert JohannesICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 679-681 https://doi.org/10.1145/3209415.3209446 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
185

book article EST / book article ENG

Russian Federal remote E-voting scheme of 2021 - protocol description and analysisVakarjuk, Jelizaveta; Snetkov, Nikita; Willemson, JanEICC '22: Proceedings of the 2022 European Interdisciplinary Cybersecurity Conference2022 / p. 29-35 https://doi.org/10.1145/3528580.3528586 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
186

journal article EST / journal article ENG

A security-aware and LUT-based CAD flow for the physical synthesis of hASICsAbideen, Zain Ul; Perez, Tiago Diadami; Martins, Mayler; Pagliarini, Samuel NascimentoIEEE transactions on computer-aided design of integrated circuits and systems2023 / p. 3157-3170 : ill https://doi.org/10.1109/TCAD.2023.3244879 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Seotud publikatsioonid 1
- Leveraging FPGA Reconfigurability as an Obfuscation Asset = FPGA ümberkonfigureeritavuse rakendamine hägustamise vahendina
187

book article EST / book article ENG

Self-aware smart contracts with legal relevanceNorta, Alexander2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4113-4120 : ill https://doi.org/10.1109/IJCNN.2018.8489235 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
188

journal article EST / journal article ENG

Serverless, FaaS and why organizations need themAstrova, Irina; Koschel, Arne; Schaaf, Marc; Klassen, Samuel; Jdiya, KerimIntelligent decision technologies2021 / p. 825-838 https://doi.org/10.3233/IDT-210194 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
189

book article EST / book article ENG

Sights, titles and tags: mining a worldwide photo database for sightseeingLuberg, Ago; Pindis, Jakob; Tammet, Tanel10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings2020 / p. 149-158 : ill https://doi.org/10.1145/3405962.3405987 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
190

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
191

book article EST / book article ENG

Slice nondeterminismVoorneveld, Niels4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 20232023 / art. 31, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.31 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG
192

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
193

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
194

book article EST / book article ENG

Smart twin cities via urban operating systemSoe, Ralf-MartinICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 20172017 / p. 391-400 : ill https://doi.org/10.1145/3047273.3047322 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
195

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
196

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
197

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
198

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
199

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
200

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

Number of records 233, displaying 176 - 200

previous
1
2
3
4
5
6
7
8
9
10
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