2019W

• Bachelor Thesis for Informatics and Business Informatics / PR / 185.A26
• Orientation Bachelor with Honors of Informatics and Business Informatics / SE / 180.767
• Project in Computational Logic / PR / 185.302
• Project in Computer Science 1 / PR / 185.A36
• Project in Computer Science 2 / PR / 185.A37
• Project in Software Engineering & Internet Computing / PR / 185.A38
• Research Seminar for Master and PhD students / SE / 185.A39
• Theoretical Computer Science and Logics / VU / 185.278

2020S

• Algorithms and Complexity of Constraint Satisfaction Problems / VU / 199.091
• Bachelor Thesis for Informatics and Business Informatics / PR / 185.A26
• Formal Modelling / VU / 185.A06
• Orientation Bachelor with Honors of Informatics and Business Informatics / SE / 180.767
• Project in Computer Science 1 / PR / 185.A36
• Project in Computer Science 2 / PR / 185.A37
• Research Seminar for Master and PhD students / SE / 185.A39
• Scientific Research and Writing / SE / 193.052
• Seminar in Distributed Systems (Cryptocurrencies) / SE / 185.A94
• Seminar on security (crypto currencies) / SE / 183.671
• Smart Contracts / VU / 192.078

 

• A novel decision support system for training and diagnosis in dermatology
  2013 – 2015 / Austrian Research Promotion Agency (FFG)
• Algorithms and Complexity of Constraint Languages
  2012 – 2016 / Austrian Science Fund (FWF)
• A graphical editor for object-oriented, constraint-based knowledge bases
  2010 – 2011 / Siemens AG Österreich

2020

• Characterizing Types of Smart Contracts in the Ethereum Landscape / M. Di Angelo, G. Salzer / Talk: 4th Workshop on Trusted Smart Contracts, Financial Cryptography 2020, Kota Kinabalu, Malaysia; 2020-02-14 - 2020-02-16; in: "Proc. 4th Workshop on Trusted Smart Contracts, Financial Cryptography 20", Springer, LNCS (2020), Paper ID 14, 15 pages
• Tokens, Types, and Standards: Identification and Utilization in Ethereum / M. Di Angelo, G. Salzer / Talk: International Conference on Decentralized Applications and Infrastructures (IEEE DAPPS 2020), Oxford, UK; 2020-04-13 - 2020-04-16; in: "Proc. IEEE DAPPS 2020", IEEE, (2020), Paper ID 1570616034, 10 pages

2019

• A Survey of Tools for Analyzing Ethereum Smart Contracts / M. Di Angelo, G. Salzer / Talk: IEEE International Conference on Decentralized Applications and Infrastructures, San Francisco; 2019-04-05 - 2019-04-09; in: "2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON), Proceedings", (2019), ISBN: 978-1-7281-1264-0; 10 pages
• SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course / M. Di Angelo, C. Sack, G. Salzer / Talk: 3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, St.Kitts; 2019-02-22 - 2019-02-26; in: "3rd Workshop on Trusted Smart Contracts, Financial Cryptography 2019, Proceedings", (2019), 15 pages
• Collateral Use of Deployment Code for Smart Contracts in Ethereum / M. Di Angelo, G. Salzer / Talk: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Gran Canaria; 2019-06-24 - 2019-06-26; in: "2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)", (2019), ISBN: 978-1-7281-1542-9; 5 pages
• Smart Contracts in View of the Civil Code / M. Di Angelo, A. Soare, G. Salzer / Talk: SAC '19: The 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Zypern; 2019-04-08 - 2019-04-12; in: "SAC '19: Symposium on Applied Computing Proceedings", (2019), ISBN: 978-1-4503-5933-7; 392 - 399
• Performance and Scalability of Private Ethereum Blockchains / M. Schäffer, M. Di Angelo, G. Salzer / Talk: Business Process Management: Blockchain and Central and Eastern Europe Forum - BPM 2019 Blockchain and CEE Forum, Vienna, Austria, Wien; 2019-09-01 - 2019-09-06; in: "BPM Blockchain and Central and Eastern Europe Forum, Proceeddings", Springer, 361 (2019), ISBN: 978-3-030-30429-4; 1 - 15
• Mayflies, Breeders, and Busy Bees in Ethereum: Smart Contracts Over Time / M. Di Angelo, G. Salzer / Talk: BCC 2019 : The Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts, Auckland, New Zealand; 2019-07-08 - 2019-07-15; in: "Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts (BCC '19)", (2019), ISBN: 978-1-4503-6785-1; 1 - 10

2016

• The Next Whisky Bar / G. Salzer, M. Hermann et al. / Talk: CSR 2016, St.Petersburg; 2016-06-09 - 2016-06-13; in: "Computer Science - Theory and Applications (11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia)", Springer, (2016), 41 - 56
• As Close as It Gets / G. Salzer, M. Behrisch, M. Hermann / Talk: {WALCOM:} Algorithms and Computation - 10th International Workshop, Kathmandu; 2016-03-29 - 2016-03-31; in: "{WALCOM:} Algorithms and Computation - 10th International Workshop, {WALCOM} 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings", M. Kaykobad et al. (ed.); LNCS 9627 (2016), ISBN: 978-3-319-30139-6; 222 - 235

