Index of /~ilengal/presentations
Name Last modified Size Description
Parent Directory 04-Mar-2024 21:39 -
aplas14_seplog_decproc.pdf 19-Dec-2014 12:55 260k
atva11-symbolicTA.pdf 09-Nov-2011 15:37 533k
avm12_presentation.pdf 14-Oct-2012 23:07 245k
cav13_forester_learning.pdf 17-Jul-2013 09:59 354k
cost_meeting_malta13.pdf 21-Jun-2013 16:36 512k
fav-ai-2013.pdf 16-Jan-2014 14:18 356k
fav-ai-2014.pdf 16-Jan-2015 13:29 381k
fav-ai.pdf 15-Nov-2012 20:16 485k
fi_muni_12.pdf 25-Oct-2012 10:00 333k
fourier14.pdf 26-May-2014 16:00 133k
frvs2012_defence.pdf 20-Feb-2013 09:36 79k
frvs2013_defence.pdf 25-Feb-2014 09:46 98k
hvc11-accver.pdf 05-Jan-2012 18:05 246k
hvc12-haven.pdf 10-Nov-2012 09:00 195k
iam/ 26-Feb-2019 22:08 -
liafa_june_13.pdf 22-Jul-2013 22:55 529k
logika-cviko.pdf 01-Oct-2019 11:53 118k
memix12-down-inc.pdf 27-Oct-2012 23:54 201k
mosca19-fairness-presentation..> 13-Jun-2019 10:56 398k
mosca19-ws1s.pdf 13-Jun-2019 10:55 575k
mosca23-strings-by-stabilizat..> 23-Jul-2023 17:34 4.1M
msp19-logika.pdf 30-Sep-2019 15:50 3.7M
phd-defense.pdf 20-Jul-2015 07:19 224k
slo-counting.pdf 08-Apr-2013 12:21 191k
slo-cryptography.pdf 09-Apr-2014 16:51 172k
symbolic-execution.pdf 19-Nov-2019 21:51 531k
tacas12-vata.pdf 29-Mar-2012 20:44 257k
tacas17-fairness.pdf 02-May-2017 12:48 406k
tacas17-lazy-automata-ws1s.pdf 02-May-2017 12:42 558k
tacas18-nfa-approx-red-presen..> 18-Apr-2018 17:25 1008k
uits_leto_2014.pdf 27-Mar-2014 12:44 167k
uppsala_14.pdf 11-Jun-2014 00:15 637k
verifit_den_vedy_2013.pdf 11-Apr-2013 08:18 3.2M
verifit_den_vedy_2014.pdf 26-Mar-2014 14:14 5.8M
wavas_13_taipei_forester_lear..> 27-Oct-2013 13:21 749k
Apache Server at www.fit.vutbr.cz Port 443