| Date | Description |
|---|
| 2025-01-06 |
delete index_pages_linkeddomain acm.org |
| 2024-11-03 |
insert management_pages_linkeddomain kit.edu |
| 2024-11-03 |
insert projects_pages_linkeddomain kit.edu |
| 2024-10-01 |
delete impressum_pages_linkeddomain cs.cmu.edu |
| 2024-06-13 |
insert index_pages_linkeddomain cadeinc.org |
| 2024-04-01 |
delete about_pages_linkeddomain veriphy.org |
| 2024-04-01 |
delete casestudy_pages_linkeddomain veriphy.org |
| 2024-04-01 |
delete index_pages_linkeddomain veriphy.org |
| 2024-04-01 |
insert address by appointment
76131 Karlsruhe, Germany |
| 2023-09-30 |
insert about_pages_linkeddomain ams.org |
| 2023-09-30 |
insert casestudy_pages_linkeddomain aditink.github.io |
| 2023-07-23 |
insert index_pages_linkeddomain polimi.it |
| 2023-06-15 |
insert personal_emails la..@kit.edu |
| 2023-06-15 |
insert email la..@kit.edu |
| 2023-06-15 |
insert index_pages_linkeddomain sfb-convide.de |
| 2023-01-29 |
delete index_pages_linkeddomain google.com |
| 2023-01-29 |
delete phone +1 412 268-1558 |
| 2023-01-29 |
delete phone +49 721 608-43391 |
| 2022-11-12 |
insert casestudy_pages_linkeddomain youtube.com |
| 2022-11-12 |
insert index_pages_linkeddomain scs.cmu.edu |
| 2022-08-01 |
delete address GHC 9103
Pittsburgh, PA 15213-3891, USA |
| 2022-08-01 |
insert phone +49 721 608-43391 |
| 2022-06-30 |
insert index_pages_linkeddomain humboldt-foundation.de |
| 2022-06-30 |
insert index_pages_linkeddomain kit.edu |
| 2022-05-29 |
delete index_pages_linkeddomain cade-28.info |
| 2022-05-29 |
insert about_pages_linkeddomain arxiv.org |
| 2022-05-29 |
insert index_pages_linkeddomain tum.de |
| 2022-03-27 |
delete fax +1 (412) 268-5576 |
| 2022-03-27 |
insert address GHC 9103
Pittsburgh, PA 15213-3891, USA |
| 2022-03-27 |
insert casestudy_pages_linkeddomain episciences.org |
| 2022-03-27 |
insert index_pages_linkeddomain dagstuhl.de |
| 2022-03-27 |
insert index_pages_linkeddomain episciences.org |
| 2021-10-01 |
insert about_pages_linkeddomain ece.vt.edu |
| 2021-10-01 |
insert about_pages_linkeddomain hnu.edu.cn |
| 2021-10-01 |
insert about_pages_linkeddomain hzcourse.com |
| 2021-04-21 |
delete casestudy_pages_linkeddomain lmcs-online.org |
| 2021-04-21 |
delete index_pages_linkeddomain lmcs-online.org |
| 2021-04-21 |
delete phone +1 (412) 268-7660 |
| 2021-04-21 |
insert contact_pages_linkeddomain uol.de |
| 2021-04-21 |
insert index_pages_linkeddomain acm.org |
| 2021-04-21 |
insert phone +1 (412) 268-3041 |
| 2020-03-02 |
delete source_ip 5.35.225.24 |
| 2020-03-02 |
insert source_ip 5.175.14.99 |
| 2019-08-28 |
delete impressum_pages_linkeddomain symbolaris.net |
| 2019-08-28 |
delete impressum_pages_linkeddomain symbolaris.org |
| 2019-08-28 |
insert index_pages_linkeddomain github.com |
| 2019-07-29 |
delete impressum_pages_linkeddomain recaptcha.net |
| 2019-06-28 |
delete source_ip 80.237.132.24 |
| 2019-06-28 |
insert source_ip 5.35.225.24 |
| 2019-05-24 |
delete address HCSS 2014, Annapolis, MD |
| 2019-05-24 |
delete index_pages_linkeddomain tum.de |
| 2019-05-24 |
delete index_pages_linkeddomain tvworldwide.com |
| 2019-05-24 |
insert about_pages_linkeddomain lfcps.org |
| 2019-05-24 |
insert casestudy_pages_linkeddomain lfcps.org |
| 2019-05-24 |
insert impressum_pages_linkeddomain lfcps.org |
| 2019-05-24 |
insert management_pages_linkeddomain lfcps.org |
| 2019-03-21 |
insert index_pages_linkeddomain inesctec.pt |
| 2019-03-21 |
insert index_pages_linkeddomain youtube.com |
| 2019-03-21 |
insert projects_pages_linkeddomain lfcps.org |
| 2018-12-11 |
delete index_pages_linkeddomain acm.org |
| 2018-12-11 |
delete index_pages_linkeddomain springerlink.com |
| 2018-12-11 |
insert about_pages_linkeddomain veriphy.org |
| 2018-12-11 |
insert casestudy_pages_linkeddomain veriphy.org |
| 2018-12-11 |
insert index_pages_linkeddomain sigplan.org |
| 2018-12-11 |
insert index_pages_linkeddomain veriphy.org |
| 2018-04-23 |
insert address IJCAR 2018, Oxford, UK |
| 2018-04-23 |
insert index_pages_linkeddomain acm.org |
| 2018-04-23 |
insert index_pages_linkeddomain springerlink.com |
| 2017-11-21 |
delete casestudy_pages_linkeddomain springerlink.com |
| 2017-09-03 |
insert casestudy_pages_linkeddomain springerlink.com |
| 2017-09-03 |
insert index_pages_linkeddomain lfcps.org |
| 2017-09-03 |
insert index_pages_linkeddomain springer.com |
| 2017-09-03 |
insert index_pages_linkeddomain tum.de |
| 2017-06-18 |
insert casestudy_pages_linkeddomain oup.com |
| 2017-04-03 |
delete impressum_pages_linkeddomain oracle.com |
| 2017-04-03 |
delete index_pages_linkeddomain panopto.com |
| 2017-04-03 |
update website_status IndexPageFetchError => OK |
| 2017-02-02 |
update website_status OK => IndexPageFetchError |
| 2016-11-15 |
delete index_pages_linkeddomain acm.org |
| 2016-11-15 |
delete index_pages_linkeddomain ams.org |
| 2016-11-15 |
delete index_pages_linkeddomain bio-medicine.org |
| 2016-11-15 |
delete index_pages_linkeddomain carnegiemellontoday.com |
| 2016-11-15 |
delete index_pages_linkeddomain computer.org |
| 2016-11-15 |
delete index_pages_linkeddomain cra.org |
| 2016-11-15 |
delete index_pages_linkeddomain cs.utah.edu |
| 2016-11-15 |
delete index_pages_linkeddomain curiositech.com |
| 2016-11-15 |
delete index_pages_linkeddomain drdobbs.com |
| 2016-11-15 |
delete index_pages_linkeddomain extremetech.com |
| 2016-11-15 |
delete index_pages_linkeddomain futurity.org |
| 2016-11-15 |
delete index_pages_linkeddomain heise.de |
| 2016-11-15 |
delete index_pages_linkeddomain hu-berlin.de |
| 2016-11-15 |
delete index_pages_linkeddomain ieeecomputersociety.org |
| 2016-11-15 |
delete index_pages_linkeddomain ihe-online.com |
| 2016-11-15 |
delete index_pages_linkeddomain intelligence.org |
| 2016-11-15 |
delete index_pages_linkeddomain jfk50.org |
| 2016-11-15 |
delete index_pages_linkeddomain latimes.com |
| 2016-11-15 |
delete index_pages_linkeddomain networkworld.com |
| 2016-11-15 |
delete index_pages_linkeddomain nsf.gov |
| 2016-11-15 |
delete index_pages_linkeddomain open-do.org |
| 2016-11-15 |
delete index_pages_linkeddomain pittsburghlive.com |
| 2016-11-15 |
delete index_pages_linkeddomain popcitymedia.com |
| 2016-11-15 |
delete index_pages_linkeddomain popsci.com |
| 2016-11-15 |
delete index_pages_linkeddomain roboticsbusinessreview.com |
| 2016-11-15 |
delete index_pages_linkeddomain roboticstrends.com |
| 2016-11-15 |
delete index_pages_linkeddomain science360.gov |
| 2016-11-15 |
delete index_pages_linkeddomain sciencedaily.com |
| 2016-11-15 |
delete index_pages_linkeddomain sciencenewsforkids.org |
| 2016-11-15 |
delete index_pages_linkeddomain sciencenewsline.com |
| 2016-11-15 |
delete index_pages_linkeddomain slashdot.org |
| 2016-11-15 |
delete index_pages_linkeddomain spectrum.ieee.org |
| 2016-11-15 |
delete index_pages_linkeddomain springer.com |
| 2016-11-15 |
delete index_pages_linkeddomain technewslit.com |
| 2016-11-15 |
delete index_pages_linkeddomain theengineer.co.uk |
| 2016-11-15 |
delete index_pages_linkeddomain thetartan.org |
| 2016-11-15 |
delete index_pages_linkeddomain tue.nl |
| 2016-11-15 |
delete index_pages_linkeddomain ubergizmo.com |
| 2016-11-15 |
delete index_pages_linkeddomain washingtonpost.com |
| 2016-09-11 |
delete casestudy_pages_linkeddomain ieee.org |
| 2016-09-11 |
delete casestudy_pages_linkeddomain ieeexplore.ieee.org |
| 2016-06-11 |
insert address IJCAR 2016, Coimbra, Portugal |
| 2016-06-11 |
insert casestudy_pages_linkeddomain github.com |
| 2016-03-28 |
insert index_pages_linkeddomain panopto.com |
| 2016-01-07 |
insert index_pages_linkeddomain latimes.com |
| 2016-01-07 |
insert index_pages_linkeddomain washingtonpost.com |
| 2015-09-26 |
insert projects_pages_linkeddomain ece.cmu.edu |
| 2015-09-26 |
insert projects_pages_linkeddomain futureoflife.org |
| 2015-09-26 |
insert projects_pages_linkeddomain nsf.gov |
| 2015-08-22 |
delete index_pages_linkeddomain springerlink.com |
| 2015-07-03 |
insert about_pages_linkeddomain keymaerax.org |
| 2015-07-03 |
insert casestudy_pages_linkeddomain keymaerax.org |
| 2015-05-29 |
insert index_pages_linkeddomain springerlink.com |
| 2015-04-22 |
delete casestudy_pages_linkeddomain springerlink.com |
| 2015-02-18 |
insert casestudy_pages_linkeddomain springerlink.com |
| 2014-11-04 |
insert index_pages_linkeddomain eatcs.org |
| 2014-09-04 |
insert address HCSS 2014, Annapolis, MD |
| 2014-09-04 |
insert casestudy_pages_linkeddomain ieeexplore.ieee.org |
| 2014-04-04 |
insert index_pages_linkeddomain intelligence.org |
| 2014-04-04 |
insert index_pages_linkeddomain tvworldwide.com |
| 2013-12-22 |
insert index_pages_linkeddomain cra.org |
| 2013-12-22 |
insert index_pages_linkeddomain ihe-online.com |