GitHub - AnaSokolova/anasokolova.github.io: Ana Sokolova, Homepage

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 231 Commits
Automata2014_files		Automata2014_files
Automata2015_files		Automata2015_files
CAV2017_files		CAV2017_files
CAV2019_files		CAV2019_files
CAV2021_files		CAV2021_files
Concurrency2019_files		Concurrency2019_files
Concurrency2021_files		Concurrency2021_files
ConcurrencyVerification2014_files		ConcurrencyVerification2014_files
Concurrency_files		Concurrency_files
FormalLanguages-and-Complexity-Proseminar2016_files		FormalLanguages-and-Complexity-Proseminar2016_files
FormalLanguages-and-Complexity2016_files		FormalLanguages-and-Complexity2016_files
FormaleSysteme2013_files		FormaleSysteme2013_files
FormaleSysteme2014_files		FormaleSysteme2014_files
FormaleSysteme2015_files		FormaleSysteme2015_files
FormaleSysteme2016_files		FormaleSysteme2016_files
FormaleSysteme2017_files		FormaleSysteme2017_files
FormaleSysteme2018_files		FormaleSysteme2018_files
FormaleSysteme2019_files		FormaleSysteme2019_files
FormaleSysteme2020_files		FormaleSysteme2020_files
FormaleSystemeProseminar2013_files		FormaleSystemeProseminar2013_files
FormaleSystemeProseminar2014_files		FormaleSystemeProseminar2014_files
FormaleSystemeProseminar2015_files		FormaleSystemeProseminar2015_files
FormaleSystemeProseminar2016_files		FormaleSystemeProseminar2016_files
FormaleSystemeProseminar2017_files		FormaleSystemeProseminar2017_files
FormaleSystemeProseminar2018_files		FormaleSystemeProseminar2018_files
FormaleSystemeProseminar2019_files		FormaleSystemeProseminar2019_files
FormaleSystemeProseminar2020_files		FormaleSystemeProseminar2020_files
LinearAlgebraProseminar2021_files		LinearAlgebraProseminar2021_files
Media		Media
ModelChecking2013_files		ModelChecking2013_files
ModelChecking2015_files		ModelChecking2015_files
PSAT2020_files		PSAT2020_files
Papers_files		Papers_files
Personal_files		Personal_files
Scripts		Scripts
TCS2018_files		TCS2018_files
TCS2020_files		TCS2020_files
Talks_files		Talks_files
Teaching_files		Teaching_files
Undec-FOL_files		Undec-FOL_files
ewExternalFiles		ewExternalFiles
ew_css		ew_css
ew_js		ew_js
images		images
index_files		index_files
number_systems		number_systems
papers		papers
rewrite_systems		rewrite_systems
teaching		teaching
undec-FOL		undec-FOL
AnaSokolova_CV_plain.pdf		AnaSokolova_CV_plain.pdf
Automata2014.html		Automata2014.html
Automata2015.html		Automata2015.html
CAV2017.html		CAV2017.html
CAV2019.html		CAV2019.html
CAV2021.html		CAV2021.html
Concurrency.html		Concurrency.html
Concurrency2019.html		Concurrency2019.html
Concurrency2021.html		Concurrency2021.html
ConcurrencyVerification2014.html		ConcurrencyVerification2014.html
FormalLanguages-and-Complexity-Proseminar2016.html		FormalLanguages-and-Complexity-Proseminar2016.html
FormalLanguages-and-Complexity2016.html		FormalLanguages-and-Complexity2016.html
FormaleSysteme2013.html		FormaleSysteme2013.html
FormaleSysteme2014.html		FormaleSysteme2014.html
FormaleSysteme2015.html		FormaleSysteme2015.html
FormaleSysteme2016.html		FormaleSysteme2016.html
FormaleSysteme2017.html		FormaleSysteme2017.html
FormaleSysteme2018.html		FormaleSysteme2018.html
FormaleSysteme2019.html		FormaleSysteme2019.html
FormaleSysteme2020.html		FormaleSysteme2020.html
FormaleSystemeProseminar2013.html		FormaleSystemeProseminar2013.html
FormaleSystemeProseminar2014.html		FormaleSystemeProseminar2014.html
FormaleSystemeProseminar2015.html		FormaleSystemeProseminar2015.html
FormaleSystemeProseminar2016.html		FormaleSystemeProseminar2016.html
FormaleSystemeProseminar2017.html		FormaleSystemeProseminar2017.html
FormaleSystemeProseminar2018.html		FormaleSystemeProseminar2018.html
FormaleSystemeProseminar2019.html		FormaleSystemeProseminar2019.html
FormaleSystemeProseminar2020.html		FormaleSystemeProseminar2020.html
LinearAlgebraProseminar2021.html		LinearAlgebraProseminar2021.html
ModelChecking2013.html		ModelChecking2013.html
ModelChecking2015.html		ModelChecking2015.html
PSAT2020.html		PSAT2020.html
TCS2018.html		TCS2018.html
TCS2020.html		TCS2020.html
Undec-FOL.html		Undec-FOL.html
assets.file:--localhost-Users-ana-Documents-homepage-iweb-.plist		assets.file:--localhost-Users-ana-Documents-homepage-iweb-.plist
defense.html		defense.html
everweb-publish-data.xml		everweb-publish-data.xml
ew_siteInfo.xml		ew_siteInfo.xml
feed.xml		feed.xml
index.html		index.html
papers.html		papers.html
personal.html		personal.html
psat.html		psat.html
talks.html		talks.html
teaching.html		teaching.html