-Invertible Cycles for Multivariate Quadratic (MQ) Public Key Cryptography Jintai Ding1, , Christopher Wolf2 , and Bo-Yin Yang3, 1 University of Cincinnati and Technische Universität Darmstadt

Source URL: precision.moscito.org

• Cryptography
• Multivariate cryptography
• Finite fields
• Post-quantum cryptography
• Hidden Field Equations
• Unbalanced Oil and Vinegar
• Trapdoor function
• XTR
• QUAD
• Mutation
• Digital signature

Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions⋆ Daniel Larraz, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio Universitat Polit`ecnica de Catalunya, Barcelona, Spain

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Computational complexity theory
• Mathematical logic
• Constraint programming
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability modulo theories
• Maximum satisfiability problem
• Local consistency

DIE REFERIERENDEN Mark Branson Direktor FINMA Prof. Dr. Aymo Brunetti Departement Volkswirtschaftslehre Universität Bern Weiyun Gong Geschäftsführer China Construction Bank (CCB) Swiss Branch Zurich Peter Hinder CEO D

Source URL: www.fuw.ch

Improving the Adoption of Software Engineering Practices Through Persuasive Interventions Von der Fakultät für Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universität Hannover zur Erlangung des Grades

Source URL: etc.leif.me

Zertifikatsarbeit Certificate of Advanced Studies in Evaluation – Universität Bern Wirkung von E-Commerce Einnahmen auf die kantonalen

Source URL: www.efk.admin.ch

Universitätsbibliothek KaiserslauternKLUEDO LeitlinienKLUEDO LeitlinienDer Dokumentenserver KLUEDO der Technischen Universität Kaiserslautern

Source URL: kluedo.ub.uni-kl.de

Finite Horizon Analysis of Markov Automata Dissertation zur Erlangung des akademischen Grades des Doktors der Ingenieurwissenschaften (Dr.-Ing.) der Fakultät für Mathematik und Informatik der Universität des Saarlande

Source URL: cgi.csc.liv.ac.uk

• Markov models
• Concurrency
• Graph theory
• Markov chain
• Stochastic
• Petri net
• Computing
• Mathematics
• Formal methods

On the no´s and must´s in system design Werner Damm joint work with Bernd Finkbeiner, Universität des Saarlandes, and Astrid Rakow, Carl von Ossietzky Universität Oldenburg

Source URL: www.avacs.org

• Modeling and simulation
• Cognition
• Systems engineering
• Experimental psychology
• Human behavior
• Motivation
• Scientific modelling
• Economic model
• Business process management
• ACT-R
• Conceptual model
• System

Universität Leipzig Institut für Informatik Diplomarbeit Charakterisierung erkennbarer

Source URL: wwwtcs.inf.tu-dresden.de

Proving Non-termination Using Max-SMT? Daniel Larraz1 , Kaustubh Nimkar2 , Albert Oliveras1 , Enric Rodr´ıguez-Carbonell1 , and Albert Rubio1 1 Universitat Polit`ecnica de Catalunya, Barcelona

Source URL: www.lsi.upc.edu

• Mathematical analysis
• Ergodic theory
• Differential topology
• Mathematics
• Computability theory
• Lie algebras
• Non-associative algebras
• Hopf decomposition
• Orbifold