danielakaufmann.at

Robots.txt Information

Robot	Path	Permission
GoogleBot	/	✔
BingBot	/	✔
BaiduSpider	/	✔
YandexBot	/	✔
User-agent: * Disallow: Sitemap: https://danielakaufmann.at/sitemap_index.xml

Meta Tags

Title	Daniela
Description	Skip to content Daniela Kaufmann Menu Research Publications Software Talks Contact Daniela Kaufmann I am currently a senior researcher in software science
Keywords	N/A

Server Information

WebSite	danielakaufmann.at
Host IP	85.13.146.121
Location	Germany

Verwandte Websites

Site	Rank
metzgerei-kaufmann.de	4,540,907
jonaskaufmann.com	1,950,176
kaufmann-egg.ch	29,605,884
kaufmann-ag.li	0
markuskaufmann.ch	0

Mehr zu entdecken

Site

finanzmarktservice.de

danielakaufmann.at bewertung

Euro€1,653

Zuletzt aktualisiert: 2022-08-03 17:00:04

danielakaufmann.at hat Semrush globalen Rang von 19,287,577. danielakaufmann.at hat einen geschätzten Wert von € 1,653, basierend auf seinen geschätzten Werbeeinnahmen. danielakaufmann.at empfängt jeden Tag ungefähr 551 einzelne Besucher. Sein Webserver befindet sich in Germany mit der IP-Adresse 85.13.146.121. Laut SiteAdvisor ist danielakaufmann.at sicher zu besuchen.

Verkehr & Wertschätzungen

Kauf-/Verkaufswert	Euro€1,653
Tägliche Werbeeinnahmen	Euro€41,325
Monatlicher Anzeigenumsatz	Euro€13,775
Jährliche Werbeeinnahmen	Euro€1,102
Tägliche eindeutige Besucher	551
Hinweis: Alle Traffic- und Einnahmenwerte sind Schätzungen.

DNS Records

Host	Type	TTL	Data
danielakaufmann.at.	A	3600	IP: 85.13.146.121
danielakaufmann.at.	NS	3600	NS Record: ns5.kasserver.com.
danielakaufmann.at.	NS	3600	NS Record: ns6.kasserver.com.
danielakaufmann.at.	MX	3600	MX Record: 10 w00a80a4.kasserver.com.

HtmlToTextCheckTime:2022-08-03 17:00:04

Skip to content Daniela Kaufmann Menu Research Publications Software Talks Contact Daniela Kaufmann I am currently a senior researcher in software science at the Software Competence Center Hagenberg , where I am working in the DEPS project. Stay tuned for our research results. Prior to that I was a postdoctoral researcher at the LIT AI Lab as part of the Institute of Formal Models and Verification , lead by Martina Seidl , at Johannes Kepler University (JKU) in Linz Austria. I finished my PhD in Computer Science at JKU in April 2020. My PhD thesis is on formal verification of multiplier circuits using computer algebra and was supervised by Armin Biere and Manuel Kauers . My thesis received the GI-Dissertation Award 2020 and the Heinz Zemanek Award 2022 . In my research I focus on applied formal methods, more precisely hardware verification using computer algebra. In other words, I develop algebraic reasoning techniques based on the theory of Gröbner bases that allow proving the

HTTP Headers

HTTP/1.1 301 Moved Permanently
Date: Wed, 03 Aug 2022 08:41:36 GMT
Server: Apache
Location: https://danielakaufmann.at/
Content-Type: text/html; charset=iso-8859-1

HTTP/2 200 
link: ; rel="https://api.w.org/", ; rel="alternate"; type="application/json", ; rel=shortlink
vary: Accept-Encoding,User-Agent
accept-ranges: none
content-type: text/html; charset=UTF-8
date: Wed, 03 Aug 2022 08:41:36 GMT
server: Apache

danielakaufmann.at bewertung und analyse