Personel

Doktor Öğretim Üyesi Barış Ethem Süzek
Doktor Öğretim Üyesi
Barış Ethem Süzek
@ E-posta
barissuzek@mu.edu.tr
Telefon

Kadro Bilgileri

Görev Birimi

Mühendislik Fakültesi

Kadro Birimi

Mühendislik Fakültesi / Bilgisayar Mühendisliği Bölümü / Bilgisayar Mühendisliği Anabilim Dalı

Öğrenim Bilgileri

Lisans

Orta Doğu Teknik Üniversitesi Mühendislik Bilgisayar Mühendisliği 1997

Yüksek Lisans

Johns Hopkins University School of Engineering Computer Science 2000

Doktora

George Mason University School of System Biology Bioinformatics and Computational Biology 2012

Yayin Bilgileri

SCI veya SCI Expanded, SSCI, AHCI tarafından taranan dergilerde yayımlanan tam makale

1-) Suzek.,B., Wang.,Y., Huang.,H., McGarvey.,P., Wu.,C., Consortiium.,U., 2015. UniRef clusters: a comprehensive and scalable alternative for improving sequence similarity searches. Bioinformatics
2-) Consortium(coauthor).,U., 2015. UniProt: A hub for protein information. Nucleic Acids Research
3-) McGarvey.,B., McGarvey.,B., Suzek.,E., Suzek.,E., Suzek.,E., Baraniuk.,N., Rao.,S., Conkright.,B., Lababidi.,S., 2014. In silico analysis of autoimmune diseases and genetic relationships to vaccination against infectious diseases. BMC Immunology
4-) Chen C, Li Z, Huang H, Suzek BE, Wu CH; UniProt Consortium. A fast Peptide Match service for UniProt Knowledgebase. Bioinformatics. 2013 Nov 1;29(21):2808-9. - 2013
5-) Buckler AJ, Paik D, Ouellette M, Danagoulian J, Wernsing G, Suzek BE. "A Novel Knowledge Representation Framework for the Statistical Validation of Quantitative Imaging Biomarkers." J Digit Imaging. 2013 Apr 2. - 2013
6-) Buckler AJ, Ouellette M, Danagoulian J, Wernsing G, Liu TT, Savig E, Suzek BE, Rubin DL, Paik D. Quantitative Imaging Biomarker Ontology (QIBO) for Knowledge Representation of Biomedical Imaging Biomarkers. J Digit Imaging. 2013 Apr 16. - 2013
7-) McGarvey PB, Ladwa S, Oberti M, Dragomir AD, Hedlund EK, Tanenbaum DM, Suzek BE, Madhavan S. Informatics and data quality at collaborative multicenter Breast and Colon Cancer Family Registries. J Am Med Inform Assoc. 2012 Jun 1;19(e1):e125-e128. Epub 2012 Feb 9. - 2012
8-) The UniProt Consortium(co-author). Reorganizing the protein space at the Universal Protein Resource (UniProt). Nucleic Acids Res. 2012 Jan;40(Database issue):D71-5. - 2012
9-) Freimuth RR, Freund ET, Schick L, Sharma MK, Stafford GA, Suzek BE (Joint First Author), Hernandez J, Hipp J, Kelley JM, Rokicki K, Pan S, Buckler A, Stokes TH, Fernandez A, Fore I, Buetow KH, Klemm JD. Life sciences domain analysis model. J Am Med Inform Assoc. 2012 Nov 1;19(6):1095-102. - 2012
10-) Huang H, McGarvey PB, Suzek BE, Mazumder R, Zhang J, Chen Y, Wu CH. A comprehensive protein-centric ID mapping service for molecular data integration. Bioinformatics. 2011 Apr 15; 27(8):1190-1. - 2011
11-) The UniProt Consortium(co-author). Ongoing and future developments at the Universal Protein Resource. Nucleic Acids Res. 2011 Jan;39(Database issue):D214-9. - 2011
12-) Hinz U; The UniProt Consortium(co-author). From protein sequences to 3D-structures and beyond: the example of the UniProt knowledgebase. Cell Mol Life Sci. 2010 Apr;67(7):1049-64. - 2010
13-) The UniProt Consortium(co-author). The Universal Protein Resource (UniProt) in 2010. Nucleic Acids Res. 2010 Jan;38(Database issue):D142-8. - 2009
14-) Jain.,E., Bairoch .,A., Duvaud .,S., Phan .,I., Redaschi .,N., Suzek .,B., Martin .,M., McGarvey .,P., Gasteiger.,E., 2009. Infrastructure for the life sciences: design and implementation of the UniProt website. Bioinformatics
15-) The UniProt Consortium(co-author). The Universal Protein Resource (UniProt) 2009. Nucleic Acids Res. 2009 Jan;37(Database issue):D169-74. - 2009
16-) The UniProt Consortium(co-author). The Universal Protein Resource (UniProt). Nucleic Acids Res. 2008 Jan;36(Database issue):D190-5. - 2008
17-) Suzek.,B., Huang.,H., McGarvey.,P., Mazumder.,R., Wu.,C., 2007. UniRef: comprehensive and non-redundant UniProt reference clusters. Bioinformatics
18-) Wu CH, Apweiler R, Bairoch A, Natale DA, Barker WC, Boeckmann B, Ferro S, Gasteiger E, Huang H, Lopez R, Magrane M, Martin MJ, Mazumder R, O'Donovan C, Redaschi N, Suzek B. The Universal Protein Resource (UniProt): an expanding universe of protein information. Nucleic Acids Res. 2006 Jan 1;34(Database issue):D187-91. - 2006
19-) Wu CH, Nikolskaya A, Huang H, Yeh LS, Natale DA, Vinayaka CR, Hu ZZ, Mazumder R, Kumar S, Kourtesis P, Ledley RS, Suzek BE, Arminski L, Chen Y, Zhang J, Cardenas JL, Chung S, Castro-Alvear J, Dinkov G, Barker WC. PIRSF: family classification system at the Protein Information Resource. Nucleic Acids Res. 2004 Jan 1;32(Database issue):D112-4. - 2004
20-) Wu CH, Yeh LS, Huang H, Arminski L, Castro-Alvear J, Chen Y, Hu Z, Kourtesis P, Ledley RS, Suzek BE, Vinayaka CR, Zhang J, Barker WC. The Protein Information Resource. Nucleic Acids Res. 2003 Jan 1;31(1):345-7. - 2004
21-) Wu CH, Huang H, Arminski L, Castro-Alvear J, Chen Y, Hu ZZ, Ledley RS, Lewis KC, Mewes HW, Orcutt BC, Suzek BE, Tsugita A, Vinayaka CR, Yeh LS, Zhang J, Barker WC. The Protein Information Resource: an integrated public resource of functional annotation of proteins. Nucleic Acids Res. 2002 Jan 1;30(1):35-7. - 2002
22-) Suzek BE, Ermolaeva MD, Schreiber M, Salzberg SL. A probabilistic method for identifying start codons in bacterial genomes. Bioinformatics. 2001 Dec;17(12):1123-30. - 2001

