Searching - TalTech Research Portal

display

sort

1526

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

1527

journal article EST / journal article ENG

Stabilization and stability robustness of coupled non-constant parameter time fractional PDEsChen, Juan; Tepljakov, Aleksei; Petlenkov, EduardIEEE Access2019 / p. 163969 - 163980 : ill https://doi.org/10.1109/ACCESS.2019.2951058 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1528

journal article EST / journal article ENG

Stacking deep-learning model, stories and drawing properties for automatic scene generationElloumi, Samir; Bignoumba, NzambaInternational journal of advanced computer science and applications2023 / p. 894-911 https://doi.org/10.14569/IJACSA.2023.0140197 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1529

book article EST / book article ENG

Stage models for moving from e-government to smart governmentLemke, Florian; Taveter, Kuldar; Erlenheim, Regina; Pappel, Ingrid; Draheim, Dirk; Janssen, MarijnElectronic Governance and Open Society: Challenges in Eurasia : 6th International Conference, EGOSE 2019, St.Petersburg, Russia, November 13-14, 2019 : Proceedings2020 / p. 152-164 https://doi.org/10.1007/978-3-030-39296-3_12 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

1530

journal article EST / journal article ENG

State and output feedback boundary control of time fractional pde–fractional ode cascades with space-dependent diffusivityChen, Juan; Tepljakov, Aleksei; Petlenkov, Eduard; Chen, Yangquan; Zhuang, BoIET Control Theory and Applications2020 / p. 3589 - 3600 https://doi.org/10.1049/iet-cta.2019.1015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1531

journal article EST / journal article ENG

State feedback linearization of nonlinear control systems on homogeneous time scalesBartosiewicz, Zbigniew; Belikov, Juri; Kotta, Ülle; Wyrwas, MałgorzataNonlinear analysis: hybrid systems2019 / p. 69-85 https://doi.org/10.1016/j.nahs.2018.08.002 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1532

journal article EST / journal article ENG

State of the art of automated busesAinsalu, Jaagup; Müür, Jaanus; Soe, Ralf-MartinSustainability2018 / art. 3118, 34 p. : ill https://doi.org/10.3390/su10093118 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1533

journal article EST / journal article ENG

Stateful runners of effectful computationsUustalu, TarmoElectronic notes in theoretical computer science2015 / p. 403-421 https://doi.org/10.1016/j.entcs.2015.12.024 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

1534

book article EST / book article ENG

Static Shading Optimization for Glare Control and DaylightDe Luca, Francesco; Sepulveda Luque, Abel; Varjas, ToivoProceedings of the 39th eCAADe Conference - Towards a new, configurable architecture : University of Novi Sad, Novi Sad, Serbia, 8-10 September 2021. Vol. 22021 / p. 419-428 https://doi.org/10.52842/conf.ecaade.2021.2.419 https://papers.cumincad.org/cgi-bin/works/paper/ecaade2021_230 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1535

journal article EST / journal article ENG

Static state feedback linearization of nonlinear control systems on homogeneous time scalesBartosiewicz, Zbigniew; Kotta, Ülle; Tõnso, Maris; Wyrwas, MałgorzataMathematics of control, signals, and systems2015 / p. 523-550 https://doi.org/10.1007/s00498-015-0150-5 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1536

book article EST / book article ENG

Stenmap : framework for evaluating cybersecurity-related skills based on computer simulationsMäses, Sten; Randmann, Liina; Maennel, Olaf Manuel; Lorenz, BirgyLearning and Collaboration Technologies : Learning and Teaching : 5th International Conference : LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018 : Proceedings, Part II2018 / p. 492-504 https://doi.org/10.1007/978-3-319-91152-6_38 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

1537

book article EST / book article ENG

Stimulating the uptake of AI in public administrations : overview and comparison of AI strategies of european member statesNoordt, Colin Pascal van; Medaglia, Rony; Misuraca, GianlucaEGOV-CeDEM-ePart-* 2020 : Ongoing Research, Practitioners, Posters, Workshops, and Projects at EGOV-CeDEM-ePart 20202020 / p. 269-277 https://ceur-ws.org/Vol-2797/paper26.pdf Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

1538

journal article EST / journal article ENG

Strategies for sustainable and circular management of phosphorus in the Baltic Sea region : The holistic approach of the InPhos projectSmol, Marzena; Preisner, Michal; Bianchini, Augusto; Voronova, Viktoria; Pachel, KarinSustainability2020 / 21 p. : ill https://doi.org/10.3390/su12062567 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1539

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

1540

book article EST / book article ENG

Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, NielsMathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings2022 / p. 198-221 : ill https://doi.org/10.1007/978-3-031-16912-0_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

1541

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

1542

journal article EST / journal article ENG

String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 511 - 541 https://doi.org/10.1017/S0960129522000317 Journal at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1543

journal article EST / journal article ENG

String diagram rewrite theory III : confluence with and without FrobeniusBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 829-869 https://doi.org/10.1017/S0960129522000123 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1544

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

1545

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

1546

book article EST / book article ENG

The structure of concurrent process historiesNester, Chad MitchellCoordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings2021 / p. 209−224 https://doi.org/10.1007/978-3-030-78142-2_13 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

1547

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

1548

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

1549

book article EST / book article ENG

Student behavior changes in Estonia revealed by e-learning technologyUdal, Andres; Kukk, Vello; Jaanus, Martin; Umbleja, Kadri; Piho, GunnarDigital Turn in Schools - Research, Policy, Practice : proceedings of ICEM 2018 Conference2019 / p. 83-90 https://doi.org/10.1007/978-981-13-7361-9_6 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1550

book article EST / book article ENG

Student’s behavior in free learning environment and formal education systemKukk, VelloLearning technology for education in Cloud : MOOC and Big Data : third International Workshop, LTEC 2014, Santiago, Chile, September 2-5, 2014 : proceedings2014 / p. 187-194 https://doi.org/10.1007/978-3-319-10671-7_19 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Computer Science (category)

types of item

keyword 151

subject term 6

TalTech department 3

author 1