cristian.pl-bits.ro
Cristian Gherghina, HomepageCristian Gherghina: My homepage, brief intro of my research focus and links to my publications, research tools and other possibly usefull info.
http://cristian.pl-bits.ro/
Cristian Gherghina: My homepage, brief intro of my research focus and links to my publications, research tools and other possibly usefull info.
http://cristian.pl-bits.ro/
TODAY'S RATING
>1,000,000
Date Range
HIGHEST TRAFFIC ON
Saturday
LOAD TIME
0.4 seconds
PAGES IN
THIS WEBSITE
6
SSL
EXTERNAL LINKS
1
SITE IP
176.9.105.210
LOAD TIME
0.411 sec
SCORE
6.2
Cristian Gherghina, Homepage | cristian.pl-bits.ro Reviews
https://cristian.pl-bits.ro
Cristian Gherghina: My homepage, brief intro of my research focus and links to my publications, research tools and other possibly usefull info.
cristian.pl-bits.ro
Cristian Gherghina, Tools
http://www.cristian.pl-bits.ro/tools.shtml
Some tools developed to support my research explorations:. For the Barrier Logic. Of a Decision Procedure Over Sophisticated Fractional Permissions. Cristian Gherghina, design by CSS Templates. Last updated Aug 2012.
Cristian Gherghina, Others
http://www.cristian.pl-bits.ro/others.shtml
Intersts/hobbies and related links:. I am trying to understand as much as I can from what Harry sensei is teaching. Current Romanian Phd students at SOC, NUS:. Romanians that earned their PHDs at SOC, NUS. From UPB at SOC, NUS. Cristian Gherghina, design by CSS Templates. Last updated Aug 2012.
Cristian Gherghina, Publications
http://www.cristian.pl-bits.ro/publications.shtml
On-going investigations or under submission. Learning concurrent program specifications. A Coq certified fractional permissions prover. A Resource-Based Logic for Termination and Non-Termination Proofs. Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin. ICFEM 2014. (to appear). Shape Analysis via Second-Order Bi-Abduction. Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin. CAV 2014. A Proof Slicing Framework for Program Verification. Barriers in Concurrent Separation Logic.
Cristian Gherghina, Resume
http://www.cristian.pl-bits.ro/resume.shtml
Cristian Gherghina, design by CSS Templates. Last updated Aug 2012.
Cristian Gherghina, Homepage
http://www.cristian.pl-bits.ro/index.shtml
My name is Cristian Gherghina,. As of Nov 2014 I joined Google Switzerland as an Engineer. Previously, from October 2013 until October 2014, I worked as research fellow at Singapore University of Technology and Design. And before I was a researcher at Computer Science Department of School of Computing. National University of Singapore. Working in the HIP/SLEEK separation logic verifier project, led by Professor Wei-Ngan Chin. Separation logic entaliment checker and hip. Last updated Aug 2012.
TOTAL PAGES IN THIS WEBSITE
6
CriS Panorama Player
Panorama Benia - Starchiojd. Panorama centru - Starchiojd. Panorama Lacurele - Starchiojd. Panorama Unirii - Starchiojd. Panorama Cabana Garbova - Predeal. Panorama Muntele Rosu 01. Panorama Muntele Rosu 02. Panorama Varful Ascutit - Piatra Craiului. Panorama spre vf Piatra Mica - Piatra Craiului. Panorama Saua Crapaturii - Piatra Craiului. Panorama Clubul Copiilor Baicoi. Panorama Starchiojd 4 aprilie 2010. Panorama Predeal telescaun 2011. QtDevelopers Camp - 26 martie 2011.
cristian.mobi
Welcome to the home of cristian.mobi. To change this page, upload your website into the public html directory. Date Created: Fri Nov 11 08:51:18 2016.
Site Disabled
This Site Has Been Disabled. Contact your service provider for more information.
cristian.org
Cristian Pascottini on the web
Web Applications Developer and Internet Addicted. I'm an Ubuntu, Mac user and open source believer. Very passionated about WebTV and video streaming. I work on different types of websites, from small business websites. E-commerce, all the way up to enterprise websites. I complete every piece of projects, including domain setup, server. Management, SEO and SEM. A quick brief of my skills and what I care in:. With plugins for "ad hoc" purposes. And themes optimized for a proper search engines indexing.
Cristian Gherghina, Homepage
My name is Cristian Gherghina,. As of Nov 2014 I joined Google Switzerland as an Engineer. Previously, from October 2013 until October 2014, I worked as research fellow at Singapore University of Technology and Design. And before I was a researcher at Computer Science Department of School of Computing. National University of Singapore. Working in the HIP/SLEEK separation logic verifier project, led by Professor Wei-Ngan Chin. Separation logic entaliment checker and hip. Last updated Aug 2012.
Cristianin kotisivu
Cristian Seres - kotisivu. Olen valmistunut Tampereen teknillisestä yliopistosta syksyllä 2007. Olin As.oy Koivistontien rintamamiestalojen. Hallituksen puheenjohtaja 2007-2014. Olen syntynyt 1978. Luonteeltani olen erään testin mukaan tarkastaja (inspector). Katso tarkastajan luonnekuvaus. Kuvia Rio de Janeirosta. En enää ylläpidä korttipeliaiheista sivustoani. Jos haluat kysyä jotakin tai muuten vain kirjoitella, osoite on cseres@iki.fi. BMW i3, puhtaalta pöydältä suunniteltu sähköauto.
Blog de Cristian - Blog de Cristian - Skyrock.com
Mot de passe :. J'ai oublié mon mot de passe. Plus d'actions ▼. S'abonner à mon blog. Création : 17/07/2014 à 16:01. Mise à jour : 12/08/2015 à 08:24. Ce blog n'a pas encore d'articles. Abonne-toi à mon blog! Poster sur mon blog.
Cristian Sulea [Cristian Sulea]
Personal website and knowledge base. Software Architect and Developer. Software Architect and Developer. Birthday: December 21, 1979. Primary email: cristian@sulea.net. Alternate email: cristian.sulea.79@gmail.com. Phone: 40 763 655 985. Address: Bucharest, Romania. Senior Java Developer (& Software Architect). February 2008 Present Bucharest, Romania. Other activities and responsibilities:. Analysis and design for new projects. Develop and manage pilot projects. Firm Administrator (and Partner).
Pulse - Chromatic
Eclassical.com sells high resolution recordings. 2012-10-20 18:28 (comments: 0). In an era of high resolution (24bit) recording and excellent free codecs (FLAC), it is a shame that I still have to go to the brick&mortar store and buy a (small, I concede) heap of plastic that I then have to rip manually before I put it away for ever. Well, I finally have a solution, at least for my classical music craves. And here is a web page. My vynil turntable discs collection. I can still remember (with my guts!