SCI veya SCI Expanded, SSCI, AHCI dışındaki uluslararası indexler tarafından taranan dergilerde yayımlanan tam makale

1-) Huang, H., Hu, Z. Z., Suzek, B. E. and Wu, C. H. The PIR integrated protein databases and data retrieval system. Data Sci J 2004 3:163-174. - 2004
2-) Huang H, Hu ZZ, Suzek BE, Wu CH,The PIR integrated protein databases and data retrieval system. Data science journal 3, 163-174. - 2004

Uluslararası kongre, sempozyum, panel, çalıştay gibi bilimsel, sanatsal toplantılarda sözlü olarak sunulan ve tam metin olarak yayımlanan bildiri

1-) Suzek.,B., 2015. Locating disease-associated single amino acid polymorphisms on proteins. International Conference on Transcriptomics
2-) Wang Y, Yang X, Huang H, Mirokhin Y, Rudnick , Blonder, Suzek B, Stein S, Wu .C. Using UniRef Clusters to Build Model Organism Protein Databases for NIST Peptide MS/MS Library Development. US-HUPO 8th Annual Conference, San Francisco, CA Mart 4-7, 2012. - 2012
3-) Tan W, Madduri R, Keshav K, Suzek BE, Oster S, Foster I. Orchestrating caGrid Services in Taverna. IEEE International Conference on Web Services 2008. Beijing, China ,Eylul, 2008. - 2008