2015

• Why Computer Science Can't Get Enough of Clones / G. Salzer / Keynote Lecture: AAA89, Dresden (invited); 2015-02-27 - 2015-03-01
• Give me another one! / M. Behrisch, G. Salzer et al. / accepted for publication in: "Proceedings of 26th International Symposium on Algorithms and Computation (ISAAC 2015)", E. Elbassioni et al. (ed.); Springer LNCS, 2015
• Minimal Distance of Propositional Models / G. Salzer, M. Behrisch, M. Hermann et al. / CoRR - Computing Research Repository, 1502.06761 (2015), abs/1502.06761; 28 pages

2014

• Numeric semantics of class diagrams with multiplicity and uniqueness constraints / G. Salzer, I. Feinerer / Software and Systems Modeling, 13 (2014), 3; 1167 - 1187

2013

• Class diagrams with equated association chains / I. Feinerer, G. Salzer, T. Sisel / Talk: 7th International Symposium on Theoretical Aspects of Software Engineering, Birmingham; 2013-07-01 - 2013-07-03; in: "Proceedings of the 7th International Symposium on Theoretical Aspects of Software Engineering", (2013), 209 - 216

2012

• Numeric semantics of class diagrams with multiplicity and uniqueness constraints / I. Feinerer, G. Salzer / Software and Systems Modeling, 2012 (2012), 1 pages
• Configuration Repair via Flow Networks / G. Salzer, I. Feinerer, T. Sisel et al. / Talk: 20th International Symbosium, ISMIS 2012, Macao; 2012-12-04 - 2012-12-07; in: "Foundations of Intelligent Systems - 20th International Symbosium, ISMIS 2012", C. Li, A. Felfernig et al. (ed.); Berlin (2012), ISBN: 978-3-642-34623-1; 321 - 330

2011

• Reducing multiplicities in class diagrams / I. Feinerer, G. Salzer, T. Sisel / Talk: 14th International Conference on Model Driven Engineering Languages and Systems, Wellington, New Zealand; 2011-10-16 - 2011-10-21; in: "Lecture Notes in Computer Science", 6981 (2011), ISBN: 978-3-642-24484-1; 379 - 393

2010

• Computing Product Configurations via UML and Integer Linear Programming / A. Falkner, I. Feinerer, G. Salzer, G. Schenner / International Journal of Mass Customisation (invited), 3 (2010), 4; 351 - 367
• The Helly Property and Satisfiability of Boolean Formulas Defined on Set Families / V. Chepoi, N. Creignou, M. Hermann, G. Salzer / European Journal of Combinatorics, 31 (2010), 2; 502 - 516

2009

• Description Problems over Finite Totally-Ordered Domains / G. Salzer / Talk: Moscow-Vienna Workshop on Logic and Computation 2009, Wien (invited); 2009-06-29 - 2009-07-02
• Constraint Satisfaction Problems & Many-Valued Logics / G. Salzer / Talk: Collegium Logicum 2009 (CL2009), Wien (invited); 2009-05-27 - 2009-05-28
• A Comparison of Tools for Teaching Formal Software Verification / I. Feinerer, G. Salzer / Formal Aspects of Computing, 21 (2009), 3; 293 - 301
• Algebraic foundation of a data model for an extensible space-based collaboration protocol / S. Craß, E. Kühn, G. Salzer / Talk: International Database Engineering and Applications Symposium (IDEAS 2009), Cetraro, Calabria, Italy; 2009-09-16 - 2009-09-18; in: "Proc. International Database Engineering and Applications Symposium", B. Desai, D. Saccà, S. Greco (ed.); ACM, (2009), ISBN: 978-1-60558-402-7; 301 - 306

2008

• Efficient Algorithms For Description Problems Over Finite Totally Ordered Domains / G. Salzer, M. Hermann, A Gil, B Zanuttini / SIAM JOURNAL ON COMPUTING, 38 (2008), 3; 922 - 945
• Complexity of Clausal Constraints Over Chains / N. Creignou, M. Hermann, A. Krokhin, G. Salzer / Theory of Computing Systems, 42 (2008), 2; 239 - 255
• Solving Practical Configuration Problems using UML / A. Falkner, I. Feinerer, G. Salzer, G. Schenner / Talk: ECAI 2008 Workshop on Configuration Systems, Patras, Greece; 2008-07-21 - 2008-07-22; in: "Proceedings of ECAI 2008 Workshop on Configuration Systems", (2008), ISBN: 978-960-6843-01-3; 6 pages
• Deciding the Satisfiability of Propositional Formulas in Finitetly-Valued Signed Logics / G. Salzer, V. Chepoi, N. Creignou, M. Hermann / Talk: ISMVL 2008 (38th IEEE International Symposium on Multiple-Valued Logic), Dallas,Texas,USA; 2008-05-16 - 2008-05-19; in: "Proceedings of 38th IEEE International Symposium on Multiple-Valued Logic", G. Dueck (ed.); IEEE Computer Society, Washington D.C., USA (2008), ISBN: 978-0-7695-3155-7; 100 - 105

