1![Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract](https://www.pdfsearch.io/img/ac3ea24131aaf898c552337d330e7785.jpg) | Add to Reading ListSource URL: smt-workshop.cs.uiowa.eduLanguage: English - Date: 2017-09-02 14:08:49
|
---|
2![Debugging Native Extensions of Dynamic Languages∗ Jacob Kreindl Johannes Kepler University Linz Austria Debugging Native Extensions of Dynamic Languages∗ Jacob Kreindl Johannes Kepler University Linz Austria](https://www.pdfsearch.io/img/8bb5bacfbe78fa988e15b41fb0af47e2.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-08-02 21:00:36
|
---|
3![nformatik-Kolloquium The Department of Computer Science of Johannes Kepler University Linz 1 together with the Austrian Society of Computer Science (ÖGI) invites to the following talk: Sebastian Gabmeyer Technical Unive nformatik-Kolloquium The Department of Computer Science of Johannes Kepler University Linz 1 together with the Austrian Society of Computer Science (ÖGI) invites to the following talk: Sebastian Gabmeyer Technical Unive](https://www.pdfsearch.io/img/42d2ca7288311d55129ab7114567ef8e.jpg) | Add to Reading ListSource URL: fmv.jku.atLanguage: English - Date: 2018-06-14 10:33:26
|
---|
4![A. Univ.-Prof. Mag. phil. Dr. rer.nat. Rainer Born Institut für Philosophie und Wissenschaftstheorie Johannes-Kepler-Universität/Linz A-4040 Linz-Auhof, Austria Curriculum Vitae A. Univ.-Prof. Mag. phil. Dr. rer.nat. Rainer Born Institut für Philosophie und Wissenschaftstheorie Johannes-Kepler-Universität/Linz A-4040 Linz-Auhof, Austria Curriculum Vitae](https://www.pdfsearch.io/img/13b6d5c0e05786bedcdc0483f1fa7580.jpg) | Add to Reading ListSource URL: www.iwp.jku.atLanguage: German - Date: 2009-05-28 03:49:58
|
---|
5![DEMOGRAPHIC IMPACT OF VIOLENCE Authors: MARINA ANDRIJEVIC, HUMBOLDT UNIVERSITY IN BERLIN JAKUB GÁBOR, COMENIUS UNIVERSITY IN BRATISLAVA CONSTANZA GINESTRA, JOHANNES KEPLER UNIVERSITY LINZ DEMOGRAPHIC IMPACT OF VIOLENCE Authors: MARINA ANDRIJEVIC, HUMBOLDT UNIVERSITY IN BERLIN JAKUB GÁBOR, COMENIUS UNIVERSITY IN BRATISLAVA CONSTANZA GINESTRA, JOHANNES KEPLER UNIVERSITY LINZ](https://www.pdfsearch.io/img/4a2a23eeb284586147dfd6c6cef3d8fb.jpg) | Add to Reading ListSource URL: www.ra-un.orgLanguage: English - Date: 2018-03-19 05:07:33
|
---|
6![nformatik-Kolloquium The Department of Computer Science of Johannes Kepler University Linz1 together with the Austrian Society of Computer Science (ÖGI) invites to the following talk: Andrei Voronkov University of Manch nformatik-Kolloquium The Department of Computer Science of Johannes Kepler University Linz1 together with the Austrian Society of Computer Science (ÖGI) invites to the following talk: Andrei Voronkov University of Manch](https://www.pdfsearch.io/img/b898165d26480ee5dde584d7aaad6d0a.jpg) | Add to Reading ListSource URL: fmv.jku.atLanguage: English - Date: 2013-10-07 09:23:37
|
---|
7![Johannes-KeplerSternwarte (JKS) Weil der Stadt Johannes KeplerEntdecker der Planetengesetze Kaiserlicher Mathematiker Johannes-KeplerSternwarte (JKS) Weil der Stadt Johannes KeplerEntdecker der Planetengesetze Kaiserlicher Mathematiker](https://www.pdfsearch.io/img/4ce975f86b9e965b208f1953fe4a79ca.jpg) | Add to Reading ListSource URL: www.kepler-sternwarte.deLanguage: German - Date: 2014-03-14 18:34:14
|
---|
8![Wanted! Research assistants (f/m) Institute of Applied Geometry, Linz/Austria The Institute of Applied Geometry (www.ag.jku.at) at Johannes Kepler University, Linz/Austria, has several openings for research assistants (P Wanted! Research assistants (f/m) Institute of Applied Geometry, Linz/Austria The Institute of Applied Geometry (www.ag.jku.at) at Johannes Kepler University, Linz/Austria, has several openings for research assistants (P](https://www.pdfsearch.io/img/1b2b8f95256e44a76d6429aa5de0f7c2.jpg) | Add to Reading ListSource URL: www.gs.jku.atLanguage: English - Date: 2017-10-09 07:16:22
|
---|
9![Solving Equational Problems: Matching and Unification Temur Kutsia RISC, Johannes Kepler University Linz, Austria, http://www.risc.jku.at/people/tkutsia Solving Equational Problems: Matching and Unification Temur Kutsia RISC, Johannes Kepler University Linz, Austria, http://www.risc.jku.at/people/tkutsia](https://www.pdfsearch.io/img/e4cec67726bafa667c7b8df905dafbf9.jpg) | Add to Reading ListSource URL: www.win.tue.nl- Date: 2017-02-02 07:22:52
|
---|