Uluslararası kongre, sempozyum, panel, çalıştay gibi bilimsel, sanatsal toplantılarda poster olarak sergilenen bildiri

1-) Türk Erdem, Süzek Barış Ethem, 2016. Assessing Impact of Taxonomic Diversity and Sequence Conservation based Filters on Mirrortree Method. The annual international conference on Intelligent Systems for Molecular Biology (ISMB)
2-) Baraniuk JN,, McGarvey PB, Suzek BE, Rao S, Lababidi S, Sutherland A, Forshee R, Madhavan S, "In silico Analysis of Vaccination Adverse Events", American Academy of Allergy, Asthma & Immunology (AAAAI) Annual Meeting, Feb 20-24,2015. Houston TX, USA, - 2015
3-) McGarvey P, Singh V, Suzek B, Rao S, Johnson RM, Baraniuk J, Lababidi S,, Botsis T Chada K, Sutherland A, Forshee R, Madhavan S., GVISR: Georgetown Vaccine Information Safety Resource, The 3rd Biomedical Informatics Symposium at Georgetown University,Ekim 2, 2014, Washington DC - 2014
4-) Suzek BE, Where are the disease-associated single amino acid polymorphisms located on proteins?, The 3rd Biomedical Informatics Symposium at Georgetown University,Ekim 2, 2014, Washington DC - 2014
5-) McGarvey P, Suzek B, Baraniuk J, Rao S, Lababidi S, Sutherland A, Forshee R, Madhavan S. In silico Analysis of Autoimmune Diseases and Genetic Relationships to Vaccination against Infectious Diseases, ACM Conference on Bioinformatics, Computational Biology and Biomedical Informatics (ACM BCB) 2013, Washington, DC, Eylül 22-25 2013. - 2013
6-) Chen C, Li Z, Huang H, Suzek BE, Wu CH. A Fast Peptide Sequence Search Engine. ,9th Annual US HUPO Conference. Baltimore, MD, Mart 10 - 13, 2013. - 2013
7-) Suzek B, Wang M, Huang H, McGarvey P, Wu .C. UniRef: UniProt Reference Clusters. Bioinformatics Research Infrastructure for the Life Sciences.,The First 10 Years of UniProt. ECCB'12 Satellite Symposium. Basel, Switzerland, Eylül 8 2012. - 2012
8-) Rao S, Singh S, Suzek B, McGarvey P, Baranuik J, Barbo A, , Madhavan S. Genetics of Autoimmune Diseases for Vaccine Safety Signal Detection Project. ,The 1st Annual ICBI Biomedical Informatics Symposium, Washington, DC, Ekim 12, 2012 - 2012
9-) Freimuth, R, Stafford G, Suzek B, Sharma M, Schick L, Hernandez J, McCusker J, Heiskanen M, De Coronado S, Klemm J. The Life Sciences Domain Analysis Model.,NIH Research Festival, Bethesda, MD, Ekim 9-12 2012. - 2012
10-) Suzek BE., Fore, I., Klemm, J., Helsley, A., Dennis, R., Humphries, J., Lander, W. B., Winkler, R., Sharma, M., Fearn, P. Cancer Bench-to-Bedside: A Tool to Enable Data Discovery and Aggregation for Prostate Cancer Biospecimen Informatics Network.,Pathology Informatics 2011, Pittsburg, PA, Ekim 4-7, 2011. - 2011
11-) Freimuth R, Freund, E, Pan S, Rokicki K, Sharma M, Stafford G, Suzek B, Thomas, D., Kelley J. Klemm J. Information Representation Working Group Information Model Development To Support ECCF.,The cancer Biomedical Informatics Grid (caBIG) Annual Meeting, Washington DC, Eylül 13-15, 2010 - 2010
12-) Suzek B, Humphries J, Ketchum K, Shinohara A, Tanenbaum D, Pipenbring C, Goldstein S, Madhavan S. cancer Bench-to-Bed (caB2B): Current State and Future Directions.,The cancer Biomedical Informatics Grid (caBIG) Annual Meeting, Washington DC, Eylül 13-15, 2010. - 2010
13-) Freimuth R, Freund, E, Pan S, Rokicki K, Sharma M, Stafford G, Suzek B. caBIG Life Sciences Domain Business Architecture and Domain Analysis Models. ,BioIT World, Boston MA, Nisan 20-22, 2010 - 2010
14-) Suzek B, Harris M, Hedlund E, Clarke R, Weiner L, Madhavan S, Riggins R. Georgetown Database of Cancer (GDOC).,The cancer Biomedical Informatics Grid (caBIG) Annual Meeting, Washington DC, Temmuz 20-22, 2009. - 2009
15-) Freimuth R, Freund, E, Pan S, Rokicki K, Sharma M, Stafford G, Suzek B. Harmonizing Integrative Cancer Research Information Models. ,The cancer Biomedical Informatics Grid (caBIG) Annual Meeting, Washington DC, Temmuz 20-22, 2009 - 2009
16-) Schick L, Prior F, Sharma M, Suzek B. Life Sciences Domain Analysis Model (LSDAM). ,The cancer Biomedical Informatics Grid (caBIG) Annual Meeting, Washington DC, Temmuz 20-22, 2009. - 2009
17-) Keshav K, McConnell P, Madduri R, Tan W, Nedzel J, Suzek B, Freund E, Klemm J. Enabling Workflows in the Integrative Cancer Research. ,The cancer Biomedical Informatics Grid (caBIG) Annual Meeting, Washington DC., Haziran 23-25, 2008. - 2008
18-) Liefeld T, Suzek B, McConnell P, Nedzel J, Mungal S, Keshav K, Morgan M, Davis B, Wolfe C, Freund E. ICR Analysis Services Best Practices Working Group. ,The cancer Biomedical Informatics Grid (caBIG) Annual Meeting, Washington DC., Haziran 23-25, 2008. - 2008
19-) Suzek B, McGarvey P, Reeves D, Keller M, Shanbhag A, Komatsoulis G. Training Module: End-to-end Process of Developing a Silver Level Compatible caGrid Data Service. ,The cancer Biomedical Informatics Grid (caBIG) Annual Meeting, Washington DC., Haziran 23-25, 2008. - 2008
20-) Suzek BE, Huang H, Chung S, Hua H, McGarvey P, Hu Z, Wu CH. Web Services for PIR/UniProt Databases. . ,13th International Conference on Intelligent Systems for Molecular Biology (ISMB) 2005, Detroit, MI, Haziran 2005 - 2005
21-) Suzek BE, Huang H, Chung S, Hua H, McGarvey P, Hu Z, Wu CH, Gilman B ,Street C, Nayak V, Overby C, Fenstermacher D. Grid-Enablement of PIR/UniProt Data Source. ,The cancer Biomedical Informatics Grid (caBIG) Annual Meeting 2005, Bethesda, MD, Nisan 2005. - 2005
22-) Yeh L-S, Barker WC, Huang H, Natale, DA, Nikolskaya A, Vinayaka CR, Hu Z, Mazumder R, Kumar S, Suzek BE, Kourtesis P, Arminski L, Chen Y, Zhang J, Cardenas J, Chung S, Castro-Alvear J, Wu CH. The Protein Information Resource (PIR). ,NIH NISTI Symposium – Digital Biology: The Emerging Paradigm, Bethesda, MD, Kasım 2003. - 2003
23-) Suzek BE, Huang H, Orcutt, BC, Chen Y, Hu Z, Zhang J, Wu CH. PIR Non-Redundant Reference Protein Database (PIR-NREF). ,6th International Conference on Computational Molecular Biology (RECOMB), Washington, DC, Nisan 2002. - 2002
24-) Logan, B, Moreno P, Suzek B, Weng Z, Kasif S. Remote Homology Detection Using Feature Vectors Formed Using Alignments of Small Motifs.,6th International Conference on Computational Molecular Biology (RECOMB), Washington DC, Nisan 2002. - 2002

