Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Wolfgang Schreiner
Has grant
Associate Professor
AustriaResearch Interests
Explore related searches
About
Wolfgang Schreiner is an Associate Professor at Johannes Kepler Universität Linz, Austria. His research interests focus on semantics of relational first-order logic, fuzzy automata, and simulation of retrial queueing systems. His recent articles include work on categorical approaches to semantics and the study of McCarthy-Kleene fuzzy automata.
Recent Grants
Grant: Close
LogicGuard II "The Optimized Checking of Time-Quantified Logic Formulas with Applications in Computer Security"
Open Date: 2014-10-01
Close Date: 2017-03-01
Grant: Close
LogicGuard "The Efficient Checking of Time-Quantified Logic Formulas with Applications in Computer Security"
Open Date: 2012-01-01
Close Date: 2013-12-01
Grant: Close
DK 10 "Formally Specified Computer Algebra Software"
Open Date: 2008-10-01
Close Date: 2011-09-01
Grant: Close
MathBroker II "Brokering Distributed Mathematical Services"
Open Date: 2005-01-01
Close Date: 2007-12-01
Grant: Close
A Framework for Brokering Distributed Mathematical Services
Open Date: 2001-12-01
Close Date: 2003-11-01
Articles (4)
Year:
2020
Year:
2020
Year:
2020
Year:
2020
Collaborators (1)
Temur Kutsia
Johannes Kepler University Linz
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.