2007

• Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints / G. Salzer, I. Feinerer / Talk: TASE 2007, Shanghai; 2007-06-06 - 2007-06-08; in: "Proceedings 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering", J. He, J. Sanders (ed.); (2007), 411 - 420

2006

• Tree Tuple Languages from the Logic Programming Point of View / G. Salzer, S Limet / Journal of Automated Reasoning, 37 (2006), 4; 323 - 349
• Basic Rewriting via Logic Programming, with an Application to the Reachability Problem / G. Salzer, S Limet / Journal of Automata, Languages and Combinatorics, 11 (2006), 1; 107 - 142
• Automated Tools for Teaching Formal Software Verification / I. Feinerer, G. Salzer / Talk: Teaching Formal Methods, London; 2006-12-15; in: "Proceedings of Teaching Formal Methods 2006", P. Boca et al. (ed.); BCS, (2006), ISSN: 1477-9358; 5 pages

2005

• The τ model, fomalizing topic maps / G. Salzer, R. Barta / in: "Proceedings of the 2nd-Asia-Pacific conference on Conceptual modelling", issued by: Australian Computer Society; Australian Computer Society, Darlinghurst, Australia, 2005, ISSN: 1445-1336, 37 - 42

2004

• Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains / A Gil, M. Hermann, G. Salzer, B Zanuttini / Talk: Second International Joint Conference, IJCAR 2004, Cork; 2004-07-04 - 2004-07-08
• Proving Properties of Term Rewrite Systems via Logic Programs / G. Salzer, S Limet / Talk: RTA'04, Aachen; 2004-06-03 - 2004-06-05
• Proving Properties of Term Rewrite Systems via Logic Programs / G. Salzer, S Limet / in: "Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004", V van Oostrom (ed.); Springer, LNCS 3091, 2004, ISBN: 3-540-22153-0, 170 - 184
• Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains (Extended Abstract) / A Gil, M Herman, G. Salzer, B Zanuttini / in: "Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004", D Basin, M Rusinowitch (ed.); Springer, LNCS 3097, 2004, ISBN: 3-540-22345-2, 244 - 258

2003

• Manipulating Tree Tuple Languages by Transforming Logic Programs / G. Salzer, S Limet / Talk: FTP'2003, International Workshop on First-Order Theorem Proving, Valencia, Spain; 2003-06-12 - 2003-06-14; in: "First-Order Theorem Proving (FTP'03)", Elsevier Science Publishers, Electronic Notes in Theoretical Computer Science (2003), 15 pages
• MUltlog and MUltseq Reanimated and Married / M. Baaz, C. Fermüller, A Gil, N Preining, G. Salzer / Talk: 4th International Workshop on the Implementation of Logics, Almaty, Kazakhstan; 2003-09-26; in: "Proc. of the 4th International Workshop on the Implementation of Logics", (2003), 13 - 17

2002

• Excursions of a computer scientist into the realm of logic / G. Salzer / Talk: Seminarvortrag, Brno, Czech Republic (invited); 2002-10-29

 

• Numeric Methods for Configuration Management / PhD Thesis by T. Sisel / Supervisor, Reviewer: G. Salzer, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-11-19
• A formal model of the Extensible Virtual Shared Memory (XVSM) and its implementation in Haskell / Master Thesis by S. Craß / Supervisor: E. Kühn, G. Salzer; 185/1, 2010; final examination: 2010
• Ontology-Driven Information Extraction / PhD Thesis by B. Yildiz / Supervisor, Reviewer: S. Miksch, G. Salzer; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 2007-04-24
• A Formal Treatment of UML Class Diagrams as an Efficient Method for Configuration Management / PhD Thesis by I. Feinerer / Supervisor, Reviewer: G. Salzer, G. Kappel; E 185 Institut für Computersprachen, 2007; oral examination: 2007-03-23
• Log File Processing by Machine Learning and Information Extraction / Master Thesis by P. Robinson / Supervisor: G. Salzer; Institut für Computersprachen E185/2, 2006
• Formal Program Verification: A Comparison of Selected Tools and Their Theoretical Foundations / Master Thesis by I. Feinerer / Supervisor: G. Salzer; E 185 Institut für Computersprachen, 2005; final examination: 2005-02-03
• Steganographische und kryptographische Grundlagen digitaler Wasserzeichen / Master Thesis by M Schuster / Supervisor: G. Salzer; Institut für Computersprachen 185, 2003
• eContracting: Foundations and Applications / Master Thesis by C. Ploninger / Supervisor: G. Salzer; Institut für Computersprachen, 2002