SCI veya SCI-Expanded, SSCI ve AHCI tarafından taranan dergilerde yardımcı editörlük yada yayın kurulu editörlüğü

1-) Mugla Journal of Science and Technology - 2015

SCI veya SCI-Expanded, SSCI ve AHCI tarafından taranan dergilerde hakemlik

1-) Editörlük Türü: Dergi. 2015. Turkish Journal of Electrical Engineering & Computer Sciences.
2-) Editörlük Türü: Dergi. 2015. SpringerPlus.
3-) Editörlük Türü: Dergi. 2013. BMC Bioinformatics.
4-) Editörlük Türü: Dergi. 2012. Database:The Journal of Biological Databases and Curation..

SCI veya SCI-Expanded, SSCI, AHCI, tarafından taranan dergilerde adayın yazar olarak yer almadığı yayınlarda, adayın eserlerine yapılan atıf

1-) Infrastructure for the life sciences: design and implementation of the UniProt website - Atıf Yılı: 2009 Atıf Sayısı:27
2-) UniRef: comprehensive and non-redundant UniProt reference clusters - Atıf Yılı: 2007 Atıf Sayısı:56

Uluslar arası kuruluşlarca desteklenen ve tamamlanmış proje yürütücülüğü

1-) Participation in design and development activities for cancer Biomedical Informatics - 2012
2-) cancer Bench to Bed (caB2B) - 2012

