Arvutiteadus sulle, TTÜ kraadiõppur : [TTÜ Küberneetika Instituudi korraldatud arvutiteaduse konverentsidest ja teooriapäevast 28.-30. okt. Viinistus]Saabas, AndoMente et Manu2005 / 16. nov., lk. 3 : fot https://www.ester.ee/record=b1242496*est

Arvutiteaduse teooriapäevad 3: Pedase : [toimusid 3.-5. okt. 2003 Pedase hotellis Vihterpalu lähistel]Saabas, AndoMente et Manu2003 / 20. okt., lk. 6 : fot https://www.ester.ee/record=b1242496*est

Arvutiteaduse teooriapäevad Veskisillal - IT doktorikool tegelikkuses! : [TTÜ Küberneetika Instituudi korraldatud viiendatest arvutiteaduse teooriapäevadest 1.-3. okt. Järvamaal]Saabas, AndoMente et Manu2004 / 20. okt., lk. 4 : fot https://www.ester.ee/record=b1242496*est

Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendusedSaabas, Ando2008 https://www.ester.ee/record=b2431341*est

Program proofs and compilationSaabas, AndoTenth Estonian Winter School in Computer Science (EWSCS'05) : Lahemaa, Estonia, February 27-March 4, 20052005 / [1 p.]. (Student talks and posters 2005 (abstracts))

2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedingsUustalu, Tarmo; Saabas, Ando2004 https://www.ester.ee/record=b1893488*est

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

Type systems for optimizing stack-based codeSaabas, Ando; Uustalu, TarmoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 97-100

Using satisfiability modulo theories to analyse model programsVeanes, Margus; Saabas, AndoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 149-150