2012

Theory Exploration in Theorema: Case Study on Lists

Isabela Dramnesc, West University of Timisoara

• May 9, 2012

Automatic Inference of Bounds on Resource Consumption

German Puebla, Technical University of Madrid

• May 8, 2012

Multi-Agent Governance in Cloud

Victor Munteanu, West University of Timisoara

• April 25, 2012

Memory-Efficient Static Analysis of Binary Code for Antivirus Development

Ciprian Pungila, West University of Timisoara

• April 11, 2012

Reflection of an electromagnetic wave by a curved boundary: us of the geometric rotational and laplacian

Olivier Lafitte, Universite Paris 13, France

• April 4, 2012

Membrane Computing, after (almost) 14 years

Gheorghe Paun, Academia Romana

• April 3, 2012

Towards Human Behavior Analysis in Pervasive Spaces based on Energy Consumption

Ovidiu Aritoni, West University of Timisoara

• March 21, 2012

Neuroevolutionary Multiagent Systems in Real Time Games

Gabriel Juhasz, West University of Timisoara

• February 29, 2012

2011

Finite Mixture Distributions: Theory and Applications

Lucian Radu, Catholic University of Lisbon, Portugal

• December 14, 2011

Unification

Temur Kutsia, RISC Linz, Austria

• November 2, 2011

Video Understanding for Activity Monitoring

Francois Bremond, INRIA Sophia Antipolis, France

• July 27, 2011

Self-organization in Software Engineering and the SelfLet approach

Nicolò M. Calcavecchia, Daniel J. Dubois, Politecnico di Milano, Italy

• June 1, 2011

Face Detection using LBP and MCT Features

Silviu Tudor Serban, West University of Timisoara, Romania

• June 1, 2011

RiSE: Rigorous System Engineering

Laura Kovacs, Vienna Technical University, Austria

• May 26, 2011

EasyChair

Andrei Voronkov, University of Manchester, UK

• May 26, 2011

Recovering band-limited signals from noisy and jittered information

Marek Kowalski, Warsaw Management Academy, Poland

• May 25, 2011

Data Stream : Sequential Pattern and Outlier Mining

Alice Marascu, Universita degli Studi di Trento, Italy

• May 11, 2011

Unification Algorithms in Common Logic

Mircea Marin, Universitatea de Vest din Timisoara, Romania

• May 4, 2011

Vectorial Partitions and Applications

Flavius Turcu, Universite de Bordeaux, France

• March 23, 2011

Geometrical Optics for Linearized Hyperbolic Systems

Olivier Lafitte, Universite Paris 13, France

• March 9, 2011

Optimizing complex-structure XML queries

Alexandra Roatis, Universitatea de Vest din Timisoara, Romania

• January 17, 2011

SOS Cloud: Self-Organizing Services in the Cloud

Bogdan Alexandru Caprarescu, Universitatea de Vest din Timisoara, Romania

• January 5, 2011