Get your own Private Tracker Now!
Get your own Free Tracker Now!

Corneliu@TUM My Account: Code / Edit / Support   URL:     http://www.model.in.tum.de/~popeea/     Counting since:     27 September 2008  /  10:10   Current report:     28 Apr 2024  /  21:38   Summary     Totals and Averages     Unique Visitors     Day | Week | Month | Hours of the Day | Days of the Week     Incl, Excl, Reloads     Day | Week | Month     Geo Tracking     Country | Continent     On the Map      Last 20 / 1000 | Worldwide | StreetLevel Zoom | Filters     System Tracking     Browsers | Operating Systems | Screen Resolutions | Screen Colors     Referrer Tracking 1     Last 20: Unsorted | Email | Searchengines | Queries | Usenet | Harddisk     > Referrer Tracking 2     Totals: Sources | Searchengines | All Keywords | All Website Referrers

Mobile Version Check the Mobile Version of Your Tracker Reports with your iPhone, Android, Blackberry etc at: x extremetracking.com/mobfree/abeb

Referrer Totals: Sources Unique Visitors   Search Engines     2999     56.27%     Websites     2331     43.73%

Referrer Totals: Searchengines Unique Visitors   Google     2907     96.93%     Bing.com     39     1.30%     Google Images     25     0.83%     Yahoo     11     0.37%     DuckDuckGo     6     0.20%     Live.com     5     0.17%     Yandex.ru     4     0.13%     AOL Search     1     0.03%     Baidu.com     1     0.03%

Free Daily Content For Your Website Free daily content for your website - Word of the Day, Article of the Day, This day in history, Today's birthday, Quote of the Day. Also: Reference lookup box, Javascript double-click code. Easy-to-use wizard generates HTML code for your page.

All Keywords Unique Visitors   1268     36.71%     corneliu     1267     36.68%     popeea     52     1.51%     for     50     1.45%     multithreaded     48     1.39%     programs     46     1.33%     termination     46     1.33%     compositional     46     1.33%     proofs     40     1.16%     rybalchenko     37     1.07%     poppea     35     1.01%     andrey     33     0.96%     and     29     0.84%     popea     21     0.61%     software     19     0.55%     verifiers     19     0.55%     synthesizing     19     0.55%     proof     19     0.55%     from     19     0.55%     rules     17     0.49%     tum     13     0.38%     chin     12     0.35%     webmail     10     0.29%     ngan     10     0.29%     ana     10     0.29%     wei     9     0.26%     mpi     9     0.26%     threader     7     0.20%     varbanescu     7     0.20%     singapore     6     0.17%     httpwww7intumdepopeea     5     0.14%     cornelius     5     0.14%     lucia     5     0.14%     sitetumde     4     0.12%     program     4     0.12%     prof     4     0.12%     molnos     4     0.12%     anca     4     0.12%     gupta     4     0.12%     ashutosh     4     0.12%     verifier     4     0.12%     mnchen     3     0.09%     oprescu     3     0.09%     maria     3     0.09%     siteintumde     3     0.09%     grebenshchikov     3     0.09%     florin     3     0.09%     craciun     3     0.09%     cornelui     3     0.09%     nus     3     0.09%     tacas     2     0.06%     verifying     Next 50 Keywords from a total of 165 Keywords

All Website Referrers Unique Visitors   322     13.81%     http://www.mpi-sws.org/~cpopeea     216     9.27%     http://www7.in.tum.de/people/detail/index.php     196     8.41%     http://www.mpi-sws.org/index_flash.php     195     8.37%     http://www.mpi-sws.org/groups/vs     128     5.49%     http://www.model.in.tum.de/people/detail/index.php     112     4.80%     http://www.comp.nus.edu.sg/~corneliu     85     3.65%     http://www.comp.nus.edu.sg/~ccris/personal.html     85     3.65%     http://www.mpi-sws.org/index_noflash.php     51     2.19%     http://puma.in.tum.de/wiki/Participants     49     2.10%     https://scholar.google.com     43     1.84%     http://www.comp.nus.edu.sg/~cristin1/personal.html     31     1.33%     http://www7.in.tum.de/um/courses/pearl3/ws1213     27     1.16%     http://www4.in.tum.de/lehre/vorlesungen/perlen/WS1112     26     1.12%     http://scholar.google.com/citations     21     0.90%     http://cav2013.forsyte.at/accepted-papers     21     0.90%     http://www.model.in.tum.de/~popeea/research/threader.html     16     0.69%     http://www.dagstuhl.de/program/calendar/partlist     16     0.69%     http://www7.in.tum.de/um/courses/seminar/sove/SS2013     15     0.64%     http://sv-comp.sosy-lab.org/2015/committee.php     15     0.64%     http://www.model.in.tum.de/um/courses/mc/ss2013/index.php     14     0.60%     http://www7.in.tum.de/um/courses/mc/ss2013/index.php     13     0.56%     http://www.comp.nus.edu.sg/~cristian/others.html     13     0.56%     http://forte13.sosy-lab.org/committee.php     13     0.56%     http://cristian.pl-bits.ro/others.html     12     0.51%     http://baidu.com     12     0.51%     http://www.iasi.cnr.it/events/lopstr14     11     0.47%     http://cristian.pl-bits.ro/others.shtml     11     0.47%     http://www.model.in.tum.de/um/courses/seminar/sove/SS2013     10     0.43%     http://www.facebook.com/l.php     10     0.43%     http://www.andrew.cmu.edu/user/arieg/hcvs15     10     0.43%     https://scholar.google.es     10     0.43%     http://www.mpi-sws.mpg.de/groups/vs     9     0.39%     http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD14/accepted.shtml     9     0.39%     http://www.mpi-sws.mpg.de/index_flash.php     7     0.30%     https://cn.bing.com     7     0.30%     https://scholar.google.de     6     0.26%     https://scholar.google.co.uk     6     0.26%     http://www-verimag.imag.fr/Details-sur-le-seminaire.html     6     0.26%     http://www7.in.tum.de/um/courses/seminar/verifconc/SS2012/index.php     5     0.21%     http://www.easychair.org/smart-program/VSL2014/HCVS-index.html     5     0.21%     http://sv-comp.sosy-lab.org/2014/committee.php     5     0.21%     https://scholar.google.com/citations     5     0.21%     http://www.comp.nus.edu.sg/~marianmi     4     0.17%     http://www.mpi-soft.mpg.de/index_flash.php     4     0.17%     http://www.mpi-sws.org/~cpopeea/1996/index.html     4     0.17%     http://scholar.google.es/citations     4     0.17%     http://www.model.in.tum.de/um/reading-group     4     0.17%     http://www.facebook.com/profile.php     3     0.13%     http://www-verimag.imag.fr/Seminaires-Verimag,62.html     3     0.13%     http://puma.model/people/detail/index.php     3     0.13%     http://www.model.in.tum.de/site.old/people/index.php     Next 50 Website Referrers from a total of 438 Referrers

Summary | Unique | Reloads | Geo | System | Referrer 1 | Referrer 2