Uluslar arası kuruluşlarca desteklenen ve tamamlanan projede görev(araştırmacı, eğitmen, danışman, vb. olarak)

1-) The UniProt Protein Sequence and Function Knowledgebase (UniProt) - 2013
2-) Genetics of Autoimmune Diseases for Vaccine Safety Signal Detection Project - 2013
3-) Georgetown-Howard Universities Center for Clinical and Translational Science (GHUCCTS) - 2013
4-) Breast and Colon Cancer Family Registries Informatics Support Center - 2013
5-) cancer Biomedical Informatics Grid In silico Research Centers - 2012

TÜBİTAK, TÜBA, DPT, KOSGEB, Bakanlıklar vb. kamu kurumları veya özel kuruluşlarca desteklenen ve tamamlanan proje yürütücülüğü

1-) Proje Durum: Devam Ediyor. Projedeki Görev: Yürütücü. Konu: . Proje Türü: TÜBİTAK PROJESİ. In Silico Karşılaştırmalı Analizler Için Açık Kaynaklı Proteomiks Platformu. 2017--1
2-) Proje Durum: Tamamlandı. Projedeki Görev: Yürütücü. Konu: . Proje Türü: TÜBİTAK PROJESİ. İnsan Proteinleri için En Doğru Çoklu Dizi Hizalamalarının Hesaplanması ve Hastalığa Neden Olan Bilinen Tek Amino Asit Polimorfizmleri (SAP) Tahmini. 2013-2015

TÜBİTAK, TÜBA, DPT, KOSGEB, Bakanlıklar vb. kamu kurumları veya özel kuruluşlarca desteklenen ve tamamlanan projede görev(araştırmacı, eğitmen, danışman vb, olarak)

1-) Proje Durum: Devam Ediyor. Projedeki Görev: Danışman. Konu: . Proje Türü: TÜBİTAK PROJESİ. Parkinson Demansının Erken Teşhisinde Kullanılabilecek İnvaziv Olmayan, Yenilikçi ve Kombinatoryal Biyobelirteçler. 2017--1

Bilimsel Araştırma Projelerinde (BAP) Yürütücülük

1-) Mugla Sitkı Kocman Universitesi, Bilimsel Etkinlik Duzenleme Projesi, Mayis 2015 - 2015

Bilimsel Araştırma Projelerinde (BAP) görev alma (araştırmacı, eğitmen, danışman, vb. olarak)

1-) Proje Durum: Devam Ediyor. Projedeki Görev: Araştırmacı. Konu: . Proje Türü: Yükseköğretim Kurumları tarafından destekli bilimsel araştırma projesi. Melanoma için Bakteriyel İmmün Tedavilerine İmmün Yanıtı Öngören Biyobelirteç adaylarının İn siliko Tanımlanması. 2016--1

Yurtdışında Patentlenmiş buluş.

1-) Kasif S, Logan B, Moreno PJ, Suzek B. Computer method and apparatus for uniform representation of genome sequences. Filing date: Nov 28, 2000. US Patent Number: 7047137. - 2000

Uluslar arası sempozyum, kongre, çalıştay, festival, bilimsel yaz okulu, bienal, trienal,gibi bilimsel, sanatsal ve tasarıma yönelik etkinliklerde görev almak

1-) The Fifth International Biocuration Conference 2012 Organizasyon Komitesi, Kayıt Başkanı, Nisan 2-4,2012. Nisan. ABD. 2012
2-) ACM International Health Informatics Symposium 2010 Organizasyon Komitesi, Yerel Düzenleme Başkanı, Kasim11-12, 2010. Kasim. ABD. 2010

