• Abstraktsioon programmeerimisel : väitekiri ... tehnikamagistri kraadi taotlemiseksPetuhhov, Inga1997 http://www.ester.ee/record=b2687130*est
• Abstraktsioon programmeerimisel : õpikJürgenson, Rein, inform.; Petuhhov, Inga1997 https://www.ester.ee/record=b1053781*est
• Acyclic attribute evaluation in a dependently typed settingFirsov, Denis; Uustalu, TarmoProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 124-126 : ill http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf
• Advanced Functional Programming : 5th International School, AFP 2004 : Tartu, Estonia, August 14-21, 2004 : revised lecturesVene, Varmo; Uustalu, Tarmo2005 https://www.ester.ee/record=b2083926*est
• ALGAMS arvutile "Minsk-32" : õppeabimaterjalJürgenson, Rein, inform.; Lume, Tõnu; Prisk, Leo1974 https://www.ester.ee/record=b1299966*est
• Alustab arvutiteaduse tippkeskusUustalu, TarmoPostimees2008 / 19. aug., Koolituse Extra, lk. 10 https://tarbija.postimees.ee/1815409/alustab-arvutiteaduse-tippkeskus
• Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]Uustalu, TarmoTeadusmõte Küberneetika Instituudis2010 / lk. 86-90 : portr
• Arvutamine on loodusteadus : vastab Tarmo UustaluUustalu, TarmoHorisont2006 / lk. 15-17 : portr https://artiklid.elnet.ee/record=b2039570*est
• Arvuti ja keeledHenno, Jaak2006 http://www.ester.ee/record=b2158058*est
• Arvutigraafika BASIC-keeltes : metoodiline materjal1991 https://www.ester.ee/record=b1253551*est
• Arvutigraafika BASIC-keeltes : metoodiline materjal1988 https://www.ester.ee/record=b1225426*est
• Auto-generation of smart contracts from a domain-specific XML-based languageDwivedi, Vimal Kumar; Norta, AlexanderIntelligent Data Engineering and Analytics2022 / p. 549-564 https://doi.org/10.1007/978-981-16-6624-7_54 https://www.scopus.com/sourceid/21100204111 https://www.scopus.com/record/display.uri?eid=2-s2.0-85126202125&origin=inward&txGid=6189706856eb0f803c3b745a52945e38
• Automated design error debug using high-level decision diagrams and mutation operatorsRaik, Jaan; Repinski, Urmas; Tšepurov, Anton; Hantson, Hanno; Ubar, Raimund-Johannes; Jenihhin, MaksimMicroprocessors and microsystems2013 / p. 505-513 : ill https://doi.org/10.1016/j.micpro.2012.11.004 https://www.scopus.com/sourceid/15552 https://www.scopus.com/record/display.uri?eid=2-s2.0-84878621727&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1016%2Fj.micpro.2012.11.004%29&sessionSearchId=81bea3cc7c86d66922f228affe5df51e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=MICROPROCESS%20MICROSY&year=2013 https://www.webofscience.com/wos/woscc/full-record/WOS:000324667900012
• Baasteadmised programmeerimiskeelest C++Luczkowski, Teodor2004 https://www.ester.ee/record=b1978669*est
• BASIC-arvutigraafika : abimaterjal informaatika õppijatele ja õpetajateleRenzer, Aare1988 https://www.ester.ee/record=b1233694*est
• BASIC-keele lühikursus : õppeabimaterjal1986 https://www.ester.ee/record=b1158971*est
• Borland C++ 2.0Luczkowski, TeodorArvutustehnika ja Andmetöötlus1992 / 3, lk. 42-45
• Borland C++2.0Luczkowski, TeodorArvutustehnika ja Andmetöötlus1991 / 12, lisalehtedel
• Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimineFirsov, Denis2016 http://digi.lib.ttu.ee/i/?6213
• Certified CYK parsing of context-free languagesFirsov, Denis; Uustalu, TarmoJournal of logical and algebraic methods in programming2014 / p. 459-468
• Certified Foata normalization for generalized tracesMaarand, Hendrik; Uustalu, TarmoNASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings2018 / p. 299-314 https://doi.org/10.1007/978-3-319-77935-5_21 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85045305218&origin=inward&txGid=007628a170b6b4778af303c95e08ec54 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000518166700021
• Certified parsing of regular languagesFirsov, Denis; Uustalu, TarmoCertified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings2013 / p. 98 - 113 https://doi.org/10.1007/978-3-319-03545-1_7 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84893051683&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-319-03545-1_7%29 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000440498800007
• Circumstances which should be taken into accountVilu, RaivoGIS-Baltic Sea States '95 : exhibition, conference - Tallinn, Estonia, 13-15 December, 1995 : abstracts, catalogue1995 / p. 52
• C-keele ohudLuczkowski, TeodorArvutustehnika ja Andmetöötlus1991 / 12, lk. 8-13
• CNC machining of halftone and lithophane images into wood-based panelsKiiman, Karmo; Luga, Üllar; Kers, JaanProceedings of the 12th Meeting of the Northern European Network for Wood Science and Engineering (WSE) : Wood Science and Engineering - a Key Factor on the Transition to Bioeconomy : September 12-13, 2016, Riga, Latvia2016 / p. 74-79 : ill http://www.kki.lv/dokumenti/WSE2016.pdf
• CNC machining of halftone and lithophane images into wood-based panels [Online resource]Kiiman, Karmo; Luga, Üllar; Poltimäe, Triinu; Kers, JaanTartu Ülikooli ASTRA projekt PER ASPERA : Funktsionaalsed materjalid ja tehnoloogiad : [7-8 märtsil 2018, Tallinn : teesid] GSFMT Scientific Conference 2018 : Tallinn, March 7-8, 2018 : abstracts2018 / p. 1 http://fmtdk.ut.ee/teesid-2018/
• Coherence via focusing for symmetric skew monoidal and symmetric skew closed categoriesVeltri, NiccoloJournal of logic and computation2024 / art. exae059, 26 p https://doi.org/10.1093/logcom/exae059
• Coinductive big-step semantics for concurrencyUustalu, TarmoProceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 20132013 / p. 63-78 https://doi.org/10.4204/EPTCS.137.6 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84954516018&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.4204%2FEPTCS.137.6%29&sessionSearchId=b54b8b263198aa2b467a2e833e85bb3b
• Combining algebraic effect descriptions using the tensor of complete latticesVoorneveld, NielsElectronic notes in theoretical computer science2020 / p. 257-281 https://doi.org/10.1016/j.entcs.2020.09.013 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-85114396355&origin=inward&txGid=6bbcedf06f7ea01f97b557e59f46f476 https://www.webofscience.com/wos/woscc/full-record/WOS:000582228200013
• Combining JSON-LD with first order logicTammet, Tanel; Sutcliffe, GeoffProceedings - 2021 IEEE 15th International Conference on Semantic Computing, ICSC 20212021 / p. 256 - 261 https://doi.org/10.1109/ICSC50631.2021.00051 https://www.scopus.com/record/display.uri?eid=2-s2.0-85102652968&origin=resultslist&sort=plf-f&src=s&sid=3b42bc15325c13282d3a40f32ea9fcd1&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22combining+json-ld%22%29&sl=34&sessionSearchId=3b42bc15325c13282d3a40f32ea9fcd1 https://www.webofscience.com/wos/woscc/full-record/WOS:000668692000046
• Compilation of heterogeneous models : motivations and challengesBordin, Matteo; Näks, Tõnu; Toom, Andres; Pantel, MarcERTS2 2012 : Embedded Real Time Software and Systems : [1st - 3rd February 2012, Toulouse, France : proceedings]2012 / [10 p.] https://www.adacore.com/papers/compilation-of-heterogeneous-models-motivations-and-challenges1
• Compiling cooperative task management to continuationsNakata, Keiko; Saar, AndriFundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers2013 / p. 95 - 110 https://doi.org/10.1007/978-3-642-40213-5_7 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84886384579&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-642-40213-5_7%29 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000440497900007
• Comprehensive abstraction of VHDL RTL cores to ESL SystemC = Register-siirde taseme VHDL kirjelduste kompleksne abstraheerimine süsteemitaseme SystemC mudeliteksAbrar, Syed Saif2016 http://www.ester.ee/record=b4564850*est
• Conceptual design framework supported by dimensional analysis and System Modelling LanguageChristophe, Francois; Sell, Raivo; Coatanea, EricEstonian journal of engineering2008 / 4, p. 303-316 : ill https://www.semanticscholar.org/paper/Conceptual-design-framework-supported-by-analysis-Christophe-Sell/31bd3a8baf71159f4eb573fec39283598988310e
• Constraint-based test scenario description languageVain, Jüri; Halling, EvelinBEC 2012 : 2012 13th Biennial Baltic Electronics Conference : proceedings of the 13th Biennial Baltic Electronics Conference : October 3-5, 2012, Tallinn, Estonia2012 / p. 89-92 : ill
• Context-Free Languages of String DiagramsEarnshaw, Matthew David; Román, MarioarXiv.org2024 / 24 p. : ill https://doi.org/10.48550/arXiv.2404.10653
• Correction to: Implementation and evaluation of the DAOM framework and support tool for designing blockchain decentralized applications (International Journal of Information Technology, (2021), 13, 6, (2245-2263), 10.1007/s41870-021-00816-6)Udokwu, Chibuzor; Brandtner, Patrick; Norta, Alexander; Kormiltsõn, Aleksandr; Matulevičius, RaimundasInternational Journal of Information Technology (Singapore)2022 https://doi.org/10.1007/s41870-022-01026-4 https://www.scopus.com/sourceid/21101022413 https://www.scopus.com/record/display.uri?eid=2-s2.0-85136971804&origin=resultslist&sort=plf-f&src=s&sid=a3b0e9d2740ca01706a1ac0b8de126af&sot=b&sdt=b&s=DOI%2810.1007%2Fs41870-022-01026-4%29&sl=31&sessionSearchId=a3b0e9d2740ca01706a1ac0b8de126af&relpos=0
• Data exchange between product model and engineering applicationsKiolein, Indrek; Saks, AloProceedings of the Second National DAAAM Conference in Estonia : Science'961997 / p. 45-50: ill
• Data-driven matrix formsTepandi, JaakData processing. Compiler writing. Programming1986 / p. 31-42
• Designing a contractual choreography language for automating cross-organizational business collaborationNorta, Alexander; Ma, Lixin; Duan, Yucong2014 IEEE Tenth World Congress on Services : SERVICES 2014 : 27 June-2 July 2014, Anchorage, Alaska : proceedings2014 / p. 338-345 : ill
• Determining a device crossover point in CPU/GPU systems for streaming applicationsKanur, Sudeep; Lund, Wictor; Tsiopoulos, Leonidas; Lilius, Johan2015 IEEE Global Conference on Signal and Information Processing : GlobalSIP 2015 : Orlando, FL, USA, December 14-16, 20152015 / p. 1417-1421 : ill http://dx.doi.org/10.1109/GlobalSIP.2015.7418432
• DIAMS-2 keel : metoodiline juhend1985
• The early π-calculus in ticked cubical type theoryVeltri, Niccolo; Vezzosi, Andrea31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 77-80 https://doi.org/10.23658/taltech.nwpt/2019
• Eestlaste korraldatud tippkonverents PyCon tõi kokku sajad it-spetsialistid üle maailma [Võrguväljaanne]am.ee2022 https://www.am.ee/node/8547
• ELMA as an instrumental system for building practical programming systemsLepp, Marge; Vooglaid, Aare; Võhandu, LeoData processing. Compiler writing. Programming1986 / p. 85-91
• En garde! Unguarded iteration for reversible computation in the delay monadKaarsgaard, Robin; Veltri, NiccoloMathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings2019 / p. 366-384 https://doi.org/10.1007/978-3-030-33636-3_13
• Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoCVain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav; Apneet Kaur; Jenihhin, Maksim; Raik, Jaan; Nõmm, SvenGreen IT Engineering: Social, Business and Industrial Applications2019 / p. 273-297 https://doi.org/10.1007/978-3-030-00253-4_12 https://www.scopus.com/sourceid/21100828949 https://www.scopus.com/record/display.uri?eid=2-s2.0-85054186046&origin=inward&txGid=16bdfce30ffe73899ab3f2f9743b2fac
• Enhancing bandgap depth in locally resonant metastructures via notch-filtered piezoelectric actuationAlimohammadi, Hossein; Vassiljeva, Kristina; HosseinNia, S. Hassan; Petlenkov, Eduard2024 IEEE International Conference on Industrial Technology (ICIT)2024 https://doi.org/10.1109/ICIT58233.2024.10540976 https://www.scopus.com/sourceid/84128 https://www.scopus.com/record/display.uri?eid=2-s2.0-85195777116&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1109%2FICIT58233.2024.10540976%29&sessionSearchId=e480f059ffe0534f81c8c6919542edf7&relpos=0
• Enhancing forensic-tool security with Rust : Development of a string extraction utilityGetreu, Jens; Maennel, Olaf ManuelJournal of Digital Forensics, Security and Law2019 / art. 4, p. 46-58 : ill https://doi.org/10.15394/jdfsl.2019.1607
• Excel ja VBALuczkowski, Teodor2009 http://www.ester.ee/record=b2462056*est
• Experimenting with graded monads: certified grading-based program transformationsTalvik, Tõnn; Uustalu, Tarmo24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts2018 / p. 82-83 https://types2018.projj.eu/book-of-abstracts/
• Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, Marc7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings2014 / [10] p. : ill
• Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 20202020 / p. 270–283 https://doi.org/10.1145/3372885.3373814
• Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 20202020 / p. 270-283 https://doi.org/10.1145/3372885.3373814
• Fortran : lühiülevaade1986 https://www.ester.ee/record=b1231480*est
• Fortran 77Vilipõld, JüriArvutustehnika ja Andmetöötlus : A&A1988 / lk. 1-7 https://www.ester.ee/record=b1071940*est
• Fortran 77 : metoodiline juhend1988 https://www.ester.ee/record=b1240231*est
• Fortran 77 : metoodiline juhend1987 https://www.ester.ee/record=b1263081*est
• Fortran-programmide teisendajaRemmel, V.; Raiend, Kullo; Uibo, ErikXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 94-95 https://www.ester.ee/record=b1322611*est
• Foundations of software science and computation structures: 26th International Conference, FoSSaCS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023, proceedings2023 https://doi.org/10.1007/978-3-031-30829-1
• Freely combining partial knowledge in multiple dimensions (extended abstract)Draheim, DirkFuture Data and Security Engineering : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings2018 / p. 3-11 https://doi.org/10.1007/978-3-030-03192-3_1 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85082436620&origin=resultslist&sort=plf-f&src=s&sid=0af0cfa339b6ddbe539a2cb0d98ebec0&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-030-03192-3_1%29&sl=108&sessionSearchId=0af0cfa339b6ddbe539a2cb0d98ebec0&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000521734200001
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85019247773&origin=inward&txGid=22b8ba4a3ce08e642a5e72b5f5230fdb https://www.webofscience.com/wos/woscc/full-record/WOS:000405454500007
• Graafide korrastamisest J-keele abilVõhandu, LeoA & A2001 / 5, lk. 51-56 ; 6, lk. 38-44
• Hasartmängud J-keelesVõhandu, LeoArvutimaailm2000 / 1, 43-45 https://artiklid.elnet.ee/record=b1003028*est
• Higher-order attribute semantics of flat declarative languagesGrigorenko, Pavel20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts2008 / p. 37-39 : ill https://artiklid.elnet.ee/record=b1072901*est
• High-level design error diagnosis using backtrace on decision diagramsRaik, Jaan; Repinski, Urmas; Ubar, Raimund-Johannes; Jenihhin, Maksim; Tšepurov, Anton28th Norchip Conference : Tampere, Finland, 15-16 November 2010 : conference program and papers2010 / [4] p. : ill http://dx.doi.org/10.1109/NORCHIP.2010.5669486
• Implementation and evaluation of the DAOM framework and tool support for designing blockchain decentralized applicationsUdokwu, Chibuzor; Brandtner, Patrick; Norta, Alexander; Kormiltsõn, Aleksandr; Matulevičius, RaimundasInternational journal of law and information technology2021 / p. 2245−2263 : ill https://doi.org/10.1007/s41870-021-00816-6 https://www.scopus.com/sourceid/21101022413 https://www.scopus.com/record/display.uri?eid=2-s2.0-85117445517&origin=inward&txGid=8423c8bb29005d69b4e6b3f647fc0e73
• An implementation in Agda of Sutner's decision algorithms for injectivity and surjectivity of one-dimensional cellular automataCapobianco, Silvio; Veltri, NiccoloProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 27-29 http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf
• Improving response time of task and Adaboost classifiers in mobile fog computingDarbanian, Elham; Rahbari, Dadmehr; Ghanizadeh, Roghayeh; Nickray, MohsenJordanian journal of computers and information technology2020 / p. 345−360 https://www.ejmanager.com/mnstemps/71/71-1590557276.pdf?t=1608030630
• Infotehnoloogia. Sõnastik. Osa 15, ProgrammikeeledHanson, Vello; Tavast, Arvi; Kalja, Ahto; Võhandu, Leo2001 https://www.ester.ee/record=b1536049*est
• Integrated application of program generators and application packagesTamm, Boris, inform.Tutkimus ja tekniikka1979 / p. 38-43 : ill
• Integration of ‘Central’ and ‘Peripheral’ Nervous Systems in Scrub Nurse Robot and Comparison Between ‘Voluntary’ and ‘Reflex’ MovementsMiyawaki, Fujio; Suzuki, Miho; Anier, Aivo; Vain, JüriIFAC-PapersOnLine2019 / p. 229-234 : ill https://doi.org/10.1016/j.ifacol.2019.12.103 https://www.scopus.com/sourceid/21100456158 https://www.scopus.com/record/display.uri?eid=2-s2.0-85079659439&origin=inward&txGid=96a7e9f9a6326904d29fe66a5135cc0a https://www.webofscience.com/wos/woscc/full-record/WOS:000504294500040
• Introduction to the IOT (Internet of Things) : coursebookSell, Raivo; Puks, Rim; Kingsepp, Mallor; Nikitenko, Agris; Berkolds, Karlis; Vagale, Anete; Rumba, Rudolfs; Czekalski, Piotr; Tokarz, Krzysztof; Läll, Karl2025 https://ebooks.rtu.lv/product/introduction-to-the-iot-second-edition/?lang=en#tab-id-1
• Is Amazon Kinesis Data Analytics suitable as core for an event processing network model?Koschel, Arne; Astrova, Irina; Pakosch, Anna; Gerner, Christian; Schulze, Christin; Tyca, MatthiasProceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART,2024 / p. 1036 - 1043 https://doi.org/10.5220/0012432800003636 https://www.scopus.com/sourceid/21101194368 https://www.scopus.com/record/display.uri?eid=2-s2.0-85190776944&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.5220%2F0012432800003636%29&sessionSearchId=34a003996a8bf86bc900adea6811198a&relpos=0
• Java fenomenTõugu, EnnA & A1998 / 2, lk. 4-7 https://artiklid.elnet.ee/record=b2003493*est
• J-keelVõhandu, LeoA & A2000 / 5, lk. 44-49 https://artiklid.elnet.ee/record=b1005194*est
• J-keelest ja Goldbachi hüpoteesistVõhandu, LeoA & A2001 / 2, lk. 54-57
• JSC-.NET ristkompilaator veebi platvormideleSulakatko, ArvoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis2010 / lk. 105-107 : ill
• 25 x Pascal : metoodiline juhend1986 https://www.ester.ee/record=b1206597*est
• Keerdülesannetest kehtestatavuseniVõhandu, LeoA & A2004 / 6, lk. 34-47 : ill https://artiklid.elnet.ee/record=b1017273*est
• Knowledge application in CAD and controlTamm, Boris, inform.; Tõugu, EnnData processing. Compiler writing. Programming1986 / p. 3-14
• Kolmkümmend aastat programmeerimiskeeli ja translaatoreid : [rahvusvah. nõup. "Kompilaatorite konstrueerimine" : Paderborn, Šveits : okt. 1992]Wirth, N.Arvutustehnika ja Andmetöötlus1993 / lk. 13-24
• Kroonika : Tallinnas peab ettekande programmeerimiskeele C++ looja Bjarne Stroustrup. Kinnitati Eesti Teadusagentuuri hindamisnõukogu : [TTÜst Tõnis Timmusk, Rainer Kattel ja Enn Mellikov]. Parim ülikooliõpik TTÜst : [Enno Reinsalu raamat "Eesti mäendus" : lühisõnumid]Mente et Manu2012 / lk. 1
• Laiatarbe tarkvarapaketid personaalarvutitele. Turbo PascalJürgenson, Rein, inform.1989 https://www.ester.ee/record=b1221397*est
• Languages of string diagrams = Nöördiagrammide keeledEarnshaw, Matthew David2025 https://www.ester.ee/record=b5728253*est https://doi.org/10.23658/taltech.2/2025 https://digikogu.taltech.ee/et/Item/30c6f3d0-9655-483d-bd8d-46a5a68bcede
• Logic programmingTepandi, JaakConcise encyclopedia of software engineering1993 / p. 194-195
• Lower bound methods for the size of nondeterministic finite automata revisitedTamm, Hellis; Merwe, Brink van derLanguage and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017 : proceedings2017 / p. 261-272 https://doi.org/10.1007/978-3-319-53733-7_19 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85013378430&origin=inward&txGid=c9b1cd3b5d0721e966934ff666e0f8a2 https://www.webofscience.com/wos/woscc/full-record/WOS:000418579700019
• Metamodel-based comparison of data modelsEessaar, ErkiAdvances and Innovations in Systems, Computing Sciences and Software Engineering2007 / p. 109-114 https://link.springer.com/chapter/10.1007/978-1-4020-6264-3_21
• Mitmelõimelisuse tugi Java keskkonnasJänes, UrmetA & A2000 / 1, lk. 22-26 https://artiklid.elnet.ee/record=b1003330*est
• Model Driven ArchitectureLeis, PaulA & A2004 / 1, lk. 13-20 : ill https://artiklid.elnet.ee/record=b1014997*est
• Models of attributed automataMeriste, Merik; Penjam, Jaan; Vene, VarmoInformatica1998 / 1, p. 85-105: ill
• Modula-2Jürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus1990 / 1, lk. 22-35
• MODULA-2 : elementaarprogrammeerimine : metoodiline juhend1988 https://www.ester.ee/record=b1233719*est
• Modula-2. Moodulprogrammeerimine : metoodiline juhendJürgenson, Rein, inform.1989 https://www.ester.ee/record=b1210477*est
• Monoidal streams for dataflow programmingDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, Mario37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 20222022 / art. 3533365, p. 1-14 : ill https://doi.org/10.1145/3531130.3533365 https://www.scopus.com/sourceid/25562 https://www.scopus.com/record/display.uri?eid=2-s2.0-85136960045&origin=inward&txGid=d9cd3847c50ed485b987e8dbb36224e7
• Moodulitehnika Modula-2 keelesJürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus1990 / 3, lk. 4-19
• MSX - БЕЙСИК : методическое руководство1987 https://www.ester.ee/record=b1354268*est
• Multi-view modeling for MPSoC design aspects [Online resource]Vain, Jüri; Apneet Kaur; Tsiopoulos, Leonidas; Raik, Jaan; Jenihhin, MaksimBEC 2018 : 2018 16th Biennial Baltic Electronics Conference (BEC) : proceedings of the 16th Biennial Baltic Electronics Conference, October 8-10, 20182018 / 4 p.: ill https://doi.org/10.1109/BEC.2018.8600986
• Objektorienteeritud lähenemine programmeerimisele : õpikJürgenson, Rein, inform.; Vahe, Vilmar1999 https://www.ester.ee/record=b1269056*est
• Objektorienteeritud lähenemine programmeerimisele : õpikJürgenson, Rein, inform.; Vahe, Vilmar2001 https://www.ester.ee/record=b1269056*est
• Objektorienteeritud programeerimiskeel C++Luczkowski, TeodorArvutustehnika ja Andmetöötlus1989 / lk. 12-15 https://www.ester.ee/record=b1071940*est
• On the data structure and linkage problems in NC machine tool languagesTamm, Boris, inform.Numerical control programming languages : proceedings of the 1st International IFIP/IFAC PROLAMAT Conference, Rome, 19691970 / p. 342-349 : ill https://www.amazon.com/Numerical-Control-Programming-Languages-Proceedings/dp/0720420393 https://www.ester.ee/record=b1656174*est
• Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantikaMaarand, Hendrik2020 https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb
• Pascal süsteemis OS-RV : metoodiline juhendJürgenson, Rein, inform.1986 https://www.ester.ee/record=b1230319*est
• Pascal süsteemis OS-RV : metoodiline juhendJürgenson, Rein, inform.1987 https://www.ester.ee/record=b1263088*est
• Pawel Sobocinski: Teistmoodi matemaatikaga saame luua paremat tarkvaraSobocinski, Pawel Mariaarileht.delfi.ee Trialoog2024 https://trialoog.taltech.ee/pawel-sobocinski-teistmoodi-matemaatikaga-saame-luua-paremat-tarkvara/ https://arileht.delfi.ee/artikkel/120282765/pawel-sobocinski-teistmoodi-matemaatikaga-saame-luua-paremat-tarkvara
• Pawel Sobocinski: teistmoodi matemaatikaga saame luua paremat tarkvaraSobocinski, Pawel MariaMente et Manu2024 / lk. 14-19 : fot https://www.ester.ee/record=b1242496*est
• PL/1 ja DOS : loengukonspektJürgenson, Rein, inform.1975 https://www.ester.ee/record=b1302917*est
• PL/1-keele ABC : metoodiline juhend kaugüliõpilastele1978 https://www.ester.ee/record=b1314011*est
• PL/1-keele eriteemasid : loengukonspektJürgenson, Rein, inform1975 https://www.ester.ee/record=b1302924*est
• PL/I-keele ABC : metoodiline juhend kaugüliõpilastele1988 https://www.ester.ee/record=b1236071*est
• Practical transformation verification with OCLToom, AndresInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK viienda aastakonverentsi artiklite kogumik : 25.-26. novembril 2011, Nelijärve2011 / p. 165-168 : ill
• PrefaceUustalu, Tarmo; Vain, Jüri31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. iii https://doi.org/10.23658/taltech.nwpt/2019
• Problem oriented computer languages for simulating engineering processesPruuden, Juhan; Tamm, Boris, inform.Information processing 68 : proceedings of IFIP Congress 1968. 11969 / p. 1484-1488 : ill https://books.google.ee/books/about/Information_Processing_68.html?id=OmjaAQAACAAJ&redir_esc=y https://www.ester.ee/record=b5694040*est
• Proceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 2005Vene, Varmo; Meriste, Merik2005 https://www.ester.ee/record=b2060802*est
• ProgrammeerimineJürgenson, Rein, inform.1989 https://www.ester.ee/record=b1193658*est
• Programmeerimine Basic-keeles : metoodiline juhend, programm ja kontrolltööd kaugüliõpilastele1986 https://www.ester.ee/record=b1240948*est
• Programmeerimine kolmanda põlvkonna arvuteileJürgenson, Rein, inform.1977 https://www.ester.ee/record=b1264221*est
• Programmeerimine Pascal-keelesJürgenson, Rein, inform.1985 https://www.ester.ee/record=b1193662*est
• Programmeerimise ülesannete koguJürgenson, Rein, inform.; Kaasik, Ülo; Kull, Ivar; Võhandu, Leo1978 https://www.ester.ee/record=b1313965*est
• Programmeerimiskeel C++Luczkowski, TeodorArvutustehnika ja Andmetöötlus1992 / 10, lk. 16-20; 11, lk. 1-7; 12, lk. 6-11
• Programmeerimiskeel C++Luczkowski, TeodorArvutustehnika ja Andmetöötlus1993 / 1, lk. 9-12; 2, lk. 3-6; 3, lk. 1-4; 4, lk. 7-12
• Programmeerimiskeel C++ : objektitehnikaLuczkowski, TeodorTurbo Pascal & C++ : objektitehnika1994 / lk. 121-255
• Programmeerimiskeel Pascal : õppevahendJürgenson, Rein, inform.1985 https://www.ester.ee/record=b1233809*est
• Programmeerimiskeel Pascal : õppevahendJürgenson, Rein, inform.1982 https://www.ester.ee/record=b1273583*est
• Programmeerimiskeel PL/1 : loengukonspektJürgenson, Rein, inform.1975 https://www.ester.ee/record=b1314684*est
• Programmeerimiskeel Turbo Pascal : objektitehnikaJürgenson, Rein, inform.Turbo Pascal & C++ : objektitehnika1994 / lk. 3-119
• Programmeerimiskeele RPG oskussõnadAuendorf, K.; Viisileht, A.; Saks, LukreetsiaXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 148-149 https://www.ester.ee/record=b2449987*est
• ProgrammeerimiskeeledIsotamm, Ain; Vene, Varmo2007 https://www.ester.ee/record=b2239351*est
• Programmeerimiskeeled C ja C++Luczkowski, Teodor2013 http://www.ester.ee/record=b2925976*est
• Programmeerimiskeskkond Visual Basic 2005Luczkowski, Teodor2006 http://www.ester.ee/record=b2192516*est
• Programmikeelte suurkonverents : [ühendkonverents TFP/ICFP/GPCP 2005 Tallinnas]Uustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20052006 / lk. 391-393
• Programming language implementation and logic programming : 5th Intern. Symposium PLILP '93, Tallinn, August 25-27, 1993 : proceedingsBruynooghe, Maurice; Penjam, Jaan1993 https://www.ester.ee/record=b1036491*est
• Prolog ja Olümpose jumaladHenno, Jaak2004 https://www.ester.ee/record=b1980187*est
• Prolog ja Olümpose jumaladHenno, JaakArvutustehnika ja Andmetöötlus1988 / lk. [5]-12 : ill https://www.ester.ee/record=b1071940*est
• Prolog ja Olympoksen jumalatHenno, Jaak1992 https://www.ester.ee/record=b1019003*est
• Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccolòTheoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings2015 / p. 110 - 125 https://doi.org/10.1007/978-3-319-25150-9_8 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84952056543&origin=inward&txGid=396398c4a9eb182723510e6786a54824 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000366212700008
• Quotients and atoms of reversible languagesTamm, HellisTheoretical Computer Science2022 / p. 33-45 https://doi.org/10.1016/j.tcs.2022.02.023 https://www.scopus.com/sourceid/20571 https://www.scopus.com/record/display.uri?eid=2-s2.0-85125740252&origin=inward&txGid=8f348c5516ec713375880cc196a8c98a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=THEOR%20COMPUT%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000830247200004
• Rakenduste loomise ja programmeerimise alused : valikkursus gümnaasiumitele : õpik [E-raamat]Vilipõld, Jüri; Antoi, Kersti; Amitan, Irina2013 http://rlpa.ttu.ee/RLPA_opik.pdf
• Reasoning about correctness of transactional memory with operational semanticsSaar, Andri; Uustalu, TarmoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis2010 / lk. 145-148
• Reflective constraint writing : a symbolic viewpoint of modeling languagesDraheim, DirkTransactions on large-scale data- and knowledge-centered systems XXIV : special issue on database- and expert-systems applications2016 / p. 1-60 : ill http://dx.doi.org/10.1007/978-3-662-49214-7_1
• Relative monads formalisedAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoJournal of formalized reasoning2014 / p. 1-43 https://doi.org/10.6092/issn.1972-5787/4389 https://www.scopus.com/sourceid/21100262198 https://www.scopus.com/record/display.uri?eid=2-s2.0-84904630409&origin=inward&txGid=417864a3d23c7ca8e897f9b405dcc50f
• Securing class initialization in Java-like languagesRafnsson, Willard; Nakata, Keiko; Sabelfeld, AndreiIEEE transactions on dependable and secure computing2013 / p. 1-13 https://doi.org/10.1109/TDSC.2012.73 https://www.scopus.com/sourceid/28918 https://www.scopus.com/record/display.uri?eid=2-s2.0-84872013232&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1109%2FTDSC.2012.73%29&sessionSearchId=0472c8d3921741a1d82331487f98d0e8 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=IEEE%20T%20DEPEND%20SECURE&year=2013 https://www.webofscience.com/wos/woscc/full-record/WOS:000312779000001
• Semi-automated integration of domain ontologies to DSL meta-modelsHaav, Hele-Mai; Ojamaa, AndresInternational journal of intelligent information and database systems2017 / p. 94-116 :ill https://doi.org/10.1504/IJIIDS.2017.086198 https://www.scopus.com/sourceid/15700154703 https://www.scopus.com/record/display.uri?eid=2-s2.0-85028859969&origin=inward&txGid=083927f8d33c745bb2b508d02aee0db7
• Signals and comonadsUustalu, Tarmo; Vene, VarmoProceedings of 9th Brazilian Symposium on Programming Languages : SBLP'05 : Recife, Brazil, May 23-25, 20052005 / p. 215-228
• Simple analysis of gel images with IOCBIO gel softwareJaska, Lucia; Birkedal, Rikke; Laasmaa, Martin; Vendelin, MarkoBio-protocol2024 / art. e5053, 12 p https://doi.org/10.21769/BioProtoc.5053 https://www.scopus.com/sourceid/21101060220 https://www.scopus.com/pages/publications/85201781569?inward https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BIO-PROTOCOL&year=2024 https://www.webofscience.com/wos/woscc/full-record/WOS:001295277900007
• Simulation of logic-informational processes by means of problems-oriented computer languagesTamm, Boris, inform.5e congrès international de cybernétique : Namur, 11-15 Septembre 1967 : extrait = 5th International Congress on Cybernetics : Namur, September 11-15th 1967 : extract1968 / p. 51-61 : ill
• Simulation-based equivalence checking between IEEE 1687 ICL and RTLDamljanovic, Aleksa; Jutman, Artur; Portolan, Michele; Tšertov, Anton2019 IEEE International Test Conference (ITC)2019 / paper. 7.3, 8 p. : ill https://doi.org/10.1109/ITC44170.2019.9000181
• Sisend-väljund keeles PL/1 : loengukonspektJürgenson, Rein, inform.1975 https://www.ester.ee/record=b1307642*est
• Sissejuhatus Ada-keelde : metoodiline materjalJürgenson, Rein, inform.1987 https://www.ester.ee/record=b1230821*est
• Sissejuhatus programmeerimisse an-keeles : loengumaterjalHenno, Jaak; Käerdi, Helmo1980 https://www.ester.ee/record=b1287519*est
• 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 https://www.scopus.com/sourceid/27836 https://www.scopus.com/record/display.uri?eid=2-s2.0-85173587757&origin=resultslist&sort=plf-f&src=s&sid=4cccad9163859ccf7ef58333a8773ab8&sot=b&sdt=b&s=TITLE%28%22SSProve%3A+A+Foundational+Framework+for+Modular+Cryptographic+Proofs+in+Coq%22%29&sl=82&sessionSearchId=4cccad9163859ccf7ef58333a8773ab8&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ACM%20T%20PROGR%20LANG%20SYS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001066592300002
• Structural synthesis of programs with preconditionsKotkas, VahurProceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 20052005 / p. 70-81 : ill
• Structured general corecursion and coinductive graphs [extended abstract]Uustalu, TarmoEPTCS 77 : proceedings of the 8th Workshop on Fixed Points in Computer Science : Tallinn, Estonia, 24th March 20122012 / p. 55-61 https://arxiv.org/abs/1202.3502
• Suure täpsusega arvutamine J-keelesVõhandu, LeoA & A2001 / 1, lk. 53-58
• Sõnasepandus ehk tekstikäsitlus poeetideleVõhandu, LeoA & A2001 / 4, lk. 41-47 https://artiklid.elnet.ee/record=b1007652*est
• A system for CAD/CAM software development and implementationTamm, Boris, inform.; Küttner, Rein; Vilipõld, Jüri; Pruuden, JuhanComputers in industry1984 / p. 367-376
• SystemC-based loose models : RTL abstraction for design understandingAbrar, Syed Saif; Jenihhin, Maksim; Raik, JaanWorkshop on Design Automation for Understanding Hardware Designs DUHDe 2015 : Grenoble, March 13, 20152015 / p. 1-6
• SystemC-based loose models for simulation speed-up by abstraction of RTL IP coresAbrar, Syed Saif; Jenihhin, Maksim; Raik, Jaan2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems DDECS 2015 : 22-24 April 2015, Belgrade, Serbia : proceedings2015 / p. 71-74 : ill http://dx.doi.org/10.1109/DDECS.2015.39
• Tarmo Uustalu is creating a new computer languageUustalu, TarmoEstonian Centre of Excellence in ICT Research2021 / p. 73-77 : ill http://www.digar.ee/id/nlib-digar:634779 https://www.ester.ee/record=b5456158*est
• Teaching HDL for IT-studentsEllervee, Peeter; Reinsalu, Uljana; Arhipov, AntonEWME 2006 proceedings : 6th International Workshop on Microelectronics Education : 8-9 June, 2006, Stockholm, Sweden2006 / p. 112-115
• Teaching modeling in SysML/UML and problems encounteredKruus, Helena; Robal, Tarmo; Jervan, GertProceedings of the 25th International Conference on European Association for Education in Electrical and Information Engineering : 30 May-June 2014, Cesme, Türkiye2014 / p. 33-36 : ill
• Temporally extended high-level decision diagrams for PSL assertions simulationJenihhin, Maksim; Raik, Jaan; Tšepurov, Anton; Ubar, Raimund-JohannesProceedings : Thirteenth IEEE European Test Symposium : ETS 2008 : 25-29 May 2008, Verbania, Italy2008 / p. 61-68 : ill https://ieeexplore.ieee.org/document/4556029
• 10th Workshop on Quantitative Aspects of Programming Languages : QAPL 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : pre-proceedings2012 https://www.ester.ee/record=b2769334*est
• Term search in RustAnnus, Tavo; Joram, PhilippTyDe 2024: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development2024 / p. 62-73 https://doi.org/10.1145/3678000.3678210 https://www.scopus.com/record/display.uri?eid=2-s2.0-85203878790&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Term+search+in+Rust%22%29&sessionSearchId=d0a48f21c186f89247af4c110e9b48a1&relpos=1
• Tests of graphics rendering in browsersHenno, Jaak; Jaakkola, Hannu; Mäkelä, JukkaSixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications : SQAMIA 2017 : Belgrade, Serbia, 11-13.09.2017 : proceedings2017 / p. 3:1-3:10 https://ceur-ws.org/Vol-1938/paper-hen.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030767696&origin=inward&txGid=5b8b858c440feb10b7a1e51829654ade
• A textual domain specific language for user interface modellingKaru, MartEmerging trends in computing, informatics, systems sciences, and engineering2013 / p. 985-996 https://doi.org/10.1007/978-1-4614-3558-7_84 https://www.scopus.com/sourceid/19700186822 https://www.scopus.com/record/display.uri?eid=2-s2.0-84865979565&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-1-4614-3558-7_84%29
• 2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedingsUustalu, Tarmo; Saabas, Ando2004 https://www.ester.ee/record=b1893488*est
• Theory of átomataBrzozowski, Janusz; Tamm, HellisTheoretical computer science2014 / p. 13-27 : ill https://doi.org/10.1016/j.tcs.2014.04.016 https://www.scopus.com/sourceid/20571 https://www.scopus.com/record/display.uri?eid=2-s2.0-84926689142&origin=inward&txGid=bf428d200d54b0c2ba0cb204a9b3c395 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=THEOR%20COMPUT%20SCI&year=2014 https://www.webofscience.com/wos/woscc/full-record/WOS:000338598500002
• Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theoryMannaa, Bassel; Mogelberg, Rasmus Ejlers; Veltri, NiccoloLogical Methods in Computer Science2020 / p. 17:1 - 17:31 https://doi.org/10.23638/LMCS-16(4:17)2020 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101631804&origin=inward&txGid=67cf5a96ab1788d427080e674c68379c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000605983500019
• A tool-supported approach for introducing aspects in UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, Martin; Iqbal, JunaidSoftware technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers2015 / p. 349-364 https://doi.org/10.1007/978-3-319-25579-8_20 https://www.scopus.com/sourceid/17700155007 https://www.scopus.com/record/display.uri?eid=2-s2.0-84951200780&origin=inward&txGid=efe326552268828f02982130368d94dd https://www.webofscience.com/wos/woscc/full-record/WOS:000369296800020
• Towards a high-level programming language for IoT and roboticsKanter, Gert; Vain, Jüri; Fazeldehkordi, Elahe; Owe, Olaf32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 20212021 / 3 p http://icetcs.ru.is/nwpt21/abstracts/paper8.pdf http://icetcs.ru.is/nwpt21/programme.html
• Towards reliable code generation with an open tool : evolutions of the gene-auto toolsetToom, Andres; Izerrouken, N.; Näks, Tõnu; Pantel, M.; Ssi Yan Kai, O.5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems : 19-21 May 2010, Toulouse, France2010 / [10] p https://hal.science/hal-02267640/document
• Towards reliable code generation with an open tool : evolutions of the Gene-Auto toolsetToom, Andres; Izerrouken, N.; Näks, Tõnu; Pantel, M.; Ssi Yan Kai, O.Ingénieurs de l'Automobile2010 / p. 29-35 https://hal.science/hal-02267640/document
• Translaatorite koostamine : õppevahendHenno, Jaak; Jokk, Viivi; Lepp, Marge; Vooglaid, Aare1986 https://www.ester.ee/record=b1227627*est
• TranspuutridToomsalu, ArvoArvutustehnika ja Andmetöötlus1997 / 4, lk. 14-16; 5, lk. 7-11; 6, lk. 6-9; 7/8, lk. 1-6: ill
• Turbo PascalJürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus : A&A1989 / lk. 5-12 https://www.ester.ee/record=b1071940*est
• Turbo Pascal & C++ : objektitehnika1994 https://www.ester.ee/record=b1057437*est
• Turbo Pascal & C++ : objektitehnikaLuczkowski, Teodor; Jürgenson, Rein, inform.1992 https://www.ester.ee/record=b1064289*est
• Turbo Pascali graafikavahendidJürgenson, Rein, inform.1991 http://www.ester.ee/record=b1192319*est
• Turbo Pascali menüüsüsteemJürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus : A&A1989 / lk. 1-8 https://www.ester.ee/record=b1071940*est
• Turbo Pascali moodulitehnikaJürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus : A&A1989 / lk. 9-19 : ill https://www.ester.ee/record=b1071940*est
• 12th Symposium on Programming Languages and Software Tools : SPLST'11 : Tallinn, Estonia, 5-7 October 2011 : proceedings2011 http://www.ester.ee/record=b2718552*est
• A type system with subtyping for Webassembly’s stack polymorphismMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 305-323 https://doi.org/10.1007/978-3-031-17715-6_20 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85140780525&origin=inward&txGid=eaace2b9291a459cc8c277324c839832
• Type systems equivalent to dataflow analyses for imperative languagesLaud, Peeter; Uustalu, Tarmo; Vene, VarmoProceedings of 3rd APPSEM II Workshop : APPSEM'05 : Frauenchiemsee, September 20052005 / [12] p https://www.sciencedirect.com/science/article/pii/S0304397506005524
• Type systems for optimizing stack-based codeSaabas, AndoTwelfth Estonian Winter School in Computer Science (EWSCS'07) : Lahemaa, Estonia, March 4-9, 20072007 / [1 p.] https://artiklid.elnet.ee/record=b1021261*est
• A unifying categorical view of nondeterministic iteration and testsGoncharov, Sergey; Uustalu, Tarmo35th International Conference on Concurrency Theory (CONCUR 2024)2024 / art. 25 https://doi.org/10.4230/LIPIcs.CONCUR.2024.25 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85203523006&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.4230%2FLIPIcs.CONCUR.2024.25%29&sessionSearchId=e19eefaaae2c94da6efd1164d7a1280e&relpos=0
• UNIX ja keel C : ülevaade : metoodiline juhend1991 http://www.ester.ee/record=b1188903*est
• UNIX ja keel C ülevaade : metoodiline juhend1987 https://www.ester.ee/record=b1263097*est
• Unmanned ground vehicle energy efficiency validation in territory surveillance missionVäljaots, Eero; Sell, Raivo; Rimasauskas, MariusMechatronic Systems and Materials VII2016 / p. 164-170 https://doi.org/10.4028/www.scientific.net/SSP.251.164 https://www.scopus.com/sourceid/21100305259 https://www.scopus.com/record/display.uri?eid=2-s2.0-84964866715&origin=inward&txGid=0c702839b5a635bac892ec2183ceda88
• Variations on NoetheriannessFirsov, Denis; Uustalu, Tarmo; Veltri, NiccoloProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 76-88 : ill https://doi.org/10.4204/eptcs.207.4 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84991672233&origin=inward&txGid=7cfe2cb50f0a4ed4cc9f981d3904dc86 https://www.webofscience.com/wos/woscc/full-record/WOS:000390278400005
• When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill https://doi.org/10.2168/LMCS-10(3:14)2014 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-84908291183&origin=inward&txGid=3a9bf44be0ff74f7f537c2f41be9a2a6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2014 https://www.webofscience.com/wos/woscc/full-record/WOS:000347714800024
• Visual Basic : programminäitedLuczkowski, Teodor2000 https://www.ester.ee/record=b1438674*est
• БЭЙСИК-11 для СМ ЭВМ : методическое руководство1987 https://www.ester.ee/record=b1410169*est
• Введение в программирование на языке anHenno, Jaak; Käerdi, Helmo1980 https://www.ester.ee/record=b2457915*est
• Введение в программирование на языке БЕЙСИК для ЭВМ СМ-4 : методическое пособие1986 https://www.ester.ee/record=b1234417*est
• Возможности запроса данных на языке DAMAL системы ПАРЕСPauklin, Urmas; Eivak, JüriОбработка данных, построение трансляторов, вопросы программирования1984 / с. 49-57 : ил https://www.ester.ee/record=b1538632*est https://digikogu.taltech.ee/et/Item/46a2761f-8fd6-42eb-bd9e-a89c6d2b0577
• Генератор Триодик-ФортVõhandu, Leo; Jürgenson, SvenОбработка данных. Построение трансляторов. Вопросы программирования1988 / с. 43-52
• Девять вопросов применения теории синтаксического анализаVooglaid, Aare; Lepp, MargeОбработка данных, построение трансляторов, вопросы программирования1983 / с. 85-94 : ил https://www.ester.ee/record=b1293913*est https://www.etera.ee/zoom/120968/view?page=1&p=separate&search
• Дополнительные средства к системе PL/1 ДОС/ЕСHärsing, H.Анализ данных. Построение трансляторов. Вопросы программирования1978 / с. 15-26 https://www.ester.ee/record=b1272492*est https://digikogu.taltech.ee/et/Item/1dbbc143-d62a-4471-af6c-c660a4af0827
• Исследование и разработка эффективных методов реализации языков программирования : автореферат ... кандидата технических наук (01.01.10)Liib, Donald1984 https://www.ester.ee/record=b1235730*est
• Исследование и разработка эффективных методов реализации языков программирования : диссертация на соискание ученой степени кандидата технических наукLiib, Donald1984 https://www.ester.ee/record=b4634734*est
• Критерии оценки языков с общим ядромTepandi, JaakОбработка данных, построение трансляторов, вопросы программирования1984 / с. 35-47 : ил https://www.ester.ee/record=b1538632*est https://digikogu.taltech.ee/et/Item/46a2761f-8fd6-42eb-bd9e-a89c6d2b0577
• Лабораторный практикум по программированию : методическое пособие1981 https://www.ester.ee/record=b1309972*est
• Модель непроцедурного языка доступа к сетевой базе данныхVõhandu, Leo; Tepandi, JaakEesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics1981 / lk. 234-238 https://www.ester.ee/record=b1264310*est
• О методах трансляции языков с проблемной ориентациейTepandi, JaakВсесоюзная конференция по методам трансляции, 3-5 февраля 1981 г. : тезисы докладов1981 / с. 75-77
• О создании проблемно-ориентированного программного обеспеченияTamm, Boris, inform.; Tõugu, EnnКибернетика1975 / с. 76-85 : ил https://www.ester.ee/record=b5694433*est
• О технологии применения атрибутных СПТVooglaid, Aare; Meriste, M.350 aastat matemaatikat Tartu Ülikoolis = 350 лет математики в Тартуском университете : ettekannete teesid1982 / lk. 91-93 https://www.ester.ee/record=b1255795*est
• Об алгорифмическом языке ПЛ-ILepikson, V.; Pruuden, JuhanXVI студенческая научно-техническая конференция вузов Прибалтики, Белорусской ССР и Калининградской области, посвященная 100-летию со дня рождения В. И. Ленина : 20-25 апреля 1970 г. : (тезисы докладов). Электротехника и энергетика1970 / с. 32 https://www.ester.ee/record=b1379483*est
• Об использовании сообщений транслятора PL/I при отладке программ : методическое пособие1982 https://www.ester.ee/record=b1265848*est
• Об одной методике описания трансляцииLepp, MargeАвтоматизация производства пакетов прикладных программ : (автоматизация производства трансляторов) : тезисы докладов [всесоюзного одноименного семинара, 1980]1980 / с. 22-25 https://www.ester.ee/record=b1276160*est
• Обработка списков на языке программирования ПЛ/IKoni, K.-K.; Niglas, K.; Jürgenson, Rein (informaatika)Тезисы докладов XXXI студенческой научно-технической конференции1980 / с. 107-108 https://www.ester.ee/record=b1319482*est
• Один метод программирования множеств на языке АДАJürgenson, Rein (informaatika)Обработка данных. Построение трансляторов. Вопросы программирования1987 / с. 134-140
• Опыт обучения языку Модула-2, сравнение его с языками Ада и ПаскальJürgenson, Rein, inform.Язык Модула-2, его реализация и использование : сборник научных трудов1989
• Подпрограммы сокращенного вычисления прямого и обратного дискретных преобразований ФурьеArro, Ilmar; Smoljanski, LeonidМетоды и средства измерения, преобразования и обработки информации : [сборник статей]1987 / c. 19-38 : ил. https://www.ester.ee/record=b1272013*est
• Практика применения грамматических формализмов как прямых средств программирования. 1-2Vooglaid, Aare; Jokk, ViiviОбработка данных. Построение трансляторов. Вопросы программирования1988 / с. 20-42
• Программа, методическое руководство и контрольная работа для студентов-заочников инженерных специальностей1986 https://www.ester.ee/record=b1296503*est
• Программирование ввода-вывода на языке ПЛ/1 : методическое пособие1980 https://www.ester.ee/record=b1304219*est
• Программирование на Бейсике : лабораторный практикум1986 https://www.ester.ee/record=b1216970*est
• Реализация семантики нечетких высказывании методом фреймовLandrat, S.; Unt, M.; Jakobson, GabrielСемантика естественных и искусственных языков в специализированных системах : тезисы докладов конференции, Ленинград, 1-2 октября 1979 г1979 / с. 93-95 https://www.ester.ee/record=b2633439*est
• Самоулучшающийся метод исправления синтактических ошибокRohtla, Hanno; Võhandu, LeoАвтоматизация производства пакетов прикладных программ : (автоматизация производства трансляторов) : тезисы докладов [всесоюзного одноименного семинара, 1980]1980 / с. 66-70 https://www.ester.ee/record=b1276160*est
• Сборник задач по программированию (МАЛГОЛ). Выпуск 2Võhandu, Leo; Jürgenson, Rein, inform.1974 https://www.ester.ee/record=b1347023*est
• Система программ на языке ФОРТРАН для вариантного проектирования автомобильных дорог на ЭВМMägi, HansТеоретическое и экспериментальное исследование автомобильных дорог и автомобильного транспорта Эстонской ССР в условиях интенсивной автомобилизации1980 / с. 15-26 : илл https://www.ester.ee/record=b1266627*est https://digikogu.taltech.ee/et/Item/8122d88a-e4dc-4b15-9e54-f45c7bcaf2f9
• Сообщения фортрана об ошибках : методическое руководство1983 https://www.ester.ee/record=b1273140*est
• Справочный материал для курса "Составление трансляторов" : синтаксический анализ1982 https://www.ester.ee/record=b1265847*est
• Сравнение эффективности языков программирования и СУБД для создания и обработки баз данных и локальные вычислительные сетиФишкис, Владимир; Левченков, Анатолий35 научная конференция студентов втузов Эстонии, Латвии, Литвы, Белоруссии и Молдовы : [Таллинн, 1991] : докдады. Секция математики [и др.]1991 / с. 21-25
• Средства отладки резидентного компилятора языка АДА для ЭВМ СМ-1420Taveter, K.; Liib, DonaldXXX студенческая научно-техническая конференция вузов Прибалтийских республик, Белорусской ССР и Молдавской ССР, 8-10 апреля 1986 года : тезисы докладов. Том I, Общественные науки. Физико-математические науки. Строительство. Экономика1986 / с. 167 https://www.ester.ee/record=b1305540*est
• Язык PL/I для начинающих : методическое руководство для студентов-заочников1982 https://www.ester.ee/record=b1265861*est
• Язык сигналов для описания взаимодействия параллельных процессовAmitan, Irina; Romanovskii, I.Кибернетика и системный анализ : всесоюзный научно-теоретический журнал1979 / с. 73-77 https://www.ester.ee/record=b2145634*est
• Язык УТОПИСТMännisalu, Mati; Tõugu, Enn; Unt, M.; Fuksman, AdolfАлгоритмы и организация решения экономических задач : сборник статей1977 / с. 80-113 https://www.ester.ee/record=b2080193*est