JaarverslagAuteurs: Joeri van den Steenhoven, Frans Nauta Stichting Nederland Kennisland – PostbusCZ Amsterdam - tel: +fax: +bank: – kvk: inf

Source URL: www.kl.nl

LPEG: a new approach to pattern matching Roberto Ierusalimschy PEG: Parsing Expression Grammars

Source URL: www.inf.puc-rio.br

FRONT PAGE PROJECT PERIODIC REPORT Grant Agreement number: Project acronym: QUANTICOL Project title: A Quantitative Approach to Management and Design of Collective and

Source URL: blog.inf.ed.ac.uk

The New ICom – Demo Paper – Pablo Fillottrani, Enrico Franconi, Sergio Tessaris Free University of Bozen-Bolzano, Italy lastname @inf.unibz.it ICom is an advanced CASE tool, which allows the user to design multiple

Source URL: www.inf.unibz.it

Service-Level Agreements for Service-Oriented Computing Allan Clark, Stephen Gilmore and Mirco Tribastone Laboratory for Foundations of Computer Science The University of Edinburgh, Scotland

Source URL: groups.inf.ed.ac.uk

• Computer networking
• Data transmission
• Computing
• Information and communications technology
• Graph theory
• Markov chain
• Idle
• Upload
• Download
• Availability

Ouroboros: A Provably Secure Proof-ofStake Blockchain Protocol Aggelos Kiayias Alexander Russell

Source URL: www.sri.inf.ethz.ch

The Essence of Multi-Stage Evaluation in LMS Tiark Rompf Purdue University WadlerFest, April 10, 2016

Source URL: events.inf.ed.ac.uk

• Mathematical analysis
• Analytic functions
• E
• Exponential function
• Exponentials
• Exp
• Complex analysis

Beth Definability in Expressive Description Logics Balder ten Cate∗ Enrico Franconi ˙

Source URL: www.inf.unibz.it

Distributed Join Algorithms on Thousands of Cores Claude Barthels, Ingo Muller ¨ ‡ , Timo Schneider, Gustavo Alonso, Torsten Hoefler Systems Group, Dept. of Computer Science, ETH Zurich ¨ {firstname.lastname}@inf.eth

Source URL: spcl.inf.ethz.ch

Roberto Ierusalimschy Lua • • •

Source URL: www.inf.puc-rio.br