'Dblp' web sites
Department of computer science daniel kroening
www.cs.ox.ac.uk 2015-05-15 ⚑tech ⚑r&d
dblp Roles View all CAV 2009 , Program Comittee Member Selected Publications View all Manage publications Abstract Conflict Driven Learning V. D Silva x201a; L. Haller and D. Kroening In Proc. of the Symposium on Principles of Programming Languages. ACM. 2013. Details. BibTeX Abstraction of Syntax V. D Silva and D. Kroening In Proc. of the conference on Verification x201a; Model Checking and Abstract Interpretation. Springer
www.cs.ox.ac.uk 2015-05-15 ⚑tech ⚑r&d
dblp Roles View all CAV 2009 , Program Comittee Member Selected Publications View all Manage publications Abstract Conflict Driven Learning V. D Silva x201a; L. Haller and D. Kroening In Proc. of the Symposium on Principles of Programming Languages. ACM. 2013. Details. BibTeX Abstraction of Syntax V. D Silva and D. Kroening In Proc. of the conference on Verification x201a; Model Checking and Abstract Interpretation. Springer
MORE
ⓘ
Department of computer science bob coecke
dblp , Google Scholar, and other Selected Publications View all Manage publications Lambek vs. Lambek Functorial Vector Space Semantics and String Diagrams for Lambek Calculus Bob Coecke x201a; Edward Grefenstette and Mehrnoosh Sadrzadeh In Annals of Pure and Applied Logic. 2013. Details. BibTeX. Link Graphical Calculus for Quantum Key Distribution Extended Abstract Bob Coecke x201a; Quanlong Wang x201a; Baoshan Wang x201a; Yongjun
MORE
ⓘ
David de roure mdash; oerc
dblp . Jun Zhao , Jose Manuel Gomez.Perezy, Khalid Belhajjame, Graham Klyne , Esteban Garcia.Cuestay, Aleix Garridoy, Kristina Hettne, Marco Roos, David De Roure, Carole Goble, Why Workflows Break. Understanding and Combating Decay in Taverna Workflows , eScience 2012, Chicago, October 2012 preprint.Kevin R. Page, Ben Fields, David De Roure, Tim Crawford, J. Stephen Downie, Reuse, Remix, Repeat The Workflows of MIR , MIRrors
Http://www.di.unito.it/~baldoni/
www.di.unito.it 2015-05-15
dblp and member of the Network of Excellence Co.chair and organiser of see also dblp , see also dblp , Editor of the following volumes , , , buy it at Springer Web Site I am envolved as PC Member in the following events IJCAI 2009, AAMAS 2009, WEBIST 2009, ABIS 2009, ICAART 2009, RCRA 2008, DMBIO 2008, RuleML 2008, WS.FM 2008, ICWS 2008, ProMAS 08, IEEE SCC 2008, ESSLLI.LAM 08, WEBIST 2008, AAMAS 2008, DALT 2008, AASWE 2008, EUMAS
www.di.unito.it 2015-05-15
dblp and member of the Network of Excellence Co.chair and organiser of see also dblp , see also dblp , Editor of the following volumes , , , buy it at Springer Web Site I am envolved as PC Member in the following events IJCAI 2009, AAMAS 2009, WEBIST 2009, ABIS 2009, ICAART 2009, RCRA 2008, DMBIO 2008, RuleML 2008, WS.FM 2008, ICWS 2008, ProMAS 08, IEEE SCC 2008, ESSLLI.LAM 08, WEBIST 2008, AAMAS 2008, DALT 2008, AASWE 2008, EUMAS
Gilles barthe. imdea software institute
software.imdea.org 2015-05-15 ⚑r&d ⚑tech
dblp Journals and events Recent program committees EuroS P 16, CCS 15, Eurocrypt 15, LICS 15 Journal of Automated Reasoning Journal of Computer Security ETAPS joint conferences FOSAD school Archive From 2011 until 2014, I was chair of the Steering Committee of the POST Principles of Security and Trust, a security conference affiliated with ETAPS POST 12, POST 13, POST 14 From 2005 until 2009, I was the scientific coordinator the
software.imdea.org 2015-05-15 ⚑r&d ⚑tech
dblp Journals and events Recent program committees EuroS P 16, CCS 15, Eurocrypt 15, LICS 15 Journal of Automated Reasoning Journal of Computer Security ETAPS joint conferences FOSAD school Archive From 2011 until 2014, I was chair of the Steering Committee of the POST Principles of Security and Trust, a security conference affiliated with ETAPS POST 12, POST 13, POST 14 From 2005 until 2009, I was the scientific coordinator the
Computer laboratory anuj dawar
www.cl.cam.ac.uk 2015-05-15 ⚑r&d ⚑tech
dblp . I regularly write reviews for Mathematical Reviews. Talks Slides from some recent talks I have given are here. Research Students I am supervising the following students for their PhD. Jannis Bulian Pengming Wang Gregory Wilsenach Students who have previously completed the PhD under my supervision are David Richerby 2003 Pablo Arrighi 2004 Paul Hunter 2007 Timos Antonopoulos 2009 Bjarki Holm 2011 Yuguo He 2011 Arno Pauly 2012
www.cl.cam.ac.uk 2015-05-15 ⚑r&d ⚑tech
dblp . I regularly write reviews for Mathematical Reviews. Talks Slides from some recent talks I have given are here. Research Students I am supervising the following students for their PhD. Jannis Bulian Pengming Wang Gregory Wilsenach Students who have previously completed the PhD under my supervision are David Richerby 2003 Pablo Arrighi 2004 Paul Hunter 2007 Timos Antonopoulos 2009 Bjarki Holm 2011 Yuguo He 2011 Arno Pauly 2012
Alberto montresor home page
www.cs.unibo.it 2013-02-15
dblp Curriculum in English Curriculum in Italian Ph.D. Students Current Alessio Guerrieri Vimalkumar Kumaresan Vimal Hanna Kavalionak Giuliano Mega co.supervised with Gian Pietro Picco Past Marco Biazzini, now post.doc for the P2PWeb project at the University of Nantes Software. Peersim Peersim has been downloaded more than 21.000 times. Version 1.0.5 has been released on September 29th, 2009. More than 310 papers have been
www.cs.unibo.it 2013-02-15
dblp Curriculum in English Curriculum in Italian Ph.D. Students Current Alessio Guerrieri Vimalkumar Kumaresan Vimal Hanna Kavalionak Giuliano Mega co.supervised with Gian Pietro Picco Past Marco Biazzini, now post.doc for the P2PWeb project at the University of Nantes Software. Peersim Peersim has been downloaded more than 21.000 times. Version 1.0.5 has been released on September 29th, 2009. More than 310 papers have been
MORE
ⓘ
Davide sangiorgi home page
dblp Bibliography Server; some incomplete lists in BibTeX, and HTML with pointers to some papers Some talks. Some tutorial papers the FOCUS Research Team Research projects Sensoria Software Engineering for Service.Oriented Overlay Computers, EU.funded Integrated Project ; Hats Highly Adaptable and Trustworthy Software using Formal Models, EU.funded Integrated Project ; PACE beyond plain Processes Analysis techniques, Coinduction
Renate schmidt home page
www.cs.man.ac.uk 2013-03-17
dblp listing Scholar Google Editorial Advisory work Meetings Talks, Tutorials 60332. AR V 80142. AW I MSc PhD projects CDT Tutor MSc PGT, ACS MSc Info MSc projects Renate A. Schmidt Home. Publications. Tools. FM Group. School. Man Univ Last modified 14 Mar 13 Copyright 1998.2013 Renate A. Schmidt, School of Computer Science, Univ. Man., schmidt
www.cs.man.ac.uk 2013-03-17
dblp listing Scholar Google Editorial Advisory work Meetings Talks, Tutorials 60332. AR V 80142. AW I MSc PhD projects CDT Tutor MSc PGT, ACS MSc Info MSc projects Renate A. Schmidt Home. Publications. Tools. FM Group. School. Man Univ Last modified 14 Mar 13 Copyright 1998.2013 Renate A. Schmidt, School of Computer Science, Univ. Man., schmidt
Deri pipes
pipes.deri.org 2013-02-16
dblp record is fetched and transformed to use his real URI pipe construct source fetch location http dblp .l3s.de d2r resource authors Tim Berners.Lee source fetch location query. CDATA CONSTRUCT http www.w3.org People Berners.Lee card i.p.o.s2.p2 http www.w3.org People Berners.Lee card i where http dblp .l3s.de d2r resource authors Tim Berners.Lee.p.o UNION.s2.p2 http dblp .l3s.de d2r resource authors Tim Berners.Lee query construct
pipes.deri.org 2013-02-16
dblp record is fetched and transformed to use his real URI pipe construct source fetch location http dblp .l3s.de d2r resource authors Tim Berners.Lee source fetch location query. CDATA CONSTRUCT http www.w3.org People Berners.Lee card i.p.o.s2.p2 http www.w3.org People Berners.Lee card i where http dblp .l3s.de d2r resource authors Tim Berners.Lee.p.o UNION.s2.p2 http dblp .l3s.de d2r resource authors Tim Berners.Lee query construct
Mihai christodorescu. ibm research
researcher.ibm.com 2012-11-28 ⚑tech ⚑r&d
dblp Odysci Microsoft Academic Search iamResearcher Professional InterestsProgramming Languages Software EngineeringSecurity and Privacy Content navigation Mihai ChristodorescuPublicationsPatentsProjects2012 Workshop on Building Analysis Datasets and Gathering Experience Returns for Security BADGERS 12 IBM Student Workshop for Frontiers of Cloud Computing 2010IBM Student Workshop for Frontiers of Cloud Computing 2011Security
researcher.ibm.com 2012-11-28 ⚑tech ⚑r&d
dblp Odysci Microsoft Academic Search iamResearcher Professional InterestsProgramming Languages Software EngineeringSecurity and Privacy Content navigation Mihai ChristodorescuPublicationsPatentsProjects2012 Workshop on Building Analysis Datasets and Gathering Experience Returns for Security BADGERS 12 IBM Student Workshop for Frontiers of Cloud Computing 2010IBM Student Workshop for Frontiers of Cloud Computing 2011Security
Http://www.sci.brooklyn.cuny.edu/%7eamotz/
www.sci.brooklyn.cuny.edu 2016-03-28 ⚑r&d ⚑tech
dblp Google Scholar Microsoft Academic
www.sci.brooklyn.cuny.edu 2016-03-28 ⚑r&d ⚑tech
dblp Google Scholar Microsoft Academic
Evgenia smirni home page
www.cs.wm.edu 2012-11-29 ⚑r&d ⚑tech
dblp Bibliography Server for a full list take a look att the CV and email me if there is a paper that you cannot access Teaching Fall 2012 CS 426 526 Simulation Software MAMSolver Tool KPC ToolBox I was elected to IFIP W.G. 7.3 in October 2010 Service to the Community Conference Committees General co.chair QEST 10 and Numerical Solutions of Markov Chains 2010 Program committee co.chair HotMetrics 2010 Program committee co.chair
www.cs.wm.edu 2012-11-29 ⚑r&d ⚑tech
dblp Bibliography Server for a full list take a look att the CV and email me if there is a paper that you cannot access Teaching Fall 2012 CS 426 526 Simulation Software MAMSolver Tool KPC ToolBox I was elected to IFIP W.G. 7.3 in October 2010 Service to the Community Conference Committees General co.chair QEST 10 and Numerical Solutions of Markov Chains 2010 Program committee co.chair HotMetrics 2010 Program committee co.chair
cs.ox
No cookies are saved on your client
We are completely no-profit and volunteers
Use robots.txt to block indexing
Contact us via email for other removals
Read DMCA Policy
CopyLeft by GiPOCO 2006-2023
Contact us to contribute
info (at) gipoco.com
All trade marks, contents, etc
belong to their respective owners