lkovacs.com valuation and analysis
Robots.txt Information
| Robot | Path | Permission |
| GoogleBot | / | ✔ |
| BingBot | / | ✔ |
| BaiduSpider | / | ✔ |
| YandexBot | / | ✔ |
Meta Tags
| Title | Laura |
| Description | Laura Kovács Professor Automated Program Reasoning Group - APRe Formal Methods in Systems Engineering - FORSYTE Faculty of Informatics Vienna University o |
| Keywords | N/A |
Server Information
| WebSite | |
| Host IP | 198.54.115.176 |
| Location | United States |
Related Websites
| Site | Rank |
More to Explore
lkovacs.com Valuation
|
US$1,344,824
Last updated: 2023-05-19 19:32:43
lkovacs.com has Semrush global rank of 7,870,406. lkovacs.com has an estimated worth of US$ 1,344,824, based on its estimated Ads revenue. lkovacs.com receives approximately 155,172 unique visitors each day. Its web server is located in United States, with IP address 198.54.115.176. According to SiteAdvisor, lkovacs.com is safe to visit. |
Traffic & Worth Estimates
| Purchase/Sale Value | US$1,344,824 |
| Daily Ads Revenue | US$1,242 |
| Monthly Ads Revenue | US$37,242 |
| Yearly Ads Revenue | US$446,896 |
| Daily Unique Visitors | 10,345 |
| Note: All traffic and earnings values are estimates. | |
DNS Records
| Host | Type | TTL | Data |
| lkovacs.com. | A | 1200 | IP: 198.54.115.176 |
| lkovacs.com. | NS | 1800 | NS Record: pdns1.registrar-servers.com. |
| lkovacs.com. | NS | 1800 | NS Record: pdns2.registrar-servers.com. |
| lkovacs.com. | MX | 60 | MX Record: 10 mail.lkovacs.com. |
HtmlToTextCheckTime:2023-05-19 19:32:43
| Laura Kovács Professor Automated Program Reasoning Group - APRe Formal Methods in Systems Engineering - FORSYTE Faculty of Informatics Vienna University of Technology Email: laura dot kovacs at tuwien dot ac dot at Postal address: Favoritenstrasse 9-11/E192.4, 1040 Vienna, Austria CV Publications APRe Group APRe Events Research Grants Student Projects Teaching Software Community Service I am a full professor at the Faculty of Informatics of the Vienna University of Technology (TU Wien) , leading the research group in automated program reasoning- APRe . Research focus: My research establishes synergies between computer algebra and automated deduction in support of automated reasoning about software systems. As such, my work enhances automated deduction with computer algebra insights; extends computer algebra methods by automated deduction approaches; designs hybrid approaches complementing computer algebra and automated deduction; develops software artefacts combining computer algebra |
HTTP Headers
HTTP/1.1 200 OK keep-alive: timeout=5, max=100 content-type: text/html last-modified: Fri, 13 May 2022 11:50:50 GMT accept-ranges: bytes content-length: 6665 date: Sun, 13 Nov 2022 08:51:30 GMT server: LiteSpeed x-turbo-charged-by: LiteSpeed |
lkovacs.com Whois Information
Domain Name: LKOVACS.COM Registry Domain ID: 2413361957_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.namecheap.com Registrar URL: http://www.namecheap.com Updated Date: 2022-06-16T07:15:12Z Creation Date: 2019-07-16T12:40:02Z Registry Expiry Date: 2023-07-16T12:40:02Z Registrar: NameCheap, Inc. Registrar IANA ID: 1068 Registrar Abuse Contact Email: abuse@namecheap.com Registrar Abuse Contact Phone: +1.6613102107 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: PDNS1.REGISTRAR-SERVERS.COM Name Server: PDNS2.REGISTRAR-SERVERS.COM DNSSEC: unsigned >>> Last update of whois database: 2022-11-13T08:52:36Z <<< |