Ulusal sempozyum, kongre, çalıştay, festival, bilimsel yaz okulu, bienal, trienal,gibi bilimsel, sanatsal ve tasarıma yönelik etkinliklerde görev almak

1-) Muğla Sıtkı Koçman Üniversitesi Fen Bilimleri Araştırma Sempozyumu. Mayıs. Turkiye. 2015

Verdiği Dersler

BINF5520 2017-2018 Bahar

BIOLOGICAL SEQUENCE ANALYSIS

CENG 4535 2017-2018 Bahar

Distributed Computing

CENG 4012 2017-2018 Bahar

Senior Design Project II

CENG 3522 2017-2018 Bahar

Applied Machine Learning

CENG 3004 2017-2018 Bahar

Software Engineering

BINF5504 2017-2018 Güz

BIOINFORMATICS PROGRAMMING

CENG 4011 2017-2018 Güz

Senior Design Project I

CENG 4525 2017-2018 Güz

Introduction to Bioinformatics

CENG 4535 2017-2018 Güz

Distributed Computing

CENG 4005 2017-2018 Güz

Formal Languages and Abstract Machines

CENG 4012 2016-2017 Bahar

Senior Design Project II

CENG 3004 2016-2017 Bahar

Software Engineering

CENG 3522 2016-2017 Bahar

Applied Machine Learning

BSM5000 2016-2017 Bahar

Tez Çalışması

BSM5700 2016-2017 Bahar

Uzmanlık Alan Dersi

BINF5700 2016-2017 Bahar

SPECIAL STUDIES

BINF5090 2016-2017 Bahar

SEMINAR

CENG 4535 2016-2017 Bahar

Distributed Computing

CENG 4005 2016-2017 Bahar

Formal Languages and Abstract Machines

BINF5509 2016-2017 Güz

TRANSLATIONAL BIOINFORMATICS

CENG 3522 2016-2017 Güz

Applied Machine Learning

CENG 4012 2016-2017 Güz

Senior Design Project II

CENG 4011 2016-2017 Güz

Senior Design Project I

CENG 4525 2016-2017 Güz

Introduction to Bioinformatics

CENG 4005 2016-2017 Güz

Formal Languages and Abstract Machines

CENG 4535 2016-2017 Güz

Distributed Computing

CENG 3004 2016-2017 Güz

Software Engineering

BSM5700 2015-2016 Bahar

Uzmanlık Alan Dersi

BINF5700 2015-2016 Bahar

SPECIAL STUDIES

CENG 4011 2015-2016 Bahar

Senior Design Project I

BINF5504 2015-2016 Bahar

BIOINFORMATICS PROGRAMMING

CENG 3522 2015-2016 Bahar

Applied Machine Learning

CENG 4005 2015-2016 Bahar

Formal Languages and Abstract Machines

CENG 4012 2015-2016 Bahar

Senior Design Project II

CENG 3004 2015-2016 Bahar

Software Engineering

BSM5090 2015-2016 Bahar

Seminer

CENG 2003 2015-2016 Güz

Discrete Computational Structures

CENG 4005 2015-2016 Güz

Formal Languages and Abstract Machines

BINF 5700 2015-2016 Güz

SPECIAL STUDIES

BINF5509 2015-2016 Güz

TRANSLATIONAL BIOINFORMATICS

CENG 4011 2015-2016 Güz

Senior Design Project I

BSM 5700 2015-2016 Güz

Uzmanlık Alan Dersi

CENG 4012 2015-2016 Güz

Senior Design Project II

CENG 4535 2015-2016 Güz

Distributed Computing

CENG 3004 2014-2015 Bahar

Software Engineering

CENG 3522 2014-2015 Bahar

Applied Machine Learning

CENG 4012 2014-2015 Bahar

Senior Design Project II

BSM5700 2014-2015 Bahar

Uzmanlık Alan Dersi

CENG 2003 2014-2015 Güz

Discrete Computational Structures

CENG 3004 2014-2015 Güz

Software Engineering

BSM 5700 2014-2015 Güz

Uzmanlık Alan Dersi

CENG 4011 2014-2015 Güz

Senior Design Project I

CENG 4535 2014-2015 Güz

Distributed Computing

CENG 4005 2014-2015 Güz

Formal Languages and Abstract Machines