https://alexandrasilva.org/aboutme https://alexandrasilva.org/activities https://alexandrasilva.org/calendar https://alexandrasilva.org/cv https://alexandrasilva.org/group https://alexandrasilva.org/news https://alexandrasilva.org/projects https://alexandrasilva.org/publications https://alexandrasilva.org/sitemap/ https://alexandrasilva.org/talks https://alexandrasilva.org/thesis https://alexandrasilva.org/ https://alexandrasilva.org/cic2007/abstracts.html 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/directions.html 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/ 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/participants.html 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/program.html 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/registration.html 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/Verhoef.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/alcino.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/barbosa.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/costa.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/dave.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/freire.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/jacome.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/koehler.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/kupke.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/meng.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/moon.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/oliveira.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/pacheco.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/proenca.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/rodrigues.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/silva.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cic2007/slides/slidesEFreire.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cogrow/Dorrestijn.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cogrow/caratelli.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cogrow/directions.html 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cogrow/gielis.pdf 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cogrow/ 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cogrow/list-of-participants.html 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cogrow/programme.html 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/cogrow/sponsors.html 2026-01-02T03:56:24+00:00 https://alexandrasilva.org/files/PosterMFOCS-LogoXXL.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/cv.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/report.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/BCTCS18.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/CiE2018.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/Dagstuhl19.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/ETAPS22.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/IFIP-asilomar.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/LICS24.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/Needham.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/OASIS.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/PLDG.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/PLMW22.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/POPL22.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/RAMICS17.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/TACL2017.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/VMCAI25.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/acg2006.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/acg2008.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/acg2009.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/acg2011.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/acseminar07.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/aplas.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/arco2009a.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/arco2009b.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/arco2009c.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/arco2009d.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/berkeley16.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/bertinoro.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/blc.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/braunsch10.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/calco07.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/calco09.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/cic09.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/cic2006.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/cic2007.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/cmcs16.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/coalgday06.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/coalgday08.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/coalgday09.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/coalgday10.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/cococo08.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/cococo09.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/coin12.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/coin13.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/concur-2015.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/concur09.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/coneco.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/csl16.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/cwi-scientific-meeting.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/dagstuhl13.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/dmat.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/duisburg.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/eindhoven13.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/fics.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/fossacs08.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/fossacs09.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/fossacs12.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/fscd.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/fsttcs19.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/hw2006.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/ictac2018.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/inaugural.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/indiana.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/intreedag2013.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/ipa10.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/kat-tutorial.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/leicester12.pdf 2026-01-02T03:56:25+00:00 https://alexandrasilva.org/files/talks/leicester2019.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/lics09.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/mapi.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/mentoring-22.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/mfcs19.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/mfps2014.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/moessner.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/prakash.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/probnetkat-london.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/pure2005.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/purecafe2005.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/ramics15.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/reykjavik.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/salzburg.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/sbmf10.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/scimeeting08.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/trends.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/up-to-shonan.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/vu.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/wollic07.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/wollic15-tutorial.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/talks/wollic15.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/thesis/stellingen.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/files/thesis/thesis.pdf 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/kc/directions.html 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/kc/ 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/kc/list-of-participants.html 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/kc/programme.html 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/kc/sponsors.html 2026-01-02T03:56:26+00:00 https://alexandrasilva.org/kc/thesis.html 2026-01-02T03:56:26+00:00