Central Library

Computer Science

Springer E-Books

SL. No. E-Book Titles Author

Evolutionary Optimization: the µGP toolkit

Ernesto Sanchez, Massimiliano Schillaci, Giovanni Squillero

Problem Solving Handbook in Computational Biology and Bioinformatics

Lenwood S. Heath, Naren Ramakrishnan

Encyclopedia of Parallel Computing

David Padua

Introduction to Biometrics

Anil K. Jain, Arun A. Ross, Karthik Nandakumar

Fundamentals of Speaker Recognition

Homayoon Beigi

Spyware and Adware

John Aycock

Recommender Systems Handbook

Francesco Ricci, Lior Rokach, Bracha Shapira, Paul B. Kantor

Rigorous Software Development

José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa

Guide to Three Dimensional Structure and Motion Factorization

Guanghui Wang, Q. M. Jonathan Wu

Grids, Clouds and Virtualization

Massimo Cafaro, Giovanni Aloisio

Machine Learning for Vision-Based Motion Analysis

Liang Wang, Guoying Zhao, Li Cheng, Matti Pietikäinen

Introduction to the Theory of Programming Languages

Gilles Dowek, Jean-Jacques Lévy

Visualization of Time-Oriented Data

Wolfgang Aigner, Silvia Miksch, Heidrun Schumann, Christian Tominski

Proofs and Algorithms

Gilles Dowek

Distributed Video Sensor Networks

Bir Bhanu, Chinya V. Ravishankar, Amit K. Roy-Chowdhury, Hamid Aghajan, Demetri Terzopoulos

Research and Development in Intelligent Systems XXVII

Max Bramer, Miltos Petridis, Adrian Hopgood

Advances in Systems Safety

Chris Dale, Tom Anderson

Rotation Transforms for Computer Graphics

John Vince

Introduction to Software Process Improvement

Gerard O'Regan

Automatic Digital Document Processing and Management

Stefano Ferilli

From Snapshots to Social Media - The Changing Picture of Domestic Photography

Risto Sarvas, David M. Frohlich

Migratory Interactive Applications for Ubiquitous Environments

Fabio Paternò

Designing Interfaces in Public Settings

Stuart Reeves

Guide to Assembly Language

James T. Streib

Specification of Software Systems

V.S. Alagar, K. Periyasamy

Core Concepts in Data Analysis: Summarization, Correlation and Visualization

Boris Mirkin

Computer Vision-Guided Virtual Craniofacial Surgery

Ananda S. Chowdhury, Suchendra M. Bhandarkar

Introduction to Artificial Intelligence

Wolfgang Ertel

Global Usability

Ian Douglas, Zhengjie Liu

Beyond Deep Blue

Monty Newborn

Pervasive Advertising

Jörg Müller, Florian Alt, Daniel Michelis

Reinventing Ourselves: Contemporary Concepts of Identity in Virtual Worlds

Anna Peachey, Mark Childs

Whole Body Interaction

David England

Social Media Modeling and Computing

Steven C.H. Hoi, Jiebo Luo, Susanne Boll, Dong Xu, Rong Jin, Irwin King

Guide to e-Science

Xiaoyu Yang, Lizhe Wang, Wei Jie

Guide to Teaching Computer Science

Orit Hazzan, Tami Lapidot, Noa Ragonis

Analysis for Computer Scientists

Michael Oberguggenberger, Alexander Ostermann

Guide to HTML, JavaScript and PHP

David R. Brooks

Guide to Biometrics for Large-Scale Systems

Julian Ashbourn

The Connected Home: The Future of Domestic Life

Richard Harper

Multimodal Interactive Pattern Recognition and Applications

Alejandro Héctor Toselli, Enrique Vidal, Francisco Casacuberta

Pattern Recognition

M. Narasimha Murty, V. Susheela Devi

Optimization Based Data Mining: Theory and Applications

Yong Shi, Yingjie Tian, Gang Kou, Yi Peng, Jianping Li

Demand-Driven Associative Classification

Adriano Veloso, Wagner Meira Jr

Concise Guide to Computation Theory

Akira Maruoka

The Synthesis of Three Dimensional Haptic Textures: Geometry, Control, and Psychophysics

Gianni Campion

Multispectral Satellite Image Understanding

Cem Ünsalan, Kim L. Boyer

Visual Analysis of Behaviour

Shaogang Gong, Tao Xiang

Grid Computing

Nikolaos P. Preve

Ontologies in Urban Development Projects

Gilles Falquet, Claudine Métral, Jacques Teller, Christopher Tweed

Quaternions for Computer Graphics

John Vince

Partial Differential Equations for Geometric Design

Hassan Ugail

Militarized Conflict Modeling Using Computational Intelligence

Tshilidzi Marwala, Monica Lagazio

Transparent User Authentication

Nathan Clarke

Computational Logic and Set Theory

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo

Guide to Geometric Algebra in Practice

Leo Dorst, Joan Lasenby

Introduction to Compiler Design

Torben Ægidius Mogensen

Sensing and Systems in Pervasive Computing

Dan Chalmers

Robert Recorde

Jack Williams

Human-in-the-Loop Simulations

Ling Rothrock, S. Narayanan

The Computer Graphics Manual

David Salomon

The Virtual Future

William Sims Bainbridge

ECSCW 2011: Proceedings of the 12th European Conference on Computer Supported Cooperative Work, 24-28 September 2011, Aarhus Denmark

Susanne Bødker, Niels Olof Bouvin, Volker Wulf, Luigina Ciolfi, Wayne Lutters

Handbook of Face Recognition

Stan Z. Li, Anil K. Jain

Haptic Interaction with Deformable Objects

Guido Böttcher

Stereo Scene Flow for 3D Motion Analysis

Andreas Wedel, Daniel Cremers

Computer Analysis of Human Behavior

Albert Ali Salah, Theo Gevers

Visual Analysis of Humans

Thomas B. Moeslund, Adrian Hilton, Volker Krüger, Leonid Sigal

Encyclopedia of Cryptography and Security

Henk C. A. van Tilborg, Sushil Jajodia

Handbook of Mobile Ad Hoc Networks for Mobility Models

Radhika Ranjan Roy

Statistical Image Processing and Multidimensional Modeling

Paul Fieguth

Information Systems Development

William Wei Song, Shenghua Xu, Changxuan Wan, Yuansheng Zhong, Wita Wojtkowski, Gregory Wojtkowski, Henry Linger

Practical Studies in E-Government

Saïd Assar, Imed Boughzala, Isabelle Boydens

Preserving Privacy in Data Outsourcing

Sara Foresti

Handbook of Natural Language Processing and Machine Translation

Joseph Olive, Caitlin Christianson, John McCary

Information Retrieval Architecture and Algorithms

Gerald Kowalski

Handbook of Open Source Tools

Sandeep Koranne

Web Mining and Social Networking

Guandong Xu, Yanchun Zhang, Lin Li

Universal Navigation on Smartphones

Hassan A. Karimi

Genetic Programming Theory and Practice VIII

Rick Riolo, Trent McConaghy, Ekaterina Vladislavleva

Data Driven e-Science

Simon C. Lin, Eric Yen

Real-Time Systems

Hermann Kopetz

Social Network Data Analytics

Charu C. Aggarwal

Service Composition for the Semantic Web

Brahim Medjahed, Athman Bouguettaya

Principles of Distributed Database Systems, Third Edition

M. Tamer Özsu, Patrick Valduriez

Change Management for Semantic Web Services

Xumin Liu, Salman Akram, Athman Bouguettaya

Ranking Queries on Uncertain Data

Ming Hua, Jian Pei

Identity-Based Encryption

Sanjit Chatterjee, Palash Sarkar

Geospatial Semantics and the Semantic Web

Naveen Ashish, Amit P. Sheth

Information Systems Development

Jaroslav Pokorny, Vaclav Repa, Karel Richta, Wita Wojtkowski, Henry Linger, Chris Barry, Michael Lang

Recent Trends of Mobile Collaborative Augmented Reality Systems

Leila Alem, Weidong Huang

Voice over IP Security

Angelos D. Keromytis

Video Processing in the Cloud

Rafael Silva Pereira, Karin K. Breitman

Intelligence Management

Babak Akhgar, Simeon Yates

Serious Games and Edutainment Applications

Minhua Ma, Andreas Oikonomou, Lakhmi C. Jain

Evolutionary Game Design

Cameron Browne

Markov Models for Handwriting Recognition

Thomas Plötz, Gernot A. Fink

Guide to ILDJIT

Simone Campanoni

Lossy Image Compression

K.K. Shukla, M.V. Prasad

Cloud Computing for Enterprise Architectures

Zaigham Mahmood, Richard Hill

Traffic-Sign Recognition Systems

Sergio Escalera, Xavier Baró, Oriol Pujol, Jordi Vitrià, Petia Radeva

Distributed Multiple Description Coding

Huihui Bai, Anhong Wang, Yao Zhao, Jeng-Shyang Pan, Ajith Abraham

Euclidean Shortest Paths

Fajie Li, Reinhard Klette

Distributed User Interfaces

José A. Gallud, Ricardo Tesoriero, Victor M.R. Penichet

Autonomous Intelligent Vehicles

Hong Cheng

Research and Development in Intelligent Systems XXVIII

Max Bramer, Miltos Petridis, Lars Nolle

Handbook of Augmented Reality

Borko Furht

Biomedical Engineering

Sang C. Suh, Varadraj P. Gurupur, Murat M. Tanik

Scalable Network Monitoring in High Speed Networks

Baek-Young Choi, Zhi-Li Zhang, David Hung-Chang Du

Hard Real-Time Computing Systems

Giorgio C. Buttazzo

Computability and Complexity Theory

Steven Homer, Alan L. Selman

Moving Target Defense

Sushil Jajodia, Anup K. Ghosh, Vipin Swarup, Cliff Wang, X. Sean Wang

Communicating with XML

Airi Salminen, Frank Tompa

Computer Science

Edward K. Blum, Alfred V. Aho

Handbook of Data Intensive Computing

Borko Furht, Armando Escalante

Glazed Panel Construction with Human-Robot Cooperation

Seungyeol Lee

Ontology-based Application Integration

Heiko Paulheim

Bootstrapping Trust in Modern Computers

Bryan Parno, Jonathan M. McCune, Adrian Perrig

Markov Decision Processes and the Belief-Desire-Intention Model

Gerardo I. Simari, Simon D. Parsons

Intermittently Connected Mobile Ad Hoc Networks

Abbas Jamalipour, Yaozhou Ma

Service Level Agreements for Cloud Computing

Philipp Wieder, Joe M. Butler, Wolfgang Theilmann, Ramin Yahyapour

Computing with Spatial Trajectories

Yu Zheng, Xiaofang Zhou

Repairing and Querying Databases under Aggregate Constraints

Sergio Flesca, Filippo Furfaro, Francesco Parisi

Semantic Web Services for Web Databases

Mourad Ouzzani, Athman Bouguettaya

Linking Government Data

David Wood

Genetic Programming Theory and Practice IX

Rick Riolo, Ekaterina Vladislavleva, Jason H. Moore

Geospatial Abduction

Paulo Shakarian, V. S. Subrahmanian

Designing Sorting Networks

Sherenaz W. Al-Haj Baddar, Kenneth E. Batcher

Quantitative Security Risk Assessment of Enterprise Networks

Xinming Ou, Anoop Singhal

Interactive Co-segmentation of Objects in Image Collections

Dhruv Batra, Adarsh Kowdle, Devi Parikh, Jiebo Luo, Tsuhan Chen

On the Performance of Web Services

Zahir Tari, Ann Khoi Anh Phan, Malith Jayasinghe, Vidura Gamini Abhaya

Smart Grid and NFPA Electrical Safety Codes and Standards

Lonny Simonian, Thomas Korman, Frederick W. Mowrer, David Phillips

Explorations in Quantum Computing

Colin P. Williams

Cooperative Work and Coordinative Practices

Kjeld Schmidt

A Science of Operations

Mark Priestley

Sketch-based Interfaces and Modeling

Joaquim Jorge, Faramarz Samavati

Moving Targets

Simon Lavington

Computer Vision

Richard Szeliski

Electronic Value Exchange

David L. Stearns

Triadic Game Design

Casper Harteveld

Reframing Humans in Information Systems Development

Hannakaisa Isomäki, Samuli Pekkola

Requirements Engineering

Elizabeth Hull, Ken Jackson, Jeremy Dick

Modeling in Systems Biology

Ina Koch, Wolfgang Reisig, Falk Schreiber

The Seductive Computer

Derek Partridge

Playing with the Past

Erik Champion

Application and Multidisciplinary Aspects of Wireless Sensor Networks

Liljana Gavrilovska, Srdjan Krco, Veljko Milutinovic, Ivan Stojmenovic, Roman Trobec

Object-Oriented Analysis and Design

Sarnath Ramnath, Brahma Dathan

Python Programming Fundamentals

Kent D. Lee

Enseigner l’informatique

Werner Hartmann, Michael Näf, Raimond Reichert

Organic Computing — A Paradigm Shift for Complex Systems

Christian Müller-Schloer, Hartmut Schmeck, Theo Ungerer

Virtual Realities

Guido Brunnett, Sabine Coquillart, Greg Welch

Design of Modern Heuristics

Franz Rothlauf

Handbook of Semantic Web Technologies

John Domingue, Dieter Fensel, James A. Hendler

Network Performance Engineering

Demetres D. Kouvatsos

Unique Radio Innovation for the 21st Century

Damith C. Ranasinghe, Quan Z. Sheng, Sherali Zeadally

Musical Performance

Guerino Mazzola

Model-Driven Risk Analysis

Mass Soldal Lund, Bjørnar Solhaug, Ketil Stølen

Model-Based Software Performance Analysis

Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi

Preference Learning

Johannes Fürnkranz, Eyke Hüllermeier

Learning to Rank for Information Retrieval

Tie-Yan Liu

Matters Computational

Jörg Arndt

Theoretical Aspects of Distributed Computing in Sensor Networks

Sotiris Nikoletseas, José D.P. Rolim

Deterministic Extraction from Weak Random Sources

Ariel Gabizon

Emotion-Oriented Systems

Roddy Cowie, Catherine Pelachaud, Paolo Petta

The Future of Software Engineering

Sebastian Nanz

Introduction to Reliable and Secure Distributed Programming

Christian Cachin, Rachid Guerraoui, Luís Rodrigues

Algorithms Unplugged

Berthold Vöcking, Helmut Alt, Martin Dietzfelbinger, Rüdiger Reischuk, Christian Scheideler, Heribert Vollmer, Dorothea Wagner

Handbook of Conceptual Modeling

David W. Embley, Bernhard Thalheim

A Developer’s Guide to the Semantic Web

Liyang Yu

Schema Matching and Mapping

Zohra Bellahsene, Angela Bonifati, Erhard Rahm

Multiobjective Genetic Algorithms for Clustering

Ujjwal Maulik, Sanghamitra Bandyopadhyay, Anirban Mukhopadhyay

Advanced Digital Preservation

David Giaretta

Knowledge in Formation

Janos J. Sarbo, Jozsef I. Farkas, Auke J.J. Breemen

Working with Preferences: Less Is More

Souhila Kaci

Cartesian Genetic Programming

Julian F. Miller

Multiparadigm Constraint Programming Languages

Petra Hofstedt

Patterns in Permutations and Words

Sergey Kitaev

The Block Cipher Companion

Lars R. Knudsen, Matthew J.B. Robshaw

Self-organising Software

Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos

Extremal Combinatorics

Stasys Jukna

Virtual Reality & Augmented Reality in Industry

Dengzhe Ma, Xiumin Fan, Jürgen Gausemeier, Michael Grafe

Contextual Computing

Robert Porzel

AI 2010: Advances in Artificial Intelligence

Jiuyong Li

Exploring the Grand Challenges for Next Generation E-Business

Raj Sharman, H. Raghav Rao, T. S. Raghu

The Evolution of Conceptual Modeling

Roland Kaschek, Lois Delcambre

Distributed Computing and Networking

Marcos K. Aguilera, Haifeng Yu, Nitin H. Vaidya, Vikram Srinivasan, Romit Roy Choudhury

Information Systems Evolution

Pnina Soffer, Erik Proper

E-Librarian Service

Serge Linckels, Christoph Meinel

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation

René Leuken, Gilles Sicard

Algebraic Methodology and Software Technology

Michael Johnson, Dusko Pavlovic

Advances in Multimedia Modeling

Kuo-Tien Lee, Wen-Hsiang Tsai, Hong-Yuan Mark Liao, Tsuhan Chen, Jun-Wei Hsieh, Chien-Cheng Tseng

Advances in Multimedia Modeling

Kuo-Tien Lee, Wen-Hsiang Tsai, Hong-Yuan Mark Liao, Tsuhan Chen, Jun-Wei Hsieh, Chien-Cheng Tseng

Testbeds and Research Infrastructures. Development of Networks and Communities

Thomas Magedanz, Anastasius Gavras, Nguyen Huu Thanh, Jeffry S. Chase

Advances in Computer Science and Information Technology

Natarajan Meghanathan, Brajesh Kumar Kaushik, Dhinaharan Nagamalai

Advances in Networks and Communications

Natarajan Meghanathan, Brajesh Kumar Kaushik, Dhinaharan Nagamalai

Advanced Computing

Natarajan Meghanathan, Brajesh Kumar Kaushik, Dhinaharan Nagamalai

Computers and Games

H. Jaap Herik, Hiroyuki Iida, Aske Plaat

Information Security Applications

Yongwha Chung, Moti Yung

Language, Games, and Evolution

Anton Benz, Christian Ebert, Gerhard Jäger, Robert Rooij

Generative and Transformational Techniques in Software Engineering III

João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva

Logic and Its Applications

Mohua Banerjee, Anil Seth

Knowledge Representation for Health-Care

David Riaño, Annette Teije, Silvia Miksch, Mor Peleg

Analysis and Design of Advice

Ivan Jureta

Formal Verification of Object-Oriented Software

Bernhard Beckert, Claude Marché

Theory of Quantum Computation, Communication, and Cryptography

Wim Dam, Vivien M. Kendon, Simone Severini

Implementation and Application of Automata

Michael Domaratzki, Kai Salomaa

Membrane Computing

Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa

Intelligent Computing and Information Science

Ran Chen

Intelligent Computing and Information Science

Ran Chen

Information Security

Mike Burmester, Gene Tsudik, Spyros Magliveras, Ivana Ilić

Agents for Games and Simulations II

Frank Dignum

Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues

Anna Esposito, Antonietta M. Esposito, Raffaele Martone, Vincent C. Müller, Gaetano Scarpetta

Performance Evaluation, Measurement and Characterization of Complex Systems

Raghunath Nambiar, Meikel Poess

Verification, Model Checking, and Abstract Interpretation

Ranjit Jhala, David Schmidt

Transactions on Rough Sets XIII

James F. Peters, Andrzej Skowron, Chien-Chung Chan, Jerzy W. Grzymala-Busse, Wojciech P. Ziarko

DNA Computing and Molecular Programming

Yasubumi Sakakibara, Yongli Mi

Approximation and Online Algorithms

Klaus Jansen, Roberto Solis-Oba

Computer and Computing Technologies in Agriculture IV

Daoliang Li, Yande Liu, Yingyi Chen

Computer and Computing Technologies in Agriculture IV

Daoliang Li, Yande Liu, Yingyi Chen

Real-Time Graphics Rendering Engine

Hujun Bao, Wei Hua

Multi-Agent-Based Simulation XI

Tibor Bosse, Armando Geller, Catholijn M. Jonker

Human-Computer Interaction, Tourism and Cultural Heritage

Francisco V. Cipolla Ficarra, Carlos Castro Lozano, Emma Nicol, Andreas Kratky, Miguel Cipolla-Ficarra

Computer and Computing Technologies in Agriculture IV

Daoliang Li, Yande Liu, Yingyi Chen

Evaluations of Process Modeling Grammars

Jan Recker

Computer and Computing Technologies in Agriculture IV

Daoliang Li, Yande Liu, Yingyi Chen

Practical Aspects of Declarative Languages

Ricardo Rocha, John Launchbury

SOFSEM 2011: Theory and Practice of Computer Science

Ivana Černá, Tibor Gyimóthy, Juraj Hromkovič, Keith Jefferey, Rastislav Králović, Marko Vukolić, Stefan Wolf

Digital Watermarking

Hyoung-Joong Kim, Yun Qing Shi, Mauro Barni

Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging

Bjoern Menze, Georg Langs, Zhuowen Tu, Antonio Criminisi

Advances in Computing, Communication and Control

Srija Unnikrishnan, Sunil Surve, Deepak Bhoir

Vagueness in Communication

Rick Nouwen, Robert Rooij, Uli Sauerland, Hans-Christian Schmitz

Adaptive Multimedia Retrieval. Understanding Media and Adapting to the User

Marcin Detyniecki, Ana García-Serrano, Andreas Nürnberger

Transactions on Edutainment V

Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Xubo Yang

Numerical Methods and Applications

Ivan Dimov, Stefka Dimova, Natalia Kolkovska

Graph Drawing

Ulrik Brandes, Sabine Cornelsen

Biomedical Engineering Systems and Technologies

Ana Fred, Joaquim Filipe, Hugo Gamboa

Knowledge Discovery, Knowlege Engineering and Knowledge Management

Ana Fred, Jan L. G. Dietz, Kecheng Liu, Joaquim Filipe

Community-Built Databases

Eric Pardede

Digital Privacy

Jan Camenisch, Ronald Leenes, Dieter Sommer

Distributed Computing and Internet Technology

Raja Natarajan, Adegboyega Ojo

Conditionals and Modularity in General Logics

Dov M. Gabbay, Karl Schlechta

Topics in Cryptology – CT-RSA 2011

Aggelos Kiayias

WALCOM: Algorithms and Computation

Naoki Katoh, Amit Kumar

Engineering Secure Software and Systems

Úlfar Erlingsson, Roel Wieringa, Nicola Zannone

Architecture of Computing Systems - ARCS 2011

Mladen Berekovic, William Fornaciari, Uwe Brinkschulte, Cristina Silvano

Quality-Based Content Delivery over the Internet

Xiang Li, Jianhua Li

Self-Organizing Systems

Christian Bettstetter, Carlos Gershenson

Technological Innovation for Sustainability

Luis M. Camarinha-Matos

Web and Wireless Geographical Information Systems

Katsumi Tanaka, Peter Fröhlich, Kyoung-Sook Kim

Essential Software Architecture

Ian Gorton

Wireless Sensor Networks

Pedro José Marrón, Kamin Whitehouse

Semantic Web Services

Dieter Fensel, Federico Michele Facca, Elena Simperl, Ioan Toma

Agent-Oriented Software Engineering X

Marie-Pierre Gleizes, Jorge J. Gomez-Sanz

Ludics, Dialogue and Interaction

Alain Lecomte, Samuel Tronçon

Combinatorial Algorithms

Costas S. Iliopoulos, William F. Smyth

Open Research Problems in Network Security

Jan Camenisch, Valentin Kisimov, Maria Dubovitskaya

Current Challenges in Patent Information Retrieval

Mihai Lupu, Katja Mayer, John Tait, Anthony J. Trippe

Hardware and Software: Verification and Testing

Kedar Namjoshi, Andreas Zeller, Avi Ziv

Passive and Active Measurement

Neil Spring, George F. Riley

Control, Computation and Information Systems

P. Balasubramaniam

Computer Vision – ACCV 2010

Ron Kimmel, Reinhard Klette, Akihiro Sugimoto

New Frontiers in Information and Software as Services

Divyakant Agrawal, K. Selçuk Candan, Wen-Syan Li

Computer Vision – ACCV 2010

Ron Kimmel, Reinhard Klette, Akihiro Sugimoto

Computer Vision – ACCV 2010

Ron Kimmel, Reinhard Klette, Akihiro Sugimoto

Computer Vision – ACCV 2010

Ron Kimmel, Reinhard Klette, Akihiro Sugimoto

Energy-Efficient Computing and Networking

Nikos Hatziargyriou, Aris Dimeas, Thomai Tomtsi, Anke Weidlich

ICT Innovations 2010

Marjan Gusev, Pece Mitrevski

High Performance Computing for Computational Science – VECPAR 2010

José M. Laginha M. Palma, Michel Daydé, Osni Marques, João Correia Lopes

Process Mining

Wil M. P. van der Aalst

Data Privacy Management and Autonomous Spontaneous Security

Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Ana Cavalli, Jean Leneutre

Data Management and Query Processing in Semantic Web Databases

Sven Groppe

Computational Forensics

Hiroshi Sako, Katrin Y. Franke, Shuji Saitoh

Public Key Cryptography – PKC 2011

Dario Catalano, Nelly Fazio, Rosario Gennaro, Antonio Nicolosi

Human-Robot Personal Relationships

Maarten H. Lamers, Fons J. Verbeek

Rainbow of Computer Science

Cristian S. Calude, Grzegorz Rozenberg, Arto Salomaa

Service-Oriented Computing

E. Michael Maximilien, Gustavo Rossi, Soe-Tsyr Yuan, Heiko Ludwig, Marcelo Fantinato

Computational Linguistics and Intelligent Text Processing

Alexander F. Gelbukh

Information Systems for Indian Languages

Chandan Singh, Gurpreet Singh Lehal, Jyotsna Sengupta, Dharam Veer Sharma, Vishal Goyal

Information Intelligence, Systems, Technology and Management

Sumeet Dua, Sartaj Sahni, D. P. Goyal

Transactions on Pattern Languages of Programming II

James Noble, Ralph Johnson, Paris Avgeriou, Neil B. Harrison, Uwe Zdun

Computational Linguistics and Intelligent Text Processing

Alexander Gelbukh

Software Language Engineering

Brian Malloy, Steffen Staab, Mark Brand

Transactions on High-Performance Embedded Architectures and Compilers III

Per Stenström

Web Data Mining

Bing Liu

Reconfigurable Computing: Architectures, Tools and Applications

Andreas Koch, Ram Krishnamurthy, John McAllister, Roger Woods, Tarek El-Ghazawi

Recent Advances in Constraints

Javier Larrosa, Barry O’Sullivan

Context and Semantics for Knowledge Management

Paul Warren, John Davies, Elena Simperl

Digital Forensics and Cyber Crime

Ibrahim Baggili

Biometrics and ID Management

Claus Vielhauer, Jana Dittmann, Andrzej Drygajlo, Niels Christian Juul, Michael C. Fairhurst

Computer Networks and Information Technologies

Vinu V Das, Janahanlal Stephen, Yogesh Chaba

Theory of Cryptography

Yuval Ishai

Selected Areas in Cryptography

Alex Biryukov, Guang Gong, Douglas R. Stinson

Hardware and Software: Verification and Testing

Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz

Web Services and Formal Methods

Mario Bravetti, Tevfik Bultan

Languages and Compilers for Parallel Computing

Keith Cooper, John Mellor-Crummey, Vivek Sarkar

Human Aspects of Visualization

Achim Ebert, Alan Dix, Nahum D. Gershon, Margit Pohl

Social Computing, Behavioral-Cultural Modeling and Prediction

John Salerno, Shanchieh Jay Yang, Dana Nau, Sun-Ki Chai

Search Computing

Stefano Ceri, Marco Brambilla

Enterprise Interoperability

Marten Sinderen, Pontus Johnson

Information Technology and Managing Quality Education

Arthur Tatnall, Omponye Coach Kereteletswe, Adrie Visscher

Programming Languages and Systems

Gilles Barthe

Software Architecture

Oliver Vogel, Ingo Arnold, Arif Chughtai, Timo Kehrer

Transactions on Computational Systems Biology XIII

Corrado Priami, Ralph-Johan Back, Ion Petre, Erik Vink

Formal Aspects of Security and Trust

Pierpaolo Degano, Sandro Etalle, Joshua Guttman

Theory and Practice of Algorithms in (Computer) Systems

Alberto Marchetti-Spaccamela, Michael Segal

Computing with Instinct

Yang Cai

Communication Technologies for Vehicles

Thomas Strang, Andreas Festag, Alexey Vinel, Rashid Mehmood, Cristina Rico Garcia, Matthias Röckl

Foundations for the Web of Information and Services

Dieter Fensel

Enterprise Information Systems

Joaquim Filipe, José Cordeiro

Foundations of Software Science and Computational Structures

Martin Hofmann

Fundamental Approaches to Software Engineering

Dimitra Giannakopoulou, Fernando Orejas

Engineering of Software

Peri L. Tarr, Alexander L. Wolf

Formal Methods: Foundations and Applications

Jim Davies, Leila Silva, Adenilso Simao

Tools and Algorithms for the Construction and Analysis of Systems

Parosh Aziz Abdulla, K. Rustan M. Leino

Information and Automation

Luo Qi

Requirements Engineering: Foundation for Software Quality

Daniel Berry, Xavier Franch

Compiler Construction

Jens Knoop

Discrete Geometry for Computer Imagery

Isabelle Debled-Rennesson, Eric Domenjoud, Bertrand Kerautret, Philippe Even

Agents and Artificial Intelligence

Joaquim Filipe, Ana Fred, Bernadette Sharp

Evolutionary Multi-Criterion Optimization

Ricardo H. C. Takahashi, Kalyanmoy Deb, Elizabeth F. Wanner, Salvatore Greco

Privacy and Security Issues in Data Mining and Machine Learning

Christos Dimitrakakis, Aris Gkoulalas-Divanis, Aikaterini Mitrokotsa, Vassilios S. Verykios, Yücel Saygin

Transactions on Computational Collective Intelligence III

Ngoc Thanh Nguyen

Engineering Methods in the Service-Oriented Context

Jolita Ralyté, Isabelle Mirbel, Rébecca Deneckère

Computation, Cooperation, and Life

Jozef Kelemen, Alica Kelemenová

Computer Science and Educational Software Design

Pierre Tchounikine

Research in Computational Molecular Biology

Vineet Bafna, S. Cenk Sahinalp

Intelligent Information and Database Systems

Ngoc Thanh Nguyen, Chong-Gun Kim, Adam Janiak

Intelligent Information and Database Systems

Ngoc Thanh Nguyen, Chong-Gun Kim, Adam Janiak

Grid and Cloud Database Management

Sandro Fiore, Giovanni Aloisio

Interdisciplinary Approaches to Adaptive Learning. A Look at the Neighbours

Stefan Wannemacker, Geraldine Clarebout, Patrick Causmaecker

e-Business and Telecommunications

Mohammad S. Obaidat, Joaquim Filipe

Human Language Technology. Challenges for Computer Science and Linguistics

Zygmunt Vetulani

Software and Data Technologies

José Cordeiro, AlpeshKumar Ranchordas, Boris Shishkov

Database Systems for Advanced Applications

Jeffrey Xu Yu, Myoung Ho Kim, Rainer Unland

Database Systems for Advanced Applications

Jeffrey Xu Yu, Myoung Ho Kim, Rainer Unland

Advances in Information Retrieval

Paul Clough, Colum Foley, Cathal Gurrin, Gareth J. F. Jones, Wessel Kraaij, Hyowon Lee, Vanessa Mudoch

Formal Grammar

Philippe Groote, Markus Egg, Laura Kallmeyer

Technology Systems and Management

Ketan Shah, V. R. Lakshmi Gorty, Ajay Phirke

RoboCup 2010: Robot Soccer World Cup XIV

Javier Ruiz-del-Solar, Eric Chown, Paul G. Plöger

Database Systems for Adanced Applications

Jianliang Xu, Ge Yu, Shuigeng Zhou, Rainer Unland

Adaptive and Natural Computing Algorithms

Andrej Dobnikar, Uroš Lotrič, Branko Šter

Adaptive and Natural Computing Algorithms

Andrej Dobnikar, Uroš Lotrič, Branko Šter

Web Technologies and Applications

Xiaoyong Du, Wenfei Fan, Jianmin Wang, Zhiyong Peng, Mohamed A. Sharaf

Traffic Monitoring and Analysis

Jordi Domingo-Pascual, Yuval Shavitt, Steve Uhlig

Evolutionary Computation in Combinatorial Optimization

Peter Merz, Jin-Kao Hao

Advanced Research on Electronic Commerce, Web Application, and Communication

Gang Shen, Xiong Huang

Advanced Research on Electronic Commerce, Web Application, and Communication

Gang Shen, Xiong Huang

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics

Clara Pizzuti, Marylyn D. Ritchie, Mario Giacobini

Social Media Tools and Platforms in Learning Environments

Bebo White, Irwin King, Philip Tsang

NASA Formal Methods

Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi

Rigorous Software Engineering for Service-Oriented Systems

Martin Wirsing, Matthias Hölzl

Computational Color Imaging

Raimondo Schettini, Shoji Tominaga, Alain Trémeau

Genetic Programming

Sara Silva, James A. Foster, Miguel Nicolau, Penousal Machado, Mario Giacobini

Foundations of Large-Scale Multimedia Information Management and Retrieval

Edward Y. Chang

UNIX Operating System

Yukun Liu, Yong Yue, Liwei Guo

Advances in Cryptology – EUROCRYPT 2011

Kenneth G. Paterson

Advances in Power Electronics and Instrumentation Engineering

Vinu V Das, Nessy Thankachan, Narayan C. Debnath

Business Process Management Workshops

Michael Muehlen, Jianwen Su

Formal Concept Analysis

Petko Valtchev, Robert Jäschke

Applications of Evolutionary Computation

Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero, Giovanni Squillero, Ernesto Tarantino, Andrea G. B. Tettamanzi, Neil Urquhart, A. Şima Uyar

Applications of Evolutionary Computation

Cecilia Chio, Stefano Cagnoni, Carlos Cotta, Marc Ebner, Anikó Ekárt, Anna I. Esparcia-Alcázar, Juan J. Merelo, Ferrante Neri, Mike Preuss, Hendrik Richter, Julian Togelius, Georgios N. Yannakakis

New Horizons in Web-Based Learning - ICWL 2010 Workshops

Xiangfeng Luo, Yiwei Cao, Bo Yang, Jianxun Liu, Feiyue Ye

Logic-Based Program Synthesis and Transformation

María Alpuente

Information Technology and Mobile Communication

Vinu V Das, Gylson Thomas, Ford Lumban Gaol

Applications of Declarative Programming and Knowledge Management

Salvador Abreu, Dietmar Seipel

GeoSpatial Semantics

Christophe Claramunt, Sergei Levashkin, Michela Bertolotto

Service-Oriented Perspectives in Design Science Research

Hemant Jain, Atish P. Sinha, Padmal Vitharana

Experimental Algorithms

Panos M. Pardalos, Steffen Rebennack

Model Checking and Artificial Intelligence

Ron Meyden, Jan-Georg Smaus

Agile Processes in Software Engineering and Extreme Programming

Alberto Sillitti, Orit Hazzan, Emily Bache, Xavier Albaladejo

Computer Science – Theory and Applications

Alexander Kulikov, Nikolay Vereshchagin

Declarative Agent Languages and Technologies VIII

Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos

Information Theoretic Security

Serge Fehr

Advances in Grid and Pervasive Computing

Jukka Riekki, Mika Ylianttila, Minyi Guo

NETWORKING 2011

Jordi Domingo-Pascual, Pietro Manzoni, Sergio Palazzo, Ana Pont, Caterina Scoglio

Privacy and Identity Management for Life

Simone Fischer-Hübner, Penny Duquenoy, Marit Hansen, Ronald Leenes, Ge Zhang

Functional and Constraint Logic Programming

Julio Mariño

Knowledge-Driven Multimedia Information Extraction and Ontology Evolution

Georgios Paliouras, Constantine D. Spyropoulos, George Tsatsaronis

NETWORKING 2011

Jordi Domingo-Pascual, Pietro Manzoni, Sergio Palazzo, Ana Pont, Caterina Scoglio

Integer Programming and Combinatoral Optimization

Oktay Günlük, Gerhard J. Woeginger

Advances in New Technologies, Interactive Interfaces, and Communicability

Francisco V. Cipolla Ficarra, Carlos Castro Lozano, Mauricio Pérez Jiménez, Emma Nicol, Andreas Kratky, Miguel Cipolla-Ficarra

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

Marcello Balduccini, Tran Cao Son

Principles of Compilers

Yunlin Su, Song Y. Yan

Advances in Knowledge Discovery and Data Mining

Joshua Zhexue Huang, Longbing Cao, Jaideep Srivastava

Graph-Based Representations in Pattern Recognition

Xiaoyi Jiang, Miquel Ferrer, Andrea Torsello

Advances in Knowledge Discovery and Data Mining

Joshua Zhexue Huang, Longbing Cao, Jaideep Srivastava

E-Technologies: Transformation in a Connected World

Gilbert Babin, Katarina Stanoevska-Slabeva, Peter Kropf

Wireless Mobile Communication and Healthcare

James C. Lin, Konstantina S. Nikita

Theory and Applications of Models of Computation

Mitsunori Ogihara, Jun Tarui

Logic Programming and Nonmonotonic Reasoning

James P. Delgrande, Wolfgang Faber

The Future Internet

#############

Coding and Cryptology

Yeow Meng Chee, Zhenbo Guo, San Ling, Fengjing Shao, Yuansheng Tang, Huaxiong Wang, Chaoping Xing

Cloud Computing

Christian Baun, Marcel Kunze, Jens Nimis, Stefan Tai

Logic, Language, Information and Computation

Lev D. Beklemishev, Ruy Queiroz

Access Networks

Róbert Szabó, Hua Zhu, Sándor Imre, Ranganai Chaparadza

Advanced Topics in Information Retrieval

Massimo Melucci, Ricardo Baeza-Yates

Ubiquitous Computing and Multimedia Applications

Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas

Ubiquitous Computing and Multimedia Applications

Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas

Relating Software Requirements and Architectures

Paris Avgeriou, John Grundy, Jon G. Hall, Patricia Lago, Ivan Mistrík

Functional Imaging and Modeling of the Heart

Dimitris N. Metaxas, Leon Axel

Information Security Practice and Experience

Feng Bao, Jian Weng

The Semantic Web: Research and Applications

Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter Leenheer, Jeff Pan

Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication

Claudio A. Ardagna, Jianying Zhou

Advances in Artificial Intelligence

Cory Butz, Pawan Lingras

Automated Deduction in Geometry

Thomas Sturm, Christoph Zengler

The Art of Software Innovation

Minna Pikkarainen, Wim Codenie, Nick Boucart, José Antonio Heredia Alvaro

Advances in Enterprise Engineering V

Antonia Albani, Jan L. G. Dietz, Jan Verelst

The Semanic Web: Research and Applications

Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter Leenheer, Jeff Pan

Relational and Algebraic Methods in Computer Science

Harrie Swart

Combinatorial Image Analysis

Jake K. Aggarwal, Reneta P. Barneva, Valentin E. Brimkov, Kostadin N. Koroutchev, Elka R. Korutcheva

Advances in Neural Networks – ISNN 2011

Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He

Advances in Neural Networks – ISNN 2011

Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He

Advances in Neural Networks – ISNN 2011

Derong Liu, Huaguang Zhang, Marios Polycarpou, Cesare Alippi, Haibo He

Advances in Wireless, Mobile Networks and Applications

Salah S. Al-Majeed, Chih-Lin Hu, Dhinaharan Nagamalai

The Language Grid

Toru Ishida

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management

Mikhail Atallah, Xiang-Yang Li, Binhai Zhu

Models in Software Engineering

Juergen Dingel, Arnor Solberg

Hybrid Artificial Intelligent Systems

Emilio Corchado, Marek Kurzyński, Michał Woźniak

Hybrid Artificial Intelligent Systems

Emilio Corchado, Marek Kurzyński, Michał Woźniak

Image Analysis

Anders Heyden, Fredrik Kahl

Software Process Improvement and Capability Determination

Rory V. O’Connor, Terry Rout, Fergal McCaffery, Alec Dorling

Language and Automata Theory and Applications

Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide

Pattern Recognition and Image Analysis

Jordi Vitrià, João Miguel Sanches, Mario Hernández

Bioinformatics Research and Applications

Jianer Chen, Jianxin Wang, Alexander Zelikovsky

Coordination, Organizations, Institutions, and Norms in Agent Systems VI

Marina Vos, Nicoletta Fornara, Jeremy V. Pitt, George Vouros

Advances in Artificial Life. Darwin Meets von Neumann

George Kampis, István Karsai, Eörs Szathmáry

Algorithms and Models for the Web Graph

Alan Frieze, Paul Horn, Paweł Prałat

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

Radu Calinescu, Ethan Jackson

Inductive Logic Programming

Paolo Frasconi, Francesca A. Lisi

Ambient Assisted Living

José Bravo, Ramón Hervás, Vladimir Villarreal

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Tobias Achterberg, J. Christopher Beck

Advances in Artificial Life. Darwin Meets von Neumann

George Kampis, István Karsai, Eörs Szathmáry

Computational Intelligence in Security for Information Systems

Álvaro Herrero, Emilio Corchado

New Challenges on Bioinspired Applications

José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo

Reliable Software Technologies - Ada-Europe 2011

Alexander Romanovsky, Tullio Vardanega

Unconventional Computation

Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg

Foundations on Natural and Artificial Computation

José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo

Top Productivity through Software Reuse

Klaus Schmid

Tools for Teaching Logic

Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano

Multidisciplinary Information Retrieval

Allan Hanbury, Andreas Rauber, Arjen P. Vries

Researching the Future in Information Systems

Mike Chiasson, Ola Henfridsson, Helena Karsten, Janice I. DeGross

Distributed Applications and Interoperable Systems

Pascal Felber, Romain Rouvoy

Advanced Research on Computer Science and Information Engineering

Gang Shen, Xiong Huang

Advanced Research on Computer Science and Information Engineering

Gang Shen, Xiong Huang

Future Challenges in Security and Privacy for Academia and Industry

Jan Camenisch, Simone Fischer-Hübner, Yuko Murayama, Armand Portmann, Carlos Rieder

FM 2011: Formal Methods

Michael Butler, Wolfram Schulte

Mobile Networks and Management

Kostas Pentikousis, Ramón Agüero, Marta García-Arranz, Symeon Papavassiliou

Formal Methods for Eternal Networked Software Systems

Marco Bernardo, Valérie Issarny

Combinatorial Pattern Matching

Raffaele Giancarlo, Giovanni Manzini

Formal Techniques for Distributed Systems

Roberto Bruni, Juergen Dingel

Coordination Models and Languages

Wolfgang Meuter, Gruia-Catalin Roman

Modelling Foundations and Applications

Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige

Multidisciplinary Aspects of Time and Time Perception

Argiro Vatakis, Anna Esposito, Maria Giagkou, Fred Cummins, Georgios Papadelis

Managing the Dynamics of Networks and Services

Isabelle Chrisment, Alva Couch, Rémi Badonnel, Martin Waldburger

OpenMP in the Petascale Era

Barbara M. Chapman, William D. Gropp, Kalyan Kumaran, Matthias S. Müller

Logic and Grammar

Sylvain Pogodalla, Myriam Quatrini, Christian Retoré

Algebraic Informatics

Franz Winkler

Advances in Computational Intelligence

Joan Cabestany, Ignacio Rojas, Gonzalo Joya

Advances in Computational Intelligence

Joan Cabestany, Ignacio Rojas, Gonzalo Joya

Information Processing in Computer-Assisted Interventions

Russell H. Taylor, Guang-Zhong Yang

Multimedia Communications, Services and Security

Andrzej Dziech, Andrzej Czyżewski

Advances in Swarm Intelligence

Ying Tan, Yuhui Shi, Yi Chai, Guoyin Wang

Information Security and Cryptology

Xuejia Lai, Moti Yung, Dongdai Lin

Privacy Online

Sabine Trepte, Leonard Reinecke

Advances in Swarm Intelligence

Ying Tan, Yuhui Shi, Yi Chai, Guoyin Wang

Network Optimization

Julia Pahl, Torsten Reiners, Stefan Voß

End-User Development

Maria Francesca Costabile, Yvonne Dittrich, Gerhard Fischer, Antonio Piccinno

Toward Useful Services for Elderly and People with Disabilities

Bessam Abdulrazak, Sylvain Giroux, Bruno Bouchard, Hélène Pigot, Mounir Mokhtari

Autonomous and Intelligent Systems

Mohamed Kamel, Fakhri Karray, Wail Gueaieb, Alaa Khamis

Software Business

Björn Regnell, Inge Weerd, Olga Troyer

Exploring Services Science

Mehdi Snene, Jolita Ralyté, Jean-Henry Morin

Applied Cryptography and Network Security

Javier Lopez, Gene Tsudik

Multiple Classifier Systems

Carlo Sansone, Josef Kittler, Fabio Roli

Wired/Wireless Internet Communications

Xavier Masip-Bruin, Dominique Verchere, Vassilis Tsaoussidis, Marcelo Yannuzzi

Transactions on Rough Sets XIV

James F. Peters, Andrzej Skowron, Hiroshi Sakai, Mihir Kumar Chakraborty, Dominik Slezak, Aboul Ella Hassanien, William Zhu

Advances in Self-Organizing Maps

Jorma Laaksonen, Timo Honkela

Mathematical Morphology and Its Applications to Image and Signal Processing

Pierre Soille, Martino Pesaresi, Georgios K. Ouzounis

Theory and Applications of Satisfiability Testing - SAT 2011

Karem A. Sakallah, Laurent Simon

Pattern Recognition

José Francisco Martínez-Trinidad, Jesús Ariel Carrasco-Ochoa, Cherif Ben-Youssef Brants, Edwin Robert Hancock

Mathematics and Computation in Music

Carlos Agon, Moreno Andreatta, Gérard Assayag, Emmanuel Amiot, Jean Bresson, John Mandereau

Image Analysis and Recognition

Mohamed Kamel, Aurélio Campilho

Image Analysis and Recognition

Mohamed Kamel, Aurélio Campilho

Trust and Trustworthy Computing

Jonathan M. McCune, Boris Balacheff, Adrian Perrig, Ahmad-Reza Sadeghi, Angela Sasse, Yolanta Beres

Human-Computer Interaction. Design and Development Approaches

Julie A. Jacko

Human-Computer Interaction. Interaction Techniques and Environments

Julie A. Jacko

Human-Computer Interaction. Towards Mobile and Intelligent Interaction Environments

Julie A. Jacko

Human-Computer Interaction. Users and Applications

Julie A. Jacko

Advanced Information Systems Engineering

Haralambos Mouratidis, Colette Rolland

System Analysis and Modeling: About Models

Frank Alexander Kraemer, Peter Herrmann

Universal Access in Human-Computer Interaction. Applications and Services

Constantine Stephanidis

Internationalization, Design and Global Development

P. L. Patrick Rau

Universal Access in Human-Computer Interaction. Users Diversity

Constantine Stephanidis

Universal Access in Human-Computer Interaction. Context Diversity

Constantine Stephanidis

Human Interface and the Management of Information. Interacting with Information

Gavriel Salvendy, Michael J. Smith

Universal Access in Human-Computer Interaction. Design for All and eInclusion

Constantine Stephanidis

Design, User Experience, and Usability. Theory, Methods, Tools and Practice

Aaron Marcus

Typed Lambda Calculi and Applications

Luke Ong

Critical Information Infrastructures Security

Christos Xenakis, Stephen Wolthusen

Fast Software Encryption

Antoine Joux

Design, User Experience, and Usability. Theory, Methods, Tools and Practice

Aaron Marcus

Analytical and Stochastic Modeling Techniques and Applications

Khalid Al-Begain, Simonetta Balsamo, Dieter Fiems, Andrea Marin

Ergonomics and Health Aspects of Work with Computers

Michelle M. Robertson

Pervasive Computing

Kent Lyons, Jeffrey Hightower, Elaine M. Huang

Theory and Practice of Model Transformations

Jordi Cabot, Eelco Visser

Artificial Neural Networks and Machine Learning – ICANN 2011

Timo Honkela, Włodzisław Duch, Mark Girolami, Samuel Kaski

Artificial Neural Networks and Machine Learning – ICANN 2011

Timo Honkela, Włodzisław Duch, Mark Girolami, Samuel Kaski

Engineering Psychology and Cognitive Ergonomics

Don Harris

Human Centered Design

Masaaki Kurosu

Enterprise, Business-Process and Information Systems Modeling

Terry Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, Ilia Bider

Tests and Proofs

Martin Gogolla, Burkhart Wolff

Computer Networks

Andrzej Kwiecień, Piotr Gaj, Piotr Stera

Advanced Research on Computer Education, Simulation and Modeling

Song Lin, Xiong Huang

Pattern Recognition and Machine Intelligence

Sergei O. Kuznetsov, Deba P. Mandal, Malay K. Kundu, Sankar K. Pal

Human Interface and the Management of Information. Interacting with Information

Michael J. Smith, Gavriel Salvendy

Online Communities and Social Computing

A. Ant Ozok, Panayiotis Zaphiris

Digital Human Modeling

Vincent G. Duffy

Advanced Research on Computer Education, Simulation and Modeling

Song Lin, Xiong Huang

Modern Approaches in Applied Intelligence

Kishan G. Mehrotra, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Moonis Ali

Modern Approaches in Applied Intelligence

Kishan G. Mehrotra, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Moonis Ali

Applications and Theory of Petri Nets

Lars M. Kristensen, Laure Petrucci

Product-Focused Software Process Improvement

Danilo Caivano, Markku Oivo, Maria Teresa Baldassarre, Giuseppe Visaggio

Foundations of Augmented Cognition. Directing the Future of Adaptive Systems

Dylan D. Schmorrow, Cali M. Fidopiastis

Business Information Systems

Witold Abramowicz

Artificial Intelligence in Education

Gautam Biswas, Susan Bull, Judy Kay, Antonija Mitrovic

Models of Computation in Context

Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova

Euro-Par 2010 Parallel Processing Workshops

Mario R. Guarracino, Frédéric Vivien, Jesper Larsson Träff, Mario Cannatoro, Marco Danelutto, Anders Hast, Francesca Perla, Andreas Knüpfer, Beniamino Martino, Michael Alexander

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing

Sergei O. Kuznetsov, Dominik Ślęzak, Daryl H. Hepting, Boris G. Mirkin

Transactions on Computational Collective Intelligence IV

Ngoc Thanh Nguyen

Computational Science and Its Applications - ICCSA 2011

Beniamino Murgante, Osvaldo Gervasi, Andrés Iglesias, David Taniar, Bernady O. Apduhan

Computational Science and Its Applications - ICCSA 2011

Beniamino Murgante, Osvaldo Gervasi, Andrés Iglesias, David Taniar, Bernady O. Apduhan

Foundations of Intelligent Systems

Marzena Kryszkiewicz, Henryk Rybinski, Andrzej Skowron, Zbigniew W. Raś

Computational Science and Its Applications - ICCSA 2011

Beniamino Murgante, Osvaldo Gervasi, Andrés Iglesias, David Taniar, Bernady O. Apduhan

Computational Science and Its Applications - ICCSA 2011

Beniamino Murgante, Osvaldo Gervasi, Andrés Iglesias, David Taniar, Bernady O. Apduhan

Computational Science and Its Applications - ICCSA 2011

Beniamino Murgante, Osvaldo Gervasi, Andrés Iglesias, David Taniar, Bernady O. Apduhan

Recent Trends in Wireless and Mobile Networks

Abdulkadir Özcan, Jan Zizka, Dhinaharan Nagamalai

Argumentation in Multi-Agent Systems

Peter McBurney, Iyad Rahwan, Simon Parsons

Computational Intelligence Methods for Bioinformatics and Biostatistics

Riccardo Rizzo, Paulo J. G. Lisboa

Objects, Models, Components, Patterns

Judith Bishop, Antonio Vallecillo

Progress in Cryptology – AFRICACRYPT 2011

Abderrahmane Nitaj, David Pointcheval

Research and Education in Robotics - EUROBOT 2011

David Obdržálek, Achim Gottscheber

Digital Information and Communication Technology and Its Applications

Hocine Cherifi, Jasni Mohamad Zain, Eyas El-Qawasmeh

Agent and Multi-Agent Systems: Technologies and Applications

James O’Shea, Ngoc Thanh Nguyen, Keeley Crockett, Robert J. Howlett, Lakhmi C. Jain

Automata, Languages and Programming

Luca Aceto, Monika Henzinger, Jiří Sgall

Automata, Languages and Programming

Luca Aceto, Monika Henzinger, Jiří Sgall

Virtual and Mixed Reality - New Trends

Randall Shumaker

Virtual and Mixed Reality - Systems and Applications

Randall Shumaker

Digital Information and Communication Technology and Its Applications

Hocine Cherifi, Jasni Mohamad Zain, Eyas El-Qawasmeh

Transactions on Aspect-Oriented Software Development VIII

Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen

Intelligence and Security Informatics

Michael Chau, G. Alan Wang, Xiaolong Zheng, Hsinchun Chen, Daniel Zeng, Wenji Mao

Software Composition

Sven Apel, Ethan Jackson

Advanced Information Systems Engineering Workshops

Camille Salinesi, Oscar Pastor

Information Processing in Medical Imaging

Gábor Székely, Horst K. Hahn

HCI International 2011 – Posters’ Extended Abstracts

Constantine Stephanidis

HCI International 2011 – Posters’ Extended Abstracts

Constantine Stephanidis

Computer Aided Verification

Ganesh Gopalakrishnan, Shaz Qadeer

Automated Reasoning with Analytic Tableaux and Related Methods

Kai Brünnler, George Metcalfe

Security Protocols XVI

Bruce Christianson, James A. Malcolm, Vashek Matyas, Michael Roe

Knowledge Processing and Data Analysis

Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko, Urs Andelfinger

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Weiru Liu

Software Engineering and Computer Systems

Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh

Building Innovation Pipelines through Computer-Aided Innovation

Denis Cavallucci, Roland Guio, Gaetano Cascini

Networked Digital Technologies

Simon Fong

Software Engineering and Computer Systems

Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh

Trust Management V

Ian Wakeman, Ehud Gudes, Christian Damsgaard Jensen, Jason Crampton

Software Engineering and Computer Systems

Jasni Mohamad Zain, Wan Maseri bt Wan Mohd, Eyas El-Qawasmeh

Systems, Software and Service Process Improvement

Rory V. O‘Connor, Jan Pries-Heje, Richard Messnarz

Structural Information and Communication Complexity

Adrian Kosowski, Masafumi Yamashita

Artificial Intelligence in Medicine

Mor Peleg, Nada Lavrač, Carlo Combi

Logical Aspects of Computational Linguistics

Sylvain Pogodalla, Jean-Philippe Prost

Web Engineering

Sören Auer, Oscar Díaz, George A. Papadopoulos

Integrated Computing Technology

Estevam Rafael Hruschka, Junzo Watada, Maria Carmo Nicoletti

Implementation and Application of Automata

Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel

Privacy Enhancing Technologies

Simone Fischer-Hübner, Nicholas Hopper

Environmental Software Systems. Frameworks of eEnvironment

Jiří Hřebíček, Gerald Schimak, Ralf Denzer

Algorithms and Data Structures

Frank Dehne, John Iacono, Jörg-Rüdiger Sack

Logic, Language, and Computation

Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada

Model Checking Software

Alex Groce, Madanlal Musuvathi

Future Information Technology

James J. Park, Laurence T. Yang, Changhoon Lee

Developments in Language Theory

Giancarlo Mauri, Alberto Leporati

Natural Language Processing and Information Systems

Rafael Muñoz, Andrés Montoyo, Elisabeth Métais

Future Information Technology

James J. Park, Laurence T. Yang, Changhoon Lee

Transactions on Computational Science XII

Marina L. Gavrilova, C. J. Kenneth Tan, Alexei Sourin, Olga Sourina

Secure and Trust Computing, Data Management and Applications

James J. Park, Javier Lopez, Sang-Soo Yeo, Taeshik Shon, David Taniar

Data and Applications Security and Privacy XXV

Yingjiu Li

Scientific and Statistical Database Management

Judith Bayard Cushing, James French, Shawn Bowers

Computational Logic in Multi-Agent Systems

João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre

User Modeling, Adaption and Personalization

Joseph A. Konstan, Ricardo Conejo, José L. Marzo, Nuria Oliver

Secure and Trust Computing, Data Management, and Applications

Changhoon Lee, Jean-Marc Seigneur, James J. Park, Roland R. Wagner

Artificial Immune Systems

Pietro Liò, Giuseppe Nicosia, Thomas Stibor

Enhancing Learning Through Technology. Education Unplugged: Mobile Technologies and Web 2.0

Reggie Kwan, Carmel McNaught, Philip Tsang, Fu Lee Wang, Kam Cheong Li

Software Engineering Techniques

Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka

Digital Information Processing and Communications

Vaclav Snasel, Jan Platos, Eyas El-Qawasmeh

Pattern Recognition, Machine Intelligence and Biometrics

Patrick S. P. Wang

Digital Information Processing and Communications

Vaclav Snasel, Jan Platos, Eyas El-Qawasmeh

Apartness and Uniformity

Douglas S. Bridges, Luminiţa Simona Vîţă

Advances in Information Technology and Education

Honghua Tan, Mark Zhou

Detection of Intrusions and Malware, and Vulnerability Assessment

Thorsten Holz, Herbert Bos

Collaborative Agents - Research and Development

Christian Guttmann, Frank Dignum, Michael Georgeff

Computational Linguistics and Talking Robots

Roland Hausser

Automated Deduction – CADE-23

Nikolaj Bjørner, Viorica Sofronie-Stokkermans

Security and Trust Management

Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner

Business Aspects of Web Services

Christof Weinhardt, Benjamin Blau, Tobias Conte, Lilia Filipova-Neumann, Thomas Meinl, Wibke Michalk

Ad-hoc, Mobile, and Wireless Networks

Hannes Frey, Xu Li, Stefan Ruehrup

Advances in Computer Science and Education Applications

Mark Zhou, Honghua Tan

Optical Supercomputing

Shlomi Dolev, Mihai Oltean

Information Security and Privacy

Udaya Parampalli, Philip Hawkes

Organizational Interoperability in E-Government

Herbert Kubicek, Ralf Cimander, Hans Jochen Scholl

Teaching and Learning in Information Retrieval

Efthimis Efthimiadis, Juan M. Fernández-Luna, Juan F. Huete, Andrew MacFarlane

Functional and Constraint Logic Programming

Herbert Kuchen

Advances in Network Security and Applications

David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai

Trends in Network and Communications

David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai

Rule-Based Reasoning, Programming, and Applications

Nick Bassiliades, Guido Governatori, Adrian Paschke

Advances in Computing and Information Technology

David C. Wyld, Michal Wozniak, Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai

Smart Graphics

Lutz Dickmann, Gerald Volkmann, Rainer Malaka, Susanne Boll, Antonio Krüger, Patrick Olivier

High Performance Architecture and Grid Computing

Archana Mantri, Suman Nandi, Gaurav Kumar, Sandeep Kumar

A Hybrid Deliberative Layer for Robotic Agents

Ronny Hartanto

Analyzing Computer System Performance with Perl::PDQ

Neil J. Gunther

Modeling Decision for Artificial Intelligence

Vicenç Torra, Yasuo Narakawa, Jianping Yin, Jun Long

Descriptional Complexity of Formal Systems

Markus Holzer, Martin Kutrib, Giovanni Pighizzini

Digital Enterprise and Information Systems

Ezendu Ariwa, Eyas El-Qawasmeh

Contemporary Computing

Srinivas Aluru, Sanghamitra Bandyopadhyay, Umit V. Catalyurek, Devdatt P. Dubhashi, Phillip H. Jones, Manish Parashar, Bertil Schmidt

Combinatorial Optimization and Applications

Weifan Wang, Xuding Zhu, Ding-Zhu Du

Transactions on Computational Science XIII

Marina L. Gavrilova, C. J. Kenneth Tan

Journal on Data Semantics XV

Stefano Spaccapietra

Public Key Infrastructures, Services and Applications

Jan Camenisch, Costas Lambrinoudakis

Agent-Oriented Software Engineering XI

Danny Weyns, Marie-Pierre Gleizes

Transactions on Edutainment VI

Zhigeng Pan, Adrian David Cheok, Wolfgang Müller

ECOOP 2011 – Object-Oriented Programming

Mira Mezini

Haptics Technologies

Abdulmotaleb El Saddik, Mauricio Orozco, Mohamad Eid, Jongeun Cha

Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation

Oded Goldreich

Intelligent Computer Mathematics

James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe

Computing and Combinatorics

Bin Fu, Ding-Zhu Du

Conceptual Structures for Discovering Knowledge

Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar

Computer Science for Environmental Engineering and EcoInformatics

Yuanxu Yu, Zhengtao Yu, Jingying Zhao

Computer Science for Environmental Engineering and EcoInformatics

Yuanxu Yu, Zhengtao Yu, Jingying Zhao

Parallel and Distributed Computing and Networks

Luo Qi

Advances in Computing and Communications

Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki, Sabu M. Thampi

Advances in Computing and Communications

Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki, Sabu M. Thampi

Advances in Computing and Communications

Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki, Sabu M. Thampi

Languages, Methodologies, and Development Tools for Multi-Agent Systems

Mehdi Dastani, Amal Fallah Seghrouchni, Jomi Hübner, João Leite

Advances in Computing and Communications

Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki, Sabu M. Thampi

e-Technologies and Networks for Development

Jim James Yonazi, Eliamani Sedoyeka, Ezendu Ariwa, Eyas El-Qawasmeh

Towards a Service-Based Internet. ServiceWave 2010 Workshops

Michel Cezon, Yaron Wolfsthal

Hybrid Learning

Reggie Kwan, Joseph Fong, Lam-for Kwok, Jeanne Lam

Nordic Contributions in IS Research

Hannu Salmela, Anna Sell

Computer Networks and Intelligent Computing

K. R. Venugopal, L. M. Patnaik

Advances in Cryptology – CRYPTO 2011

Phillip Rogaway

Logic and Games on Automatic Structures

Łukasz Kaiser

Web Information Systems and Technologies

Joaquim Filipe, José Cordeiro

Perspectives on Soviet and Russian Computing

John Impagliazzo, Eduard Proydakov

Computer Vision – ACCV 2010 Workshops

Reinhard Koch, Fay Huang

Computer Vision – ACCV 2010 Workshops

Reinhard Koch, Fay Huang

Advances in Bioinformatics and Computational Biology

Osmar Norberto de Souza, Guilherme P. Telles, Mathew Palakal

Interactive Theorem Proving

Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk

Smart Spaces and Next Generation Wired/Wireless Networking

Sergey Balandin, Yevgeni Koucheryavy, Honglin Hu

Electronic Government

Marijn Janssen, Hans J. Scholl, Maria A. Wimmer, Yao-hua Tan

Artificial General Intelligence

Jürgen Schmidhuber, Kristinn R. Thórisson, Moshe Looks

Trust, Privacy and Security in Digital Business

Steven Furnell, Costas Lambrinoudakis, Günther Pernul

A Feature-Centric View of Information Retrieval

Donald Metzler

Advances in Spatial and Temporal Databases

Dieter Pfoser, Yufei Tao, Kyriakos Mouratidis, Mario A. Nascimento, Mohamed Mokbel, Shashi Shekhar, Yan Huang

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques

Leslie Ann Goldberg, Klaus Jansen, R. Ravi, José D. P. Rolim

Trends in Functional Programming

Rex Page, Zoltán Horváth, Viktória Zsók

Algebra and Coalgebra in Computer Science

Andrea Corradini, Bartek Klin, Corina Cîrstea

Data Management in Grid and Peer-to-Peer Systems

Abdelkader Hameurlain, A Min Tjoa

Haptic and Audio Interaction Design

Eric W. Cooper, Victor V. Kryssanov, Hitoshi Ogawa, Stephen Brewster

Fundamentals of Computation Theory

Olaf Owe, Martin Steffen, Jan Arne Telle

Electronic Government and the Information Systems Perspective

Kim Normann Andersen, Enrico Francesconi, Åke Grönlund, Tom M. Engers

Enabling Real-Time Business Intelligence

Malu Castellanos, Umeshwar Dayal, Volker Markl

Mathematical Foundations of Computer Science 2011

Filip Murlak, Piotr Sankowski

E-Commerce and Web Technologies

Christian Huemer, Thomas Setzer

Semantic Multimedia

Thierry Declerck, Michael Granitzer, Marcin Grzegorzek, Massimo Romanelli, Stefan Rüger, Michael Sintek

Advances in Applied Economics, Business and Development

Qingyuan Zhou

Applied Economics, Business and Development

Qingyuan Zhou

Reasoning Web. Semantic Technologies for the Web of Data

Axel Polleres, Claudia d’Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter Patel-Schneider

Algorithms in Bioinformatics

Teresa M. Przytycka, Marie-France Sagot

NETWORKING 2011 Workshops

Vicente Casares-Giner, Pietro Manzoni, Ana Pont

Business Process Management

Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf

Advances in Education and Management

Mark Zhou

Education and Management

Mark Zhou

Microelectronic Systems

Albert Heuberger, Günter Elst, Randolf Hanke

Transactions on Large-Scale Data- and Knowledge-Centered Systems III

Abdelkader Hameurlain, Josef Küng, Roland Wagner

Foundations of Security Analysis and Design VI

Alessandro Aldini, Roberto Gorrieri

Database and Expert Systems Applications

Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou

Database and Expert Systems Applications

Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou

Energy Minimization Methods in Computer Vision and Pattern Recognition

Yuri Boykov, Fredrik Kahl, Victor Lempitsky, Frank R. Schmidt

VLSI-SoC: Technologies for Systems Integration

Jürgen Becker, Marcelo Johann, Ricardo Reis

Pattern Recognition

Rudolf Mester, Michael Felsberg

Exploring Music Contents

Sølvi Ystad, Mitsuko Aramaki, Richard Kronland-Martinet, Kristoffer Jensen

Subject-Oriented Business Process Management

Albert Fleischmann, Werner Schmidt, Robert Singer, Detlef Seese

Systems and Frameworks for Computational Morphology

Cerstin Mahlow, Michael Piotrowski

Information Security and Assurance

Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas

Next Wave in Robotics

Tzuu-Hseng S. Li, Kuo-Yang Tu, Ching-Chih Tsai, Chen-Chien Hsu, Chien-Cheng Tseng, Prahlad Vadakkepat, Jacky Baltes, John Anderson, Ching-Chang Wong, Norbert Jesse, Chung-Hsien Kuo, Haw-Ching Yang

Advanced Language Technologies for Digital Libraries

Raffaella Bernardi, Sally Chambers, Björn Gottfried, Frédérique Segond, Ilya Zaihrayeu

Parallel Computing Technologies

Victor Malyshkin

Holonic and Multi-Agent Systems for Manufacturing

Vladimír Mařík, Pavel Vrba, Paulo Leitão

Advances in Data Mining. Applications and Theoretical Aspects

Petra Perner

Spatial Information Theory

Max Egenhofer, Nicholas Giudice, Reinhard Moratz, Michael Worboys

Machine Learning and Data Mining in Pattern Recognition

Petra Perner

Information Technology in Bio- and Medical Informatics

Christian Böhm, Sami Khuri, Lenka Lhotská, Nadia Pisanti

The Mathematics of Language

Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki

Applied Informatics and Communication

Dehuai Zeng

CONCUR 2011 – Concurrency Theory

Joost-Pieter Katoen, Barbara König

Applied Informatics and Communication

Dehuai Zeng

Applied Informatics and Communication

Jun Zhang

Applied Informatics and Communication

Jun Zhang

Towards Autonomous Robotic Systems

Roderich Groß, Lyuba Alboul, Chris Melhuish, Mark Witkowski, Tony J. Prescott, Jacques Penders

Applied Informatics and Communication

Jianwei Zhang

Theoretical Aspects of Computing – ICTAC 2011

Antonio Cerone, Pekka Pihlajasaari

Case-Based Reasoning Research and Development

Ashwin Ram, Nirmalie Wiratunga

Universal Semantic Communication

Brendan Juba

Availability, Reliability and Security for Business, Enterprise and Health Information Systems

A Min Tjoa, Gerald Quirchmayr, Ilsun You, Lida Xu

Programming for Engineers

Aaron R. Bradley

Advanced Communication and Networking

Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas

History of Nordic Computing 3

John Impagliazzo, Per Lundin, Benkt Wangler

Advances in Information Retrieval Theory

Giambattista Amati, Fabio Crestani

Advances in Computer Science, Environment, Ecoinformatics, and Education

Song Lin, Xiong Huang

Advances in Computer Science, Environment, Ecoinformatics, and Education

Song Lin, Xiong Huang

Adaptation and Value Creating Collaborative Networks

Luis M. Camarinha-Matos, Alexandra Pereira-Klen, Hamideh Afsarmanesh

Electronic Participation

Efthimios Tambouris, Ann Macintosh, Hans Bruijn

Advances in Computer Science, Environment, Ecoinformatics, and Education

Song Lin, Xiong Huang

Advances in Computer Science, Environment, Ecoinformatics, and Education

Song Lin, Xiong Huang

Advances in Computer Science, Environment, Ecoinformatics, and Education

Song Lin, Xiong Huang

Practice-Driven Research on Enterprise Transformation

Frank Harmsen, Knut Grahlmann, Erik Proper

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek, Pericles Loucopoulos

Euro-Par 2011 Parallel Processing

Emmanuel Jeannot, Raymond Namyst, Jean Roman

Euro-Par 2011 Parallel Processing

Emmanuel Jeannot, Raymond Namyst, Jean Roman

Semantics in Data and Knowledge Bases

Klaus-Dieter Schewe, Bernhard Thalheim

Information and Communication on Technology for the Fight against Global Warming

Dieter Kranzlmüller, A Min Toja

Edutainment Technologies. Educational Games and Virtual Reality/Augmented Reality Applications

Maiga Chang, Wu-Yuin Hwang, Ming-Puu Chen, Wolfgang Müller

S-BPM ONE - Learning by Doing - Doing by Learning

Werner Schmidt

Wireless Algorithms, Systems, and Applications

Yu Cheng, Do Young Eun, Zhiguang Qin, Min Song, Kai Xing

Autonomic and Trusted Computing

Jose M. Alcaraz Calero, Laurence T. Yang, Félix Gómez Mármol, Luis Javier García Villalba, Andy Xiaolin Li, Yan Wang

Web-Age Information Management

Haixun Wang, Shijun Li, Satoshi Oyama, Xiaohua Hu, Tieyun Qian

Text, Speech and Dialogue

Ivan Habernal, Václav Matoušek

Energy-Aware Communications

Ralf Lehnert

Data Warehousing and Knowledge Discovery

Alfredo Cuzzocrea, Umeshwar Dayal

Secure Data Management

Willem Jonker, Milan Petković

Computer Algebra in Scientific Computing

Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov

Comparative Evaluation of Focused Retrieval

Shlomo Geva, Jaap Kamps, Ralf Schenkel, Andrew Trotman

Web Reasoning and Rule Systems

Sebastian Rudolph, Claudio Gutierrez

Sensor Systems and Software

Gerard Par, Philip Morrow

Analysis of Social Media and Ubiquitous Data

Martin Atzmueller, Andreas Hotho, Markus Strohmaier, Alvin Chin

Forensics in Telecommunications, Information, and Multimedia

Xuejia Lai, Dawu Gu, Bo Jin, Yongquan Wang, Hui Li

Brain Informatics

Bin Hu, Jiming Liu, Lin Chen, Ning Zhong

Active Media Technology

Ning Zhong, Vic Callaghan, Ali A. Ghorbani, Bin Hu

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2011

Gabor Fichtinger, Anne Martel, Terry Peters

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2011

Gabor Fichtinger, Anne Martel, Terry Peters

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2011

Gabor Fichtinger, Anne Martel, Terry Peters

DNA Computing and Molecular Programming

Luca Cardelli, William Shih

Ubiquitous Intelligence and Computing

Ching-Hsien Hsu, Laurence T. Yang, Jianhua Ma, Chunsheng Zhu

Recent Advances in Intrusion Detection

Robin Sommer, Davide Balzarotti, Gregor Maier

Computer Analysis of Images and Patterns

Pedro Real, Daniel Diaz-Pernil, Helena Molina-Abril, Ainhoa Berciano, Walter Kropatsch

Computer Analysis of Images and Patterns

Pedro Real, Daniel Diaz-Pernil, Helena Molina-Abril, Ainhoa Berciano, Walter Kropatsch

Advanced Concepts for Intelligent Vision Systems

Jacques Blanc-Talon, Richard Kleihorst, Wilfried Philips, Dan Popescu, Paul Scheunders

Static Analysis

Eran Yahav

Multilingual and Multimodal Information Access Evaluation

Pamela Forner, Julio Gonzalo, Jaana Kekäläinen, Mounia Lalmas, Marteen Rijke

Fuzzy Logic and Applications

Anna Maria Fanelli, Witold Pedrycz, Alfredo Petrosino

Search Based Software Engineering

Myra B. Cohen, Mel Ó Cinnéide

Algorithms – ESA 2011

Camil Demetrescu, Magnús M. Halldórsson

Cooperative Design, Visualization, and Engineering

Yuhua Luo

Advances in Databases and Information Systems

Johann Eder, Maria Bielikova, A Min Tjoa

Transactions on Large-Scale Data- and Knowledge-Centered Systems IV

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Christian Böhm, Johann Eder, Claudia Plant

Human-Computer Interaction – INTERACT 2011

Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler

Human-Computer Interaction – INTERACT 2011

Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler

Human-Computer Interaction – INTERACT 2011

Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler

Human-Computer Interaction – INTERACT 2011

Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler

Machine Learning and Knowledge Discovery in Databases

Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis

Machine Learning and Knowledge Discovery in Databases

Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis

Principles and Practice of Constraint Programming – CP 2011

Jimmy Lee

Multiple Access Communications

Claudio Sacchi, Boris Bellalta, Alexey Vinel, Christian Schlegel, Fabrizio Granelli, Yan Zhang

Software Architecture

Ivica Crnkovic, Volker Gruhn, Matthias Book

Collaboration and Technology

Adriana S. Vivacqua, Carl Gutwin, Marcos R. S. Borges

Machine Learning and Knowledge Discovery in Databases

Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis

Computer Security – ESORICS 2011

Vijay Atluri, Claudia Diaz

Personal Satellite Services

Giovanni Giambene, Claudio Sacchi

E-Infrastuctures and E-Services for Developing Countries

Radu Popescu-Zeletin, Idris A. Rai, Karl Jonas, Adolfo Villafiorita

Serious Games Development and Applications

Minhua Ma, Manuel Fradinho Oliveira, João Madeiras Pereira

Knowledge-Based and Intelligent Information and Engineering Systems

Andreas König, Andreas Dengel, Knut Hinkelmann, Koichi Kise, Robert J. Howlett, Lakhmi C. Jain

Knowledge-Based and Intelligent Information and Engineering Systems

Andreas König, Andreas Dengel, Knut Hinkelmann, Koichi Kise, Robert J. Howlett, Lakhmi C. Jain

Adaptive and Intelligent Systems

Abdelhamid Bouchachia

Knowlege-Based and Intelligent Information and Engineering Systems

Andreas König, Andreas Dengel, Knut Hinkelmann, Koichi Kise, Robert J. Howlett, Lakhmi C. Jain

Knowledge-Based and Intelligent Information and Engineering Systems

Andreas König, Andreas Dengel, Knut Hinkelmann, Koichi Kise, Robert J. Howlett, Lakhmi C. Jain

Intelligent Data Engineering and Automated Learning - IDEAL 2011

Hujun Yin, Wenjia Wang, Victor Rayward-Smith

Artificial Intelligence and Computational Intelligence

Hepu Deng, Duoqian Miao, Jingsheng Lei, Fu Lee Wang

Artificial Intelligence and Computational Intelligence

Hepu Deng, Duoqian Miao, Jingsheng Lei, Fu Lee Wang

Artificial Intelligence and Computational Intelligence

Hepu Deng, Duoqian Miao, Jingsheng Lei, Fu Lee Wang

Ambient Media and Systems

Silvia Gabrielli, Dirk Elias, Kanav Kahol

Computational Collective Intelligence. Technologies and Applications

Piotr Jędrzejowicz, Ngoc Thanh Nguyen, Kiem Hoang

Computational Collective Intelligence. Technologies and Applications

Piotr Jędrzejowicz, Ngoc Thanh Nguyen, Kiem Hoang

Prostate Cancer Imaging. Image Analysis and Image-Guided Interventions

Anant Madabhushi, Jason Dowling, Henkjan Huisman, Dean Barratt

Security-Enriched Urban Computing and Smart Grid

Ruay-Shiung Chang, Tai-hoon Kim, Sheng-Lung Peng

Cryptographic Hardware and Embedded Systems – CHES 2011

Bart Preneel, Tsuyoshi Takagi

AI*IA 2011: Artificial Intelligence Around Man and Beyond

Roberto Pirrone, Filippo Sorbello

Engineering Applications of Neural Networks

Lazaros Iliadis, Chrisina Jayne

Artificial Intelligence Applications and Innovations

Lazaros Iliadis, Ilias Maglogiannis, Harris Papadopoulos

Scalable Uncertainty Management

Salem Benferhat, John Grant

Computer Vision Systems

James L. Crowley, Bruce A. Draper, Monique Thonnat

Web Information Systems and Mining

Zhiguo Gong, Xiangfeng Luo, Junjie Chen, Jingsheng Lei, Fu Lee Wang

Intelligent Virtual Agents

Hannes Högni Vilhjálmsson, Stefan Kopp, Stacy Marsella, Kristinn R. Thórisson

Web Information Systems and Mining

Zhiguo Gong, Xiangfeng Luo, Junjie Chen, Jingsheng Lei, Fu Lee Wang

Towards Ubiquitous Learning

Carlos Delgado Kloos, Denis Gillet, Raquel M. Crespo García, Fridolin Wild, Martin Wolpers

Innovative Computing and Information

Minli Dai

Innovative Computing and Information

Minli Dai

Computing and Intelligent Systems

Yanwen Wu

Transactions on Computational Collective Intelligence V

Ngoc Thanh Nguyen

Information and Management Engineering

Min Zhu

Advances in Visual Computing

George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Song Wang, Kim Kyungnam, Bedrich Benes, Kenneth Moreland, Christoph Borst, Stephen DiVerdi, Chiang Yi-Jen, Jiang Ming

Advances in Visual Computing

George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Song Wang, Kim Kyungnam, Bedrich Benes, Kenneth Moreland, Christoph Borst, Stephen DiVerdi, Chiang Yi-Jen, Jiang Ming

Advances in Parallel Distributed Computing

Dhinaharan Nagamalai, Eric Renault, Murugan Dhanuskodi

Trends in Computer Science, Engineering and Information Technology

Dhinaharan Nagamalai, Eric Renault, Murugan Dhanuskodi

Advances in Digital Image Processing and Information Technology

Dhinaharan Nagamalai, Eric Renault, Murugan Dhanuskodi

Convergence and Hybrid Information Technology

Geuk Lee, Daniel Howard, Dominik Ślęzak

Image Analysis and Processing – ICIAP 2011

Giuseppe Maino, Gian Luca Foresti

Image Analysis and Processing – ICIAP 2011

Giuseppe Maino, Gian Luca Foresti

Computing and Intelligent Systems

Yanwen Wu

Information and Management Engineering

Min Zhu

Distributed Computing

David Peleg

Convergence and Hybrid Information Technology

Geuk Lee, Daniel Howard, Dominik Ślęzak

Software Engineering for Resilient Systems

Elena A. Troubitsyna

Logic, Rationality, and Interaction

Hans Ditmarsch, Jérôme Lang, Shier Ju

Computer Vision/Computer Graphics Collaboration Techniques

André Gagalowicz, Wilfried Philips

Governance and Sustainability in Information Systems. Managing the Transfer and Diffusion of IT

Markus Nüttgens, Andreas Gadatsch, Karlheinz Kautz, Ingrid Schirmer, Nadine Blinn

Advanced Parallel Processing Technologies

Olivier Temam, Pen-Chung Yew, Binyu Zang

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation

José L. Ayala, Braulio García-Cámara, Manuel Prieto, Martino Ruggiero, Gilles Sicard

Enterprise and Organizational Modeling and Simulation

Joseph Barjis, Tillal Eldabi, Ashish Gupta

Information Hiding

Tomáš Filler, Tomáš Pevný, Scott Craver, Andrew Ker

Datalog Reloaded

Oege Moor, Georg Gottlob, Tim Furche, Andrew Sellers

Information Security and Cryptology - ICISC 2010

Kyung-Hyune Rhee, DaeHun Nyang

Advances in Digital Forensics VII

Gilbert Peterson, Sujeet Shenoi

Computational Logistics

Jürgen W. Böse, Hao Hu, Carlos Jahn, Xiaoning Shi, Robert Stahlbock, Stefan Voß

Advanced Computer Science and Information Technology

Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas

Computer Safety, Reliability, and Security

Francesco Flammini, Sandro Bologna, Valeria Vittorini

Emerging Research in Web Information Systems and Mining

Gong Zhiguo, Xiangfeng Luo, Junjie Chen, Fu Lee Wang, Jingsheng Lei

Implementation and Application of Functional Languages

Jurriaan Hage, Marco T. Morazán

Modeling and Using Context

Michael Beigl, Henning Christiansen, Thomas R. Roth-Berghofer, Anders Kofod-Petersen, Kenny R. Coventry, Hedda R. Schmidtke

Emerging Research in Artificial Intelligence and Computational Intelligence

Hepu Deng, Duoqian Miao, Fu Lee Wang, Jingsheng Lei

Reachability Problems

Giorgio Delzanno, Igor Potapov

Formal Modeling and Analysis of Timed Systems

Uli Fahrenberg, Stavros Tripakis

Provable Security

Xavier Boyen, Xiaofeng Chen

Machine Learning in Medical Imaging

Kenji Suzuki, Fei Wang, Dinggang Shen, Pingkun Yan

ENTERprise Information Systems

Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho

ENTERprise Information Systems

Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho

ENTERprise Information Systems

Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho

Frontiers of Combining Systems

Cesare Tinelli, Viorica Sofronie-Stokkermans

Automated Technology for Verification and Analysis

Tevfik Bultan, Pao-Ann Hsiung

Photogrammetric Image Analysis

Uwe Stilla, Franz Rottensteiner, Helmut Mayer, Boris Jutzi, Matthias Butenuth

Web Information Systems Engineering – WISE 2010 Workshops

Dickson K. W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho-fung Leung, Shing-Chi Cheung, Haiyang Hu, Jie Shao

Network and Parallel Computing

Erik Altman, Weisong Shi

Algorithmic Learning Theory

Jyrki Kivinen, Csaba Szepesvári, Esko Ukkonen, Thomas Zeugmann

Open Source Systems: Grounding Research

Scott A. Hissam, Barbara Russo, Manoel G. Mendonça Neto, Fabio Kon

Rough Sets and Knowledge Technology

JingTao Yao, Sheela Ramanna, Guoyin Wang, Zbigniew Suraj

Formal Methods for Industrial Critical Systems

Gwen Salaün, Bernhard Schätz

Web Information System Engineering – WISE 2011

Athman Bouguettaya, Manfred Hauswirth, Ling Liu

Model and Data Engineering

Ladjel Bellatreche, Filipe Mota Pinto

Multimodal Brain Image Analysis

Tianming Liu, Dinggang Shen, Luis Ibanez, Xiaodong Tao

Recent Advances in the Message Passing Interface

Yiannis Cotronis, Anthony Danalis, Dimitrios S. Nikolopoulos, Jack Dongarra

Implementation and Application of Functional Languages

Sven-Bodo Scholz, Olaf Chitil

KI 2011: Advances in Artificial Intelligence

Joscha Bach, Stefan Edelkamp

Research and Advanced Technology for Digital Libraries

Stefan Gradmann, Francesca Borri, Carlo Meghini, Heiko Schuldt

Similarity-Based Pattern Recognition

Marcello Pelillo, Edwin R. Hancock

Applied Information Security

David Basin, Patrick Schaller, Michael Schläpfer

Discovery Science

Tapio Elomaa, Jaakko Hollmén, Heikki Mannila

Model Driven Engineering Languages and Systems

Jon Whittle, Tony Clark, Thomas Kühne

Entertainment Computing – ICEC 2011

Junia Coutinho Anacleto, Sidney Fels, Nicholas Graham, Bill Kapralos, Magy Saif El-Nasr, Kevin Stanley

Perspectives in Business Informatics Research

Janis Grabis, Marite Kirikova

Musical Creativity

Guerino Mazzola, Joomi Park, Florian Thalmann

Dependable and Historic Computing

Cliff B. Jones, John L. Lloyd

Economics of Converged, Internet-Based Networks

Johanne Cohen, Patrick Maillé, Burkhard Stiller

Stabilization, Safety, and Security of Distributed Systems

Xavier Défago, Franck Petit, Vincent Villain

Transactions on Data Hiding and Multimedia Security VI

Yun Q. Shi, Sabu Emmanuel, Mohan S. Kankanhalli, Shih-Fu Chang, Regunathan Radhakrishnan, Fulong Ma, Li Zhao

Formal Methods and Software Engineering

Shengchao Qin, Zongyan Qiu

Transactions on High-Performance Embedded Architectures and Compilers IV

Per Stenström

Affective Computing and Intelligent Interaction

Sidney D’Mello, Arthur Graesser, Björn Schuller, Jean-Claude Martin

Advances in Conceptual Modeling. Recent Developments and New Directions

Olga Troyer, Claudia Bauzer Medeiros, Roland Billen, Pierre Hallot, Alkis Simitsis, Hans Mingroot

Advances in Databases

Alvaro A. A. Fernandes, Alasdair J. G. Gray, Khalid Belhajjame

Testing Software and Systems

Burkhart Wolff, Fatiha Zaïdi

String Processing and Information Retrieval

Roberto Grossi, Fabrizio Sebastiani, Fabrizio Silvestri

Security Aspects in Information Technology

Marc Joye, Debdeep Mukhopadhyay, Michael Tunstall

Affective Computing and Intelligent Interaction

Sidney D’Mello, Arthur Graesser, Björn Schuller, Jean-Claude Martin

Multiagent System Technologies

Franziska Klügl, Sascha Ossowski

Conceptual Modeling – ER 2011

Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling

Algorithms and Architectures for Parallel Processing

Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou

Modern Transport Telematics

Jerzy Mikulski

Algorithms and Architectures for Parallel Processing

Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou

Software Engineering and Formal Methods

Gilles Barthe, Alberto Pardo, Gerardo Schneider

Social Informatics

Anwitaman Datta, Stuart Shulman, Baihua Zheng, Shou-De Lin, Aixin Sun, Ee-Peng Lim

Communications and Multimedia Security

Bart Decker, Jorn Lapon, Vincent Naessens, Andreas Uhl

Informatics in Schools. Contributing to 21st Century Education

Ivan Kalaš, Roland T. Mittermeir

Metadata and Semantic Research

Elena García-Barriocanal, Zeynel Cebeci, Mehmet C. Okur, Aydın Öztürk

Computer Performance Engineering

Nigel Thomas

Towards a Service-Based Internet

Witold Abramowicz, Ignacio M. Llorente, Mike Surridge, Andrea Zisman, Julien Vayssière

Flexible Query Answering Systems

Henning Christiansen, Guy Tré, Adnan Yazici, Slawomir Zadrozny, Troels Andreasen, Henrik Legind Larsen

Progress in Artificial Intelligence

Luis Antunes, H. Sofia Pinto

Knowledge, Information, and Creativity Support Systems

Thanaruk Theeramunkong, Susumu Kunifuji, Virach Sornlertlamvanich, Cholwich Nattee

Advances in Intelligent Data Analysis X

João Gama, Elizabeth Bradley, Jaakko Hollmén

New Studies in Global IT and Business Service Outsourcing

Julia Kotlarsky, Leslie P. Willcocks, Ilan Oshri

Digital Libraries: For Cultural Heritage, Knowledge Dissemination, and Future Creation

Chunxiao Xing, Fabio Crestani, Andreas Rauber

Algorithmic Game Theory

Giuseppe Persiano

The Practice of Enterprise Modeling

Paul Johannesson, John Krogstie, Andreas L. Opdahl

Pattern Recognition in Bioinformatics

Marco Loog, Lodewyk Wessels, Marcel J. T. Reinders, Dick Ridder

Information Security

Xuejia Lai, Jianying Zhou, Hui Li

Critical Infrastructure Protection V

Jonathan Butts, Sujeet Shenoi

Mobility in Process Calculi and Natural Computing

Bogdan Aman, Gabriel Ciobanu

Video Processing and Computational Video

Daniel Cremers, Marcus Magnor, Martin R. Oswald, Lihi Zelnik-Manor

Algorithmic Decision Theory

Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs

Algebraic Foundations in Computer Science

Werner Kuich, George Rahonis

Rule - Based Modeling and Computing on the Semantic Web

Frank Olken, Monica Palmirani, Davide Sottara

Integrated Uncertainty in Knowledge Modelling and Decision Making

Yongchuan Tang, Van-Nam Huynh, Jonathan Lawry

Formal Modeling: Actors, Open Systems, Biological Systems

Gul Agha, Olivier Danvy, José Meseguer

Neural Information Processing

Bao-Liang Lu, Liqing Zhang, James Kwok

Neural Information Processing

Bao-Liang Lu, Liqing Zhang, James Kwok

Neural Information Processing

Bao-Liang Lu, Liqing Zhang, James Kwok

Quantum Interaction

Dawei Song, Massimo Melucci, Ingo Frommholz, Peng Zhang, Lei Wang, Sachi Arafat

Computational Geometry, Graphs and Applications

Jin Akiyama, Jiang Bo, Mikio Kano, Xuehou Tan

Theoretical and Mathematical Foundations of Computer Science

Qihai Zhou

High Performance Networking, Computing, and Communication Systems

Yanwen Wu

Combinatorial Algorithms

Costas S. Iliopoulos, William F. Smyth

Advances in Nonlinear Speech Processing

Carlos M. Travieso-González, Jesús B. Alonso-Hernández

Formal Methods, Foundations and Applications

Adenilso Simao, Carroll Morgan

Agents in Principle, Agents in Practice

David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya K. Ghose

Automated Deduction in Geometry

Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert

The Semantic Web – ISWC 2011

Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy, Eva Blomqvist

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

César San Martin, Sang-Woon Kim

Motion in Games

Jan M. Allbeck, Petros Faloutsos

The Semantic Web – ISWC 2011

Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy, Eva Blomqvist

On the Move to Meaningful Internet Systems: OTM 2011

Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania

On the Move to Meaningful Internet Systems: OTM 2011

Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania

On the Move to Meaningful Internet Systems: OTM 2011 Workshops

Robert Meersman, Tharam Dillon, Pilar Herrero

Advances in Information and Computer Security

Tetsu Iwata, Masakatsu Nishigaki

Business Process Model and Notation

Remco Dijkman, Jörg Hofstetter, Jana Koehler

Ambient Intelligence

David V. Keyson, Mary Lou Maher, Norbert Streitz, Adrian Cheok, Juan Carlos Augusto, Reiner Wichert, Gwenn Englebienne, Hamid Aghajan, Ben J. A. Kröse

Visual Informatics: Sustaining Research and Innovations

Halimah Badioze Zaman, Peter Robinson, Maria Petrou, Patrick Olivier, Timothy K. Shih, Sergio Velastin, Ingela Nyström

Visual Informatics: Sustaining Research and Innovations

Halimah Badioze Zaman, Peter Robinson, Maria Petrou, Patrick Olivier, Timothy K. Shih, Sergio Velastin, Ingela Nyström

Information and Communications Security

Sihan Qing, Willy Susilo, Guilin Wang, Dongmei Liu

Transactions on Computational Science XIV

Marina L. Gavrilova, C. J. Kenneth Tan, Mir Abolfazl Mostafavi

Information Computing and Applications

Baoxiang Liu, Chunlai Chai

Advances in Artificial Intelligence

Jose A. Lozano, José A. Gámez, José A. Moreno

Decision and Game Theory for Security

John S. Baras, Jonathan Katz, Eitan Altman

Trusted Systems

Liqun Chen, Moti Yung

Interactive Storytelling

Mei Si, David Thue, Elisabeth André, James C. Lester, Joshua Tanenbaum, Veronica Zammitto

Programming Languages and Systems

Hongseok Yang

Advances in Artificial Intelligence

Ildar Batyrshin, Grigori Sidorov

Informatics Engineering and Information Science

Azizah Abd Manaf, Akram Zeki, Mazdak Zamani, Suriayati Chuprat, Eyas El-Qawasmeh

Advances in Soft Computing

Ildar Batyrshin, Grigori Sidorov

Information Quality in e-Health

Andreas Holzinger, Klaus-Martin Simonic

Business Information Systems Workshops

Witold Abramowicz, Leszek Maciaszek, Krzysztof Węcel

Certified Programs and Proofs

Jean-Pierre Jouannaud, Zhong Shao

Computer Vision, Imaging and Computer Graphics. Theory and Applications

Paul Richard, José Braz

Advances in Cryptology – ASIACRYPT 2011

Dong Hoon Lee, Xiaoyun Wang

Post-Quantum Cryptography

Bo-Yin Yang

Human Behavior Understanding

Albert Ali Salah, Bruno Lepri

Biometric Recognition

Zhenan Sun, Jianhuang Lai, Xilin Chen, Tieniu Tan

Informatics Engineering and Information Science

Azizah Abd Manaf, Akram Zeki, Mazdak Zamani, Suriayati Chuprat, Eyas El-Qawasmeh

Informatics Engineering and Information Science

Azizah Abd Manaf, Shamsul Sahibuddin, Rabiah Ahmad, Salwani Mohd Daud, Eyas El-Qawasmeh

Informatics Engineering and Information Science

Azizah Abd Manaf, Shamsul Sahibuddin, Rabiah Ahmad, Salwani Mohd Daud, Eyas El-Qawasmeh

Intelligent Robotics and Applications

Sabina Jeschke, Honghai Liu, Daniel Schilberg

Intelligent Robotics and Applications

Sabina Jeschke, Honghai Liu, Daniel Schilberg

Complex Networks

Luciano F. Costa, Alexandre Evsukoff, Giuseppe Mangioni, Ronaldo Menezes

Social Robotics

Bilge Mutlu, Christoph Bartneck, Jaap Ham, Vanessa Evers, Takayuki Kanda

Internet and Network Economics

Ning Chen, Edith Elkind, Elias Koutsoupias

Cryptology and Network Security

Dongdai Lin, Gene Tsudik, Xiaoyun Wang

Cryptography and Coding

Liqun Chen

Service-Oriented Computing

Gerti Kappel, Zakaria Maamar, Hamid R. Motahari-Nezhad

Information Systems Security

Sushil Jajodia, Chandan Mazumdar

Learning and Intelligent Optimization

Carlos A. Coello Coello

Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges

Karin Anna Hummel, Helmut Hlavacs, Wilfried Gansterer

Progress in Cryptology – INDOCRYPT 2011

Daniel J. Bernstein, Sanjit Chatterjee

Algorithms and Computation

Takao Asano, Shin-ichi Nakano, Yoshio Okamoto, Osamu Watanabe

Information Retrieval Technology

Mohamed Vall Mohamed Salem, Khaled Shaalan, Farhad Oroumchian, Azadeh Shakery, Halim Khelalfa

New Frontiers in Artificial Intelligence

Takashi Onada, Daisuke Bekki, Eric McCready

Virtual Colonoscopy and Abdominal Imaging. Computational Challenges and Clinical Opportunities

Hiroyuki Yoshida, Wenli Cai

Multi-disciplinary Trends in Artificial Intelligence

Chattrakul Sombattheera, Arun Agarwal, Siba K Udgata, Kittichai Lavangnananda

Databases in Networked Information Systems

Shinji Kikuchi, Aastha Madaan, Shelly Sachdeva, Subhash Bhalla

Computational Intelligence and Information Technology

Vinu V Das, Nessy Thankachan

Analysis of Verbal and Nonverbal Communication and Enactment. The Processing Issues

Anna Esposito, Alessandro Vinciarelli, Klára Vicsi, Catherine Pelachaud, Anton Nijholt

Advances in Web-Based Learning - ICWL 2011

Howard Leung, Elvira Popescu, Yiwei Cao, Rynson W. H. Lau, Wolfgang Nejdl

Middleware 2011

Fabio Kon, Anne-Marie Kermarrec

AI 2011: Advances in Artificial Intelligence

Dianhui Wang, Mark Reynolds

Advanced Data Mining and Applications

Jie Tang, Irwin King, Ling Chen, Jianyong Wang

Advanced Data Mining and Applications

Jie Tang, Irwin King, Ling Chen, Jianyong Wang

Security Protocols XIX

Bruce Christianson, Bruno Crispo, James Malcolm, Frank Stajano

Graph-Theoretic Concepts in Computer Science

Petr Kolman, Jan Kratochvíl

Principles of Distributed Systems

Antonio Fernàndez Anta, Giuseppe Lipari, Matthieu Roy

Anaphora Processing and Applications

Iris Hendrickx, Sobha Lalitha Devi, António Branco, Ruslan Mitkov

Knowledge Science, Engineering and Management

Hui Xiong, W. B. Lee

Control and Automation, and Energy System Engineering

Tai-hoon Kim, Hojjat Adeli, Adrian Stoica, Byeong-Ho Kang

Future Generation Information Technology

Tai-hoon Kim, Hojjat Adeli, Dominik Slezak, Frode Eika Sandnes, Xiaofeng Song, Kyo-il Chung, Kirk P. Arnett

Database Theory and Application, Bio-Science and Bio-Technology

Tai-hoon Kim, Hojjat Adeli, Alfredo Cuzzocrea, Tughrul Arslan, Yanchun Zhang, Jianhua Ma, Kyo-il Chung, Siti Mariyam, Xiaofeng Song

Adaptive Multimedia Retrieval. Context, Exploration, and Fusion

Marcin Detyniecki, Peter Knees, Andreas Nürnberger, Markus Schedl, Sebastian Stober

Swarm, Evolutionary, and Memetic Computing

Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Suresh Chandra Satapathy

Grid and Distributed Computing

Tai-hoon Kim, Hojjat Adeli, Hyun-seob Cho, Osvaldo Gervasi, Stephen S. Yau, Byeong-Ho Kang, Javier García Villalba

Signal Processing, Image Processing and Pattern Recognition

Tai-hoon Kim, Hojjat Adeli, Carlos Ramos, Byeong-Ho Kang

Multimedia, Computer Graphics and Broadcasting

Tai-hoon Kim, Hojjat Adeli, William I. Grosky, Niki Pissinou, Timothy K. Shih, Edward J. Rothwell, Byeong-Ho Kang, Seung-Jung Shin

Security Technology

Tai-hoon Kim, Hojjat Adeli, Wai-chi Fang, Javier García Villalba, Kirk P. Arnett, Muhammad Khurram Khan

Communication and Networking

Tai-hoon Kim, Hojjat Adeli, Wai-chi Fang, Thanos Vasilakos, Adrian Stoica, Charalampos Z. Patrikakis, Gansen Zhao, Javier García Villalba, Yang Xiao

Multimedia, Computer Graphics and Broadcasting

Tai-hoon Kim, Hojjat Adeli, William I. Grosky, Niki Pissinou, Timothy K. Shih, Edward J. Rothwell, Byeong-Ho Kang, Seung-Jung Shin

Software Engineering, Business Continuity, and Education

Tai-hoon Kim, Hojjat Adeli, Haeng-kon Kim, Heau-jo Kang, Kyung Jung Kim, Akingbehin Kiumi, Byeong-Ho Kang

U- and E-Service, Science and Technology

Tai-hoon Kim, Hojjat Adeli, Jianhua Ma, Wai-chi Fang, Byeong-Ho Kang, Byungjoo Park, Frode Eika Sandnes, Kun Chang Lee

Swarm, Evolutionary, and Memetic Computing

Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Suresh Chandra Satapathy

Computer Information Systems – Analysis and Technologies

Nabendu Chaki, Agostino Cortesi

Smart Card Research and Advanced Applications

Emmanuel Prouff

Building the e-World Ecosystem

Tomas Skersys, Rimantas Butleris, Lina Nemuraite, Reima Suomi

Research and Education in Robotics - EUROBOT 2010

David Obdržálek, Achim Gottscheber

Digital Libraries and Archives

Maristella Agosti, Floriana Esposito, Carlo Meghini, Nicola Orio

Innovative Computing Technology

Pit Pichappan, Hojat Ahmadi, Ezendu Ariwa

Information Computing and Applications

Chunfeng Liu, Jincai Chang, Aimin Yang

Geometric Structure of High-Dimensional Data and Dimensionality Reduction

Jianzhong Wang

Information Computing and Applications

Chunfeng Liu, Jincai Chang, Aimin Yang

Counterterrorism and Open Source Intelligence

Uffe Kock Wiil

Service Engineering

Schahram Dustdar, Fei Li

The Concrete Tetrahedron

Manuel Kauers, Peter Paule

Socially Enhanced Services Computing

Schahram Dustdar, Daniel Schall, Florian Skopik, Lukasz Juszczyk, Harald Psaier

Radio Access Network Dimensioning for 3G UMTS

Xi Li

Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control

Christian Kirches

Efficient Usage of Adabas Replication

Dieter W. Storr

Evaluation of State-of-the-Art Hardware Architectures for Fast Cone-Beam CT Reconstruction

Holger Scherl

Clustering-Based Support for Software Architecture Restructuring

Niels Streekmann

Analysis and Correctness of Algebraic Graph and Model Transformations

Ulrike Golas

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Christian Herde

An Investigation into the Detection and Mitigation of Denial of Service (DoS) Attacks

S.V. Raghavan, E Dawson

Thinkquest~2010

S. J. Pise

Game Start!

Francesco Alinovi

Sensing Emotions

Joyce Westerink, Martijn Krans, Martin Ouwerkerk

Affective Computing and Sentiment Analysis

Khurshid Ahmad

Activity Recognition in Pervasive Intelligent Environments

Liming Chen, Chris D. Nugent, Jit Biswas, Jesse Hoey

Trust Networks for Recommender Systems

Patricia Victor, Chris Cornelis, Martine de Cock

Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference

Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janičić, Cassio Pennachin

Computer Vision and Action Recognition

Md. Atiqur Rahman Ahad

Introduction to Programming with Fortran

Ian Chivers, Jane Sleightholme

Mobile Context Awareness

Tom Lovett, Eamonn O'Neill

Multicore Programming Using the ParC Language

Yosi Ben-Asher

Software and Systems Traceability

Jane Cleland-Huang, Orlena Gotel, Andrea Zisman

Conquering Complexity

Mike Hinchey, Lorcan Coyle

Guide to Software Development

Arthur M. Langer

Virtual Reality and Animation for MATLAB® and Simulink® Users

Nassim Khaled

Advanced Methods in Computer Graphics

Ramakrishnan Mukundan

Patterns, Programming and Everything

Karin K. Breitman, R. Nigel Horspool

A Brief History of Computing

Gerard O'Regan

Service Placement in Ad Hoc Networks

Georg Wittenburg, Jochen Schiller

Guide to Reliable Distributed Systems

Kenneth P. Birman

High-Performance Scientific Computing

Michael W. Berry, Kyle A. Gallivan, Efstratios Gallopoulos, Ananth Grama, Bernard Philippe, Yousef Saad, Faisal Saied

Guide to Web Development with Java

Tim Downey

Image Registration

A. Ardeshir Goshtasby

Foundational Java

David Parsons

Achieving Systems Safety

Chris Dale, Tom Anderson

Interactive 3D Multimedia Content

Wojciech Cellary, Krzysztof Walczak

Sets, Logic and Maths for Computing

David Makinson

Introduction to Video and Image Processing

Thomas B. Moeslund

Doing Design Ethnography

Andrew Crabtree, Mark Rouncefield, Peter Tolmie

Introduction to Computer Graphics

Frank Klawonn

Guide to Scientific Computing in C++

Joe Pitt-Francis, Jonathan Whiteley

Guide to Medical Image Analysis

Klaus D. Toennies

Immersive Multimodal Interactive Presence

Angelika Peer, Christos D. Giachritsis

Rough Sets: Selected Methods and Applications in Management and Engineering

Georg Peters, Pawan Lingras, Dominik Ślęzak, Yiyu Yao

Expanding the Frontiers of Visual Analytics and Visualization

John Dill, Rae Earnshaw, David Kasik, John Vince, Pak Chung Wong

Future Wireless and Optical Networks

Shengming Jiang

Software Similarity and Classification

Silvio Cesare, Yang Xiang

Computers in Swedish Society

Per Lundin

Model-Based Development and Evolution of Information Systems

John Krogstie

Behavior Computing

Longbing Cao, Philip S. Yu

Entropy Guided Transformation Learning: Algorithms and Applications

Cícero Nogueira Santos, Ruy Luiz Milidiú

A Proof Theory for Description Logics

Alexandre Rademaker

Virtual Reality in Medicine

Robert Riener, Matthias Harders

Context Management for Distributed and Dynamic Context-Aware Computing

Ricardo Couto Antunes Rocha, Markus Endler

Computational Social Networks

Ajith Abraham, Aboul-Ella Hassanien

Computational Social Networks

Ajith Abraham

Computational Social Networks

Ajith Abraham

3D Imaging, Analysis and Applications

Nick Pears, Yonghuai Liu, Peter Bunting

Anonymization

Rolf H. Weber, Ulrike I. Heinrich

Guide to OCR for Arabic Scripts

Volker Märgner, Haikal El Abed

Guide to Computational Geometry Processing

Jakob Andreas Bærentzen, Jens Gravesen, François Anton, Henrik Aanæs

From Research to Practice in the Design of Cooperative Systems: Results and Open Challenges

Julie Dugdale, Cédric Masclet, Maria Antonietta Grasso, Jean-François Boujut, Parina Hassanaly

3D Video and Its Applications

Takashi Matsuyama, Shohei Nobuhara, Takeshi Takai, Tony Tung

Mathematical Logic for Computer Science

Mordechai Ben-Ari

Programming Language Concepts

Peter Sestoft

Decentralized Reasoning in Ambient Intelligence

José Viterbo, Markus Endler

Self-* and P2P for Network Management

Clarissa Cassales Marquezan, Lisandro Zambenedetti Granville

Robust Motion Detection in Real-Life Scenarios

Ester Martínez-Martín, Ángel P. del Pobil

Performance Metrics for Haptic Interfaces

Evren Samur

Guide to Cisco Routers Configuration

Mohammed M. Alani

Two-Dimensional Change Detection Methods

Murat İlsever, Cem Ünsalan

Matrix Transforms for Computer Games and Animation

John Vince

Research and Development in Intelligent Systems XXIX

Max Bramer, Miltos Petridis

Computational Cancer Biology

Mathukumalli Vidyasagar

Computational Complexity

Robert A. Meyers

Spatial AutoRegression (SAR) Model

Baris M. Kazar, Mete Celik

Mobile Intention Recognition

Peter Kiefer

Handbook of Service Description

Alistair Barros, Daniel Oberle

A Primer of Multicast Routing

Eric Rosenberg

Applied Computer Science

Shane Torbert

Recommender Systems for Social Tagging Systems

Leandro Balby Marinho, Andreas Hotho, Robert Jäschke, Alexandros Nanopoulos, Steffen Rendle, Lars Schmidt-Thieme, Gerd Stumme, Panagiotis Symeonidis

Reliable Knowledge Discovery

Honghua Dai, James N. K. Liu, Evgueni Smirnov

The Economics of Financial and Medical Identity Theft

L. Jean Camp, M. Eric Johnson

The Design of Cloud Workflow Systems

Xiao Liu, Dong Yuan, Gaofeng Zhang, Wenhao Li, Dahai Cao, Qiang He, Jinjun Chen, Yun Yang

A Survey of Data Leakage Detection and Prevention Solutions

Asaf Shabtai, Yuval Elovici, Lior Rokach

Disney Stories

Newton Lee, Krystina Madej

Peer-to-Peer Query Processing over Multidimensional Data

Akrivi Vlachou, Christos Doulkeridis, Kjetil Nørvåg, Yannis Kotidis

Scalable Parallel Programming Applied to H.264/AVC Decoding

Ben Juurlink, Mauricio Alvarez-Mesa, Chi Ching Chi, Arnaldo Azevedo, Cor Meenderinck, Alex Ramirez

Data Dissemination and Query in Mobile Social Networks

Jiming Chen, Jialu Fan, Youxian Sun

Cloud Computing and Services Science

Ivan Ivanov, Marten van Sinderen, Boris Shishkov

Language Grounding in Robots

Luc Steels, Manfred Hild

Criminal Justice Forecasts of Risk

Richard Berk

Logic and the Organization of Information

Martin Frické

Autonomic Cooperative Networking

Michał Wódczak

Mining Text Data

Charu C. Aggarwal, ChengXiang Zhai

Power Distribution and Performance Analysis for Wireless Communication Networks

Dongmei Zhao

Rhodes Framework for Android™ Platform and BlackBerry® Smartphones

Deepak Vohra

Visual Indexing and Retrieval

Jenny Benois-Pineau, Frédéric Precioso, Matthieu Cord

Video Analysis and Repackaging for Distance Education

A. Ranjith Ram, Subhasis Chaudhuri

Applications of Algebra to Communications, Control, and Signal Processing

Nigel Boston

ITIL® 2011 At a Glance

John O. Long

Multimedia Signals and Systems

Srdjan Stanković, Irena Orović, Ervin Sejdić

Group Cell Architecture for Cooperative Communications

Xiaofeng Tao, Qimei Cui, Xiaodong Xu, Ping Zhang

Interworking of Wireless LANs and Cellular Networks

Wei Song, Weihua Zhuang

Automated Configuration Problem Solving

Charles J. Petrie

Agent-Based Semantic Web Service Composition

Sandeep Kumar

Modern Compiler Design

Dick Grune, Kees van Reeuwijk, Henri E. Bal, Ceriel J.H. Jacobs, Koen Langendoen

Data-Driven Methods for Adaptive Spoken Dialogue Systems

Oliver Lemon, Olivier Pietquin

Soft Computing Approach to Pattern Classification and Object Recognition

Kumar S. Ray

Biometrics and Kansei Engineering

Khalid Saeed, Tomomasa Nagashima

Service-Oriented Crowdsourcing

Daniel Schall

Fire Detection in Warehouse Facilities

Joshua Dinaburg, Daniel T. Gottuk

Fire Safety Challenges of Green Buildings

Brian Meacham, Brandon Poole, Juan Echeverria, Raymond Cheng

Interoperable Electronic Safety Equipment

Casey C Grant

Éléments de théorie des graphes

Alain Bretto, Alain Faisant, François Hennecart

Foundations of Rule Learning

Johannes Fürnkranz, Dragan Gamberger, Nada Lavrač

Operational Semantics and Verification of Security Protocols

Cas Cremers, Sjouke Mauw

Handbook of Natural Computing

Grzegorz Rozenberg, Thomas Bäck, Joost N. Kok

Foundations of Algebraic Specification and Formal Software Development

Donald Sannella, Andrzej Tarlecki

Securing Digital Video

Eric Diehl

Compiler Design

Helmut Seidl, Reinhard Wilhelm, Sebastian Hack

Computer Arithmetic

Mircea Vlăduţiu

Turning Points

Chaomei Chen

Collaborative Financial Infrastructure Protection

Roberto Baldoni, Gregory Chockler

Autonomous Search

Youssef Hamadi, Eric Monfroy, Frédéric Saubion

Physicomimetics

William M. Spears, Diana F. Spears

Analysis of Rare Categories

Jingrui He

Multilingual Information Retrieval

Carol Peters, Martin Braschler, Paul Clough

Electronic Healthcare

Martin Szomszor, Patty Kostkova

LaTeX and Friends

M. R. C. van Dongen

The NCL Natural Constraint Language

Jianyang Zhou

Competence in High Performance Computing 2010

Christian Bischof, Heinz-Gerd Hegering, Wolfgang E. Nagel, Gabriel Wittum

Cryptographic Protocol

Ling Dong, Kefei Chen

Electronique Appliquée, Electromécanique sous Simscape & SimPowerSystems (Matlab/Simulink)

Mohand Mokhtari, Nadia Martaj

Software Process Definition and Management

Jürgen Münch, Ove Armbrust, Martin Kowalczyk, Martín Soto

Computer Architecture

Ana Lucia Varbanescu, Anca Molnos, Rob Nieuwpoort

Bio-Inspired Computing and Applications

De-Shuang Huang, Yong Gan, Prashan Premaratne, Kyungsook Han

Advanced Intelligent Computing

De-Shuang Huang, Yong Gan, Vitoantonio Bevilacqua, Juan Carlos Figueroa

Scale Space and Variational Methods in Computer Vision

Alfred M. Bruckstein, Bart M. Haar Romeny, Alexander M. Bronstein, Michael M. Bronstein

Business Processes for Business Communities

Frank Schönthaler, Gottfried Vossen, Andreas Oberweis, Thomas Karle

Ontology Engineering in a Networked World

Mari Carmen Suárez-Figueroa, Asunción Gómez-Pérez, Enrico Motta, Aldo Gangemi

Semantic Search over the Web

Roberto De Virgilio, Francesco Guerra, Yannis Velegrakis

e-Business and Telecommunications

Mohammad S. Obaidat, George A. Tsihrintzis, Joaquim Filipe

Empirical Software Engineering and Verification

Bertrand Meyer, Martin Nordio

Security and Intelligent Information Systems

Pascal Bouvry, Mieczysław A. Kłopotek, Franck Leprévost, Małgorzata Marciniak, Agnieszka Mykowiecka, Henryk Rybiński

SDL 2011: Integrating System and Software Modeling

Iulian Ober, Ileana Ober

Formal Methods for Components and Objects

Bernhard K. Aichernig, Frank S. Boer, Marcello M. Bonsangue

RFID. Security and Privacy

Ari Juels, Christof Paar

Advances in Image and Video Technology

Yo-Sung Ho

Advances in Image and Video Technology

Yo-Sung Ho

Fuzzy Computational Ontologies in Contexts

Yi Cai, Ching-man Au Yeung, Ho-fung Leung

Data Security and Security Data

Lachlan M. MacKinnon

Graph Drawing

Marc Kreveld, Bettina Speckmann

Principles and Practice of Multi-Agent Systems

Nirmit Desai, Alan Liu, Michael Winikoff

Structure Discovery in Natural Language

Chris Biemann

Mathematical and Engineering Methods in Computer Science

Zdeněk Kotásek, Jan Bouda, Ivana Černá, Lukáš Sekanina, Tomáš Vojnar, David Antoš

Incomplete Information System and Rough Set Theory

Xibei Yang, Jingyu Yang

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence

De-Shuang Huang, Yong Gan, Phalguni Gupta, M. Michael Gromiha

The Semantic Web: ESWC 2011 Workshops

Raúl García-Castro, Dieter Fensel, Grigoris Antoniou

Distributed Computing and Networking

Luciano Bononi, Ajoy K. Datta, Stéphane Devismes, Archan Misra

The Dutch Language in the Digital Age

Georg Rehm, Hans Uszkoreit

The German Language in the Digital Age

Georg Rehm, Hans Uszkoreit

Communication and Networking

Tai-hoon Kim, Hojjat Adeli, Wai-chi Fang, Thanos Vasilakos, Adrian Stoica, Charalampos Z. Patrikakis, Gansen Zhao, Javier García Villalba, Yang Xiao

Software Quality. Process Automation in Software Development

Stefan Biffl, Dietmar Winkler, Johannes Bergsmann

Advanced Agent Technology

Francien Dechesne, Hiromitsu Hattori, Adriaan Mors, Jose Miguel Such, Danny Weyns, Frank Dignum

Empowering Open and Collaborative Governance

Yannis Charalabidis, Sotirios Koussouris

The Finnish Language in the Digital Age

Georg Rehm, Hans Uszkoreit

Formal Aspects of Component Software

Luís Soares Barbosa, Markus Lumpe

Computer and Computing Technologies in Agriculture V

Daoliang Li, Yingyi Chen

Computer and Computing Technologies in Agriculture V

Daoliang Li, Yingyi Chen

Computer and Computing Technologies in Agriculture V

Daoliang Li, Yingyi Chen

Advances in Computer Science and Information Technology. Networks and Communications

Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai

Advances in Computer Science and Information Technology. Computer Science and Engineering

Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai

Advances in Computer Science and Information Technology. Computer Science and Information Technology

Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai

Advances in Multimedia Modeling

Klaus Schoeffmann, Bernard Merialdo, Alexander G. Hauptmann, Chong-Wah Ngo, Yiannis Andreopoulos, Christian Breiteneder

Theory of Security and Applications

Sebastian Mödersheim, Catuscia Palamidessi

Perception and Machine Intelligence

Malay K. Kundu, Sushmita Mitra, Debasis Mazumdar, Sankar K. Pal

Resource Discovery

Zoé Lacroix, María Esther Vidal

Curves and Surfaces

Jean-Daniel Boissonnat, Patrick Chenin, Albert Cohen, Christian Gout, Tom Lyche, Marie-Laurence Mazure, Larry Schumaker

Computer Aided Systems Theory – EUROCAST 2011

Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia

Financial Cryptography and Data Security

George Danezis

Computer Aided Systems Theory – EUROCAST 2011

Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia

Open Problems in Network Security

Jan Camenisch, Dogan Kesdogan

Agents and Data Mining Interaction

Longbing Cao, Ana L. C. Bazzan, Andreas L. Symeonidis, Vladimir I. Gorodetsky, Gerhard Weiss, Philip S. Yu

Computation, Physics and Beyond

Michael J. Dinneen, Bakhadyr Khoussainov, André Nies

SOFSEM 2012: Theory and Practice of Computer Science

Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, György Turán

Ubiquitous Display Environments

Antonio Krüger, Tsvi Kuflik

Practical Aspects of Declarative Languages

Claudio Russo, Neng-Fa Zhou

Knowledge Representation for Health-Care

David Riaño, Annette Teije, Silvia Miksch

Verified Software: Theories, Tools, Experiments

Rajeev Joshi, Peter Müller, Andreas Podelski

Data Engineering and Management

Rajkumar Kannan, Frederic Andres

Information Security Applications

Souhwan Jung, Moti Yung

Foundations and Practice of Security

Joaquin Garcia-Alfaro, Pascal Lafourcade

Grid and Pervasive Computing Workshops

Mika Rautiainen, Timo Korhonen, Edward Mutafungwa, Eila Ovaska, Artem Katasonov, Antti Evesti, Heikki Ailisto, Aaron Quigley, Jonna Häkkilä, Natasa Milic-Frayling, Jukka Riekki

The Correctness-by-Construction Approach to Programming

Derrick G. Kourie, Bruce W. Watson

Information Security Technology for Applications

Tuomas Aura, Kimmo Järvinen, Kaisa Nyberg

Verification, Model Checking, and Abstract Interpretation

Viktor Kuncak, Andrey Rybalchenko

Topics in Cryptology – CT-RSA 2012

Orr Dunkelman

Multimedia for Cultural Heritage

Costantino Grana, Rita Cucchiara

Current Trends in Web Engineering

Andreas Harth, Nora Koch

Membrane Computing

Marian Gheorghe, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan

Eternal Systems

Alessandro Moschitti, Riccardo Scandariato

Advances in Software Engineering Techniques

Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka

Journeys to Data Mining

Mohamed Medhat Gaber

Parameterized and Exact Computation

Dániel Marx, Peter Rossmanith

Bioinformatics for Personalized Medicine

Ana T. Freitas, Arcadi Navarro

Algebraic and Numeric Biology

Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov

Distributed Computing and Internet Technology

R. Ramanujam, Srini Ramaswamy

WALCOM: Algorithms and Computation

Md. Saidur Rahman, Shin-ichi Nakano

Web Information Systems and Technologies

Joaquim Filipe, José Cordeiro

Digital Preservation Technology for Cultural Heritage

Mingquan Zhou, Guohua Geng, Zhongke Wu

The Universal Machine

Ian Watson

Business Process Management Workshops

Florian Daniel, Kamel Barkaoui, Schahram Dustdar

Business Process Management Workshops

Florian Daniel, Kamel Barkaoui, Schahram Dustdar

Event-Driven Surveillance

Kerstin Denecke

Applied Parallel and Scientific Computing

Kristján Jónasson

Transactions on Large-Scale Data- and Knowledge-Centered Systems V

Abdelkader Hameurlain, Josef Küng, Roland Wagner

Applied Parallel and Scientific Computing

Kristján Jónasson

Precision Assembly Technologies and Systems

Svetan Ratchev

Engineering Secure Software and Systems

Gilles Barthe, Benjamin Livshits, Riccardo Scandariato

Wireless Sensor Networks

Gian Pietro Picco, Wendi Heinzelman

Algorithms for Sensor Systems

Thomas Erlebach, Sotiris Nikoletseas, Pekka Orponen

Mathematical Modeling and Computational Science

Gheorghe Adam, Ján Buša, Michal Hnatič

Linked Data in Linguistics

Christian Chiarcos, Sebastian Nordhoff, Sebastian Hellmann

Technological Innovation for Value Creation

Luis M. Camarinha-Matos, Ehsan Shahamatnia, Gonçalo Nunes

Partially Supervised Learning

Friedhelm Schwenker, Edmondo Trentin

Building a National Distributed e-Infrastructure–PL-Grid

Marian Bubak, Tomasz Szepieniec, Kazimierz Wiatr

Conceptual Modelling and Its Theoretical Foundations

Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe

Architecture of Computing Systems – ARCS 2012

Andreas Herkersdorf, Kay Römer, Uwe Brinkschulte

New Frontiers in Applied Data Mining

Longbing Cao, Joshua Zhexue Huang, James Bailey, Yun Sing Koh, Jun Luo

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges

Oscar Camara, Ender Konukoglu, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young

Language and Automata Theory and Applications

Adrian-Horia Dediu, Carlos Martín-Vide

Reconfigurable Computing: Architectures, Tools and Applications

Oliver C. S. Choy, Ray C. C. Cheung, Peter Athanas, Kentaro Sano

Cryptography and Security: From Theory to Applications

David Naccache

Multi-Agent-Based Simulation XII

Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman

Recent Trends in Algebraic Development Techniques

Till Mossakowski, Hans-Jörg Kreowski

Medical Content-Based Retrieval for Clinical Decision Support

Henning Müller, Hayit Greenspan, Tanveer Syeda-Mahmood

Foundations of Information and Knowledge Systems

Thomas Lukasiewicz, Attila Sali

Intelligent Information and Database Systems

Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen

Intelligent Information and Database Systems

Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen

Intelligent Information and Database Systems

Jeng-Shyang Pan, Shyi-Ming Chen, Ngoc Thanh Nguyen

Selected Areas in Cryptography

Ali Miri, Serge Vaudenay

Adaptive and Learning Agents

Peter Vrancx, Matthew Knudson, Marek Grześ

Advances in User Modeling

Liliana Ardissono, Tsvi Kuflik

Transactions on Computational Science XV

Marina L. Gavrilova, C. J. Kenneth Tan, Cong-Vinh Phan

Traffic Monitoring and Analysis

Antonio Pescapè, Luca Salgarelli, Xenofontas Dimitropoulos

Passive and Active Measurement

Nina Taft, Fabio Ricciato

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

Jens B. Schmitt

Latent Variable Analysis and Signal Separation

Fabian Theis, Andrzej Cichocki, Arie Yeredor, Michael Zibulevsky

Abdominal Imaging. Computational and Clinical Applications

Hiroyuki Yoshida, Georgios Sakas, Marius George Linguraru

Agent-Based Technologies and Applications for Enterprise Interoperability

Klaus Fischer, Jörg P. Müller, Renato Levy

VLSI-SoC: Forward-Looking Trends in IC and Systems Design

José L. Ayala, David Atienza Alonso, Ricardo Reis

Self-Organizing Systems

Fernando A. Kuipers, Poul E. Heegaard

Computational Linguistics and Intelligent Text Processing

Alexander Gelbukh

Computational Linguistics and Intelligent Text Processing

Alexander Gelbukh

Business Process Management

Mathias Weske

Web-Age Information Management

Liwei Wang, Jingjue Jiang, Jiaheng Lu, Liang Hong, Bin Liu

Principles of Security and Trust

Pierpaolo Degano, Joshua D. Guttman

Compiler Construction

Michael O’Boyle

Economics of Grids, Clouds, Systems, and Services

Kurt Vanmechelen, Jörn Altmann, Omer F. Rana

Transactions on Data Hiding and Multimedia Security VII

Yun Q. Shi

Requirements Engineering: Foundation for Software Quality

Björn Regnell, Daniela Damian

Logic for Programming, Artificial Intelligence, and Reasoning

Nikolaj Bjørner, Andrei Voronkov

Foundations of Software Science and Computational Structures

Lars Birkedal

Semantic Web Services

Brian Blake, Liliana Cabral, Birgitta König-Ries, Ulrich Küster, David Martin

Tools and Algorithms for the Construction and Analysis of Systems

Cormac Flanagan, Barbara König

Information Processign in Cells and Tissues

Michael A. Lones, Stephen L. Smith, Sarah Teichmann, Felix Naef, James A. Walker, Martin A. Trefzer

Collaborative Information Seeking

Chirag Shah

The Impact of Virtual, Remote, and Real Logistics Labs

Dieter Uckelmann, Bernd Scholz-Reiter, Ingrid Rügge, Bonghee Hong, Antonio Rizzi

Re-conceptualizing Enterprise Information Systems

Charles Møller, Sohail Chaudhry

Software Language Engineering

Anthony Sloane, Uwe Aßmann

Programming Languages and Systems

Helmut Seidl

Fundamental Approaches to Software Engineering

Juan Lara, Andrea Zisman

Data Privacy Management and Autonomous Spontaneus Security

Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Nora Cuppens-Boulahia, Sabrina Capitani di Vimercati

Computational Processing of the Portuguese Language

Helena Caseli, Aline Villavicencio, António Teixeira, Fernando Perdigão

NASA Formal Methods

Alwyn E. Goodloe, Suzette Person

Agile Management

Ángel Medinilla

Theory of Cryptography

Ronald Cramer

Critical Infrastructure Protection

Javier Lopez, Roberto Setola, Stephen D. Wolthusen

Mathematical Modelling and Scientific Computation

P. Balasubramaniam, R. Uthayakumar

Hybrid Artificial Intelligent Systems

Emilio Corchado, Václav Snášel, Ajith Abraham, Michał Woźniak, Manuel Graña, Sung-Bae Cho

Programming Multi-Agent Systems

Rem Collier, Jürgen Dix, Peter Novák

Hybrid Artificial Intelligent Systems

Emilio Corchado, Václav Snášel, Ajith Abraham, Michał Woźniak, Manuel Graña, Sung-Bae Cho

Emerging Trends and Applications in Information Communication Technologies

Bhawani Shankar Chowdhry, Faisal Karim Shaikh, Dil Muhammad Akbar Hussain, Muhammad Aslam Uqaili

Advances in Information Retrieval

Ricardo Baeza-Yates, Arjen P. Vries, Hugo Zaragoza, B. Barla Cambazoglu, Vanessa Murdock, Ronny Lempel, Fabrizio Silvestri

Field Informatics

Toru Ishida

Advances in Cryptology – EUROCRYPT 2012

David Pointcheval, Thomas Johansson

Database Systems for Advanced Applications

Hwanjo Yu, Ge Yu, Wynne Hsu, Yang-Sae Moon, Rainer Unland, Jaesoo Yoo

Resilience Assessment and Evaluation of Computing Systems

Katinka Wolter, Alberto Avritzer, Marco Vieira, Aad van Moorsel

Database Systems for Advanced Applications

Sang-goo Lee, Zhiyong Peng, Xiaofang Zhou, Yang-Sae Moon, Rainer Unland, Jaesoo Yoo

Database Systems for Advanced Applications

Sang-goo Lee, Zhiyong Peng, Xiaofang Zhou, Yang-Sae Moon, Rainer Unland, Jaesoo Yoo

Experimentation in Software Engineering

Claes Wohlin, Per Runeson, Martin Höst, Magnus C. Ohlsson, Björn Regnell, Anders Wesslén

Social Computing, Behavioral - Cultural Modeling and Prediction

Shanchieh Jay Yang, Ariel M. Greenberg, Mica Endsley

Transactions on Edutainment VII

Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Maiga Chang, Mingmin Zhang

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics

Mario Giacobini, Leonardo Vanneschi, William S. Bush

Transactions on Petri Nets and Other Models of Concurrency V

Kurt Jensen, Susanna Donatelli, Jetty Kleijn

Information and Business Intelligence

Xilong Qu, Yuhang Yang

Information and Business Intelligence

Xilong Qu, Yuhang Yang

e-Infrastructure and e-Services for Developing Countries

Radu Popescu-Zeletin, Karl Jonas, Idris A. Rai, Roch Glitho, Adolfo Villafiorita

Ad Hoc Networks

David Simplot-Ryl, Marcelo Dias de Amorim, Silvia Giordano, Ahmed Helmy

Information Security Practice and Experience

Mark D. Ryan, Ben Smyth, Guilin Wang

Declarative Agent Languages and Technologies IX

Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff

Approximation and Online Algorithms

Roberto Solis-Oba, Giuseppe Persiano

Evolutionary Computation in Combinatorial Optimization

Jin-Kao Hao, Martin Middendorf

S-BPM ONE – Scientific Research

Christian Stary

Genetic Programming

Alberto Moraglio, Sara Silva, Krzysztof Krawiec, Penousal Machado, Carlos Cotta

Evolutionary and Biologically Inspired Music, Sound, Art and Design

Penousal Machado, Juan Romero, Adrian Carballal

Protocol Engineering

Hartmut König

Mobile and Ubiquitous Systems: Computing, Networking, and Services

Patrick Sénac, Max Ott, Aruna Seneviratne

Wireless Communications and Applications

Patrick Sénac, Max Ott, Aruna Seneviratne

Information Systems, Technology and Management

Sumeet Dua, Aryya Gangopadhyay, Parimala Thulasiraman, Umberto Straccia, Michael Shepherd, Benno Stein

Applications of Evolutionary Computation

#############

Globalization of Professional Services

Ulrich Bäumer, Peter Kreutter, Wolfgang Messner

Theorie and Applications of Formal Argumentation

Sanjay Modgil, Nir Oren, Francesca Toni

Global Trends in Information Systems and Software Applications

P. Venkata Krishna, M. Rajasekhara Babu, Ezendu Ariwa

Global Trends in Computing and Communication Systems

P. Venkata Krishna, M. Rajasekhara Babu, Ezendu Ariwa

Quality, Reliability, Security and Robustness in Heterogeneous Networks

Xi Zhang, Daji Qiao

Workshops on Business Informatics Research

Laila Niedrite, Renate Strazdina, Benkt Wangler

Web and Wireless Geographical Information Systems

Sergio Martino, Adriano Peron, Taro Tezuka

Web Technologies and Applications

Quan Z. Sheng, Guoren Wang, Christian S. Jensen, Guandong Xu

Electronic Healthcare

Patty Kostkova, Martin Szomszor, David Fowler

Testbeds and Research Infrastructure. Development of Networks and Communities

Thanasis Korakis, Hongbin Li, Phuoc Tran-Gia, Hong-Shik Park

Advanced Computing, Networking and Security

P. Santhi Thilagam, Alwyn Roshan Pais, K. Chandrasekaran, N. Balakrishnan

S-BPM ONE - Education and Industrial Developments

Stefan Oppl, Albert Fleischmann

Fundamentals of Software Engineering

Farhad Arbab, Marjan Sirjani

Games, Actions and Social Software

Jan Eijck, Rineke Verbrugge

Mobile Computing, Applications, and Services

Martin Gris, Guang Yang

LATIN 2012: Theoretical Informatics

David Fernández-Baca

Artificial Intelligence and Soft Computing

Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada

Artificial Intelligence and Soft Computing

Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada

Swarm and Evolutionary Computation

Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada

Transactions on Computational Collective Intelligence VI

Ngoc Thanh Nguyen

Health Information Science

Jing He, Xiaohui Liu, Elizabeth A. Krupinski, Guandong Xu

Camera-Based Document Analysis and Recognition

Masakazu Iwamura, Faisal Shafait

Logic Programs, Norms and Action

Alexander Artikis, Robert Craven, Nihan Kesim Çiçekli, Babak Sadighi, Kostas Stathis

Formal Aspects of Security and Trust

Gilles Barthe, Anupam Datta, Sandro Etalle

Web Technologies and Applications

Hua Wang, Lei Zou, Guangyan Huang, Jing He, Chaoyi Pang, Hao Lan Zhang, Dongyan Zhao, Zhuang Yi

Graph Structures for Knowledge Representation and Reasoning

Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby

Mobile Lightweight Wireless Systems

Javier Ser, Eduard Axel Jorswieck, Joaquin Miguez, Marja Matinmikko, Daniel P. Palomar, Sancho Salcedo-Sanz, Sergio Gil-Lopez

Logic and Program Semantics

Robert L. Constable, Alexandra Silva

Reversible Computation

Alexis Vos, Robert Wille

Information Security Technology for Applications

Peeter Laud

Research in Computational Molecular Biology

Benny Chor

Models in Software Engineering

Jörg Kienzle

Fault Analysis in Cryptography

Marc Joye, Michael Tunstall

Communication Technologies for Vehicles

Alexey Vinel, Rashid Mehmood, Marion Berbineau, Cristina Rico Garcia, Chung-Ming Huang, Naveen Chilamkurti

The Reality of the Artificial

Massimo Negrotti

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management

Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang

Perspectives of Systems Informatics

Edmund Clarke, Irina Virbitskaite, Andrei Voronkov

Wireless Mobile Communication and Healthcare

Konstantina S. Nikita, James C. Lin, Dimitrios I. Fotiadis, Maria-Teresa Arredondo Waldmeyer

Euro-Par 2011: Parallel Processing Workshops

Michael Alexander, Pasqua D’Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Traff, Geoffroy Vallée, Josef Weidendorfer

Euro-Par 2011: Parallel Processing Workshops

Michael Alexander, Pasqua D’Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Traff, Geoffroy Vallée, Josef Weidendorfer

IS Olympics: Information Systems in a Diverse World

Selmin Nurcan

Digital Urban Modeling and Simulation

Stefan Müller Arisona, Gideon Aschwanden, Jan Halatsch, Peter Wonka

Business Modeling and Software Design

Boris Shishkov

Public Key Infrastructures, Services and Applications

Svetla Petkova-Nikova, Andreas Pashalidis, Günther Pernul

Advances in K-means Clustering

Junjie Wu

Functional and Logic Programming

Tom Schrijvers, Peter Thiemann

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

Brian Henderson-Sellers

Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems

Nicolas Beldiceanu, Narendra Jussien, Éric Pinson

Web Services and Formal Methods

Marco Carbone, Jean-Marc Petit

Mathematics of Discrete Structures for Computer Science

Gordon J. Pace

Large-Scale Scientific Computing

Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski

Trust Management VI

Theo Dimitrakos, Rajat Moona, Dhiren Patel, D. Harrison McKnight

Runtime Verification

Sarfraz Khurshid, Koushik Sen

Design Science Research in Information Systems. Advances in Theory and Practice

Ken Peffers, Marcus Rothenberger, Bill Kuechler

E-Life: Web-Enabled Convergence of Commerce, Work, and Social Life

Michael J. Shaw, Dongsong Zhang, Wei T. Yue

Financial Cryptography and Data Security

George Danezis, Sven Dietrich, Kazue Sako

Formal Concept Analysis

Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans

Advances in Enterprise Engineering VI

Antonia Albani, David Aveiro, Joseph Barjis

Constructive Side-Channel Analysis and Secure Design

Werner Schindler, Sorin A. Huss

The Semantic Web

Jeff Z. Pan, Huajun Chen, Hong-Gee Kim, Juanzi Li, Zhe Wu, Ian Horrocks, Riichiro Mizoguchi, Zhaohui Wu

Recent Advances in Reinforcement Learning

Scott Sanner, Marcus Hutter

Theory and Applications of Models of Computation

Manindra Agrawal, S. Barry Cooper, Angsheng Li

Enterprise Information Systems

Runtong Zhang, Juliang Zhang, Zhenji Zhang, Joaquim Filipe, José Cordeiro

Security and Trust Management

Catherine Meadows, Carmen Fernandez-Gago

NETWORKING 2012 Workshops

Zdenek Becvar, Robert Bestak, Lukas Kencl

Engineering Secure Two-Party Computation Protocols

Thomas Schneider

NETWORKING 2012

Robert Bestak, Lukas Kencl, Li Erran Li, Joerg Widmer, Hao Yin

NETWORKING 2012

Robert Bestak, Lukas Kencl, Li Erran Li, Joerg Widmer, Hao Yin

Public Key Cryptography – PKC 2012

Marc Fischlin, Johannes Buchmann, Mark Manulis

Trustworthy Global Computing

Roberto Bruni, Vladimiro Sassone

Bioinformatics Research and Applications

Leonidas Bleris, Ion Măndoiu, Russell Schwartz, Jianxin Wang

Intelligent Technologies for Interactive Entertainment

Antonio Camurri, Cristina Costa

Advances in Knowledge Discovery and Data Mining

Pang-Ning Tan, Sanjay Chawla, Chin Kuan Ho, James Bailey

Advances in Knowledge Discovery and Data Mining

Pang-Ning Tan, Sanjay Chawla, Chin Kuan Ho, James Bailey

Computational Topology in Image Context

Massimo Ferri, Patrizio Frosini, Claudia Landi, Andrea Cerri, Barbara Fabio

The Future Internet

#############

Security and Privacy in Mobile Information and Communication Systems

Ramjee Prasad, Károly Farkas, Andreas U. Schmidt, Antonio Lioy, Giovanni Russello, Flaminia L. Luccio

The Semantic Web: Research and Applications

Elena Simperl, Philipp Cimiano, Axel Polleres, Oscar Corcho, Valentina Presutti

Fun with Algorithms

Evangelos Kranakis, Danny Krizanc, Flaminia Luccio

Agile Processes in Software Engineering and Extreme Programming

Claes Wohlin

Advances in Artificial Intelligence

Leila Kosseim, Diana Inkpen

Business Information Systems

Witold Abramowicz, Dalia Kriksciuniene, Virgilijus Sakalauskas

Game Theory for Networks

Rahul Jain, Rajgopal Kannan

Broadband Communications, Networks, and Systems

Ioannis Tomkos, Christos J. Bouras, Georgios Ellinas, Panagiotis Demestichas, Prasun Sinha

Telecommunication Economics

Antonis M. Hadjiantonis, Burkhard Stiller

Facing the Multicore - Challenge II

Rainer Keller, David Kramer, Jan-Philipp Weiss

Enabling Flexibility in Process-Aware Information Systems

Manfred Reichert, Barbara Weber

Mobile Multimedia Communications

Luigi Atzori, Jaime Delgado, Daniele Giusto

Mobile Networks and Management

Kostas Pentikousis, Rui Aguiar, Susana Sargento, Ramón Agüero

Intelligence and Security Informatics

Michael Chau, G. Alan Wang, Wei Thoo Yue, Hsinchun Chen

Modeling and Simulation in Engineering, Economics and Management

Kurt J. Engemann, Anna M. Gil-Lafuente, José M. Merigó

Information Security and Privacy Research

Dimitris Gritzalis, Steven Furnell, Marianthi Theoharidou

Software Process Improvement and Capability Determination

Antonia Mas, Antoni Mesquida, Terry Rout, Rory V. O’Connor, Alec Dorling

Artificial Intelligence: Theories and Applications

Ilias Maglogiannis, Vassilis Plagianakos, Ioannis Vlahavas

Tests and Proofs

Achim D. Brucker, Jacques Julliand

Theory and Practice of Model Transformations

Zhenjiang Hu, Juan Lara

Wireless Internet

Pinyi Ren, Chao Zhang, Xin Liu, Pei Liu, Song Ci

Networked Digital Technologies

Rachid Benlamri

Algorithms and Models for the Web Graph

Anthony Bonato, Jeannette Janssen

Objects, Models, Components, Patterns

Carlo A. Furia, Sebastian Nanz

Software Composition

Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book

Networked Digital Technologies

Rachid Benlamri

Reliable Software Technologies – Ada-Europe 2012

Mats Brorsson, Luís Miguel Pinho

Mobile Wireless Middleware, Operating Systems, and Applications

Nalini Venkatasubramanian, Vladimir Getov, Stephan Steglich

Sequences and Their Applications – SETA 2012

Tor Helleseth, Jonathan Jedwab

Information Processing in Computer-Assisted Interventions

Purang Abolmaesumi, Leo Joskowicz, Nassir Navab, Pierre Jannin

Wired/Wireless Internet Communication

Yevgeni Koucheryavy, Lefteris Mamatas, Ibrahim Matta, Vassilis Tsaoussidis

Dependable Networks and Services

Ramin Sadre, Jiří Novotný, Pavel Čeleda, Martin Waldburger, Burkhard Stiller

Computer Science – Theory and Applications

Edward A. Hirsch, Juhani Karhumäki, Arto Lepistö, Michail Prilutskii

Advances in Computational Intelligence

Jing Liu, Cesare Alippi, Bernadette Bouchon-Meunier, Garrison W. Greenwood, Hussein A. Abbass

Scientific Workflows

Jun Qin, Thomas Fahringer

Multimedia Communications, Services and Security

Andrzej Dziech, Andrzej Czyżewski

Integrated Formal Methods

John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne

Correct Reasoning

Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce

Software Business

Michael A. Cusumano, Bala Iyer, N. Venkatraman

Advances in Grid and Pervasive Computing

Ruixuan Li, Jiannong Cao, Julien Bourgeois

Shall We Play the Festschrift Game?

Diana Santos, Krister Lindén, Wanjiku Ng’ang’a

Impact Analysis of Solutions for Chronic Disease Prevention and Management

Mark Donnelly, Cristiano Paggetti, Chris Nugent, Mounir Mokhtari

Analytical and Stochastic Modeling Techniques and Applications

Khalid Al-Begain, Dieter Fiems, Jean-Marc Vincent

Formal Techniques for Distributed Systems

Holger Giese, Grigore Rosu

Distributed Applications and Interoperable Systems

Karl Michael Göschka, Seif Haridi

Coordination Models and Languages

Marjan Sirjani

Software Service and Application Engineering

Maritta Heisel

Experimental Algorithms

Ralf Klasing

How the World Computes

S. Barry Cooper, Anuj Dawar, Benedikt Löwe

Abstract State Machines, Alloy, B, VDM, and Z

John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene

The Multivariate Algorithmic Revolution and Beyond

Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx

Auctions, Market Mechanisms, and Their Applications

Peter Coles, Sanmay Das, Sébastien Lahaie, Boleslaw Szymanski

Trust and Trustworthy Computing

Stefan Katzenbeisser, Edgar Weippl, L. Jean Camp, Melanie Volkamer, Mike Reiter, Xinwen Zhang

Agent and Multi-Agent Systems. Technologies and Applications

Gordan Jezic, Mario Kusek, Ngoc-Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain

Intelligent Tutoring Systems

Stefano A. Cerri, William J. Clancey, Giorgos Papadourakis, Kitty Panourgia

Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems

Ioannis Askoxylakis, Henrich C. Pöhls, Joachim Posegga

OpenMP in a Heterogeneous World

Barbara M. Chapman, Federico Massaioli, Matthias S. Müller, Marco Rorro

Mobile and Ubiquitous Systems: Computing, Networking, and Services

Alessandro Puiatti, Tao Gu

Advances in Swarm Intelligence

Ying Tan, Yuhui Shi, Zhen Ji

Formal Methods for Model-Driven Engineering

Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio

Advances in Swarm Intelligence

Ying Tan, Yuhui Shi, Zhen Ji

Persuasive Technology. Design for Health and Safety

Magnus Bang, Eva L. Ragnemalm

Data Integration in the Life Sciences

Olivier Bodenreider, Bastien Rance

ECOOP 2012 – Object-Oriented Programming

James Noble

Product-Focused Software Process Improvement

Oscar Dieste, Andreas Jedlitschka, Natalia Juristo

Advanced Information Systems Engineering Workshops

Marko Bajec, Johann Eder

Enterprise, Business-Process and Information Systems Modeling

Ilia Bider, Terry Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Pnina Soffer, Stanisław Wrycza

Computational Science and Its Applications – ICCSA 2012

Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan

Advanced Research in Applied Artificial Intelligence

He Jiang, Wei Ding, Moonis Ali, Xindong Wu

Advanced Information Systems Engineering

Jolita Ralyté, Xavier Franch, Sjaak Brinkkemper, Stanislaw Wrycza

Structural Information and Communication Complexity

Guy Even, Magnús M. Halldórsson

Mathematics of Program Construction

Jeremy Gibbons, Pablo Nogueira

Computational Science and Its Applications – ICCSA 2012

Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan

Computational Science and Its Applications – ICCSA 2012

Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan

Application and Theory of Petri Nets

Serge Haddad, Lucia Pomello

Practice-Driven Research on Enterprise Transformation

Erik Proper, Khaled Gaaloul, Frank Harmsen, Stanisław Wrycza

Computational Science and Its Applications – ICCSA 2012

Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan

Pattern Recognition

Jesús Ariel Carrasco-Ochoa, José Francisco Martínez-Trinidad, José Arturo Olvera López, Kim L. Boyer

Algorithm Theory – SWAT 2012

Fedor V. Fomin, Petteri Kaski

Data Matching

Peter Christen

Controlled Natural Language

Michael Rosner, Norbert E. Fuchs

Natural Language Processing and Information Systems

Gosse Bouma, Ashwin Ittoo, Elisabeth Métais, Hans Wortmann

Information from Processes

Robert M. Losee

Information Technologies in Biomedicine

Ewa Piętka, Jacek Kawa

Systems, Software and Services Process Improvement

Dietmar Winkler, Rory V. O’Connor, Richard Messnarz

Multicore Software Engineering, Performance, and Tools

Victor Pankratius, Michael Philippsen

Pervasive Computing

Judy Kay, Paul Lukowicz, Hideyuki Tokuda, Patrick Olivier, Antonio Krüger

Computer Networks

Andrzej Kwiecień, Piotr Gaj, Piotr Stera

Diagrammatic Representation and Inference

Philip Cox, Beryl Plimmer, Peter Rodgers

Scientific and Statistical Database Management

Anastasia Ailamaki, Shawn Bowers

Image and Signal Processing

Abderrahim Elmoataz, Driss Mammass, Olivier Lezoray, Fathallah Nouboud, Driss Aboutajdine

Logical Aspects of Computational Linguistics

Denis Béchet, Alexander Dikovsky

Combinatorial Pattern Matching

Juha Kärkkäinen, Jens Stoye

Breast Imaging

Andrew D. A. Maidment, Predrag R. Bakic, Sara Gavenonis

Multidisciplinary Information Retrieval

Michail Salampasis, Birger Larsen

Applied Cryptography and Network Security

Feng Bao, Pierangela Samarati, Jianying Zhou

Image Analysis and Recognition

Aurélio Campilho, Mohamed Kamel

Image Analysis and Recognition

Aurélio Campilho, Mohamed Kamel

Biomedical Image Registration

Benoît M. Dawant, Gary E. Christensen, J. Michael Fitzpatrick, Daniel Rueckert

Advances in Neural Networks – ISNN 2012

Jun Wang, Gary G. Yen, Marios M. Polycarpou

Advances in Neural Networks – ISNN 2012

Jun Wang, Gary G. Yen, Marios M. Polycarpou

Automated Reasoning

Bernhard Gramlich, Dale Miller, Uli Sattler

Autonomous and Intelligent Systems

Mohamed Kamel, Fakhri Karray, Hani Hagras

Intelligent Computer Mathematics

Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge

Engaging Learners Through Emerging Technologies

Kam Cheong Li, Fu Lee Wang, Kin Sun Yuen, Simon K. S. Cheung, Reggie Kwan

Haptics: Perception, Devices, Mobility, and Communication

Poika Isokoski, Jukka Springare

Haptics: Perception, Devices, Mobility, and Communication

Poika Isokoski, Jukka Springare

Progress in Cryptology - AFRICACRYPT 2012

Aikaterini Mitrokotsa, Serge Vaudenay

Computer Aided Verification

P. Madhusudan, Sanjit A. Seshia

Transactions on Edutainment VIII

Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Maiga Chang, Mingmin Zhang

Information Security and Privacy

Willy Susilo, Yi Mu, Jennifer Seberry

User Modeling, Adaptation, and Personalization

Judith Masthoff, Bamshad Mobasher, Michel C. Desmarais, Roger Nkambou

Parallel Processing and Applied Mathematics

Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski

New Directions in Logic, Language and Computation

Daniel Lassiter, Marija Slavkovik

Tools for High Performance Computing 2011

Holger Brunst, Matthias S. Müller, Wolfgang E. Nagel, Michael M. Resch

Constructing Ambient Intelligence

Reiner Wichert, Kristof Laerhoven, Jean Gelissen

Logic, Language and Meaning

Maria Aloni, Vadim Kimmelman, Floris Roelofsen, Galit W. Sassoon, Katrin Schulz, Matthijs Westera

Lectures on Logic and Computation

Nick Bezhanishvili, Valentin Goranko

Advances in Data Mining. Applications and Theoretical Aspects

Petra Perner

Modelling Foundations and Applications

Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos

Progress in VLSI Design and Test

Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay

Parallel Processing and Applied Mathematics

Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski

Computers Helping People with Special Needs

Klaus Miesenberger, Arthur Karshmer, Petr Penaz, Wolfgang Zagler

Biomimetic and Biohybrid Systems

Tony J. Prescott, Nathan F. Lepora, Anna Mura, Paul F. M. J. Verschure

Computers Helping People with Special Needs

Klaus Miesenberger, Arthur Karshmer, Petr Penaz, Wolfgang Zagler

Machine Learning and Data Mining in Pattern Recognition

Petra Perner

Data and Applications Security and Privacy XXVI

Nora Cuppens-Boulahia, Frédéric Cuppens, Joaquin Garcia-Alfaro

The Logic of Categorial Grammars

Richard Moot, Christian Retoré

Advances in Brain Inspired Cognitive Systems

Huaguang Zhang, Amir Hussain, Derong Liu, Zhanshan Wang

Articulated Motion and Deformable Objects

Francisco J. Perales, Robert B. Fisher, Thomas B. Moeslund

Deontic Logic in Computer Science

Thomas Ågotnes, Jan Broersen, Dag Elgesem

Intelligent Computing Theories and Applications

De-Shuang Huang, Jianhua Ma, Kang-Hyun Jo, M. Michael Gromiha

Automata, Languages, and Programming

Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer

Intelligent Computing Technology

De-Shuang Huang, Changjun Jiang, Vitoantonio Bevilacqua, Juan Carlos Figueroa

Automata, Languages, and Programming

Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer

Implementation and Application of Automata

Nelma Moreira, Rogério Reis

Theory and Applications of Satisfiability Testing – SAT 2012

Alessandro Cimatti, Roberto Sebastiani

Descriptional Complexity of Formal Systems

Martin Kutrib, Nelma Moreira, Rogério Reis

Ad-hoc, Mobile, and Wireless Networks

Xiang-Yang Li, Symeon Papavassiliou, Stefan Ruehrup

Languages Alive

Henning Bordihn, Martin Kutrib, Bianca Truthe

Developments in Language Theory

Hsu-Chun Yen, Oscar H. Ibarra

Arithmetic of Finite Fields

Ferruh Özbudak, Francisco Rodríguez-Henríquez

Privacy and Identity Management for Life

Jan Camenisch, Bruno Crispo, Simone Fischer-Hübner, Ronald Leenes, Giovanni Russello

Privacy Enhancing Technologies

Simone Fischer-Hübner, Matthew Wright

Wireless Networks and Computational Intelligence

K. R. Venugopal, L. M. Patnaik

Advances on Computational Intelligence

Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager

Advances in Computational Intelligence

Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager

Advances in Computational Intelligence

Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager

Advances in Computational Intelligence

Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager

Computers and Creativity

Jon McCormack, Mark d’Inverno

Methodologies and Technologies for Networked Enterprises

Giuseppe Anastasi, Emilio Bellini, Elisabetta Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo

Web Engineering

Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf

Model Checking Software

Alastair Donaldson, David Parker

Formal Verification of Object-Oriented Software

Bernhard Beckert, Ferruccio Damiani, Dilian Gurov

Combinatorial Optimization and Applications

Guohui Lin

Virtual and Networked Organizations, Emergent Technologies and Tools

Goran D. Putnik, Maria Manuela Cruz-Cunha

Agents and Peer-to-Peer Computing

Domenico Beneventano, Zoran Despotovic, Francesco Guerra, Sam Joseph, Gianluca Moro, Adrián Perreau Pinninck

Bisociative Knowledge Discovery

Michael R. Berthold

Emerging Intelligent Computing Technology and Applications

De-Shuang Huang, Phalguni Gupta, Xiang Zhang, Prashan Premaratne

Advances in Computer Games

H. Jaap Herik, Aske Plaat

Wireless Algorithms, Systems, and Applications

Xinbing Wang, Rong Zheng, Tao Jing, Kai Xing

Service-Oriented Computing - ICSOC 2011 Workshops

George Pallis, Mohamed Jmaiel, Anis Charfi, Sven Graupner, Yücel Karabulut, Sam Guinea, Florian Rosenberg, Quan Z. Sheng, Cesare Pautasso, Sonia Mokhtar

Rough Sets and Knowledge Technology

Tianrui Li, Hung Son Nguyen, Guoyin Wang, Jerzy Grzymala-Busse, Ryszard Janicki, Aboul Ella Hassanien, Hong Yu

Transactions on Rough Sets XV

James F. Peters, Andrzej Skowron

Security and Privacy in Communication Networks

Muttukrishnan Rajarajan, Fred Piper, Haining Wang, George Kesidis

Information Security and Cryptology - ICISC 2011

Howon Kim

Programming Multi-Agent Systems

Louise Dennis, Olivier Boissier, Rafael H. Bordini

Intelligent Science and Intelligent Data Engineering

Yanning Zhang, Zhi-Hua Zhou, Changshui Zhang, Ying Li

Advances in Bioinformatics and Computational Biology

Marcilio C. Souto, Maricel G. Kann

Inductive Logic Programming

Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi

Communications and Information Processing

Maotai Zhao, Junpin Sha

Communications and Information Processing

Maotai Zhao, Junpin Sha

Transactions on Data Hiding and Multimedia Security VIII

Yun Q. Shi, Stefan Katzenbeisser

Speech, Sound and Music Processing: Embracing Research in India

Sølvi Ystad, Mitsuko Aramaki, Richard Kronland-Martinet, Kristoffer Jensen, Sanghamitra Mohanty

Advances in Cryptology – CRYPTO 2012

Reihaneh Safavi-Naini, Ran Canetti

Hybrid Learning

Simon K. S. Cheung, Joseph Fong, Lam-For Kwok, Kedong Li, Reggie Kwan

Formal Grammar

Philippe Groote, Mark-Jan Nederhof

Trends in Functional Programming

Ricardo Peña, Rex Page

RoboCup 2011: Robot Soccer World Cup XV

Thomas Röfer, N. Michael Mayer, Jesus Savage, Uluc̨ Saranlı

Transactions on Computational Collective Intelligence VII

Ngoc Thanh Nguyen

New Frontiers in Artificial Intelligence

Manabu Okumura, Daisuke Bekki, Ken Satoh

Central European Functional Programming School

Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer

Eco-friendly Computing and Communication Systems

Jimson Mathew, Priyadarshan Patra, Dhiraj K. Pradhan, A. J. Kuttyamma

Rough Sets and Current Trends in Computing

JingTao Yao, Yan Yang, Roman Słowiński, Salvatore Greco, Huaxiong Li, Sushmita Mitra, Lech Polkowski

Software Testing in the Cloud

Scott Tilley, Tauhida Parveen

Contemporary Computing

Manish Parashar, Dinesh Kaushik, Omer F. Rana, Ravi Samtaney, Yuanyuan Yang, Albert Zomaya

Combinatorial Optimization

A. Ridha Mahjoub, Vangelis Markakis, Ioannis Milis, Vangelis Th. Paschos

Similarity Search and Applications

Gonzalo Navarro, Vladimir Pestov

Decision Support Systems – Collaborative Models and Approaches in Real Environments

Jorge E. Hernández, Pascale Zarate, Fátima Dargam, Boris Delibašić, Shaofeng Liu, Rita Ribeiro

Generic and Indexed Programming

Jeremy Gibbons

Digital Forensics and Watermarking

Yun Qing Shi, Hyoung-Joong Kim, Fernando Perez-Gonzalez

DNA Computing and Molecular Programming

Darko Stefanovic, Andrew Turberfield

Logic-Based Program Synthesis and Transformation

Germán Vidal

Computing and Combinatorics

Joachim Gudmundsson, Julián Mestre, Taso Viglas

Nordic Contributions in IS Research

Christina Keller, Mikael Wiberg, Pär J. Ågerfalk, Jenny S. Z. Eriksson Lundström

E-Commerce and Web Technologies

Christian Huemer, Pasquale Lops

Web-Age Information Management

Hong Gao, Lipyeow Lim, Wei Wang, Chuan Li, Lei Chen

Information Theoretic Security

Adam Smith

Trust, Privacy and Security in Digital Business

Simone Fischer-Hübner, Sokratis Katsikas, Gerald Quirchmayr

Trusted Systems

Liqun Chen, Moti Yung, Liehuang Zhu

IT Revolutions

Matías Liñán Reyes, José M. Flores Arias, Juan J. González de la Rosa, Josef Langer, Francisco J. Bellido Outeiriño, Antonio Moreno-Munñoz

Applications of Discrete Geometry and Mathematical Morphology

Ullrich Köthe, Annick Montanvert, Pierre Soille

Mobile Computing, Applications, and Services

Joy Ying Zhang, Jarek Wilkiewicz, Ani Nahapetian

Believable Bots

Philip Hingston

Agents for Educational Games and Simulations

Martin Beer, Cyril Brom, Frank Dignum, Von-Wun Soo

Modeling Time in Computing

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

Data Management in Cloud, Grid and P2P Systems

Abdelkader Hameurlain, Farookh Khadeer Hussain, Franck Morvan, A Min Tjoa

Interactive Theorem Proving

Lennart Beringer, Amy Felty

Foundations of Health Informatics Engineering and Systems

Zhiming Liu, Alan Wassyng

Subject-Oriented Business Process Management

Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger

Information Technology in Bio- and Medical Informatics

Christian Böhm, Sami Khuri, Lenka Lhotská, M. Elena Renda

Internet of Things

Yongheng Wang, Xiaoming Zhang

Computational Intelligence for Multimedia Understanding

Emanuele Salerno, A. Enis Çetin, Ovidio Salvetti

Business System Management and Engineering

Claudio A. Ardagna, Ernesto Damiani, Leszek A. Maciaszek, Michele Missikoff, Michael Parkin

Formal Methods for Industrial Critical Systems

Mariëlle Stoelinga, Ralf Pinger

Foundational and Practical Aspects of Resource Analysis

Ricardo Peña, Marko Eekelen, Olha Shkaravska

Multidisciplinary Research and Practice for Information Systems

Gerald Quirchmayr, Josef Basl, Ilsun You, Lida Xu, Edgar Weippl

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques

Anupam Gupta, Klaus Jansen, José Rolim, Rocco Servedio

Advances in Autonomous Robotics

Guido Herrmann, Matthew Studley, Martin Pearson, Andrew Conn, Chris Melhuish, Mark Witkowski, Jong-Hwan Kim, Prahlad Vadakkepat

Knowledge Management and Acquisition for Intelligent Systems

Deborah Richards, Byeong Ho Kang

Signal Processing and Information Technology

Vinu V. Das, Ezendu Ariwa, Syarifah Bahiyah Rahayu

Data Warehousing and Knowledge Discovery

Alfredo Cuzzocrea, Umeshwar Dayal

Mathematical Foundations of Computer Science 2012

Branislav Rovan, Vladimiro Sassone, Peter Widmayer

Database and Expert Systems Applications

Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou

Database and Expert Systems Applications

Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou

ICT as Key Technology against Global Warming

Axel Auweter, Dieter Kranzlmüller, Amirreza Tahamtan, A Min Tjoa

Cooperative Design, Visualization, and Engineering

Yuhua Luo

Controlled Natural Language

Tobias Kuhn, Norbert E. Fuchs

Bio-Inspired Models of Network, Information, and Computing Systems

Junichi Suzuki, Tadashi Nakano

Logic, Language, Information and Computation

Luke Ong, Ruy Queiroz

Topics in Performance Evaluation, Measurement and Characterization

Raghunath Nambiar, Meikel Poess

Augmented Environments for Computer-Assisted Interventions

Cristian A. Linte, John T. Moore, Elvis C. S. Chen, David R. Holmes

Intelligent Data Engineering and Automated Learning - IDEAL 2012

Hujun Yin, José A. F. Costa, Guilherme Barreto

Convergence and Hybrid Information Technology

Geuk Lee, Daniel Howard, Jeong Jin Kang, Dominik Ślęzak

Swarm Intelligence

Marco Dorigo, Mauro Birattari, Christian Blum, Anders Lyhne Christensen, Andries P. Engelbrecht, Roderich Groß, Thomas Stützle

Transactions on Computational Science XVI

Marina L. Gavrilova, C. J. Kenneth Tan

Uncertainty Quantification in Scientific Computing

Andrew M. Dienstfrey, Ronald F. Boisvert

Internet of Things, Smart Spaces, and Next Generation Networking

Sergey Andreev, Sergey Balandin, Yevgeni Koucheryavy

Rules on the Web: Research and Applications

Antonis Bikakis, Adrian Giurca

Convergence and Hybrid Information Technology

Geuk Lee, Daniel Howard, Dominik Ślęzak, You Sik Hong

PRICAI 2012: Trends in Artificial Intelligence

Patricia Anthony, Mitsuru Ishizuka, Dickson Lukose

Advancing Democracy, Government and Governance

Andrea Kő, Christine Leitner, Herbert Leitold, Alexander Prosser

Bio-Inspired Models of Networks, Information, and Computing Systems

Emma Hart, Jon Timmis, Paul Mitchell, Takadash Nakamo, Foad Dabiri

Pattern Recognition

Axel Pinz, Thomas Pock, Horst Bischof, Franz Leberl

PRIMA 2012: Principles and Practice of Multi-Agent Systems

Iyad Rahwan, Wayne Wobcke, Sandip Sen, Toshiharu Sugawara

Spatial Cognition VIII

Cyrill Stachniss, Kerstin Schill, David Uttal

E-Voting and Identity

Aggelos Kiayias, Helger Lipmaa

FM 2012: Formal Methods

Dimitra Giannakopoulou, Dominique Méry

VLSI-SoC: Advanced Research for Systems on Chip

Salvador Mir, Chi-Ying Tsui, Ricardo Reis, Oliver C. S. Choy

Collaborative Networks in the Internet of Services

Luis M. Camarinha-Matos, Lai Xu, Hamideh Afsarmanesh

Sensor Systems and Software

Francisco Martins, Luís Lopes, Hervé Paulino

Coalgebraic Methods in Computer Science

Dirk Pattinson, Lutz Schröder

Text, Speech and Dialogue

Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala

Haptic and Audio Interaction Design

Charlotte Magnusson, Delphine Szymczak, Stephen Brewster

Communications and Multimedia Security

Bart Decker, David W. Chadwick

Information and Communication Technologies

Róbert Szabó, Attila Vidács

Euro-Par 2012 Parallel Processing

Christos Kaklamanis, Theodore Papatheodorou, Paul G. Spirakis

Knowledge Technology

Dickson Lukose, Abdul Rahim Ahmad, Azizah Suliman

Exploring the Abyss of Inequalities

Kristina Eriksson-Backa, Annika Luoma, Erica Krook

Secure Data Management

Willem Jonker, Milan Petković

Business Process Management

Alistair Barros, Avigdor Gal, Ekkart Kindler

Intelligent Information Processing VI

Zhongzhi Shi, David Leake, Sunil Vadera

Unconventional Computation and Natural Computation

Jérôme Durand-Lose, Nataša Jonoska

Computational Logic in Multi-Agent Systems

Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori

Engineering Applications of Neural Networks

Chrisina Jayne, Shigang Yue, Lazaros Iliadis

Datalog in Academia and Industry

Pablo Barceló, Reinhard Pichler

Security and Cryptography for Networks

Ivan Visconti, Roberto Prisco

Parallel Problem Solving from Nature - PPSN XII

Carlos A. Coello Coello, Vincenzo Cutello, Kalyanmoy Deb, Stephanie Forrest, Giuseppe Nicosia, Mario Pavone

CONCUR 2012 – Concurrency Theory

Maciej Koutny, Irek Ulidowski

Theoretical Aspects of Computing – ICTAC 2012

Abhik Roychoudhury, Meenakshi D’Souza

Financial Cryptography and Data Security

Angelos D. Keromytis

Parallel Problem Solving from Nature - PPSN XII

Carlos A. Coello Coello, Vincenzo Cutello, Kalyanmoy Deb, Stephanie Forrest, Giuseppe Nicosia, Mario Pavone

Computer Algebra in Scientific Computing

Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov

Case-Based Reasoning Research and Development

Belén Díaz Agudo, Ian Watson

Geographic Information Science

Ningchuan Xiao, Mei-Po Kwan, Michael F. Goodchild, Shashi Shekhar

Cryptographic Hardware and Embedded Systems – CHES 2012

Emmanuel Prouff, Patrick Schaumont

Web-Age Information Management

Zhifeng Bao, Yunjun Gao, Yu Gu, Longjiang Guo, Yingshu Li, Jiaheng Lu, Zujie Ren, Chaokun Wang, Xiao Zhang

Algorithms and Architectures for Parallel Processing

Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Zomaya

Enterprise Interoperability

Marten Sinderen, Pontus Johnson, Xiaofei Xu, Guy Doumeingts

Advances in Databases and Information Systems

Tadeusz Morzy, Theo Härder, Robert Wrembel

Algorithms and Architectures for Parallel Processing

Yang Xiang, Ivan Stojmenovic, Bernady O. Apduhan, Guojun Wang, Koji Nakano, Albert Zomaya

Algorithms – ESA 2012

Leah Epstein, Paolo Ferragina

From Animals to Animats 12

Tom Ziemke, Christian Balkenius, John Hallam

Search Based Software Engineering

Gordon Fraser, Jerffeson Teixeira de Souza

Algorithms in Bioinformatics

Ben Raphael, Jijun Tang

Static Analysis

Antoine Miné, David Schmidt

Advanced Concepts for Intelligent Vision Systems

Jacques Blanc-Talon, Wilfried Philips, Dan Popescu, Paul Scheunders, Pavel Zemčík

Argumentation in Multi-Agent Systems

Peter McBurney, Simon Parsons, Iyad Rahwan

Business Process Model and Notation

Jan Mendling, Matthias Weidlich

Reasoning Web. Semantic Technologies for Advanced Query Answering

Thomas Eiter, Thomas Krennwallner

Future Security

Nils Aschenbruck, Peter Martini, Michael Meier, Jens Tölle

Computer Security – ESORICS 2012

Sara Foresti, Moti Yung, Fabio Martinelli

Software Engineering for Resilient Systems

Paris Avgeriou

Advances in Visual Computing

George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Charless Fowlkes, Sen Wang, Min-Hyung Choi, Stephan Mantler, Jürgen Schulze, Daniel Acevedo, Klaus Mueller, Michael Papka

Programming Languages

Francisco Heron Carvalho Junior, Luis Soares Barbosa

Artificial Intelligence: Methodology, Systems, and Applications

Allan Ramsay, Gennady Agre

Advances in Visual Computing

George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Charless Fowlkes, Sen Wang, Min-Hyung Choi, Stephan Mantler, Jürgen Schulze, Daniel Acevedo, Klaus Mueller, Michael Papka

Intelligent Virtual Agents

Yukiko Nakano, Michael Neff, Ana Paiva, Marilyn Walker

Web Reasoning and Rule Systems

Markus Krötzsch, Umberto Straccia

Artificial Neural Networks in Pattern Recognition

Nadia Mana, Friedhelm Schwenker, Edmondo Trentin

Knowledge and Technologies in Innovative Information Systems

Hakikur Rahman, Anabela Mesquita, Isabel Ramos, Barbara Pernici

Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics

Tiziana Catarci, Pamela Forner, Djoerd Hiemstra, Anselmo Peñas, Giuseppe Santucci

Electronic Participation

Efthimios Tambouris, Ann Macintosh, Øystein Sæbø

Computer Information Systems and Industrial Management

Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń

21st Century Learning for 21st Century Skills

Andrew Ravenscroft, Stefanie Lindstaedt, Carlos Delgado Kloos, Davinia Hernández-Leo

Artificial Neural Networks and Machine Learning – ICANN 2012

Alessandro E. Villa, Włodzisław Duch, Péter Érdi, Francesco Masulli, Günther Palm

Artificial Neural Networks and Machine Learning – ICANN 2012

Alessandro E. P. Villa, Włodzisław Duch, Péter Érdi, Francesco Masulli, Günther Palm

Provable Security

Tsuyoshi Takagi, Guilin Wang, Zhiguang Qin, Shaoquan Jiang, Yong Yu

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

Luis Alvarez, Marta Mejail, Luis Gomez, Julio Jacobo

Perspectives in Business Informatics Research

Natalia Aseeva, Eduard Babkin, Oleg Kozyrev

Collaboration and Technology

Valeria Herskovic, H. Ulrich Hoppe, Marc Jansen, Jürgen Ziegler

Theory and Practice of Digital Libraries

Panayiotis Zaphiris, George Buchanan, Edie Rasmussen, Fernando Loizides

Parameterized and Exact Computation

Dimitrios M. Thilikos, Gerhard J. Woeginger

Formal Methods: Foundations and Applications

Rohit Gheyi, David Naumann

E-Science and Information Management

Serap Kurbanoğlu, Umut Al, Phyllis Lepon Erdoğan, Yaşar Tonta, Nazan Uçak

Information and Software Technologies

Tomas Skersys, Rimantas Butleris, Rita Butkiene

Relational and Algebraic Methods in Computer Science

Wolfram Kahl, Timothy G. Griffin

Arts and Technology

Anthony L. Brooks

ICT Critical Infrastructures and Society

Magda David Hercheui, Diane Whitehouse, William McIver, Jackie Phahlamohlaka

Research in Attacks, Intrusions, and Defenses

Davide Balzarotti, Salvatore J. Stolfo, Marco Cova

KI 2012: Advances in Artificial Intelligence

Birte Glimm, Antonio Krüger

Cellular Automata

Georgios Ch. Sirakoulis, Stefania Bandini

Logics in Artificial Intelligence

Luis Fariñas Cerro, Andreas Herzig, Jérôme Mengin

Scalable Uncertainty Management

Eyke Hüllermeier, Sebastian Link, Thomas Fober, Bernhard Seeger

Formal Modeling and Analysis of Timed Systems

Marcin Jurdziński, Dejan Ničković

Green Communications and Networking

Joel J. P. C. Rodrigues, Liang Zhou, Min Chen, Aravind Kailas

Information Security

Dieter Gollmann, Felix C. Freiling

Automated Technology for Verification and Analysis

Supratik Chakraborty, Madhavan Mukund

Security and Privacy in Mobile Information and Communication Systems

Andreas U. Schmidt, Giovanni Russello, Ioannis Krontiris, Shiguo Lian

Understanding High-Dimensional Spaces

David B. Skillicorn

Artificial Intelligence Applications and Innovations

Lazaros Iliadis, Ilias Maglogiannis, Harris Papadopoulos

Artificial Intelligence Applications and Innovations

Lazaros Iliadis, Ilias Maglogiannis, Harris Papadopoulos, Kostas Karatzas, Spyros Sioutas

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012

Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012

Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori

Service-Oriented and Cloud Computing

Flavio Paoli, Ernesto Pimentel, Gianluigi Zavattaro

Open Source Systems: Long-Term Sustainability

Imed Hammouda, Björn Lundell, Tommi Mikkonen, Walt Scacchi

Global Security, Safety and Sustainability & e-Democracy

Christos K. Georgiadis, Hamid Jahankhani, Elias Pimenidis, Rabih Bashroush, Ameer Al-Nemrat

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012

Nicholas Ayache, Hervé Delingette, Polina Golland, Kensaku Mori

Machine Learning and Knowledge Discovery in Databases

Peter A. Flach, Tijl Bie, Nello Cristianini

Mesh Processing in Medical Image Analysis 2012

Joshua A. Levine, Rasmus R. Paulsen, Yongjie Zhang

E-Learning and Games for Training, Education, Health and Sports

Stefan Göbel, Wolfgang Müller, Bodo Urban, Josef Wiemeyer

Web Information Systems and Mining

Fu Lee Wang, Jingsheng Lei, Zhiguo Gong, Xiangfeng Luo

Theoretical Computer Science

Jos C. M. Baeten, Tom Ball, Frank S. Boer

Artificial Intelligence and Computational Intelligence

Jingsheng Lei, Fu Lee Wang, Hepu Deng, Duoqian Miao

Progress in Cryptology – LATINCRYPT 2012

Alejandro Hevia, Gregory Neven

Machine Learning and Knowledge Discovery in Databases

Peter A. Flach, Tijl Bie, Nello Cristianini

Electronic Government

Hans J. Scholl, Marijn Janssen, Maria A. Wimmer, Carl Erik Moe, Leif Skiftenes Flak

Discovery Science

Jean-Gabriel Ganascia, Philippe Lenca, Jean-Marc Petit

Enabling Real-Time Business Intelligence

Malu Castellanos, Umeshwar Dayal, Wolfgang Lehner

Intelligent Robotics and Applications

Chun-Yi Su, Subhash Rakheja, Honghai Liu

Pattern Recognition

Cheng-Lin Liu, Changshui Zhang, Liang Wang

Intelligent Robotics and Applications

Chun-Yi Su, Subhash Rakheja, Honghai Liu

Reachability Problems

Alain Finkel, Jérôme Leroux, Igor Potapov

Intelligent Robotics and Applications

Chun-Yi Su, Subhash Rakheja, Honghai Liu

Recent Advances in the Message Passing Interface

Jesper Larsson Träff, Siegfried Benkner, Jack J. Dongarra

Multimodal Brain Image Analysis

Pew-Thian Yap, Tianming Liu, Dinggang Shen, Carl-Fredrik Westin, Li Shen

Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking

Stefano Chessa, Stefan Knauth

Stabilization, Safety, and Security of Distributed Systems

Andréa W. Richa, Christian Scheideler

Entertainment Computing - ICEC 2012

Marc Herrlich, Rainer Malaka, Maic Masuch

Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data

Stanley Durrleman, Tom Fletcher, Guido Gerig, Marc Niethammer

Principles and Practice of Constraint Programming

Michela Milano

Computer Vision and Graphics

Leonard Bolc, Ryszard Tadeusiewicz, Leszek J. Chmielewski, Konrad Wojciechowski

Computational Logistics

Hao Hu, Xiaoning Shi, Robert Stahlbock, Stefan Voß

On the Move to Meaningful Internet Systems: OTM 2012

Robert Meersman, Hervé Panetto, Tharam Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel F. Cruz

Model and Data Engineering

Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah

Abdominal Imaging. Computational and Clinical Applications

Hiroyuki Yoshida, David Hawkes, Michael W. Vannier

On the Move to Meaningful Internet Systems: OTM 2012

Robert Meersman, Hervé Panetto, Tharam Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel F. Cruz

On the Move to Meaningful Internet Systems: OTM 2012 Workshops

Pilar Herrero, Hervé Panetto, Robert Meersman, Tharam Dillon

Privacy in Statistical Databases

Josep Domingo-Ferrer, Ilenia Tinnirello

Computational Methods in Systems Biology

David Gilbert, Monika Heiner

Advances in Web-Based Learning - ICWL 2012

Elvira Popescu, Qing Li, Ralf Klamma, Howard Leung, Marcus Specht

Energy Efficient Data Centers

Jyrki Huusko, Hermann Meer, Sonja Klingert, Andrey Somov

Distributed Computing

Marcos K. Aguilera

Graph Transformations

Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg

Model Driven Engineering Languages and Systems

Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson

Computer Safety, Reliability, and Security

Frank Ortmeier, Peter Daniel

Computer Safety, Reliability, and Security

Frank Ortmeier, Peter Daniel

Practical Aspects of Design Science

Markus Helfert, Brian Donnellan

Modeling and Mining Ubiquitous Social Media

Martin Atzmueller, Alvin Chin, Denis Helic, Andreas Hotho

Serious Games Development and Applications

Minhua Ma, Manuel Fradinho Oliveira, Jannicke Baalsrud Hauge, Heiko Duin, Klaus-Dieter Thoben

Multiagent System Technologies

Ingo J. Timm, Christian Guttmann

Computer Network Security

Igor Kotenko, Victor Skormin

Computer Vision – ECCV 2012

Andrew Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid

Computer Vision – ECCV 2012

Andrew Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid

Computer Vision – ECCV 2012

Andrew Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid

Computer Vision – ECCV 2012

Andrew Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid

Artificial Immune Systems

Carlos A. Coello Coello, Julie Greensmith, Natalio Krasnogor, Pietro Liò, Giuseppe Nicosia, Mario Pavone

Communicability, Computer Graphics and Innovative Design for Interactive Systems

Francisco Cipolla-Ficarra, Kim Veltman, Miguel Cipolla-Ficarra, Andreas Kratky

Computer Vision – ECCV 2012

Andrew Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid

Computer Vision – ECCV 2012

Andrew Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid

Computer Vision – ECCV 2012

Andrew Fitzgibbon, Svetlana Lazebnik, Pietro Perona, Yoichi Sato, Cordelia Schmid

Serious Games: The Challenge

Stefan Wannemacker, Sylke Vandercruysse, Geraldine Clarebout

Software Engineering and Formal Methods

George Eleftherakis, Mike Hinchey, Mike Holcombe

Theory and Practice of Natural Computing

Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe

Computer Vision – ECCV 2012. Workshops and Demonstrations

Andrea Fusiello, Vittorio Murino, Rita Cucchiara

Computer Vision – ECCV 2012. Workshops and Demonstrations

Andrea Fusiello, Vittorio Murino, Rita Cucchiara

Knowledge Engineering and Knowledge Management

Annette Teije, Johanna Völker, Siegfried Handschuh, Heiner Stuckenschmidt, Mathieu d’Acquin, Andriy Nikolov, Nathalie Aussenac-Gilles, Nathalie Hernandez

Computer Vision – ECCV 2012. Workshops and Demonstrations

Andrea Fusiello, Vittorio Murino, Rita Cucchiara

Reflections on the History of Computing

Arthur Tatnall

The Dynamics of Global Sourcing. Perspectives and Practices

Julia Kotlarsky, Ilan Oshri, Leslie P. Willcocks

Human-Computer Interaction, Tourism and Cultural Heritage

Francisco Cipolla-Ficarra, Kim Veltman, Huang Chih-Fang, Miguel Cipolla-Ficarra, Andreas Kratky

Advances in Digital Forensics VIII

Gilbert Peterson, Sujeet Shenoi

The Complexity of Valued Constraint Satisfaction Problems

Stanislav Živný

Advances in Production Management Systems. Value Networks: Innovation, Technologies, and Management

Jan Frick, Bjørge Timenes Laugen

Advances in Natural Language Processing

Hitoshi Isahara, Kyoko Kanzaki

Algorithmic Game Theory

Maria Serna

Advances in Conceptual Modeling

Silvana Castano, Panos Vassiliadis, Laks V. Lakshmanan, Mong Li Lee

Conceptual Modeling

Paolo Atzeni, David Cheung, Sudha Ram

Rewriting Logic and Its Applications

Franciso Durán

Advances in New Technologies, Interactive Interfaces and Communicability

Francisco Cipolla-Ficarra, Kim Veltman, Domen Verber, Miguel Cipolla-Ficarra, Florian Kammüller

Human Behavior Understanding

Albert Ali Salah, Javier Ruiz-del-Solar, Çetin Meriçli, Pierre-Yves Oudeyer

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

Tiziana Margaria, Bernhard Steffen

Information Computing and Applications

Chunfeng Liu, Leizhen Wang, Aimin Yang

Information Computing and Applications

Chunfeng Liu, Leizhen Wang, Aimin Yang

Data-Driven Process Discovery and Analysis

Karl Aberer, Ernesto Damiani, Tharam Dillon

Fast Software Encryption

Anne Canteaut

Telematics in the Transport Environment

Jerzy Mikulski

Large-Scale Complex IT Systems. Development, Operation and Management

Radu Calinescu, David Garlan

Information Computing and Applications

Baoxiang Liu, Maode Ma, Jincai Chang

Outdoor and Large-Scale Real-World Scene Analysis

Frank Dellaert, Jan-Michael Frahm, Marc Pollefeys, Laura Leal-Taixé, Bodo Rosenhahn

Social Robotics

Shuzhi Sam Ge, Oussama Khatib, John-John Cabibihan, Reid Simmons, Mary-Anne Williams

Algorithmic Learning Theory

Nader H. Bshouty, Gilles Stoltz, Nicolas Vayatis, Thomas Zeugmann

String Processing and Information Retrieval

Liliana Calderón-Benavides, Cristina González-Caro, Edgar Chávez, Nivio Ziviani

Advances in Information and Computer Security

Goichiro Hanaoka, Toshihiro Yamauchi

Computational Issues in Fluid Construction Grammar

Luc Steels

Pattern Recognition in Bioinformatics

Tetsuo Shibuya, Hisashi Kashima, Jun Sese, Shandar Ahmad

Information and Communications Security

Tat Wing Chim, Tsz Hon Yuen

Recent Trends in Computer Networks and Distributed Systems Security

Sabu M. Thampi, Albert Y. Zomaya, Thorsten Strufe, Jose M. Alcaraz Calero, Tony Thomas

Advances in Intelligent Data Analysis XI

Jaakko Hollmén, Frank Klawonn, Allan Tucker

Research in Cryptology

Frederik Armknecht, Stefan Lucks

Trends in Enterprise Architecture Research and Practice-Driven Research on Enterprise Transformation

Stephan Aier, Mathias Ekstedt, Florian Matthes, Erik Proper, Jorge L. Sanz

Structural, Syntactic, and Statistical Pattern Recognition

Georgy Gimel’farb, Edwin Hancock, Atsushi Imiya, Arjan Kuijper, Mineichi Kudo, Shinichiro Omachi, Terry Windeatt, Keiji Yamada

Applications of Graph Transformations with Industrial Relevance

Andy Schürr, Dániel Varró, Gergely Varró

Transactions on Large-Scale Data- and Knowledge-Centered Systems VI

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou

Gesture and Sign Language in Human-Computer Interaction and Embodied Communication

Eleni Efthimiou, Georgios Kouroupetroglou, Stavroula-Evita Fotinea

Hardware and Software: Verification and Testing

Kerstin Eder, João Lourenço, Onn Shehory

Computational Geometry

Alberto Márquez, Pedro Ramos, Jorge Urrutia

Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets

Esther David, Kate Larson, Alex Rogers, Onn Shehory, Sebastian Stein

Secure IT Systems

Audun Jøsang, Bengt Carlsson

Search Computing

Stefano Ceri, Marco Brambilla

Provenance and Annotation of Data and Processes

Paul Groth, James Frew

Business Information Systems Workshops

Witold Abramowicz, John Domingue, Krzysztof Węcel

Progress in Cultural Heritage Preservation

Marinos Ioannides, Dieter Fritsch, Johanna Leissner, Rob Davies, Fabio Remondino, Rossella Caffo

Emerging Research in Artificial Intelligence and Computational Intelligence

Jingsheng Lei, Fu Lee Wang, Hepu Deng, Duoqian Miao

Computational Visual Media

Shi-Min Hu, Ralph R. Martin

Decision and Game Theory for Security

Jens Grossklags, Jean Walrand

Formal Methods and Software Engineering

Toshiaki Aoki, Kenji Taguchi

Computational Intelligence and Intelligent Systems

Zhenhua Li, Xiang Li, Yong Liu, Zhihua Cai

Advances in Computer Entertainment

Anton Nijholt, Teresa Romão, Dennis Reidsma

Service-Oriented Computing

Chengfei Liu, Heiko Ludwig, Farouk Toumani, Qi Yu

Simulation, Modeling, and Programming for Autonomous Robots

Itsuki Noda, Noriaki Ando, Davide Brugali, James J. Kuffner

Human-Centered Software Engineering

Marco Winckler, Peter Forbrig, Regina Bernhaupt

System Simulation and Scientific Computing

Tianyuan Xiao, Lin Zhang, Shiwei Ma

AsiaSim 2012

Tianyuan Xiao, Lin Zhang, Minrui Fei

AsiaSim 2012

Tianyuan Xiao, Lin Zhang, Minrui Fei

AsiaSim 2012

Tianyuan Xiao, Lin Zhang, Minrui Fei

System Simulation and Scientific Computing

Tianyuan Xiao, Lin Zhang, Shiwei Ma

Implementation and Application of Functional Languages

Andy Gill, Jurriaan Hage

Learning and Intelligent Optimization

Youssef Hamadi, Marc Schoenauer

Security, Privacy, and Applied Cryptography Engineering

Andrey Bogdanov, Somitra Sanadhya

Contemporary Research on E-business Technology and Strategy

Vasil Khachidze, Tim Wang, Sohail Siddiqui, Vincent Liu, Sergio Cappuccio, Alicia Lim

Natural Language Processing and Chinese Computing

Ming Zhou, Guodong Zhou, Dongyan Zhao, Qun Liu, Lei Zou

Advances in Artificial Intelligence - SBIA 2012

Leliane N. Barros, Marcelo Finger, Aurora T. Pozo, Gustavo A. Gimenénez-Lugo, Marcos Castilho

Neural Information Processing

Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung

Neural Information Processing

Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung

Neural Information Processing

Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung

Neural Information Processing

Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung

Neural Information Processing

Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi Sing Leung

The Practice of Enterprise Modeling

Kurt Sandkuhl, Ulf Seigerroth, Janis Stirna

Cognitive Behavioural Systems

Anna Esposito, Antonietta M. Esposito, Alessandro Vinciarelli, Rüdiger Hoffmann, Vincent C. Müller

Advances on Digital Television and Wireless Multimedia Communications

Wenjun Zhang, Xiaokang Yang, Zhixiang Xu, Ping An, Qizhen Liu, Yue Lu

Network and System Security

Li Xu, Elisa Bertino, Yi Mu

Graph-Theoretic Concepts in Computer Science

Martin Charles Golumbic, Michal Stern, Avivit Levy, Gila Morgenstern

Model-Based Engineering of Embedded Systems

Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy

Modeling Decisions for Artificial Intelligence

Vicenç Torra, Yasuo Narukawa, Beatriz López, Mateu Villaret

Foundations of Intelligent Systems

Li Chen, Alexander Felfernig, Jiming Liu, Zbigniew W. Raś

Computational Collective Intelligence. Technologies and Applications

Ngoc-Thanh Nguyen, Kiem Hoang, Piotr Jȩdrzejowicz

Financial Cryptography and Data Security

Jim Blyth, Sven Dietrich, L. Jean Camp

Transactions on Computational Collective Intelligence VIII

Ngoc-Thanh Nguyen

Advances in Artificial Intelligence – IBERAMIA 2012

Juan Pavón, Néstor D. Duque-Méndez, Rubén Fuentes-Fernández

Data and Knowledge Engineering

Yang Xiang, Mukaddim Pathan, Xiaohui Tao, Hua Wang

Testing Software and Systems

Brian Nielsen, Carsten Weise

Information Security and Cryptology

Chuan-Kun Wu, Moti Yung, Dongdai Lin

Computational Collective Intelligence. Technologies and Applications

Ngoc-Thanh Nguyen, Kiem Hoang, Piotr Jȩdrzejowicz

Motion in Games

Marcelo Kallmann, Kostas Bekris

Machine Learning and Interpretation in Neuroimaging

Georg Langs, Irina Rish, Moritz Grosse-Wentrup, Brian Murphy

Combinatorial Image Analaysis

Reneta P. Barneva, Valentin E. Brimkov, Jake K. Aggarwal

The Outreach of Digital Libraries: A Globalized Resource Network

Hsin-Hsi Chen, Gobinda Chowdhury

Advances in Multimedia Information Processing – PCM 2012

Weisi Lin, Dong Xu, Anthony Ho, Jianxin Wu, Ying He, Jianfei Cai, Mohan Kankanhalli, Ming-Ting Sun

Leveraging Applications of Formal Methods, Verification, and Validation

Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen

Multi-Agent Systems

Massimo Cossentino, Michael Kaisers, Karl Tuyls, Gerhard Weiss

Interactive Storytelling

David Oyarzun, Federico Peinado, R. Michael Young, Ane Elizalde, Gonzalo Méndez

Simulated Evolution and Learning

Lam Thu Bui, Yew Soon Ong, Nguyen Xuan Hoai, Hisao Ishibuchi, Ponnuthurai Nagaratnam Suganthan

Design and Analysis of Algorithms

Guy Even, Dror Rawitz

Internet and Distributed Computing Systems

Yang Xiang, Mukaddim Pathan, Xiaohui Tao, Hua Wang

Ambient Intelligence

Fabio Paternò, Boris Ruyter, Panos Markopoulos, Carmen Santoro, Evert Loenen, Kris Luyten

Progress in Cryptology - INDOCRYPT 2012

Steven Galbraith, Mridul Nandi

Advances in Cryptology – ASIACRYPT 2012

Xiaoyun Wang, Kazue Sako

Multiple Access Communications

Boris Bellalta, Alexey Vinel, Magnus Jonsson, Jaume Barcelo, Roman Maslennikov, Periklis Chatzimisios, David Malone

Web Information Systems Engineering - WISE 2012

X. Sean Wang, Isabel Cruz, Alex Delis, Guangyan Huang

Advances in Information Technology

Borworn Papasratorn, Nipon Charoenkitkarn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja

AI 2012: Advances in Artificial Intelligence

Michael Thielscher, Dongmo Zhang

Information Systems Security

Venkat Venkatakrishnan, Diganta Goswami

Biometric Recognition

Wei-Shi Zheng, Zhenan Sun, Yunhong Wang, Xilin Chen, Pong C. Yuen, Jianhuang Lai

Brain Informatics

Fabio Massimo Zanzotto, Shusaku Tsumoto, Niels Taatgen, Yiyu Yao

Shaping the Future of ICT Research. Methods and Approaches

Anol Bhattacherjee, Brian Fitzgerald

User Centric Media

Federico Alvarez, Cristina Costa

Mobile Multimedia Communications

Jonathan Rodriguez, Rahim Tafazolli, Christos Verikoukis

Middleware 2012

Priya Narasimhan, Peter Triantafillou

The Semantic Web – ISWC 2012

Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist

The Semantic Web – ISWC 2012

Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist

Transactions on Petri Nets and Other Models of Concurrency VI

Kurt Jensen, Wil M. Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen

Programming Languages and Systems

Ranjit Jhala, Atsushi Igarashi

Economics of Grids, Clouds, Systems, and Services

Kurt Vanmechelen, Jörn Altmann, Omer F. Rana

Trends in Intelligent Robotics, Automation, and Manufacturing

S. G. Ponnambalam, Jussi Parkkinen, Kuppan Chetty Ramanathan

Network Computing and Information Security

Jingsheng Lei, Fu Lee Wang, Mo Li, Yuan Luo

Metadata and Semantics Research

Juan Manuel Dodero, Manuel Palomo-Duarte, Pythagoras Karampiperis

Active Media Technology

Runhe Huang, Ali A. Ghorbani, Gabriella Pasi, Takahira Yamaguchi, Neil Y. Yen, Beijing Jin

Computer Applications for Modeling, Simulation, and Automobile

Tai-hoon Kim, Carlos Ramos, Jemal Abawajy, Byeong-Ho Kang, Dominik Ślęzak, Hojjat Adeli

Green and Smart Technology with Sensor Applications

Hyun-seob Cho, Tai-hoon Kim, Sabah Mohammed, Hojjat Adeli, Myoung-kwan Oh, Keun-Wang Lee

Algorithms and Computation

Kun-Mao Chao, Tsan-sheng Hsu, Der-Tsai Lee

Computer Applications for Security, Control and System Engineering

Tai-hoon Kim, Adrian Stoica, Wai-chi Fang, Thanos Vasilakos, Javier García Villalba, Kirk P. Arnett, Muhammad Khurram Khan, Byeong-Ho Kang

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity

Tai-hoon Kim, Carlos Ramos, Haeng-kon Kim, Akingbehin Kiumi, Sabah Mohammed, Dominik Ślęzak

Computer Applications for Web, Human Computer Interaction, Signal and Image Processing, and Pattern Recognition

Tai-hoon Kim, Sabah Mohammed, Carlos Ramos, Jemal Abawajy, Byeong-Ho Kang, Dominik Ślęzak

Multimedia and Signal Processing

Fu Lee Wang, Jingsheng Lei, Rynson W. H. Lau, Jingxin Zhang

Neural Networks: Tricks of the Trade

Grégoire Montavon, Geneviève B. Orr, Klaus-Robert Müller

Advances in Speech and Language Technologies for Iberian Languages

Doroteo Torre Toledano, Alfonso Ortega Giménez , António Teixeira, Joaquín González Rodríguez, Luis Hernández Gómez, Rubén San Segundo Hernández, Daniel Ramos Castro

Certified Programs and Proofs

Chris Hawblitzel, Dale Miller

Internet and Network Economics

Paul W. Goldberg

Advanced Machine Learning Technologies and Applications

Aboul Ella Hassanien, Abdel-Badeeh M. Salem, Rabie Ramadan, Tai-hoon Kim

Transactions on Large-Scale Data- and Knowledge-Centered Systems VII

Abdelkader Hameurlain, Josef Küng, Roland Wagner

Information Retrieval Technology

Yuexian Hou, Jian-Yun Nie, Le Sun, Bo Wang, Peng Zhang

Cyberspace Safety and Security

Yang Xiang, Javier Lopez, C.-C. Jay Kuo, Wanlei Zhou

Trusted Systems

Chris J. Mitchell, Allan Tomlinson

Ubiquitous Computing and Ambient Intelligence

José Bravo, Diego López-de-Ipiña, Francisco Moya

Swarm, Evolutionary, and Memetic Computing

Bijaya Ketan Panigrahi, Swagatam Das, Ponnuthurai Nagaratnam Suganthan, Pradipta Kumar Nanda

Social Informatics

Karl Aberer, Andreas Flache, Wander Jager, Ling Liu, Jie Tang, Christophe Guéret

Ambient Assisted Living and Home Care

José Bravo, Ramón Hervás, Marcela Rodríguez

Cryptology and Network Security

Josef Pieprzyk, Ahmad-Reza Sadeghi, Mark Manulis

Information Security Applications

Dong Hoon Lee, Moti Yung

Machine Learning in Medical Imaging

Fei Wang, Dinggang Shen, Pingkun Yan, Kenji Suzuki

Multi-disciplinary Trends in Artificial Intelligence

Chattrakul Sombattheera, Nguyen Kim Loi, Rajeev Wankar, Tho Quan

Principles of Distributed Systems

Roberto Baldoni, Paola Flocchini, Ravindran Binoy

Artificial General Intelligence

Joscha Bach, Ben Goertzel, Matthew Iklé

Digital Forensics and Cyber Crime

Pavel Gladyshev, Marcus K. Rogers

Computer Applications for Bio-technology, Multimedia, and Ubiquitous City

Tai-hoon Kim, Jeong-Jin Kang, William I. Grosky, Tughrul Arslan, Niki Pissinou

Transactions on Computational Systems Biology XIV

Corrado Priami, Ion Petre, Erik Vink

Advanced Data Mining and Applications

Shuigeng Zhou, Songmao Zhang, George Karypis

Artificial Evolution

Jin-Kao Hao, Pierrick Legrand, Pierre Collet, Nicolas Monmarché, Evelyne Lutton, Marc Schoenauer

Big Data Analytics

Srinath Srinivasa, Vasudha Bhatnagar

Coordination, Organizations, Institutions, and Norms in Agent System VII

Stephen Cranefield, M. Birna Riemsdijk, Javier Vázquez-Salceda, Pablo Noriega

Transactions on Aspect-Oriented Software Development IX

Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter

Testbeds and Research Infrastructure. Development of Networks and Communities

Thanasis Korakis, Michael Zink, Maximilian Ott

Game Theory for Networks

Vikram Krishnamurthy, Qing Zhao, Minyi Huang, Yonggang Wen

Future Generation Information Technology

Tai-hoon Kim, Young-hoon Lee, Wai-chi Fang

Computer Applications for Communication, Networking, and Digital Contents

Tai-hoon Kim, Dae-sik Ko, Thanos Vasilakos, Adrian Stoica, Jemal Abawajy

Computer Applications for Graphics, Grid Computing, and Industrial Environment

Tai-hoon Kim, Hyun-seob Cho, Osvaldo Gervasi, Stephen S. Yau

Computer Applications for Database, Education, and Ubiquitous Computing

Tai-hoon Kim, Jianhua Ma, Wai-chi Fang, Yanchun Zhang, Alfredo Cuzzocrea

Network and Parallel Computing

James J. Park, Albert Zomaya, Sang-Soo Yeo, Sartaj Sahni

Agent Based Simulation for a Sustainable Society and Multi-agent Smart Computing

Stephen Cranefield, Insu Song

Advances in Communication, Network, and Computing

Vinu V. Das, Janahanlal Stephen

Current Trends in Web Engineering

Michael Grossniklaus, Manuel Wimmer

Quantum Interaction

Jerome R. Busemeyer, François Dubois, Ariane Lambert-Mogiliansky, Massimo Melucci

Computational Intelligence Methods for Bioinformatics and Biostatistics

Elia Biganzoli, Alfredo Vellido, Federico Ambrogi, Roberto Tagliaferri

Security Protocols XX

Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson

AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents

Monica Palmirani, Ugo Pagallo, Pompeu Casanovas, Giovanni Sartor

Focused Retrieval of Content and Structure

Shlomo Geva, Jaap Kamps, Ralf Schenkel

Trends and Topics in Computer Vision

Kiriakos N. Kutulakos

Formal Aspects of Component Software

Farhad Arbab, Peter Csaba Ölveczky

Tools for Practical Software Verification

Bertrand Meyer, Martin Nordio

Trends and Topics in Computer Vision

Kiriakos N. Kutulakos

E-Business and Telecommunications

Mohammad S. Obaidat, José L. Sevillano, Joaquim Filipe

Product Lifecycle Management. Towards Knowledge-Rich Enterprises

Louis Rivest, Abdelaziz Bouras, Borhen Louhichi

Critical Infrastructure Protection VI

Jonathan Butts, Sujeet Shenoi

Combinatorial Algorithms

S. Arumugam, W. F. Smyth

Secure ICT Service Provisioning for Cloud, Mobile and Beyond

Eberhard Faber, Wolfgang Behnsen

ISSE 2012 Securing Electronic Business Processes

Helmut Reimer, Norbert Pohlmann, Wolfgang Schneider

SynDEVS Co-Design Flow

H. Gregor Molter

Recent Trends in Information Reuse and Integration

Tansel Özyer, Keivan Kianmehr, Mehmet Tan

Haptic Systems Architecture Modeling

Anton Weber, Schahram Dustdar

Numerical and Symbolic Scientific Computing

Ulrich Langer, Peter Paule

Loewy Decomposition of Linear Differential Equations

Fritz Schwarz

Introduction to Programming Concepts with Case Studies in Python

Göktürk Üçoluk, Sinan Kalkan

Using Microsoft Dynamics AX 2012

Andreas Luszczak

Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes

Christian Storm

Data Analytics

Thomas A. Runkler

Information Flow Based Security Control Beyond RBAC

Klaus-Peter Fischer-Hellmann

Automatic Algorithm Selection for Complex Simulation Problems

Roland Ewald

Computer Aided Surgery

Takeyoshi Dohi, Hongen Liao

Theory and Practice of Computation

Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez

Advanced Methods, Techniques, and Applications in Modeling and Simulation

Jong-Hyun Kim, Kangsun Lee, Satoshi Tanaka, Soo-Hyun Park

Crittografia nel Paese delle Meraviglie

Daniele Venturi

Introduction to Modern Sleep Technology

Rayleigh Ping-Ying Chiang, Shih-Chun (Jessy) Kang

Computer Science and its Applications

Sang-Soo Yeo, Yi Pan, Yang Sun Lee, Hang Bae Chang

Integration of World Knowledge for Natural Language Understanding

Ekaterina Ovchinnikova

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine de Cock

Theoretical Foundations of Artificial General Intelligence

Pei Wang, Ben Goertzel

Trustworthy Ubiquitous Computing

Ismail Khalil, Teddy Mantoro

Computational Intelligence Systems in Industrial Engineering

Cengiz Kahraman

Guide to Modeling and Simulation of Systems of Systems

Bernard P. Zeigler, Hessam S. Sarjoughian

Quantum Attacks on Public-Key Cryptosystems

Song Y. Yan

Modelling and Simulation

Louis G. Birta, Gilbert Arbez

Music and Human-Computer Interaction

Simon Holland, Katie Wilkie, Paul Mulholland, Allan Seago

Fundamentals of Discrete Math for Computer Science

Tom Jenkyns, Ben Stephenson

Personas - User Focused Design

Lene Nielsen

Creativity and Rationale

John M. Carroll

A Journey Through Cultures

Luciana Cardoso de Castro Salgado, Carla Faria Leitão, Clarisse Sieckenius Souza

Coordinative Practices in the Building Process

Lars Rune Christensen

Guide to Computing for Expressive Music Performance

Alexis Kirke, Eduardo R. Miranda

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

3D Computer Vision

Christian Wöhler

Belief Revision in Non-Classical Logics

Márcio Moretto Ribeiro

Privacy and Security for Cloud Computing

Siani Pearson, George Yee

Connecting Families

Carman Neustaedter, Steve Harrison, Abigail Sellen

From Linear Operators to Computational Biology

Martin Davis, Edmond Schonberg

Knowledge Visualization Currents

Francis T. Marchese, Ebad Banissi

Orchestrating Human-Centered Design

Guy André Boy

Communications and Networking

John Cowley

Handbook of Iris Recognition

Mark J. Burge, Kevin W. Bowyer

Real-Time Detection of Lines and Grids

Adam Herout, Markéta Dubská, Jiří Havel

Guide to Dynamic Simulations of Rigid Bodies and Particle Systems

Murilo G. Coutinho

Crowd Simulation

Daniel Thalmann, Soraia Raupp Musse

Embedded Multimedia Security Systems

Amit Pande, Joseph Zambreno

Energy-Efficient High Performance Computing

James H. Laros III, Kevin Pedretti, Suzanne M. Kelly, Wei Shu, Kurt Ferreira, John Van Dyke, Courtenay Vaughan

Image and Video-Based Artistic Stylisation

Paul Rosin, John Collomosse

Mathematics in Computing

Gerard O’Regan

Guide to Computer Network Security

Joseph Migga Kizza

Social Media Retrieval

Naeem Ramzan, Roelof Zwol, Jong-Seok Lee, Kai Clüver, Xian-Sheng Hua

Guide to Modeling and Simulation of Systems of Systems

Bernard P. Zeigler

Guide to Cloud Computing

Richard Hill, Laurie Hirsch, Peter Lake, Siavash Moshiri

Consumer Depth Cameras for Computer Vision

Andrea Fossati, Juergen Gall, Helmut Grabner, Xiaofeng Ren, Kurt Konolige

Imaging Spectroscopy for Scene Analysis

Antonio Robles-Kelly, Cong Phuoc Huynh

Time-of-Flight Cameras

Miles Hansard, Seungkyu Lee, Ouk Choi, Radu Horaud

Motion History Images for Action Recognition and Understanding

Md. Atiqur Rahman Ahad

The Secure Information Society

Jörg Krüger, Bertram Nickolay, Sandro Gaycken

Game Analytics

Magy Seif El-Nasr, Anders Drachen, Alessandro Canossa

User Modeling and Adaptation for Daily Routines

Estefanía Martín, Pablo A. Haya, Rosa M. Carro

Eye Gaze in Intelligent User Interfaces

Yukiko I. Nakano, Cristina Conati, Thomas Bader

Reproduction of Tactual Textures

Michaël Wiertlewski

Business Intelligence and Performance Management

Peter Rausch, Alaa F. Sheta, Aladdin Ayesh

Principles of Data Mining

Max Bramer

Data Mining in Large Sets of Complex Data

Robson L. F. Cordeiro, Christos Faloutsos, Caetano Traina Júnior

Web Proxy Cache Replacement Strategies

Hala ElAarag

Visual Texture

Michal Haindl, Jiří Filip

Guide to Voice and Video over IP

Lingfen Sun, Is-Haka Mkwawa, Emmanuel Jammeh, Emmanuel Ifeachor

Decision Forests for Computer Vision and Medical Image Analysis

A. Criminisi, J. Shotton

The History of Visual Magic in Computers

Jon Peddie

Efficient Algorithms for Discrete Wavelet Transform

K. K. Shukla, Arvind K. Tiwari

Omnidirectional Vision Systems

Luis Puig, J.J. Guerrero

Introduction to Image Processing Using R

Alejandro C. Frery, Talita Perciano

Ethical and Social Issues in the Information Age

Joseph Migga Kizza

Disclosure of Security Vulnerabilities

Alana Maurushat

Autonomic Computing

Philippe Lalanda, Julie A. McCann, Ada Diaconescu

Economic Modeling Using Artificial Intelligence Methods

Tshilidzi Marwala

Computational Intelligence

Rudolf Kruse, Christian Borgelt, Frank Klawonn, Christian Moewes, Matthias Steinbrecher, Pascal Held

Explaining Algorithms Using Metaphors

Michal Forišek, Monika Steinová

Network Geeks

Brian E. Carpenter

Software Engineering Frameworks for the Cloud Computing Paradigm

Zaigham Mahmood, Saqib Saeed

Modeling and Simulating Command and Control

Il-Chul Moon, Kathleen M. Carley, Tag Gon Kim

From Fault Classification to Fault Tolerance for Multi-Agent Systems

Katia Potiron, Amal El Fallah Seghrouchni, Patrick Taillibert

A Multimodal End-2-End Approach to Accessible Computing

Pradipta Biswas, Carlos Duarte, Patrick Langdon, Luis Almeida, Christoph Jung

Rapid Serial Visual Presentation

Robert Spence, Mark Witkowski

An Introduction to Computer Graphics for Artists

Andrew Paquette

Cloud Computing

Zaigham Mahmood

Advances in Applied Self-Organizing Systems

Mikhail Prokopenko

Cognition Beyond the Brain

Stephen J. Cowley, Frédéric Vallée-Tourangeau

Mapping Scientific Frontiers

Chaomei Chen

Graph-Based Clustering and Data Visualization Algorithms

Ágnes Vathy-Fogarassy, János Abonyi

Next-Generation Wireless Technologies

Naveen Chilamkurti, Sherali Zeadally, Hakima Chaouchi

Mastering the Discrete Fourier Transform in One, Two or Several Dimensions

Isaac Amidror

Distributed Graph Algorithms for Computer Networks

K. Erciyes

Unsupervised Process Monitoring and Fault Diagnosis with Machine Learning Methods

Chris Aldrich, Lidia Auret

Shape Perception in Human and Computer Vision

Sven J. Dickinson, Zygmunt Pizlo

Multi-finger Haptic Interaction

Ignacio Galiana, Manuel Ferre

Botnets

Heli Tiirmaa-Klaar, Jan Gassen, Elmar Gerhards-Padilla, Peter Martini

Security and Privacy in Biometrics

Patrizio Campisi

Annual Dynamics of Daylight Variability and Contrast

Siobhan Rockcastle, Marilyne Andersen

An Introduction to Network Programming with Java

Jan Graba

Using Event-B for Critical Device Software Systems

Neeraj Kumar Singh

Optimization for Computer Vision

Marco Alexander Treiber

Advanced Network Programming – Principles and Techniques

Bogdan Ciubotaru, Gabriel-Miro Muntean

Models and Algorithms for Genome Evolution

Cedric Chauve, Nadia El-Mabrouk, Eric Tannier

Semantic Models for Adaptive Interactive Systems

Tim Hussein, Heiko Paulheim, Stephan Lukosch, Jürgen Ziegler, Gaëlle Calvary

Introduction to Evolutionary Genomics

Naruya Saitou

Guide to Programming and Algorithms Using R

Özgür Ergül

Giants of Computing

Gerard O’Regan

ECSCW 2013: Proceedings of the 13th European Conference on Computer Supported Cooperative Work, 21-25 September 2013, Paphos, Cyprus

Olav W. Bertelsen, Luigina Ciolfi, Maria Antonietta Grasso, George Angelos Papadopoulos

Understanding Learning in Virtual Worlds

Mark Childs, Anna Peachey

Electronic Visualisation in Arts and Culture

Jonathan P. Bowen, Suzanne Keene, Kia Ng

New Trends in Interaction, Virtual Reality and Modeling

Victor M.R. Penichet, Antonio Peñalver, José A. Gallud

Calculus for Computer Graphics

John Vince

Middleware Solutions for the Internet of Things

Flávia C. Delicato, Paulo F. Pires, Thais Batista

Logic Programming with Prolog

Max Bramer

Distributed User Interfaces: Usability and Collaboration

María D. Lozano, Jose A. Gallud, Ricardo Tesoriero, Victor M.R. Penichet

Formal Languages and Compilation

Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti

Advanced Topics in Computer Vision

Giovanni Maria Farinella, Sebastiano Battiato, Roberto Cipolla

Visual Heritage in the Digital Age

Eugene Ch'ng, Vincent Gaffney, Henry Chapman

Fundamentals of Parameterized Complexity

Rodney G. Downey, Michael R. Fellows

Countering Brandjacking in the Digital Age

Christopher Hofman, Simeon Keates

Data Security Breaches and Privacy in Europe

Rebecca Wong

Concise Guide to Databases

Peter Lake, Paul Crowther

Compression Schemes for Mining Large Datasets

T. Ravindra Babu, M. Narasimha Murty, S.V. Subrahmanya

CAN System Engineering

Wolfhard Lawrenz

Similarity-Based Pattern Analysis and Recognition

Marcello Pelillo

The Effects of Traffic Structure on Application and Network Performance

Jay Aikat, Kevin Jeffay, F. Donelson Smith

Social Semantics

Harry Halpin

Economics of Information Security and Privacy III

Bruce Schneier

Sentiment Analysis for PTSD Signals

Vadim Kagan, Edward Rossini, Demetrios Sapounas

The Era of Interactive Media

Jesse S. Jin, Changsheng Xu, Min Xu

Social Media Audit

Urs E. Gattiker

Security and Privacy in Social Networks

Yaniv Altshuler, Yuval Elovici, Armin B. Cremers, Nadav Aharony, Alex Pentland

Text Mining with MATLAB®

Rafael E. Banchs

Human Factors in Augmented Reality Environments

Weidong Huang, Leila Alem, Mark A. Livingston

Data Mining Applications Using Artificial Adaptive Systems

William J. Tastle

Handbook of Neuroevolution Through Erlang

Gene I. Sher

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba

V.S. Subrahmanian, Aaron Mannes, Amy Sliva, Jana Shakarian, John P. Dickerson

Traffic Measurement on the Internet

Tao Li, Shigang Chen

Network Robustness under Large-Scale Attacks

Qing Zhou, Long Gao, Ruifang Liu, Shuguang Cui

Mobile Authentication

Markus Jakobsson

Distributed Programming

A. Udaya Shankar

Spatio-temporal Networks

Betsy George, Sangho Kim

Querying Moving Objects Detected by Sensor Networks

Markus Bestehorn

Information Systems Development

Rob Pooley, Jennifer Coady, Christoph Schneider, Henry Linger, Chris Barry, Michael Lang

Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis

Uffe B. Kjærulff, Anders L. Madsen

Dynamic Cloud Collaboration Platform

Mohammad Mehedi Hassan, Eui-Nam Huh

Energy-aware Scheduling on Multiprocessor Platforms

Dawei Li, Jie Wu

RFID as an Infrastructure

Yan Qiao, Shigang Chen, Tao Li

Facebook Nation

Newton Lee

Handbook of Computational Approaches to Counterterrorism

V.S. Subrahmanian

Pattern Recognition and Classification

Geoff Dougherty

Requirements Engineering and Management for Software Development Projects

Murali Chemuturi

Moving Target Defense II

Sushil Jajodia, Anup K. Ghosh, V.S. Subrahmanian, Vipin Swarup, Cliff Wang, X. Sean Wang

Structured Peer-to-Peer Systems

Dmitry Korzun, Andrei Gurtov

Semantic Analysis and Understanding of Human Behavior in Video Streaming

Alberto Amato, Vincenzo Di Lecce, Vincenzo Piuri

Fast Compact Algorithms and Software for Spline Smoothing

Howard L. Weinert

Automatic Malware Analysis

Heng Yin, Dawn Song

Iris Biometrics

Christian Rathgeb, Andreas Uhl, Peter Wild

Health Informatics in the Cloud

Mark L. Braunstein

3D Surface Reconstruction

Francesco Bellocchio, N. Alberto Borghese, Stefano Ferrari, Vincenzo Piuri

Digital Functions and Data Reconstruction

Li M. Chen

Managing and Mining Sensor Data

Charu C. Aggarwal

Routing for Wireless Multi-Hop Networks

Sherin Abdel Hamid, Hossam S. Hassanein, Glen Takahara

Outlier Analysis

Charu C. Aggarwal

SmartData

Inman Harvey, Ann Cavoukian, George Tomko, Don Borrett, Hon Kwan, Dimitrios Hatzinakos

Physical Layer Approaches for Securing Wireless Communication Systems

Hong Wen

Performance Evaluation Software

Bahadir Karasulu, Serdar Korukoglu

Finding Source Code on the Web for Remix and Reuse

Susan Elliott Sim, Rosalva E. Gallardo-Valencia

Distributed Medium Access Control in Wireless Networks

Ping Wang, Weihua Zhuang

A General Framework for Reasoning On Inconsistency

Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian, Leila Amgoud

Semantic Web-based Intelligent Geospatial Web Services

Peng Yue

Search Theory

Steve Alpern, Robbert Fokkink, Leszek Gąsieniec, Roy Lindelauf, V.S. Subrahmanian

Distributed Space-Time Coding

Yindi Jing

Genetic Programming Theory and Practice X

Rick Riolo, Ekaterina Vladislavleva, Marylyn D Ritchie, Jason H. Moore

Web-Scale Data Management for the Cloud

Wolfgang Lehner, Kai-Uwe Sattler

Semantic Web and Web Science

Juanzi Li, Guilin Qi, Dongyan Zhao, Wolfgang Nejdl, Hai-Tao Zheng

Trust for Intelligent Recommendation

Touhid Bhuiyan

ICT Development for Social and Rural Connectedness

Nor Aziah Alias

Process Simulation and Parametric Modeling for Strategic Project Management

Peter J. Morales, Dennis Anderson

Modeling Trust Context in Networks

Sibel Adali

Abstraction in Artificial Intelligence and Complex Systems

Lorenza Saitta, Jean-Daniel Zucker

Cooperative Networking in a Heterogeneous Wireless Medium

Muhammad Ismail, Weihua Zhuang

Transportation and Information

Piyushimita (Vonu) Thakuriah, D. Glenn Geers

Security for Wireless Implantable Medical Devices

Xiali Hei, Xiaojiang Du

A Survey of Core Research in Information Systems

Anna Sidorova, Nicholas Evangelopoulos, Russell Torres, Vess Johnson

Trust-based Collective View Prediction

Tiejian Luo, Su Chen, Guandong Xu, Jia Zhou

Counterterrorism and Cybersecurity

Newton Lee

Robotized Transcranial Magnetic Stimulation

Lars Richter

Model-based Health Monitoring of Hybrid Systems

Danwei Wang, Ming Yu, Chang Boon Low, Shai Arogeti

Android Malware

Xuxian Jiang, Yajin Zhou

3D Biometrics

David Zhang, Guangming Lu

Hyperspectral Image Fusion

Subhasis Chaudhuri, Ketan Kotwal

Building Sustainable Information Systems

Henry Linger, Julie Fisher, Andrew Barnden, Chris Barry, Michael Lang, Christoph Schneider

Sustainable Web Ecosystem Design

Greg O'Toole

Concepts, Ontologies, and Knowledge Representation

Grega Jakus, Veljko Milutinović, Sanida Omerović, Sašo Tomažič

Studies on Urban Vehicular Ad-hoc Networks

Hongzi Zhu, Minglu Li

Modeling, Simulation and Visual Analysis of Crowds

Saad Ali, Ko Nishino, Dinesh Manocha, Mubarak Shah

Handbook of Medical and Healthcare Technologies

Borko Furht, Ankur Agarwal

Modern Accelerator Technologies for Geographic Information Science

Xuan Shi, Volodymyr Kindratenko, Chaowei Yang

Computational Medicine in Data Mining and Modeling

Goran Rakocevic, Tijana Djukic, Nenad Filipovic, Veljko Milutinović

Handbook of Human Computation

Pietro Michelucci

Security and Privacy in Mobile Social Networks

Xiaohui Liang, Rongxing Lu, Xiaodong Lin, Xuemin Shen

Cognitive Virtual Network Operator Games

Lingjie Duan, Jianwei Huang, Biying Shou

Resource Management in Utility and Cloud Computing

Han Zhao, Xiaolin Li

Intrusion Detection for IP-Based Multimedia Communications over Wireless Networks

Jin Tang, Yu Cheng

Distributed Hash Table

Hao Zhang, Yonggang Wen, Haiyong Xie, Nenghai Yu

Location Privacy Protection in Mobile Networks

Xinxin Liu, Xiaolin Li

4G Femtocells

Haijun Zhang, Xiaoli Chu, Xiangming Wen

Security Assessment in Vehicular Networks

Suguo Du, Haojin Zhu

Modelling Computing Systems

Faron Moller, Georg Struth

Principles of Digital Image Processing

Wilhelm Burger, Mark J. Burge

Measuring SIP Proxy Server Performance

Sureshkumar V. Subramanian, Rudra Dutta

New Geometric Data Structures for Collision Detection and Haptics

René Weller

Wireless Virtualization

Heming Wen, Prabhat Kumar Tiwary, Tho Le-Ngoc

Secure IP Mobility Management for VANET

Sanaa Taha, Xuemin Shen

Automated Security Management

Ehab Al-Shaer, Xinming Ou, Geoffrey Xie

Information Sciences and Systems 2013

Erol Gelenbe, Ricardo Lent

A Brief History of Cryptology and Cryptographic Algorithms

John F. Dooley

Digital Legacy and Interaction

Cristiano Maciel, Vinícius Carvalho Pereira

Performance Analysis of Computer Networks

Matthew N.O. Sadiku, Sarhan M. Musa

Concise Computer Mathematics

Ovidiu Bagdasar

Spatial Information Theory

Thora Tenbrink, John Stell, Antony Galton, Zena Wood

DNA Computing and Molecular Programming

David Soloveichik, Bernard Yurke

Speech and Computer

Miloš Železný, Ivan Habernal, Andrey Ronzhin

Data Center Networks

Yang Liu, Jogesh K. Muppala, Malathi Veeraraghavan, Dong Lin, Mounir Hamdi

Multimodal Brain Image Analysis

Li Shen, Tianming Liu, Pew-Thian Yap, Heng Huang, Dinggang Shen, Carl-Fredrik Westin

Scala Design Patterns

John Hunt

Machine Learning in Medical Imaging

Guorong Wu, Daoqiang Zhang, Dinggang Shen, Pingkun Yan, Kenji Suzuki, Fei Wang

Cyber Security

Maurizio Martellini

Computer Algebra in Scientific Computing

Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov

Security and the Networked Society

Mark A. Gregory, David Glance

Spatio-Temporal Databases

Marcos R. Vieira, Vassilis J. Tsotras

Economics of Grids, Clouds, Systems, and Services

Jörn Altmann, Kurt Vanmechelen, Omer F. Rana

String Processing and Information Retrieval

Oren Kurland, Moshe Lewenstein, Ely Porat

Automated Technology for Verification and Analysis

Dang Hung, Mizuhito Ogawa

Sustainable Wireless Networks

Zhongming Zheng, Lin X. Cai, Xuemin Shen

Unsupervised Information Extraction by Text Segmentation

Eli Cortez, Altigran S. Silva

Research and Development in Intelligent Systems XXX

Max Bramer, Miltos Petridis

Advances in Bioinformatics and Computational Biology

João C. Setubal, Nalvo F. Almeida

Software Language Engineering

Martin Erwig, Richard F. Paige, Eric Wyk

Social Robotics

Guido Herrmann, Martin J. Pearson, Alexander Lenz, Paul Bremner, Adam Spiers, Ute Leonards

Human Behavior Understanding

Albert Ali Salah, Hayley Hung, Oya Aran, Hatice Gunes

Information and Communications Security

Sihan Qing, Jianying Zhou, Dongmei Liu

Active Media Technology

Tetsuya Yoshida, Gang Kou, Andrzej Skowron, Jiannong Cao, Hakim Hacid, Ning Zhong

Brain and Health Informatics

Kazayuki Imamura, Shiro Usui, Tomoaki Shirao, Takuji Kasamatsu, Lars Schwabe, Ning Zhong

Interactive Storytelling

Hartmut Koenitz, Tonguc Ibrahim Sezen, Gabriele Ferri, Mads Haahr, Digdem Sezen, Güven C̨atak

Personal Satellite Services

Riadh Dhaou, André-Luc Beylot, Marie-José Montpetit, Daniel Lucani, Lorenzo Mucchi

Decision and Game Theory for Security

Sajal K. Das, Cristina Nita-Rotaru, Murat Kantarcioglu

Indian Mujahideen

V.S. Subrahmanian, Aaron Mannes, Animesh Roul, R.K. Raghavan

Advanced Concepts for Intelligent Vision Systems

Jacques Blanc-Talon, Andrzej Kasinski, Wilfried Philips, Dan Popescu, Paul Scheunders

Asia Pacific Business Process Management

Minseok Song, Moe Thandar Wynn, Jianxun Liu

Cryptology and Network Security

Michel Abdalla, Cristina Nita-Rotaru, Ricardo Dahab

Advances in Visual Informatics

Halimah Badioze Zaman, Peter Robinson, Patrick Olivier, Timothy K. Shih, Sergio Velastin

Biometric Recognition

Zhenan Sun, Shiguan Shan, Gongping Yang, Jie Zhou, Yunhong Wang, YiLong Yin

Human Computer Interaction

César Collazos, Andréia Liborio, Cristian Rusu

Hardware and Software: Verification and Testing

Valeria Bertacco, Axel Legay

Stabilization, Safety, and Security of Distributed Systems

Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita

Ambient Assisted Living and Active Aging

Christopher Nugent, Antonio Coronato, José Bravo

Advances in Computer Entertainment

Dennis Reidsma, Haruhiro Katayose, Anton Nijholt

Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction

Gabriel Urzaiz, Sergio F. Ochoa, José Bravo, Liming Luke Chen, Jonice Oliveira

Fuzzy Logic and Applications

Francesco Masulli, Gabriella Pasi, Ronald Yager

Social Informatics

Adam Jatowt, Ee-Peng Lim, Ying Ding, Asako Miura, Taro Tezuka, Gaël Dias, Katsumi Tanaka, Andrew Flanagin, Bing Tian Dai

Metadata and Semantics Research

Emmanouel Garoufallou, Jane Greenberg

Complex Sciences

Kristin Glass, Richard Colbaugh, Paul Ormerod, Jeffrey Tsao

Trusted Systems

Roderick Bloem, Peter Lipp

Progress in Cryptology – INDOCRYPT 2013

Goutam Paul, Serge Vaudenay

AI*IA 2013: Advances in Artificial Intelligence

Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio

Algorithms and Models for the Web Graph

Anthony Bonato, Michael Mitzenmacher, Paweł Prałat

Programming Languages and Systems

Chung-chieh Shan

Certified Programs and Proofs

Georges Gonthier, Michael Norrish

Structural Information and Communication Complexity

Thomas Moscibroda, Adele A. Rescigno

Cyberspace Safety and Security

Guojun Wang, Indrakshi Ray, Dengguo Feng, Muttukrishnan Rajarajan

Digital Libraries: Social Media and Community Networks

Shalini R. Urs, Jin-Cheon Na, George Buchanan

Ambient Intelligence

Juan Carlos Augusto, Reiner Wichert, Rem Collier, David Keyson, Albert Ali Salah, Ah-Hwee Tan

AI 2013: Advances in Artificial Intelligence

Stephen Cranefield, Abhaya Nayak

Big Data Analytics

Vasudha Bhatnagar, Srinath Srinivasa

Advances in Multimedia Information Processing – PCM 2013

Benoit Huet, Chong-Wah Ngo, Jinhui Tang, Zhi-Hua Zhou, Alexander G. Hauptmann, Shuicheng Yan

Trends in Mobile Web Information Systems

Maristella Matera, Gustavo Rossi

Swarm, Evolutionary, and Memetic Computing

Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash

Swarm, Evolutionary, and Memetic Computing

Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash

Combinatorial Optimization and Applications

Peter Widmayer, Yinfeng Xu, Binhai Zhu

Advances in Information Technology

Borworn Papasratorn, Nipon Charoenkitkarn, Vajirasak Vanijja, Vithida Chongsuphajaisiddhi

Graph Drawing

Stephen Wismath, Alexander Wolff

Mining Intelligence and Knowledge Exploration

Rajendra Prasath, T. Kathirvalavakumar

Principles of Distributed Systems

Roberto Baldoni, Nicolas Nisse, Maarten Steen

Algorithms and Architectures for Parallel Processing

Joanna Kołodziej, Beniamino Martino, Domenico Talia, Kaiqi Xiong

Multiple Access Communcations

Magnus Jonsson, Alexey Vinel, Boris Bellalta, Ninoslav Marina, Desislava Dimitrova, Dieter Fiems

Cloud Computing

Mazin Yousif, Lutz Schubert

Algorithms and Architectures for Parallel Processing

Rocco Aversa, Joanna Kołodziej, Jun Zhang, Flora Amato, Giancarlo Fortino

Intelligent Technologies for Interactive Entertainment

Matei Mancas, Nicolas d’ Alessandro, Xavier Siebert, Bernard Gosselin, Carlos Valderrama, Thierry Dutoit

Parameterized and Exact Computation

Gregory Gutin, Stefan Szeider

Process Support and Knowledge Representation in Health Care

David Riaño, Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, Annette Teije

Worldwide Commonalities and Challenges in Information Literacy Research and Practice

Serap Kurbanoğlu, Esther Grassian, Diane Mizrachi, Ralph Catts, Sonja Špiranec

Critical Information Infrastructures Security

Eric Luiijf, Pieter Hartel

Information and Communication Technologies in Education, Research, and Industrial Applications

Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych

Behavior and Social Computing

Longbing Cao, Hiroshi Motoda, Jaideep Srivastava, Ee-Peng Lim, Irwin King, Philip S. Yu, Wolfgang Nejdl, Guandong Xu, Gang Li, Ya Zhang

Design Science: Perspectives from Europe

Markus Helfert, Brian Donnellan

Ambient Media and Systems

Constantinos T. Angelis, Dimitrios Fotiadis, Alexandros T. Tzallas

Sensor Systems and Software

Marco Zuniga, Gianluca Dini

Natural Language in Business Process Models

Henrik Leopold

Current Trends in Web Engineering

Quan Z. Sheng, Jesper Kjeldskov

Mobile Networks and Management

Dirk Pesch, Andreas Timm-Giel, Ramón Agüero Calvo, Bernd-Ludwig Wenning, Kostas Pentikousis

Security and Privacy in Communication Networks

Tanveer Zia, Albert Zomaya, Vijay Varadharajan, Morley Mao

Evolving Ambient Intelligence

Michael J. O’Grady, Hamed Vahdat-Nejad, Klaus-Hendrik Wolf, Mauro Dragone, Juan Ye, Carsten Röcker, Gregory O’Hare

Cloud Computing and Services Science

Ivan I. Ivanov, Marten Sinderen, Frank Leymann, Tony Shan

Fault-Tolerant Search Algorithms

Ferdinando Cicalese

Analyzing Evolutionary Algorithms

Thomas Jansen

Compiler Design

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

Building and Using Comparable Corpora

Serge Sharoff, Reinhard Rapp, Pierre Zweigenbaum, Pascale Fung

Software and Data Technologies

José Cordeiro, Maria Virvou, Boris Shishkov

Biomedical Engineering Systems and Technologies

Ana Fred, Joaquim Filipe, Hugo Gamboa

Knowledge Discovery, Knowledge Engineering and Knowledge Management

Ana Fred, Jan L. G. Dietz, Kecheng Liu, Joaquim Filipe

Agents and Artificial Intelligence

Joaquim Filipe, Ana Fred

Computer Performance Optimization

Wolfgang W. Osterhage

Software Cost Estimation, Benchmarking, and Risk Assessment

Adam Trendowicz

Ontology-Driven Software Development

Jeff Z. Pan, Steffen Staab, Uwe Aßmann, Jürgen Ebert, Yuting Zhao

New Trends of Research in Ontologies and Lexical Resources

Alessandro Oltramari, Piek Vossen, Lu Qin, Eduard Hovy

Community Structure of Complex Networks

Hua-Wei Shen

Concurrent Programming: Algorithms, Principles, and Foundations

Michel Raynal

Introduction to Cryptography with Maple

José Luis Gómez Pardo

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek, Kang Zhang

Computer Vision, Imaging and Computer Graphics. Theory and Applications

Gabriela Csurka, Martin Kraus, Leonid Mestetskiy, Paul Richard, José Braz

Intrinsically Motivated Learning in Natural and Artificial Systems

Gianluca Baldassarre, Marco Mirolli

Unsupervised Classification

Sanghamitra Bandyopadhyay, Sriparna Saha

Fundamentals of Business Process Management

Marlon Dumas, Marcello La Rosa, Jan Mendling, Hajo A. Reijers

Industrial Deployment of System Engineering Methods

Alexander Romanovsky, Martyn Thomas

Understanding Petri Nets

Wolfgang Reisig

Industrial Image Processing

Christian Demant, Bernd Streicher-Abel, Carsten Garnica

Puzzles in Logic, Languages and Computation

Dragomir Radev

Puzzles in Logic, Languages and Computation

Dragomir Radev

Managing Requirements Knowledge

Walid Maalej, Anil Kumar Thurimella

Dynamic Provisioning for Community Services

Li Qi, Hai Jin

An Introduction to XML Query Processing and Keyword Search

Jiaheng Lu

Real-Time C++

Christopher Michael Kormanyos

Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets

Esther David, Valentin Robu, Onn Shehory, Sebastian Stein, Andreas Symeonidis

Evolution of Semantic Systems

Bernd-Olaf Küppers, Udo Hahn, Stefan Artmann

Auditing and GRC Automation in SAP

Maxim Chuprunov

Internetworking

Christoph Meinel, Harald Sack

Runtime Verification

Shaz Qadeer, Serdar Tasiran

Theory of Quantum Computation, Communication, and Cryptography

Kazuo Iwama, Yasuhito Kawano, Mio Murao

Distributed Computing and Networking

Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha

Software Quality. Increasing Value in Software and Systems Development

Dietmar Winkler, Stefan Biffl, Johannes Bergsmann

Unifying Theories of Programming

Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi

Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

Advances in Multimedia Modeling

Shipeng Li, Abdulmotaleb Saddik, Meng Wang, Tao Mei, Nicu Sebe, Shuicheng Yan, Richang Hong, Cathal Gurrin

Advances in Multimedia Modeling

Shipeng Li, Abdulmotaleb Saddik, Meng Wang, Tao Mei, Nicu Sebe, Shuicheng Yan, Richang Hong, Cathal Gurrin

ICT in Education, Research, and Industrial Applications

Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych

Material Appearance Modeling: A Data-Coherent Approach

Yue Dong, Stephen Lin, Baining Guo

Conceptual Structures for STEM Research and Education

Heather D. Pfeiffer, Dmitry I. Ignatov, Jonas Poelmans, Nagarjuna Gadiraju

Trustworthy Computing and Services

Yuyu Yuan, Xu Wu, Yueming Lu

Software Engineering for Self-Adaptive Systems II

Rogério Lemos, Holger Giese, Hausi A. Müller, Mary Shaw

Evaluation of Natural Language and Speech Tools for Italian

Bernardo Magnini, Francesco Cutugno, Mauro Falcone, Emanuele Pianta

Digital Libraries and Archives

Maristella Agosti, Floriana Esposito, Stefano Ferilli, Nicola Ferro

Transactions on Computational Science XVII

Marina L. Gavrilova, C. J. Kenneth Tan

SOFSEM 2013: Theory and Practice of Computer Science

Peter Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack

Formal Aspects of Component Software

Corina S. Păsăreanu, Gwen Salaün

Mobile Communication and Power Engineering

Vinu V Das, Yogesh Chaba

Job Scheduling Strategies for Parallel Processing

Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn

Verification, Model Checking, and Abstract Interpretation

Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni

Information Systems, E-learning, and Knowledge Management Research

Miltiadis D. Lytras, Da Ruan, Robert D. Tennyson, Patricia Ordonez De Pablos, Francisco José García Peñalvo, Lazar Rusu

Formal Methods for Components and Objects

Bernhard Beckert, Ferruccio Damiani, Frank S. Boer, Marcello M. Bonsangue

Data Privacy Management and Autonomous Spontaneous Security

Roberto Pietro, Javier Herranz, Ernesto Damiani, Radu State

Facing the Multicore-Challenge III

Rainer Keller, David Kramer, Jan-Philipp Weiss

Computer Engineering and Technology

Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang

Uncertainty Reasoning for the Semantic Web II

Fernando Bobillo, Paulo C. G. Costa, Claudia d’Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool

Modern Probabilistic Methods for Analysis of Telecommunication Networks

Alexander Dudin, Valentina Klimenok, Gennadiy Tsarenkov, Sergey Dudin

Generative and Transformational Techniques in Software Engineering IV

Ralf Lämmel, João Saraiva, Joost Visser

Selected Areas in Cryptography

Lars R. Knudsen, Huapeng Wu

Semantics in Data and Knowledge Bases

Klaus-Dieter Schewe, Bernhard Thalheim

Languages and Compilers for Parallel Computing

Sanjay Rajopadhye, Michelle Mills Strout

Logic and Its Applications

Kamal Lodaya

Mathematical and Engineering Methods in Computer Science

Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš

Software Engineering

Andrea Lucia, Filomena Ferrucci

System Modeling and Optimization

Dietmar Hömberg, Fredi Tröltzsch

WALCOM: Algorithms and Computation

Subir Kumar Ghosh, Takeshi Tokuyama

Distributed Computing and Internet Technology

Chittaranjan Hota, Pradip K. Srimani

Citizen in Sensor Networks

Jordi Nin, Daniel Villatoro

Software Language Engineering

Krzysztof Czarnecki, Görel Hedin

Algorithms for Sensor Systems

Amotz Bar-Noy, Magnús M. Halldórsson

Topics in Cryptology – CT-RSA 2013

Ed Dawson

Computer and Computing Technologies in Agriculture VI

Daoliang Li, Yingyi Chen

Construction and Evolution of Code Generators

Sven Jörges

Computer and Computing Technologies in Agriculture VI

Daoliang Li, Yingyi Chen

Radio Frequency Identification. Security and Privacy Issues

Jaap-Henk Hoepman, Ingrid Verbauwhede

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

José L. Ayala, Delong Shang, Alex Yakovlev

Software and Data Technologies

María José Escalona, José Cordeiro, Boris Shishkov

Security Protocols XVII

Bruce Christianson, James A. Malcolm, Vashek Matyáš, Michael Roe

Enterprise Applications and Services in the Finance Industry

Fethi A. Rabhi, Peter Gomber

Assurances for Self-Adaptive Systems

Javier Cámara, Rogério Lemos, Carlo Ghezzi, Antónia Lopes

Advances in Wireless Sensor Networks

Ruchuan Wang, Fu Xiao

Handbook of Data Quality

Shazia Sadiq

Business Process Management Workshops

Marcello Rosa, Pnina Soffer

Agents and Data Mining Interaction

Longbing Cao, Yifeng Zeng, Andreas L. Symeonidis, Vladimir I. Gorodetsky, Philip S. Yu, Munindar P Singh

Reversible Computation

Robert Glück, Tetsuo Yokoyama

Business Intelligence

Marie-Aude Aufaure, Esteban Zimányi

Advances in Computing, Communication, and Control

Srija Unnikrishnan, Sunil Surve, Deepak Bhoir

Pairing-Based Cryptography – Pairing 2012

Michel Abdalla, Tanja Lange

Chinese Lexical Semantics

Donghong Ji, Guozheng Xiao

Exploring Services Science

João Falcão e Cunha, Mehdi Snene, Henriqueta Nóvoa

Public-Key Cryptography – PKC 2013

Kaoru Kurosawa, Goichiro Hanaoka

Information Hiding

Matthias Kirchner, Dipak Ghosal

SmartShadow: Models and Methods for Pervasive Computing

Zhaohui Wu, Gang Pan

Semantic Mashups

Brigitte Endres-Niggemeyer

Information Retrieval Meets Information Visualization

Maristella Agosti, Nicola Ferro, Pamela Forner, Henning Müller, Giuseppe Santucci

Architecture of Computing Systems – ARCS 2013

Hana Kubátová, Christian Hochberger, Martin Daněk, Bernhard Sick

Process Support and Knowledge Representation in Health Care

Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, David Riaño, Annette Teije

Cognitive Agents for Virtual Environments

Frank Dignum, Cyril Brom, Koen Hindriks, Martin Beer, Deborah Richards

Transactions on Rough Sets XVI

James F. Peters, Andrzej Skowron, Sheela Ramanna, Zbigniew Suraj, Xin Wang

Wireless Network Security

Lei Chen, Jiahuang Ji, Zihong Zhang

Passive and Active Measurement

Matthew Roughan, Rocky Chang

Intelligent Information and Database Systems

Ali Selamat, Ngoc Thanh Nguyen, Habibollah Haron

Intelligent Information and Database Systems

Ali Selamat, Ngoc Thanh Nguyen, Habibollah Haron

Engineering Secure Software and Systems

Jan Jürjens, Benjamin Livshits, Riccardo Scandariato

Learning C# by Programming Games

Arjan Egges, Jeroen D. Fokker, Mark H. Overmars

Systems and Software Variability Management

Rafael Capilla, Jan Bosch, Kyo-Chul Kang

Theory of Cryptography

Amit Sahai

Web Information Systems and Technologies

José Cordeiro, Karl-Heinz Krempels

Enterprise Information Systems of the Future

Geert Poels

Informatics in Schools. Sustainable Informatics Education for Pupils of all Ages

Ira Diethelm, Roland T. Mittermeir

Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging

Bjoern H. Menze, Georg Langs, Le Lu, Albert Montillo, Zhuowen Tu, Antonio Criminisi

Mobile Computing, Applications, and Services

David Uhler, Khanjan Mehta, Jennifer L. Wong

Context-Aware Systems and Applications

Phan Cong Vinh, Nguyen Manh Hung, Nguyen Thanh Tung, Junichi Suzuki

Domain Engineering

Iris Reinhartz-Berger, Arnon Sturm, Tony Clark, Sholom Cohen, Jorn Bettin

Mobile Wireless Middleware, Operating Systems, and Applications

Cristian Borcea, Paolo Bellavista, Carlo Giannelli, Thomas Magedanz, Florian Schreiner

Intelligent Science and Intelligent Data Engineering

Jian Yang, Fang Fang, Changyin Sun

Wireless Sensor Networks

Piet Demeester, Ingrid Moerman, Andreas Terzis

Automated Reasoning and Mathematics

Maria Paola Bonacina, Mark E. Stickel

Medical Content-Based Retrieval for Clinical Decision Support

Hayit Greenspan, Henning Müller, Tanveer Syeda-Mahmood

Integer Programming and Combinatorial Optimization

Michel Goemans, José Correa

Computational Color Imaging

Shoji Tominaga, Raimondo Schettini, Alain Trémeau

Selected Topics in Performance Evaluation and Benchmarking

Raghunath Nambiar, Meikel Poess

Tools and Algorithms for the Construction and Analysis of Systems

Nir Piterman, Scott A. Smolka

Membrane Computing

Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil

S-BPM ONE - Running Processes

Herbert Fischer, Josef Schneeberger

System Analysis and Modeling: Theory and Practice

Øystein Haugen, Rick Reed, Reinhard Gotzhein

Graph Drawing

Walter Didimo, Maurizio Patrignani

TV-Anytime

Alberto Gil Solla, Rafael G. Sotelo Bovino

Emerging Trends in Knowledge Discovery and Data Mining

Takashi Washio, Jun Luo

Computer Performance Engineering

Mirco Tribastone, Stephen Gilmore

Data Traffic Monitoring and Analysis

Ernst Biersack, Christian Callegari, Maja Matijasevic

Personal Satellite Services

Prashant Pillai, Rajeev Shorey, Erina Ferro

Enterprise Interoperability

Marten Sinderen, Paul Oude Luttighuis, Erwin Folmer, Steven Bosems

Applied Parallel and Scientific Computing

Pekka Manninen, Per Öster

Reconfigurable Computing: Architectures, Tools and Applications

Philip Brisk, José Gabriel Figueiredo Coutinho, Pedro C. Diniz

Transactions on Computational Collective Intelligence IX

Ngoc Thanh Nguyen

Information and Communication Technology

Khabib Mustofa, Erich J. Neuhold, A Min Tjoa, Edgar Weippl, Ilsun You

Graphics Recognition. New Trends and Challenges

Young-Bin Kwon, Jean-Marc Ogier

Principles of Security and Trust

David Basin, John C. Mitchell

Security and Privacy in Communication Networks

Angelos D. Keromytis, Roberto Pietro

Information Theory, Combinatorics, and Search Theory

Harout Aydinian, Ferdinando Cicalese, Christian Deppe

S-BPM Illustrated

Albert Fleischmann, Stefan Raß, Robert Singer

Agents and Artificial Intelligence

Joaquim Filipe, Ana Fred

Seminal Contributions to Information Systems Engineering

Janis Bubenko, John Krogstie, Oscar Pastor, Barbara Pernici, Colette Rolland, Arne Sølvberg

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Dave Clarke, James Noble, Tobias Wrigstad

Euro-Par 2012: Parallel Processing Workshops

Ioannis Caragiannis, Michael Alexander, Rosa Maria Badia, Mario Cannataro, Alexandru Costan, Marco Danelutto, Frédéric Desprez, Bettina Krammer, Julio Sahuquillo, Stephen L. Scott, Josef Weidendorfer

Evolutionary and Biologically Inspired Music, Sound, Art and Design

Penousal Machado, James McDermott, Adrian Carballal

Ad Hoc Networks

Jun Zheng, Nathalie Mitton, Jun Li, Pascal Lorenz

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges

Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young

Transactions on Aspect-Oriented Software Development X

Gary T. Leavens, Shigeru Chiba, Éric Tanter

Advances in Information Retrieval

Pavel Serdyukov, Pavel Braslavski, Sergei O. Kuznetsov, Jaap Kamps, Stefan Rüger, Eugene Agichtein, Ilya Segalovich, Emine Yilmaz

Logic, Language, and Computation

Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter

The Language of Mathematics

Mohan Ganesalingam

Pervasive Computing and the Networked World

Qiaohong Zu, Bo Hu, Atilla Elçi

Programming Languages and Systems

Matthias Felleisen, Philippa Gardner

Transactions on Edutainment IX

Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Fotis Liarokapis

Compiler Construction

Ranjit Jhala, Koen Bosschere

Fundamental Approaches to Software Engineering

Vittorio Cortellessa, Dániel Varró

Language and Automata Theory and Applications

Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe

Discrete Geometry for Computer Imagery

Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Belen Medrano

Foundations of Software Science and Computation Structures

Frank Pfenning

Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction

Friedhelm Schwenker, Stefan Scherer, Louis-Philippe Morency

Web and Wireless Geographical Information Systems

Steve H. L. Liang, Xin Wang, Christophe Claramunt

Intelligent Computing for Sustainable Energy and Environment

Kang Li, Shaoyuan Li, Dewei Li, Qun Niu

Foundations and Practice of Security

Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi

Databases in Networked Information Systems

Aastha Madaan, Shinji Kikuchi, Subhash Bhalla

Evolutionary Multi-Criterion Optimization

Robin C. Purshouse, Peter J. Fleming, Carlos M. Fonseca, Salvatore Greco, Jane Shaw

Advances in Image and Graphics Technologies

Tieniu Tan, Qiuqi Ruan, Xilin Chen, Huimin Ma, Liang Wang

Persuasive Technology

Shlomo Berkovsky, Jill Freyne

Knowledge Discovery, Knowledge Engineering and Knowledge Management

Ana Fred, Jan L. G. Dietz, Kecheng Liu, Joaquim Filipe

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics

Leonardo Vanneschi, William S. Bush, Mario Giacobini

Applications of Evolutionary Computation

Anna I. Esparcia-Alcázar

Research in Computational Molecular Biology

Minghua Deng, Rui Jiang, Fengzhu Sun, Xuegong Zhang

Evolutionary Computation in Combinatorial Optimization

Martin Middendorf, Christian Blum

Genetic Programming

Krzysztof Krawiec, Alberto Moraglio, Ting Hu, A. Şima Etaner-Uyar, Bin Hu

Social Computing, Behavioral-Cultural Modeling and Prediction

Ariel M. Greenberg, William G. Kennedy, Nathan D. Bos

Adaptive and Natural Computing Algorithms

Marco Tomassini, Alberto Antonioni, Fabio Daolio, Pierre Buesser

Computational Linguistics and Intelligent Text Processing

Alexander Gelbukh

Computational Linguistics and Intelligent Text Processing

Alexander Gelbukh

Policies and Research in Identity Management

Simone Fischer-Hübner, Elisabeth Leeuw, Chris Mitchell

Open and Social Technologies for Networked Learning

Tobias Ley, Mikko Ruohonen, Mart Laanpere, Arthur Tatnall

Smart Card Research and Advanced Applications

Stefan Mangard

Technological Innovation for the Internet of Things

Luis M. Camarinha-Matos, Slavisa Tomic, Paula Graça

Detection of Intrusions and Malware, and Vulnerability Assessment

Ulrich Flegel, Evangelos Markatos, William Robertson

Computer Vision – ACCV 2012

Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu

Knowledge Engineering, Machine Learning and Lattice Computing with Applications

Manuel Graña, Carlos Toro, Robert J. Howlett, Lakhmi C. Jain

Your Virtual Butler

Robert Trappl

Tools for High Performance Computing 2012

Alexey Cheptsov, Steffen Brinkmann, José Gracia, Michael M. Resch, Wolfgang E. Nagel

SemProM

Wolfgang Wahlster

New Frontiers in Mining Complex Patterns

Annalisa Appice, Michelangelo Ceci, Corrado Loglisci, Giuseppe Manco, Elio Masciari, Zbigniew W. Ras

Perspectives on the Future of Software Engineering

Jürgen Münch, Klaus Schmid

Web Technologies and Applications

Yoshiharu Ishikawa, Jianzhong Li, Wei Wang, Rui Zhang, Wenjie Zhang

Computer Vision - ACCV 2012 Workshops

Jong-Il Park, Junmo Kim

Evaluating AAL Systems Through Competitive Benchmarking

Stefano Chessa, Stefan Knauth

Requirements Engineering: Foundation for Software Quality

Joerg Doerr, Andreas L. Opdahl

Adaptive Multimedia Retrieval. Large-Scale Multimedia Retrieval and Evaluation

Marcin Detyniecki, Ana García-Serrano, Andreas Nürnberger, Sebastian Stober

Computer Vision – ACCV 2012

Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu

Collaborative, Trusted and Privacy-Aware e/m-Services

Christos Douligeris, Nineta Polemi, Athanasios Karantjias, Winfried Lamersdorf

Computer Vision – ACCV 2012

Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu

Computer Vision – ACCV 2012

Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu

Database Systems for Advanced Applications

Weiyi Meng, Ling Feng, Stéphane Bressan, Werner Winiwarter, Wei Song

Advances in Knowledge Discovery and Data Mining

Jian Pei, Vincent S. Tseng, Longbing Cao, Hiroshi Motoda, Guandong Xu

Advances in Knowledge Discovery and Data Mining

Jian Pei, Vincent S. Tseng, Longbing Cao, Hiroshi Motoda, Guandong Xu

Intelligent Interactive Technologies and Multimedia

Anupam Agrawal, R. C. Tripathi, Ellen Yi-Luen Do, M. D. Tiwari

Business Modeling and Software Design

Boris Shishkov

Computer Vision - ACCV 2012 Workshops

Jong-Il Park, Junmo Kim

Database Systems for Advanced Applications

Weiyi Meng, Ling Feng, Stéphane Bressan, Werner Winiwarter, Wei Song

Feature-Oriented Software Product Lines

Sven Apel, Don Batory, Christian Kästner, Gunter Saake

Enterprise Architecture Patterns

Thierry Perroud, Reto Inversini

Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Alfredo Cuzzocrea, Umeshwar Dayal

Visual Analytics of Movement

Gennady Andrienko, Natalia Andrienko, Peter Bak, Daniel Keim, Stefan Wrobel

Recent Trends in Algebraic Development Techniques

Narciso Martí-Oliet, Miguel Palomino

Programming Logics

Andrei Voronkov, Christoph Weidenbach

Languages and Compilers for Parallel Computing

Hironori Kasahara, Keiji Kimura

Information Security and Cryptology – ICISC 2012

Taekyoung Kwon, Mun-Kyu Lee, Daesung Kwon

The Deductive Spreadsheet

Iliano Cervesato

Coordination, Organizations, Institutions, and Norms in Agent Systems VIII

Huib Aldewereld, Jaime Simão Sichman

Advances in Computational Intelligence

Ildar Batyrshin, Miguel González Mendoza

Parallel Programming

Thomas Rauber, Gudula Rünger

Service-Oriented Computing - ICSOC 2012 Workshops

Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quang Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang

Advances in Artificial Intelligence

Ildar Batyrshin, Miguel González Mendoza

Advances in Heuristic Signal Processing and Applications

Amitava Chatterjee, Hadi Nobahari, Patrick Siarry

Declarative Agent Languages and Technologies X

Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos

Wireless Mobile Communication and Healthcare

Balwant Godara, Konstantina S. Nikita

Health Information Science

Guangyan Huang, Xiaohui Liu, Jing He, Frank Klawonn, Guiqing Yao

Transactions on Edutainment X

Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Ido Iurgel, Paolo Petta, Bodo Urban

Mobile Networks and Management

Andreas Timm-Giel, John Strassner, Ramón Agüero, Susana Sargento, Kostas Pentikousis

Quality, Reliability, Security and Robustness in Heterogeneous Networks

Karan Singh, Amit K. Awasthi

Massively Parallel Evolutionary Computation on GPGPUs

Shigeyoshi Tsutsui, Pierre Collet

Communication Technologies for Vehicles

Marion Berbineau, Magnus Jonsson, Jean-Marie Bonnin, Soumaya Cherkaoui, Marina Aguado, Cristina Rico-Garcia, Hassan Ghannoum, Rashid Mehmood, Alexey Vinel

Green Communication and Networking

Jaime Lloret Mauri, Joel J. P. C. Rodrigues

Arts and Technology

Giorgio Michelis, Francesco Tisato, Andrea Bene, Diego Bernini

Semantic Technology

Hideaki Takeda, Yuzhong Qu, Riichiro Mizoguchi, Yoshinobu Kitamura

Security and Trust Management

Audun Jøsang, Pierangela Samarati, Marinella Petrocchi

Approximation and Online Algorithms

Thomas Erlebach, Giuseppe Persiano

Grid and Pervasive Computing

James J. (Jong Hyuk) Park, Hamid R. Arabnia, Cheonshik Kim, Weisong Shi, Joon-Min Gil

Smart Grid Security

Jorge Cuellar

Information Security Practice and Experience

Robert H. Deng, Tao Feng

Bioinformatics Research and Applications

Zhipeng Cai, Oliver Eulenstein, Daniel Janies, Daniel Schwartz

Highlights on Practical Applications of Agents and Multi-Agent Systems

Juan M. Corchado, Javier Bajo, Jaroslaw Kozlak, Pawel Pawlewski, Jose M. Molina, Vicente Julian, Ricardo Azambuja Silveira, Rainer Unland, Sylvain Giroux

Multiple Classifier Systems

Zhi-Hua Zhou, Fabio Roli, Josef Kittler

Advances on Practical Applications of Agents and Multi-Agent Systems

Yves Demazeau, Toru Ishida, Juan M. Corchado, Javier Bajo

Clinical Image-Based Procedures. From Planning to Intervention

Klaus Drechsler, Marius Erdt, Marius George Linguraru, Cristina Oyarzun Laura, Karun Sharma, Raj Shekhar, Stefan Wesarg

The Future Internet

Alex Galis, Anastasius Gavras

Augmented Environments for Computer-Assisted Interventions

Cristian A. Linte, Elvis C. S. Chen, Marie-Odile Berger, John T. Moore, David R. Holmes

NASA Formal Methods

Guillaume Brat, Neha Rungta, Arnaud Venet

Advances in Enterprise Engineering VII

Henderik A. Proper, David Aveiro, Khaled Gaaloul

Distributed Algorithms for Message-Passing Systems

Michel Raynal

Transactions on Petri Nets and Other Models of Concurrency VII

Kurt Jensen, Wil M. P. Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky

Bob Coecke, Luke Ong, Prakash Panangaden

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Carla Gomes, Meinolf Sellmann

Open Learning Cultures

Ulf-Daniel Ehlers

Logic-Based Program Synthesis and Transformation

Elvira Albert

Wireless Multimedia Sensor Networks on Reconfigurable Hardware

Li-minn Ang, Kah Phooi Seng, Li Wern Chew, Lee Seng Yeong, Wai Chong Chia

Model-Based Methodologies for Pervasive and Embedded Software

Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck

Belief-based Stability in Coalition Formation with Uncertainty

Chi-kong Chan, Ho-fung Leung

Graph-Based Representations in Pattern Recognition

Walter G. Kropatsch, Nicole M. Artner, Yll Haxhimusa, Xiaoyi Jiang

Advanced Infocomm Technology

Vincent Guyot

Web Services and Formal Methods

Maurice H. Beek, Niels Lohmann

Algorithms and Complexity

Paul G. Spirakis, Maria Serna

Theory and Applications of Models of Computation

T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan

Computer Vision, Imaging and Computer Graphics. Theory and Application

Gabriela Csurka, Martin Kraus, Robert S. Laramee, Paul Richard, José Braz

Web Dynpro ABAP for Practitioners

Ulrich Gellert, Ana Daniela Cristea

Optical Supercomputing

Shlomi Dolev, Mihai Oltean

Biomedical Engineering Systems and Technologies

Joaquim Gabriel, Jan Schier, Sabine Huffel, Emmanuel Conchon, Carlos Correia, Ana Fred, Hugo Gamboa

Scale Space and Variational Methods in Computer Vision

Arjan Kuijper, Kristian Bredies, Thomas Pock, Horst Bischof

Modeling and Simulation in Engineering, Economics, and Management

María Ángeles Fernández-Izquierdo, María Jesús Muñoz-Torres, Raúl León

The Semantic Web: Semantics and Big Data

Philipp Cimiano, Oscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph

Mathematical Morphology and Its Applications to Signal and Image Processing

Cris L. Luengo Hendriks, Gunilla Borgefors, Robin Strand

Agile Processes in Software Engineering and Extreme Programming

Hubert Baumeister, Barbara Weber

Formal Concept Analysis

Peggy Cellier, Felix Distel, Bernhard Ganter

Trust Management VII

Carmen Fernández-Gago, Fabio Martinelli, Siani Pearson, Isaac Agudo

Artificial Intelligence in Medicine

Niels Peek, Roque Marín Morales, Mor Peleg

Web Information Systems Engineering – WISE 2011 and 2012 Workshops

Armin Haller, Guangyan Huang, Zhisheng Huang, Hye-young Paik, Quan Z. Sheng

Computational Intelligence Methods for Bioinformatics and Biostatistics

Leif E. Peterson, Francesco Masulli, Giuseppe Russo

Advances in Cryptology – EUROCRYPT 2013

Thomas Johansson, Phong Q. Nguyen

Business Information Systems

Witold Abramowicz

Information Systems: Methods, Models, and Applications

Heinrich C. Mayr, Christian Kop, Stephen Liddle, Athula Ginige

Wired/Wireless Internet Communication

Vassilis Tsaoussidis, Andreas J. Kassler, Yevgeni Koucheryavy, Abdelhamid Mellouk

Next Generation of Information Technology in Educational Management

Don Passey, Andreas Breiter, Adrie Visscher

Advances in Artificial Intelligence

Osmar R. Zaïane, Sandra Zilles

Enterprise, Business-Process and Information Systems Modeling

Selmin Nurcan, Henderik A. Proper, Pnina Soffer, John Krogstie, Rainer Schmidt, Terry Halpin, Ilia Bider

Advanced Information Systems Engineering Workshops

Xavier Franch, Pnina Soffer

Coordination Models and Languages

Rocco Nicola, Christine Julien

Transactions on Computational Collective Intelligence X

Ngoc-Thanh Nguyen, Joanna Kołodziej, Tadeusz Burczyński, Marenglen Biba

Hybrid Metaheuristics

María J. Blesa, Christian Blum, Paola Festa, Andrea Roli, Michael Sampels

Information Security and Cryptology

Mirosław Kutyłowski, Moti Yung

Experimental Algorithms

Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela

Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems

Lorenzo Cavallaro, Dieter Gollmann

Computer Science – Theory and Applications

Andrei A. Bulatov, Arseny M. Shur

Distributed Applications and Interoperable Systems

Jim Dowling, François Taïani

Progress in Cryptology – AFRICACRYPT 2013

Amr Youssef, Abderrahmane Nitaj, Aboul Ella Hassanien

Multimedia Communications, Services and Security

Andrzej Dziech, Andrzej Czyżewski

Web-Age Information Management

Jianyong Wang, Hui Xiong, Yoshiharu Ishikawa, Jianliang Xu, Junfeng Zhou

Information Processing in Computer-Assisted Interventions

Dean Barratt, Stéphane Cotin, Gabor Fichtinger, Pierre Jannin, Nassir Navab

Software Product Quality Control

Stefan Wagner

Automated Deduction – CADE-24

Maria Paola Bonacina

Recent Trends in Applied Artificial Intelligence

Moonis Ali, Tibor Bosse, Koen V. Hindriks, Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur

Formal Techniques for Distributed Systems

Dirk Beyer, Michele Boreale

Reliable Software Technologies – Ada-Europe 2013

Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk

Business Process Models. Change Management

Christian Gerth

Artificial Intelligence and Soft Computing

Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada

Integrated Formal Methods

Einar Broch Johnsen, Luigia Petre

Post-Quantum Cryptography

Philippe Gaborit

Natural and Artificial Computation in Engineering and Medical Applications

José Manuel Ferrández Vicente, José Ramón Álvarez Sánchez, Félix Paz López, Fco. Javier Toledo Moreo

Pattern Recognition and Image Analysis

João M. Sanches, Luisa Micó, Jaime S. Cardoso

Network and System Security

Javier Lopez, Xinyi Huang, Ravi Sandhu

Language Processing and Intelligent Information Systems

Mieczysław A. Kłopotek, Jacek Koronacki, Małgorzata Marciniak, Agnieszka Mykowiecka, Sławomir T. Wierzchoń

Natural and Artificial Models in Computation and Biology

José Manuel Ferrández Vicente, José Ramón Álvarez Sánchez, Félix Paz López, Fco. Javier Toledo Moreo

Aspect-Oriented Requirements Engineering

Ana Moreira, Ruzanna Chitchyan, João Araújo, Awais Rashid

Artificial Intelligence and Soft Computing

Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada

Benchmarking Peer-to-Peer Systems

Wolfgang Effelsberg, Ralf Steinmetz, Thorsten Strufe

Transactions on Pattern Languages of Programming III

James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford

Advances in Computational Intelligence

Ignacio Rojas, Gonzalo Joya, Joan Gabestany

Advances in Computational Intelligence

Ignacio Rojas, Gonzalo Joya, Joan Cabestany

Application and Theory of Petri Nets and Concurrency

José-Manuel Colom, Jörg Desel

Programming Multi-Agent Systems

Mehdi Dastani, Jomi F. Hübner, Brian Logan

Advances in Swarm Intelligence

Ying Tan, Yuhui Shi, Hongwei Mo

End-User Development

Yvonne Dittrich, Margaret Burnett, Anders Mørch, David Redmiles

Advanced Information Systems Engineering

Camille Salinesi, Moira C. Norrie, Óscar Pastor

Advances in Swarm Intelligence

Ying Tan, Yuhui Shi, Hongwei Mo

High Performance Computing for Computational Science - VECPAR 2012

Michel Daydé, Osni Marques, Kengo Nakajima

Ontology Matching

Jérôme Euzenat, Pavel Shvaiko

Supercomputing

Julian Martin Kunkel, Thomas Ludwig, Hans Werner Meuer

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management

Michael Fellows, Xuehou Tan, Binhai Zhu

Computing and Combinatorics

Ding-Zhu Du, Guochuan Zhang

Developments in Language Theory

Marie-Pierre Béal, Olivier Carton

Practice-Driven Research on Enterprise Transformation

Frank Harmsen, Henderik A. Proper

Advances in Brain Inspired Cognitive Systems

Derong Liu, Cesare Alippi, Dongbin Zhao, Amir Hussain

Dependable Computing

Marco Vieira, João Carlos Cunha

Transactions on Computational Science XVIII

Marina L. Gavrilova, C. J. Kenneth Tan, Arjan Kuijper

Inductive Logic Programming

Fabrizio Riguzzi, Filip Železný

Natural Language Processing and Information Systems

Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera

Design Science at the Intersection of Physical and Virtual Design

Jan Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi

Software Process Improvement and Capability Determination

Tanja Woronowicz, Terry Rout, Rory V. O’Connor, Alec Dorling

Webble Technology

Oksana Arnold, Wolfgang Spickermann, Nicolas Spyratos, Yuzuru Tanaka

User Modeling, Adaptation, and Personalization

Sandra Carberry, Stephan Weibelzahl, Alessandro Micarelli, Giovanni Semeraro

Advances in Nonlinear Speech Processing

Thomas Drugman, Thierry Dutoit

Embedded Systems: Design, Analysis and Verification

Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig

Static Analysis

Francesco Logozzo, Manuel Fähndrich

Multi-Agent-Based Simulation XIII

Francesca Giardini, Frédéric Amblard

Grand Successes and Failures in IT. Public and Private Sectors

Yogesh K. Dwivedi, Helle Zinner Henriksen, David Wastell, Rahul De’

Computer Networks

Andrzej Kwiecień, Piotr Gaj, Piotr Stera

Information Processing in Medical Imaging

James C. Gee, Sarang Joshi, Kilian M. Pohl, William M. Wells, Lilla Zöllei

Formal Methods for Dynamical Systems

Marco Bernardo, Erik Vink, Alessandra Pierro, Herbert Wiklicky

Theory and Practice of Model Transformations

Keith Duddy, Gerti Kappel

Image Analysis

Joni-Kristian Kämäräinen, Markus Koskela

Functional Imaging and Modeling of the Heart

Sébastien Ourselin, Daniel Rueckert, Nicolas Smith

Combinatorial Pattern Matching

Johannes Fischer, Peter Sanders

Trust and Trustworthy Computing

Michael Huth, N. Asokan, Srdjan Čapkun, Ivan Flechais, Lizzie Coles-Kemp

SDL 2013: Model-Driven Dependability Engineering

Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed

Tests and Proofs

Margus Veanes, Luca Viganò

Open Source Software: Quality Verification

Etiel Petrinja, Giancarlo Succi, Nabil Ioini, Alberto Sillitti

Typed Lambda Calculi and Applications

Masahito Hasegawa

Basics of Bioinformatics

Rui Jiang, Xuegong Zhang, Michael Q. Zhang

Global Design and Local Materialization

Jianlong Zhang, Chengyu Sun

Safe and Secure Software Reuse

John Favaro, Maurizio Morisio

Applied Cryptography and Network Security

Michael Jacobson, Michael Locasto, Payman Mohassel, Reihaneh Safavi-Naini

Reversible Computation

Gerhard W. Dueck, D. Michael Miller

Pattern Recognition

Jesús Ariel Carrasco-Ochoa, José Francisco Martínez-Trinidad, Joaquín Salas Rodríguez, Gabriella Sanniti Baja

Emerging Management Mechanisms for the Future Internet

Guillaume Doyen, Martin Waldburger, Pavel Čeleda, Anna Sperotto, Burkhard Stiller

Modelling Foundations and Applications

Pieter Gorp, Tom Ritter, Louis M. Rose

Software Architecture

Khalil Drira

ECOOP 2013 – Object-Oriented Programming

Giuseppe Castagna

The Nature of Computation. Logic, Algorithms, Applications

Paola Bonizzoni, Vasco Brattka, Benedikt Löwe

Case-Based Reasoning Research and Development

Sarah Jane Delany, Santiago Ontañón

Information Security and Privacy

Colin Boyd, Leonie Simpson

Human Factors in Computing and Informatics

Andreas Holzinger, Martina Ziefle, Martin Hitz, Matjaž Debevc

Advances in Neural Networks – ISNN 2013

Chengan Guo, Zeng-Guang Hou, Zhigang Zeng

Advances in Neural Networks – ISNN 2013

Chengan Guo, Zeng-Guang Hou, Zhigang Zeng

Theory and Applications of Satisfiability Testing – SAT 2013

Matti Järvisalo, Allen Van Gelder

Unconventional Computation and Natural Computation

Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca

Privacy Enhancing Technologies

Emiliano Cristofaro, Matthew Wright

Foundations of Health Information Engineering and Systems

Jens Weber, Isabelle Perseil

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Linda C. Gaag

Image Analysis and Recognition

Mohamed Kamel, Aurélio Campilho

Artificial Intelligence in Education

H. Chad Lane, Kalina Yacef, Jack Mostow, Philip Pavlik

Cross-Cultural Design. Cultural Differences in Everyday Life

P. L. Patrick Rau

Similarity-Based Pattern Recognition

Edwin Hancock, Marcello Pelillo

Cross-Cultural Design. Methods, Practice, and Case Studies

P. L. Patrick Rau

Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data

Andreas Holzinger, Gabriella Pasi

Pattern Recognition in Bioinformatics

Alioune Ngom, Enrico Formenti, Jin-Kao Hao, Xing-Ming Zhao, Twan Laarhoven

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport

Vincent G. Duffy

Model Checking Software

Ezio Bartocci, C. R. Ramakrishnan

Systems, Software and Services Process Improvement

Fergal McCaffery, Rory V. O’Connor, Richard Messnarz

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics

Vincent G. Duffy

E-Voting and Identify

James Heather, Steve Schneider, Vanessa Teague

Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for eInclusion

Constantine Stephanidis, Margherita Antona

Universal Access in Human-Computer Interaction. User and Context Diversity

Constantine Stephanidis, Margherita Antona

Universal Access in Human-Computer Interaction. Applications and Services for Quality of Life

Constantine Stephanidis, Margherita Antona

Web Engineering

Florian Daniel, Peter Dolog, Qing Li

Automata, Languages, and Programming

Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg

Human Interface and the Management of Information. Information and Interaction Design

Sakae Yamamoto

Automata, Languages, and Programming

Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, David Peleg

Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environments

Sakae Yamamoto

Security and Privacy Protection in Information Processing Systems

Lech J. Janczewski, Henry B. Wolfe, Sujeet Shenoi

Robotics in Smart Manufacturing

Pedro Neto, António Paulo Moreira

Human Interface and the Management of Information. Information and Interaction for Learning, Culture, Collaboration and Business,

Sakae Yamamoto

Design, User Experience, and Usability. Design Philosophy, Methods, and Tools

Aaron Marcus

Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments

Masaaki Kurosu

Detection of Intrusions and Malware, and Vulnerability Assessment

Konrad Rieck, Patrick Stewin, Jean-Pierre Seifert

Design, User Experience, and Usability. User Experience in Novel Technological Environments

Aaron Marcus

Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience

Aaron Marcus

Ad-hoc, Mobile, and Wireless Network

Jacek Cichoń, Maciej Gȩbala, Marek Klonowski

RoboCup 2012: Robot Soccer World Cup XVI

Xiaoping Chen, Peter Stone, Luis Enrique Sucar, Tijn Zant

Design, User Experience, and Usability. Web, Mobile, and Product Design

Aaron Marcus

Data and Applications Security and Privacy XXVII

Lingyu Wang, Basit Shafiq

Product-Focused Software Process Improvement

Jens Heidrich, Markku Oivo, Andreas Jedlitschka, Maria Teresa Baldassarre

Human-Computer Interaction. Applications and Services

Masaaki Kurosu

Human-Computer Interaction. Users and Contexts of Use

Masaaki Kurosu

Implementation and Application of Automata

Stavros Konstantinidis

Structured Object-Oriented Formal Language and Method

Shaoying Liu

Descriptional Complexity of Formal Systems

Helmut Jurgensen, Rogério Reis

Web Information Retrieval

Stefano Ceri, Alessandro Bozzon, Marco Brambilla, Emanuele Della Valle, Piero Fraternali, Silvia Quarteroni

Intelligent Computer Mathematics

Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger

Human-Computer Interaction. Interaction Modalities and Techniques

Masaaki Kurosu

Software Business. From Physical Products to Software Services and Solutions

Georg Herzwurm, Tiziana Margaria

Human-Computer Interaction. Towards Intelligent and Implicit Interaction

Masaaki Kurosu

Human Aspects of Information Security, Privacy, and Trust

Louis Marinos, Ioannis Askoxylakis

Distributed, Ambient, and Pervasive Interactions

Norbert Streitz, Constantine Stephanidis

Engineering Psychology and Cognitive Ergonomics. Applications and Services

Don Harris

Mathematics and Computation in Music

Jason Yust, Jonathan Wild, John Ashley Burgoyne

Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition

Don Harris

Online Communities and Social Computing

A. Ant Ozok, Panayiotis Zaphiris

Information Assurance and Security Education and Training

Ronald C. Dodge, Lynn Futcher

Computer Vision Systems

Mei Chen, Bastian Leibe, Bernd Neumann

Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments

Randall Shumaker

Analytical and Stochastic Modeling Techniques and Applications

Alexander Dudin, Koen Turck

Virtual, Augmented and Mixed Reality. Systems and Applications

Randall Shumaker

Data Integration in the Life Sciences

Christopher J. O. Baker, Greg Butler, Igor Jurisica

Foundations of Augmented Cognition

Dylan D. Schmorrow, Cali M. Fidopiastis

Big Data

Georg Gottlob, Giovanni Grasso, Dan Olteanu, Christian Schallhart

Inclusive Society: Health and Wellbeing in the Community, and Care at Home

Jit Biswas, Hisato Kobayashi, Lawrence Wong, Bessam Abdulrazak, Mounir Mokhtari

HCI International 2013 - Posters’ Extended Abstracts

Constantine Stephanidis

HCI International 2013 - Posters’ Extended Abstracts

Constantine Stephanidis

Intelligent Computing Theories

De-Shuang Huang, Vitoantonio Bevilacqua, Juan Carlos Figueroa, Prashan Premaratne

Intelligent Computing Theories and Technology

De-Shuang Huang, Kang-Hyun Jo, Yong-Quan Zhou, Kyungsook Han

The Economics of Information Security and Privacy

Rainer Böhme

Model-Driven Dependability Assessment of Software Systems

Simona Bernardi, José Merseguer, Dorina Corina Petriu

Integrated Uncertainty in Knowledge Modelling and Decision Making

Zengchang Qin, Van-Nam Huynh

Artificial General Intelligence

Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang

Web-Age Information Management

Yunjun Gao, Kyuseok Shim, Zhiming Ding, Peiquan Jin, Zujie Ren, Yingyuan Xiao, An Liu, Shaojie Qiao

The Languages of Western Tonality

Eytan Agmon

Statistical Language and Speech Processing

Adrian-Horia Dediu, Carlos Martín-Vide, Ruslan Mitkov, Bianca Truthe

Hardware and Software: Verification and Testing

Armin Biere, Amir Nahir, Tanja Vos

Software Composition

Walter Binder, Eric Bodden, Welf Löwe

Theory, Practice, and Applications of Rules on the Web

Leora Morgenstern, Petros Stefaneas, François Lévy, Adam Wyner, Adrian Paschke

Interactive Theorem Proving

Sandrine Blazy, Christine Paulin-Mohring, David Pichardie

Computational Science and Its Applications – ICCSA 2013

Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi

Computational Science and Its Applications – ICCSA 2013

Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi

Computational Science and Its Applications – ICCSA 2013

Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi

Computational Science and Its Applications – ICCSA 2013

Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi

Computational Science and Its Applications – ICCSA 2013

Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi

The Power of Algorithms

Giorgio Ausiello, Rossella Petreschi

Web Reasoning and Rule Systems

Wolfgang Faber, Domenico Lembo

Emerging Intelligent Computing Technology and Applications

De-Shuang Huang, Phalguni Gupta, Ling Wang, Michael Gromiha

Intelligence and Security Informatics

G. Alan Wang, Xiaolong Zheng, Michael Chau, Hsinchun Chen

Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Wireless Algorithms, Systems, and Applications

Kui Ren, Xue Liu, Weifa Liang, Ming Xu, Xiaohua Jia, Kai Xing

Machine Learning and Data Mining in Pattern Recognition

Petra Perner

Theoretical Aspects of Computing – ICTAC 2013

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Unifying Theories of Programming and Formal Engineering Methods

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Advances in Data Mining. Applications and Theoretical Aspects

Petra Perner

Search Based Software Engineering

Günther Ruhe, Yuanyuan Zhang

Hybrid Learning and Continuing Education

Simon K. S. Cheung, Joseph Fong, Wilfred Fong, Fu Lee Wang, Lam For Kwok

Transactions on Computational Science XIX

Marina L. Gavrilova, C. J. Kenneth Tan, Anton Konushin

Reasoning Web. Semantic Technologies for Intelligent Data Access

Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank Harmelen

Knowledge Science, Engineering and Management

Mingzheng Wang

Computer Aided Verification

Natasha Sharygina, Helmut Veith

Biomimetic and Biohybrid Systems

Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F. M. J. Verschure, Tony J. Prescott

Wireless Access Flexibility

Giuseppe Bianchi, Andrey Lyakhov, Evgeny Khorov

Co-created Effective, Agile, and Trusted eServices

Jonna Järveläinen, Hongxiu Li, Anne-Marie Tuikka, Tiina Kuusela

Nordic Contributions in IS Research

Margunn Aanestad, Tone Bratteteig

Smart Health

Daniel Zeng, Christopher C. Yang, Vincent S. Tseng, Chunxiao Xing, Hsinchun Chen, Fei-Yue Wang, Xiaolong Zheng

Agreement Technologies

Carlos Iván Chesñevar, Eva Onaindia, Sascha Ossowski, George Vouros

Agent-Oriented Software Engineering XIII

Jörg P. Müller, Massimo Cossentino

Enabling Real-Time Business Intelligence

Malu Castellanos, Umeshwar Dayal, Elke A. Rundensteiner

Computational and Robotic Models of the Hierarchical Organization of Behavior

Gianluca Baldassarre, Marco Mirolli

E-Commerce and Web Technologies

Christian Huemer, Pasquale Lops

Financial Cryptography and Data Security

Ahmad-Reza Sadeghi

Digital Forensics and Cyber Crime

Marcus Rogers, Kathryn C. Seigfried-Spellar

New Frontiers in Artificial Intelligence

Yoichi Motomura, Alastair Butler, Daisuke Bekki

Multicore Software Engineering, Performance, and Tools

João M. Lourenço, Eitan Farchi

Parallel Computing Technologies

Victor Malyshkin

Logic, Language, Information, and Computation

Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz

The Personal Web

Mark Chignell, James R. Cordy, Ryan Kealey, Joanna Ng, Yelena Yesha

Formal Grammar

Glyn Morrill, Mark-Jan Nederhof

Public Key Infrastructures, Services and Applications

Sabrina Capitani di Vimercati, Chris Mitchell

Geometric Science of Information

Frank Nielsen, Frédéric Barbaresco

Constructive Side-Channel Analysis and Secure Design

Emmanuel Prouff

Advances in Cryptology – CRYPTO 2013

Ran Canetti, Juan A. Garay

Euro-Par 2013 Parallel Processing

Felix Wolf, Bernd Mohr, Dieter Mey

Information Technologies for Performing Arts, Media Access, and Entertainment

Paolo Nesi, Raffaella Santucci

Data Management in Cloud, Grid and P2P Systems

Abdelkader Hameurlain, Wenny Rahayu, David Taniar

Transactions on Large-Scale Data- and Knowledge-Centered Systems IX

Abdelkader Hameurlain, Josef Küng, Roland Wagner

Advances in Cryptology – CRYPTO 2013

Ran Canetti, Juan A. Garay

Multilingual Information Access in South Asian Languages

Prasenjit Majumder, Mandar Mitra, Pushpak Bhattacharyya, L. Venkata Subramaniam, Danish Contractor, Paolo Rosso

Industrial Applications of Holonic and Multi-Agent Systems

Vladimír Mařík, Jose L. Martinez Lastra, Petr Skobelev

Information Technology in Bio- and Medical Informatics

Miroslav Bursa, Sami Khuri, M. Elena Renda

Digital Forensics and Watermaking

Yun Q. Shi, Hyoung-Joong Kim, Fernando Pérez-González

Algorithms and Data Structures

Frank Dehne, Roberto Solis-Oba, Jörg-Rüdiger Sack

Data Warehousing and Knowledge Discovery

Ladjel Bellatreche, Mukesh K. Mohania

Contemporary Evolution Strategies

Thomas Bäck, Christophe Foussette, Peter Krause

Information Search, Integration and Personalization

Yuzuru Tanaka, Nicolas Spyratos, Tetsuya Yoshida, Carlo Meghini

Networked Systems

Vincent Gramoli, Rachid Guerraoui

Technology-Enabled Innovation for Democracy, Government and Governance

Andrea Kő, Christine Leitner, Herbert Leitold, Alexander Prosser

Fundamentals of Computation Theory

Leszek Gąsieniec, Frank Wolter

Case-Based Reasoning

Michael M. Richter, Rosina O. Weber

Database and Expert Systems Applications

Hendrik Decker, Lenka Lhotská, Sebastian Link, Josef Basl, A Min Tjoa

CONCUR 2013 – Concurrency Theory

Pedro R. D’Argenio, Hernán Melgratti

Quantitative Evaluation of Systems

Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D’Argenio

Computer Security – ESORICS 2013

Jason Crampton, Sushil Jajodia, Keith Mayes

Algebra and Coalgebra in Computer Science

Reiko Heckel, Stefan Milius

Fundamentals of Software Engineering

Farhad Arbab, Marjan Sirjani

Formal Modeling and Analysis of Timed Systems

Víctor Braberman, Laurent Fribourg

Advances in Spatial and Temporal Databases

Mario A. Nascimento, Timos Sellis, Reynold Cheng, Jörg Sander, Yu Zheng, Hans-Peter Kriegel, Matthias Renz, Christian Sengstock

Mobile and Ubiquitous Systems: Computing, Networking, and Services

Kan Zheng, Mo Li, Hongbo Jiang

Computer Analysis of Images and Patterns

Richard Wilson, Edwin Hancock, Adrian Bors, William Smith

Soft Computing for Image and Multimedia Data Processing

Siddhartha Bhattacharyya, Ujjwal Maulik

Computer Analysis of Images and Patterns

Richard Wilson, Edwin Hancock, Adrian Bors, William Smith

Database Systems for Advanced Applications

Bonghee Hong, Xiaofeng Meng, Lei Chen, Werner Winiwarter, Wei Song

Space-Efficient Data Structures, Streams, and Algorithms

Andrej Brodnik, Alejandro López-Ortiz, Venkatesh Raman, Alfredo Viola

Mobile Web Information Systems

Florian Daniel, George A. Papadopoulos, Philippe Thiran

Database and Expert Systems Applications

Hendrik Decker, Lenka Lhotská, Sebastian Link, Josef Basl, A Min Tjoa

Advances in Depth Image Analysis and Applications

Xiaoyi Jiang, Olga Regina Pereira Bellon, Dmitry Goldgof, Takeshi Oishi

Mathematical Foundations of Computer Science 2013

Krishnendu Chatterjee, Jirí Sgall

Internet of Things, Smart Spaces, and Next Generation Networking

Sergey Balandin, Sergey Andreev, Yevgeni Koucheryavy

Trends and Applications in Knowledge Discovery and Data Mining

Jiuyong Li, Longbing Cao, Can Wang, Kay Chen Tan, Bo Liu, Jian Pei, Vincent S. Tseng

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques

Prasad Raghavendra, Sofya Raskhodnikova, Klaus Jansen, José D. P. Rolim

Trust, Privacy, and Security in Digital Business

Steven Furnell, Costas Lambrinoudakis, Javier Lopez

Electronic Participation

Maria A. Wimmer, Efthimios Tambouris, Ann Macintosh

Cryptographic Hardware and Embedded Systems - CHES 2013

Guido Bertoni, Jean-Sébastien Coron

Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services

Christos Emmanouilidis, Marco Taisch, Dimitris Kiritsis

The Beauty of Functional Code

Peter Achten, Pieter Koopman

Electronic Government

Maria A. Wimmer, Marijn Janssen, Hans J. Scholl

Advances in Production Management Systems. Competitive Manufacturing for Innovative Products and Services

Christos Emmanouilidis, Marco Taisch, Dimitris Kiritsis

Scalable Uncertainty Management

Weiru Liu, V. S. Subrahmanian, Jef Wijsen

Lightweight Cryptography for Security and Privacy

Gildas Avoine, Orhun Kara

Energy Minimization Methods in Computer Vision and Pattern Recognition

Anders Heyden, Fredrik Kahl, Carl Olsson, Magnus Oskarsson, Xue-Cheng Tai

Enabling Things to Talk

Alessandro Bassi, Martin Bauer, Martin Fiedler, Thorsten Kramp, Rob Kranenburg, Sebastian Lange, Stefan Meissner

Intelligent Robotics Systems: Inspiring the NEXT

Khairuddin Omar, Md Jan Nordin, Prahlad Vadakkepat, Anton Satria Prabuwono, Siti Norul Huda Sheikh Abdullah, Jacky Baltes, Shamsudin Mohd Amin, Wan Zuha Wan Hassan, Mohammad Faidzul Nasrudin

Intelligent Virtual Agents

Ruth Aylett, Brigitte Krenn, Catherine Pelachaud, Hiroshi Shimodaira

Trends in Functional Programming

Hans-Wolfgang Loidl, Ricardo Peña

Algorithms – ESA 2013

Hans L. Bodlaender, Giuseppe F. Italiano

Algorithms in Bioinformatics

Aaron Darling, Jens Stoye

Transactions on Petri Nets and Other Models of Concurrency VIII

Maciej Koutny, Wil M. P. Aalst, Alex Yakovlev

Human-Computer Interaction – INTERACT 2013

Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler

Human-Computer Interaction – INTERACT 2013

Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler

Human-Computer Interaction – INTERACT 2013

Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler

Systems and Frameworks for Computational Morphology

Cerstin Mahlow, Michael Piotrowski

Computational Collective Intelligence. Technologies and Applications

Costin Bǎdicǎ, Ngoc Thanh Nguyen, Marius Brezovan

Human-Computer Interaction – INTERACT 2013

Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler

Research and Advanced Technology for Digital Libraries

Trond Aalberg, Christos Papatheodorou, Milena Dobreva, Giannis Tsakonas, Charles J. Farrugia

Availability, Reliability, and Security in Information Systems and HCI

Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu

Energy Efficiency in Large Scale Distributed Systems

Jean-Marc Pierson, Georges Da Costa, Lars Dittmann

Automated Reasoning with Analytic Tableaux and Related Methods

Didier Galmiche, Dominique Larchey-Wendling

Collaborative Systems for Reindustrialization

Luis M. Camarinha-Matos, Raimar J. Scherer

Advances in Communication Networking

Thomas Bauschert

Software Engineering and Formal Methods

Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti

Logic Programming and Nonmonotonic Reasoning

Pedro Cabalar, Tran Cao Son

Soft Computing Applications and Intelligent Systems

Shahrul Azman Noah, Azizi Abdullah, Haslina Arshad, Azuraliza Abu Bakar, Zulaiha Ali Othman, Shahnorbanun Sahran, Nazlia Omar, Zalinda Othman

Security in Computing and Communications

Sabu M. Thampi, Pradeep K. Atrey, Chun-I Fan, Gregorio Martinez Perez

Combinatorics on Words

Juhani Karhumäki, Arto Lepistö, Luca Zamboni

Text, Speech, and Dialogue

Ivan Habernal, Václav Matoušek

Security Engineering and Intelligence Informatics

Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu

Advances in Security of Information and Communication Networks

Ali Ismail Awad, Aboul Ella Hassanien, Kensuke Baba

Pattern Recognition

Joachim Weickert, Matthias Hein, Bernt Schiele

Formal Methods for Components and Objects

Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue

Computational Logic in Multi-Agent Systems

João Leite, Tran Cao Son, Paolo Torroni, Leon Torre, Stefan Woltran

Principles and Practice of Constraint Programming

Christian Schulte

Advances in Artificial Intelligence

Concha Bielza, Antonio Salmerón, Amparo Alonso-Betanzos, J. Ignacio Hidalgo, Luis Martínez, Alicia Troncoso, Emilio Corchado, Juan M. Corchado

Bluetooth Security Attacks

Keijo Haataja, Konstantin Hyppönen, Sanna Pasanen, Pekka Toivanen

Service-Oriented and Cloud Computing

Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel

Introduction to Public Key Infrastructures

Johannes A. Buchmann, Evangelos Karatsiolis, Alexander Wiesmaier

Algebraic Informatics

Traian Muntean, Dimitrios Poulakis, Robert Rolland

Progress in Artificial Intelligence

Luís Correia, Luís Paulo Reis, José Cascalho

Automated Deduction in Geometry

Tetsuo Ida, Jacques Fleuriot

Advances in Databases and Information Systems

Barbara Catania, Giovanna Guerrini, Jaroslav Pokorný

OpenMP in the Era of Low Power Devices and Accelerators

Alistair P. Rendell, Barbara M. Chapman, Matthias S. Müller

Partially Supervised Learning

Zhi-Hua Zhou, Friedhelm Schwenker

Computational Methods in Systems Biology

Ashutosh Gupta, Thomas A. Henzinger

Language Processing and Knowledge in the Web

Iryna Gurevych, Chris Biemann, Torsten Zesch

Computer Performance Engineering

Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin

Artificial Neural Networks and Machine Learning – ICANN 2013

Valeri Mladenov, Petia Koprinkova-Hristova, Günther Palm, Alessandro E. P. Villa, Bruno Appollini, Nikola Kasabov

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013

Kensaku Mori, Ichiro Sakuma, Yoshinobu Sato, Christian Barillot, Nassir Navab

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013

Kensaku Mori, Ichiro Sakuma, Yoshinobu Sato, Christian Barillot, Nassir Navab

Flexible Query Answering Systems

Henrik Legind Larsen, Maria J. Martin-Bautista, María Amparo Vila, Troels Andreasen, Henning Christiansen

Multiagent System Technologies

Matthias Klusch, Matthias Thimm, Marcin Paprzycki

Communications and Multimedia Security

Bart Decker, Jana Dittmann, Christian Kraetzer, Claus Vielhauer

Runtime Verification

Axel Legay, Saddek Bensalem

Serious Games Development and Applications

Minhua Ma, Manuel Fradinho Oliveira, Sobah Petersen, Jannicke Baalsrud Hauge

Computer Safety, Reliability, and Security

Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche

Enterprise Systems Integration

Diogo R. Ferreira

Information Access Evaluation. Multilinguality, Multimodality, and Visualization

Pamela Forner, Henning Müller, Roberto Paredes, Paolo Rosso, Benno Stein

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013

Kensaku Mori, Ichiro Sakuma, Yoshinobu Sato, Christian Barillot, Nassir Navab

Scaling up Learning for Sustained Impact

Davinia Hernández-Leo, Tobias Ley, Ralf Klamma, Andreas Harrer

Network and Parallel Computing

Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng

Perspectives in Business Informatics Research

Andrzej Kobyliński, Andrzej Sobczak

Cooperative Design, Visualization, and Engineering

Yuhua Luo

Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions

Hongen Liao, Cristian A. Linte, Ken Masamune, Terry M. Peters, Guoyan Zheng

Hybrid Artificial Intelligent Systems

Jeng-Shyang Pan, Marios M. Polycarpou, Michał Woźniak, André C. P. L. F. Carvalho, Héctor Quintián, Emilio Corchado

Intelligent Robotics and Applications

Jangmyung Lee, Min Cheol Lee, Honghai Liu, Jee-Hwan Ryu

Intelligent Robotics and Applications

Jangmyung Lee, Min Cheol Lee, Honghai Liu, Jee-Hwan Ryu

Information Systems: Development, Learning, Security

Stanisław Wrycza

Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets

Esther David, Christopher Kiekintveld, Valentin Robu, Onn Shehory, Sebastian Stein

Cellular Automata and Discrete Complex Systems

Jarkko Kari, Martin Kutrib, Andreas Malcher

Frontiers of Combining Systems

Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt

Software Engineering for Resilient Systems

Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko

Discovery Science

Johannes Fürnkranz, Eyke Hüllermeier, Tomoyuki Higuchi

Data-Driven Process Discovery and Analysis

Philippe Cudre-Mauroux, Paolo Ceravolo, Dragan Gašević

Programming Languages

André Rauber Bois, Phil Trinder

Computer Information Systems and Industrial Management

Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Sławomir Wierzchoń

Algorithmic Learning Theory

Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann

KI 2013: Advances in Artificial Intelligence

Ingo J. Timm, Matthias Thimm

Logic, Rationality, and Interaction

Davide Grossi, Olivier Roy, Huaxin Huang

Advances in Global Sourcing. Models, Governance, and Relationships

Ilan Oshri, Julia Kotlarsky, Leslie P. Willcocks

Modeling and Using Context

Patrick Brézillon, Patrick Blackburn, Richard Dapoigny

Machine Learning and Knowledge Discovery in Databases

Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železný

Machine Learning and Knowledge Discovery in Databases

Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železný

Machine Learning and Knowledge Discovery in Databases

Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železný

Formal Methods for Industrial Critical Systems

Charles Pecheur, Michael Dierkes

Engineering Applications of Neural Networks

Lazaros Iliadis, Harris Papadopoulos, Chrisina Jayne

Engineering Applications of Neural Networks

Lazaros Iliadis, Harris Papadopoulos, Chrisina Jayne

Computational Logistics

Dario Pacino, Stefan Voß, Rune Møller Jensen

On the Move to Meaningful Internet Systems: OTM 2013 Conferences

Robert Meersman, Hervé Panetto, Tharam Dillon, Johann Eder, Zohra Bellahsene, Norbert Ritter, Pieter Leenheer, Deijing Dou

On the Move to Meaningful Internet Systems: OTM 2013 Workshops

Yan Tang Demey, Hervé Panetto

Reachability Problems

Parosh Aziz Abdulla, Igor Potapov

Evaluating AAL Systems Through Competitive Benchmarking

Juan A. Botía, Juan Antonio Álvarez-García, Kaori Fujinami, Paolo Barsocchi, Till Riedel

Wireless Sensor Networks for Developing Countries

Faisal Karim Shaikh, Bhawani Shankar Chowdhry, Habib M. Ammari, Muhammad Aslam Uqaili, Assadullah Shah

Multidisciplinary Information Retrieval

Mihai Lupu, Evangelos Kanoulas, Fernando Loizides

Similarity Search and Applications

Nieves Brisaboa, Oscar Pedreira, Pavel Zezula

Haptic and Audio Interaction Design

Ian Oakley, Stephen Brewster

Formal Methods: Foundations and Applications

Juliano Iyoda, Leonardo Moura

Decision Support Systems II - Recent Developments Applied to DSS Network Environments

Jorge E. Hernández, Shaofeng Liu, Boris Delibašić, Pascale Zaraté, Fátima Dargam, Rita Ribeiro

Abdominal Imaging. Computation and Clinical Applications

Hiroyuki Yoshida, Simon Warfield, Michael W. Vannier

Security and Trust Management

Rafael Accorsi, Silvio Ranise

Entertainment Computing – ICEC 2013

Junia C. Anacleto, Esteban W. G. Clua, Flavio S. Correa Silva, Sidney Fels, Hyun S. Yang

Time and Petri Nets

Louchka Popova-Zeugmann

Empirical Inference

Bernhard Schölkopf, Zhiyuan Luo, Vladimir Vovk

Artificial Intelligence Applications and Innovations

Harris Papadopoulos, Andreas S. Andreou, Lazaros Iliadis, Ilias Maglogiannis

Human Work Interaction Design. Work Analysis and HCI

Pedro Campos, Torkil Clemmensen, José Abdelnour Nocera, Dinesh Katre, Arminda Lopes, Rikke Ørngreen

Advances in Digital Forensics IX

Gilbert Peterson, Sujeet Shenoi

Environmental Software Systems. Fostering Information Sharing

Jiří Hřebíček, Gerald Schimak, Miroslav Kubásek, Andrea E. Rizzoli

Web Information Systems Engineering – WISE 2013

Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang

Trustworthy Global Computing

Catuscia Palamidessi, Mark D. Ryan

Advances in Web-Based Learning – ICWL 2013

Jhing-Fa Wang, Rynson Lau

e-Infrastructure and e-Services for Developing Countries

Karl Jonas, Idris A. Rai, Maurice Tchuente

Image Analysis and Processing – ICIAP 2013

Alfredo Petrosino

Image Analysis and Processing – ICIAP 2013

Alfredo Petrosino

New Trends in Image Analysis and Processing – ICIAP 2013

Alfredo Petrosino, Lucia Maddalena, Pietro Pala

Formal Methods and Software Engineering

Lindsay Groves, Jing Sun

Cyber Security and Privacy

Massimo Felici

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing

Davide Ciucci, Masahiro Inuiguchi, Yiyu Yao, Dominik Ślęzak, Guoyin Wang

Transactions on Large-Scale Data- and Knowledge-Centered Systems X

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou

Security, Privacy, and Applied Cryptography Engineering

Benedikt Gierlichs, Sylvain Guilley, Debdeep Mukhopadhyay

Provable Security

Willy Susilo, Reza Reyhanitabar

Web Information Systems Engineering – WISE 2013

Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang

The Semantic Web: ESWC 2013 Satellite Events

Philipp Cimiano, Miriam Fernández, Vanessa Lopez, Stefan Schlobach, Johanna Völker

From Sounds to Music and Emotions

Mitsuko Aramaki, Mathieu Barthet, Richard Kronland-Martinet, Sølvi Ystad

Advances in Production Management Systems. Sustainable Production and Service Supply Chains

Vittal Prabhu, Marco Taisch, Dimitris Kiritsis

Advances in Production Management Systems. Sustainable Production and Service Supply Chains

Vittal Prabhu, Marco Taisch, Dimitris Kiritsis

Intelligent Data Engineering and Automated Learning – IDEAL 2013

Hujun Yin, Ke Tang, Yang Gao, Frank Klawonn, Minho Lee, Thomas Weise, Bin Li, Xin Yao

Research in Attacks, Intrusions, and Defenses

Salvatore J. Stolfo, Angelos Stavrou, Charles V. Wright

Measurement Methodology and Tools

Lluís Fàbrega, Pere Vilà, Davide Careglio, Dimitri Papadimitriou

Rough Sets and Knowledge Technology

Pawan Lingras, Marcin Wolski, Chris Cornelis, Sushmita Mitra, Piotr Wasilewski

Financial Cryptography and Data Security

Andrew A. Adams, Michael Brenner, Matthew Smith

Digital Product and Process Development Systems

George L. Kovács, Detlef Kochan

Radio Frequency Identification

Michael Hutter, Jörn-Marc Schmidt

The Semantic Web – ISWC 2013

Harith Alani, Lalana Kagal, Achille Fokoue, Paul Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha Noy, Chris Welty, Krzysztof Janowicz

The Semantic Web – ISWC 2013

Harith Alani, Lalana Kagal, Achille Fokoue, Paul Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha Noy, Chris Welty, Krzysztof Janowicz

Collaboration and Technology

Pedro Antunes, Marco Aurélio Gerosa, Allan Sylvester, Julita Vassileva, Gert-Jan Vreede

Knowledge Engineering and the Semantic Web

Pavel Klinov, Dmitry Mouromtsev

Model and Data Engineering

Alfredo Cuzzocrea, Sofian Maabout

Advances in Information and Computer Security

Kazuo Sakiyama, Masayuki Terada

Modern Cryptography Primer

Czesław Kościelny, Mirosław Kurkowski, Marian Srebrny

Reactive Kripke Semantics

Dov M. Gabbay

Algorithmic Game Theory

Berthold Vöcking

Physically Unclonable Functions

Roel Maes

Advances in Intelligent Data Analysis XII

Allan Tucker, Frank Höppner, Arno Siebes, Stephen Swift

People, Problems, and Proofs

Richard J. Lipton, Kenneth W. Regan

Internet and Distributed Computing Systems

Mukaddim Pathan, Guiyi Wei, Giancarlo Fortino

Critical Information Infrastructure Security

Sandro Bologna, Bernhard Hämmerli, Dimitris Gritzalis, Stephen Wolthusen

Combinatorial Search: From Algorithms to Systems

Youssef Hamadi

Critical Information Infrastructures Security

Bernhard M. Hämmerli, Nils Kalstad Svendsen, Javier Lopez

Secure IT Systems

Hanne Riis Nielson, Dieter Gollmann

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data

Maosong Sun, Min Zhang, Dekang Lin, Haifeng Wang

Product Lifecycle Management for Society

Alain Bernard, Louis Rivest, Debasish Dutta

Intelligent Multimedia Surveillance

Pradeep K. Atrey, Mohan S. Kankanhalli, Andrea Cavallaro

Numerical Analysis and Its Applications

Ivan Dimov, István Faragó, Lubin Vulkov

Applications of Declarative Programming and Knowledge Management

Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf

Distributed Computing

Yehuda Afek

Model-Driven Engineering Languages and Systems

Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke

Multimodal Communication in Political Speech. Shaping Minds and Social Action

Isabella Poggi, Francesca D’Errico, Laura Vincze, Alessandro Vinciarelli

Modeling Decisions for Artificial Intelligence

Vicenç Torra, Yasuo Narukawa, Guillermo Navarro-Arribas, David Megías

Evolution of Telecommunication Services

Emmanuel Bertin, Noel Crespi, Thomas Magedanz

Algorithmic Decision Theory

Patrice Perny, Marc Pirlot, Alexis Tsoukiàs

Constraint Solving and Language Processing

Denys Duchier, Yannick Parmentier

Implementation and Application of Functional Languages

Ralf Hinze

High Performance Computing

Yunquan Zhang, Kenli Li, Zheng Xiao

Social Media Retrieval and Mining

Shuigeng Zhou, Zhiang Wu

Computer Engineering and Technology

Weixia Xu, Liquan Xiao, Chengyi Zhang, Jinwen Li, Liyan Yu

Enterprise and Organizational Modeling and Simulation

Joseph Barjis, Ashish Gupta, Amir Meshkat

The Practice of Enterprise Modeling

Janis Grabis, Marite Kirikova, Jelena Zdravkovic, Janis Stirna

Natural Language Processing and Chinese Computing

Guodong Zhou, Juanzi Li, Dongyan Zhao, Yansong Feng

Activities of Transport Telematics

Jerzy Mikulski

Making the History of Computing Relevant

Arthur Tatnall, Tilly Blyth, Roger Johnson

In Search of Elegance in the Theory and Practice of Computation

Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman

Business Information Systems Workshops

Witold Abramowicz

Testing Software and Systems

Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich

Security Protocols XXI

Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson, Joseph Bonneau

Wireless Internet

Hua Qian, Kai Kang

Transactions on Computational Collective Intelligence XI

Ngoc Thanh Nguyen

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

José Ruiz-Shulcloper, Gabriella Sanniti di Baja

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

José Ruiz-Shulcloper, Gabriella Sanniti di Baja

Transactions on Computational Science XX

Marina L. Gavrilova, C. J. Kenneth Tan, Bahman Kalantari

Geo-Informatics in Resource Management and Sustainable Ecosystem

Fuling Bian, Yichun Xie, Xiaohui Cui, Yixin Zeng

Advances in Visual Computing

George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Baoxin Li, Fatih Porikli, Victor Zordan, James Klosowski, Sabine Coquillart, Xun Luo, Min Chen, David Gotz

Conceptual Modeling

Wilfred Ng, Veda C. Storey, Juan C. Trujillo

Advances in Visual Computing

George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Baoxin Li, Fatih Porikli, Victor Zordan, James Klosowski, Sabine Coquillart, Xun Luo, Min Chen, David Gotz

Information and Software Technologies

Tomas Skersys, Rimantas Butleris, Rita Butkiene

Number Theory and Cryptography

Marc Fischlin, Stefan Katzenbeisser

Advanced Techniques for Knowledge Engineering and Innovative Applications

Jeffrey W. Tweedale, Lakhmi C. Jain

VLSI Design and Test

Manoj Singh Gaur, Mark Zwolinski, Vijay Laxmi, Dharmendra Boolchandani, Virendra Sing, Adit D. Sing

Advances in Cryptology - ASIACRYPT 2013

Kazue Sako, Palash Sarkar

Neural Information Processing

Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil

Advances in Cryptology - ASIACRYPT 2013

Kazue Sako, Palash Sarkar

Neural Information Processing

Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil

Neural Information Processing

Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil

Intelligence Science and Big Data Engineering

Changyin Sun, Fang Fang, Zhi-Hua Zhou, Wankou Yang, Zhi-Yong Liu

PRIMA 2013: Principles and Practice of Multi-Agent Systems

Guido Boella, Edith Elkind, Bastin Tony Roy Savarimuthu, Frank Dignum, Martin K. Purvis

Lean Enterprise Software and Systems

Brian Fitzgerald, Kieran Conboy, Ken Power, Ricardo Valerdi, Lorraine Morgan, Klaas-Jan Stol

Multi-disciplinary Trends in Artificial Intelligence

Sheela Ramanna, Pawan Lingras, Chattrakul Sombattheera, Aneesh Krishna

Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence

David L. Dowe

Time-of-Flight and Depth Imaging. Sensors, Algorithms, and Applications

Marcin Grzegorzek, Christian Theobalt, Reinhard Koch, Andreas Kolb

Learning and Intelligent Optimization

Giuseppe Nicosia, Panos Pardalos

Service-Oriented Computing

Samik Basu, Cesare Pautasso, Liang Zhang, Xiang Fu

Theory and Practice of Natural Computing

Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe, Miguel A. Vega-Rodríguez

Geo-Informatics in Resource Management and Sustainable Ecosystem

Fuling Bian, Yichun Xie, Xiaohui Cui, Yixin Zeng

Algorithms and Computation

Leizhen Cai, Siu-Wing Cheng, Tak-Wah Lam

AsiaSim 2013

Gary Tan, Gee Kin Yeo, Stephen John Turner, Yong Meng Teo

Graph-Theoretic Concepts in Computer Science

Andreas Brandstädt, Klaus Jansen, Rüdiger Reischuk

Web and Internet Economics

Yiling Chen, Nicole Immorlica

Pattern Recognition and Machine Intelligence

Pradipta Maji, Ashish Ghosh, M. Narasimha Murty, Kuntal Ghosh, Sankar K. Pal

Middleware 2013

David Eyers, Karsten Schwan

Information Retrieval Technology

Rafael E. Banchs, Fabrizio Silvestri, Tie-Yan Liu, Min Zhang, Sheng Gao, Jun Lang

VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design

Andreas Burg, Ayṣe Coṣkun, Matthew Guthaus, Srinivas Katkoori, Ricardo Reis

Advances in Soft Computing and Its Applications

Félix Castro, Alexander Gelbukh, Miguel González

Advances in Artificial Intelligence and Its Applications

Félix Castro, Alexander Gelbukh, Miguel González

Chinese Lexical Semantics

Pengyuan Liu, Qi Su

Information Systems Security

Aditya Bagchi, Indrakshi Ray

Ada 2012 Rationale

John Barnes

Logic for Programming, Artificial Intelligence, and Reasoning

Ken McMillan, Aart Middeldorp, Andrei Voronkov

Cryptography and Coding

Martijn Stam

Trustworthy Eternal Systems via Evolving Software, Data and Knowledge

Alessandro Moschitti, Barbara Plank

Resource Discovery

Zoé Lacroix, Edna Ruckhaus, Maria-Esther Vidal

Transactions on Large-Scale Data- and Knowledge-Centered Systems XI

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Bernd Amann, Philippe Lamarre

Knowledge Sharing through Technology

Jeanne Lam, Kam Cheong Li, Simon K. S. Cheung, Fu Lee Wang

Combinatorial Algorithms

Thierry Lecroq, Laurent Mouchard

Computational Geometry and Graphs

Jin Akiyama, Mikio Kano, Toshinori Sakai

Practical Aspects of Declarative Languages

Kostis Sagonas

Advanced Parallel Processing Technologies

Chenggang Wu, Albert Cohen

Transactions on Large-Scale Data- and Knowledge-Centered Systems XII

Abdelkader Hameurlain, Josef Küng, Roland Wagner

Transactions on Computational Science XXI

Marina L. Gavrilova, C. J. Kenneth Tan, Ajith Abraham

Critical Infrastructure Protection VII

Jonathan Butts, Sujeet Shenoi

Engineering Multi-Agent Systems

Massimo Cossentino, Amal Fallah Seghrouchni, Michael Winikoff

Molecular Biology

Wiesława Widłak

Advances in Service-Oriented and Cloud Computing

Carlos Canal, Massimo Villari

User-Level Workflow Design

Anna-Lena Lamprecht

Ubiquitous Social Media Analysis

Martin Atzmueller, Alvin Chin, Denis Helic, Andreas Hotho

Software and Data Technologies

José Cordeiro, Slimane Hammoudi, Marten Sinderen

Ada 2012 Reference Manual. Language and Standard Libraries

S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek, Joaquim Filipe

Information Computing and Applications

Yuhang Yang, Maode Ma, Baoxiang Liu

Computer Aided Systems Theory - EUROCAST 2013

Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia

Computer Aided Systems Theory - EUROCAST 2013

Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia

Transactions on Computational Collective Intelligence XII

Ngoc Thanh Nguyen

Advanced Data Mining and Applications

Hiroshi Motoda, Zhaohui Wu, Longbing Cao, Osmar Zaiane, Min Yao, Wei Wang

Advanced Data Mining and Applications

Hiroshi Motoda, Zhaohui Wu, Longbing Cao, Osmar Zaiane, Min Yao, Wei Wang

Information Computing and Applications

Yuhang Yang, Maode Ma, Baoxiang Liu

Frontiers in Internet Technologies

Jinshu Su, Baokang Zhao, Zhigang Sun, Xiaofeng Wang, Fei Wang, Ke Xu

Linked Data and Knowledge Graph

Guilin Qi, Jie Tang, Jianfeng Du, Jeff Z. Pan, Yong Yu

Evaluation of Novel Approaches to Software Engineering

Joaquim Filipe, Leszek A. Maciaszek

Knowledge Discovery, Knowledge Engineering and Knowledge Management

Ana Fred, Jan L. G. Dietz, Kecheng Liu, Joaquim Filipe

Future Mobile Communications

Yasir Zaki

Modelling and Controlling of Behaviour for Autonomous Mobile Robots

Hendrik Skubch

The Internet of Products

Robert Neumann

Using Microsoft Dynamics AX 2012

Andreas Luszczak

Recommender Systems and the Social Web

Fatih Gedikli

Multilayered Security and Privacy Protection in Car-to-X Networks

Hagen Stübing

Games for Health

Ben Schouten, Stephen Fedtke, Tilde Bekker, Marlies Schijven, Alex Gekker

Mobile Payment

Thomas Lerner

ISSE 2013 Securing Electronic Business Processes

Helmut Reimer, Norbert Pohlmann, Wolfgang Schneider

Techniques and Tools for Designing an Online Social Network Platform

Panagiotis Karampelas

Security and Privacy Preserving in Social Networks

Richard Chbeir, Bechara Al Bouna

The Influence of Technology on Social Network Analysis and Mining

Tansel Özyer, Jon Rokne, Gerhard Wagner, Arno H.P. Reuser

IT Enabled Services

Shiro Uesugi

Information Reuse and Integration in Academia and Industry

Tansel Özyer, Keivan Kianmehr, Mehmet Tan, Jia Zeng

Computer Algebra in Quantum Field Theory

Carsten Schneider, Johannes Blümlein

Linguistic Identity Matching

Bertrand Lisbach, Victoria Meyer

Targeted Advertising Technologies in the ICT Space

Christian Schlee

Tool-Based Requirement Traceability between Requirement and Design Artifacts

Bernhard Turban

Agent-Based Approaches in Economic and Social Complex Systems VII

Tadahiko Murata, Takao Terano, Shingo Takahashi

Natural Computing and Beyond

Yasuhiro Suzuki, Toshiyuki Nakagaki

Theory and Practice of Computation

Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez

Innovative Technologies for Dependable OTS-Based Critical Systems

Domenico Cotroneo

Wearing Embodied Emotions

Seçil Uğur

Advances in Generative Lexicon Theory

James Pustejovsky, Pierrette Bouillon, Hitoshi Isahara, Kyoko Kanzaki, Chungmin Lee

Mining Social Networks and Security Informatics

Tansel Özyer, Zeki Erdem, Jon Rokne, Suheil Khoury

Software Engineering: A Hands-On Approach

Roger Y. Lee

Human Aspects in Ambient Intelligence

Tibor Bosse, Diane J. Cook, Mark Neerincx, Fariba Sadri

Decision Aid Models for Disaster Management and Emergencies

Begoña Vitoriano, Javier Montero, Da Ruan

Computational Intelligence for Traffic and Mobility

Wuhong Wang, Geert Wets

Multicore Systems On-Chip: Practical Software/Hardware Design

Abderazek Ben Abdallah


McGraw Hills E-Books

digital-control-state-variable-methods

GOPAL

digital-electronics

MANDAL

digital-image-processing-using-matlab-2e

GONZALEZ

digital-principles-applications-sie

LEACH

digital-signal-processing-2e

SALIVAHANAN

digital-signal-processing-computerbased-approach

MITRA

digital-signal-processing-sie

HAYES

digital-signal-processors

VENKATARAMANI

3g-networks-architecture-protocols-procedures

KASERA

60-tips-on-object-oriented-prog

GANESH

8051-microcontrollers-hardware-software-applications

UDAYASHANKAR

advanced-computer-architecture

PARTHASARATHY

advanced-computer-architecture-parallelism-scalability-programmability

HWANG

advanced-microprocessors-peripherals

RAY

advanced-programming-using-visual-basic-2008

Bradley, Julia Case

ajax

RAO

analog-digital-comm-sie

HSU

analytics-in-practice

Mohanty

antennas-wave-propagation

KRAUS

application-net-technology

ISRD GROUP

applied-numerical-methods-matlab-for-engineers-scientists

Chapra

applied-numerical-methods-wmatlab

Chapra, Steven

art-technology-software-engineering-mosaic-model-methods

RAMASWAMY

artificial-intelligence-sie

RICH

artificial-intelligence-study-for-agentive-behaviour

NARASIMHAN

atm-networks-cencepts-protocols

KASERA

audio-video-systems-2e

GUPTA

automation-testing

SAURABH CHANDRA

c-programming-concepts-prob-sol

CHHABRA

cacpt-mock-test-series

TMH/EDUEX

cadcam-prin-appl-3e

RAO

cadcam-theory-practice-2e

ZEID

case-studies-for-use-computers-in-medical-office

Sanderson, Susan

cimple-book-on-c

ROUT

circuits-networks-4e

SUDHAKAR

cmmi-framework-for-building-world-class-software-systems-enterprises

NANDYAL

comprehensive-introduction-to-objectoriented-programming-java

Wu, C

computer-architecture-organization

GOVINDARAJALU

computer-course

Ravi Kant Taxali

computer-graphics

SINHA

computer-networks-open-source-approach

Lin, Ying-Dar

computer-programming-data-structure

E Balagurusamy

computer-system-organization

JOTWANI

computer-techniques-in-power-system-analysis

PAI

conceptiual-programmuing-tips-for-interviews-s-compt-exam

Chhabra

cracking-cc-java-interv

GANESH

cracking-oracle-apps-dba

BANERJEE

cryptography-network-security

FOROUZAN

cryptography-network-security5484

Forouzan, Behrouz

cryptography-network-security7131

KAHATE

data-structures-algorithms-concepts-techniques-applications

PAI

data-structures-algorithms-in-c4440

JOSHI

data-structures-algorithms-in-c4441

JOSHI

data-structures-java-sie

HUBBARD

data-structures-through-c

ISRD GROUP

data-structures-using-c3987

KRISHNAMOORTHY, R.

database-management-systems

GK Gupta

database-management-systems5421

Ramakrishnan, Raghu

database-system-concepts

Silberschatz, Abraham

developing-web-appl-in-php

HARWANI

embedded-systems-architecture-programming-design

RAJ KAMAL

erp-demystified

LEON

exploring-python

Budd, Timothy

file-structures-using-c

VENUGOPAL

formal-languages-automata-theory7199

SUNITHA

fundamentals-digital-computer-design-vhdl

Sandige, Richard

fundamentals-digital-logic-verilog-design

BROWN & VRANESIC

fundamentals-digital-logic-vhdl-design

Brown, Stephen

grid-computing-research-monograph

JANAKIRAM

guide-to-implementng-siebel-crm

VIVEK KALE

harley-hahns-guide-to-unix-linux

Hahn, Harley

ibm-pc-clones-hardware-troubleshooting-maintenance

GOVINDARAJALU

internet-email

TAXALI, R.

internet-technology-web-design

ISRD GROUP

introduction-to-computers4495

NORTON

introduction-to-database-systems

BRESSAN

introduction-to-design-analysis-algorithms-strategic-approach

LEE

introduction-to-embedded-systems

SHIBU

introduction-to-languages-theory-computation

MARTIN

introduction-to-languages-theory-computation6709

Martin, John

introduction-to-logic-computer-design

Marcovitz, Alan

introduction-to-logic-computer-design-sie

MARCOVITZ

introduction-to-objectoriented-programming-java

Wu, C

introduction-to-robotics

SAHA

java-programming-from-ground-up

Bravaco, Ralph

making-sense-software-quality-assurance

NANDYAL

managing-global-software-projects

RAMESH, GOPALASWAMY

mcqs-in-computer-science

Timothy J Williams

microprocessers-microcontrollers

Nagoorkani

microprocessors-8085-its-application

Nagoorkani

microprocessors-8086-interfacing

Nagoorkani

microprocessors-interfacing

HALL

microsoft-access-2007-professional-approach

Juarez, Jon

microsoft-access-2010-case-approach-complete

O'Leary, Timothy

microsoft-excel-2007-professional-approach

Stewart, Kathleen

microsoft-excel-2010-case-approach-complete

O'Leary, Timothy

microsoft-office-2007-brief-professional-approach

Hinkle, Deborah

microsoft-office-2010-case-approach-introductory

O'Leary, Linda

microsoft-office-2010-lesson-approach

Hinkle, Deborah

microsoft-office-access-2007-brief

O'Leary, Linda

microsoft-office-access-2010-case-approach-introductory

O'Leary, Linda

microsoft-office-excel-2007-brief

O'Leary, Linda

microsoft-office-powerpoint-2007-brief

O'Leary, Linda

microsoft-office-powerpoint-2010-case-approach-introductory

O'Leary, Linda

microsoft-office-powerpoint-2010-complete-skills-approach

Triad Interactive, Inc.

microsoft-office-powerpoint-2010-lesson-approach-complete

Graves, Pat

microsoft-office-word-2007-brief

O'Leary, Linda

microsoft-office-word-2010-case-approach-introductory

O'Leary, Linda

microsoft-office-word-2010-manual

Ober, Scot

microsoft-outlook-2007-professional-approach

Nickles, David

microsoft-word-2007-professional-approach

Hinkle, Deborah

mobile-computing

TALUKDER

mobile-vas

KRISHNAKUMAR

multimedia-technologies

BANERJI

nanocomputing

SAHANI

network-analysis-synth

GHOSH

neural-networks

SATISH KUMAR

object-oriented-analysis-design

KAHATE

object-oriented-programming-java

BUYYA

objectoriented-classical-software-engineering

Schach, Stephen

objectoriented-design-using-java

Skrien, Dale

objectoriented-software-engineering

Schach, Stephen

office-2007-windows-vista-version

O'Leary, Linda

oleary-series-microsoft-windows-7

O'Leary, Linda

on-leading-edge

PANDIT

opening-doors

Cortina, Joe

operating-system-3e

GODBOLE

operating-system-sie

HARRIS

operating-systems

Dhamdhere, Dhananjay

operating-systems-spiral-approach

ELMASRI

operating-systems-spiral-approach5495

Elmasri, Ramez

people-cmm-interpreting-for-software-organization

NANDYAL

peter-nortons-intro-to-computers-6e

Norton

principles-complier-design

RAGHAVAN

principles-programming-languages

BUHARI

prog-c-sie

HUBBARD

programing-prob-solving-using-c

ISRD

programmable-logic-controllers

PETRUZELLA

programming-c

Gottfired

programming-c-3e

RAVICHANDRAN

programming-in-ansi-c

Balagurusamy

programming-in-ca-primer-3e

Balagurusamy

programming-in-visual-basic-2008

Bradley, Julia Case

programming-in-visual-basic-2010

Bradley, Julia Case

programming-in-visual-basic-60-update-edition

Bradley, Julia Case

programming-in-visual-c-2008

Bradley, Julia Case

programming-websphere-mq

JAGGI, KUNAL

quantum-computing-book-cd

SAHANI

quantum-information-systems

SAHNI, VISHAL

ready-set-go-student-guide-to-spss

PAVKOV

ready-set-go-student-guide-to-spss-130-140-for-windows

Pavkov, Thomas

robotics-control

MITTAL

robotics-technology

DEB

rules-thumb

Silverman, Jay

sap-r3-enterprise-software-introduction

Hayen, Roger

software-engg

JAWADEKAR

software-engineering-practitioners-approach

Pressman, Roger

software-engineering-principles-practice

JAWADEKAR

software-project-management

HUGHES

software-quality-assurance

LIMAYE

software-quality-practitioners-approach

MALIK

software-testing7198

LIMAYE

software-testing7247

RAJANI

systems-analysis-design-methods

Whitten, Jeffrey

systems-approach-to-small-group-interaction

Tubbs, Stewart

tcpip-protocol-suite

FOROUZAN

tcpip-protocol-suite5499

Forouzan, Behrouz

textbook-front-office-mgmt-op

ANDREWS

theories-personality

Feist, Jess

theory-automata-lang-computation

KUMAR

theory-machines-3e

RATTAN

therapeutic-modalities-for-sports-medicine-athletic-training

Prentice, William

therapist-into-coach

Vaughan Smith

timeless-ventures

FUNABASHI

troubleshooting-guide-for-writers-strategies-process

Clouse, Barbara Fine

using-information-technology-9e-complete-edition

Williams, Brian

using-information-technology-9e-introductory-edition

Williams, Brian

vhdl-design-oriented-approach

LIMAYE

vibration-acoustics

SUJATHA

virtual-instrumentation-using-labview-2e

GUPTA

visual-merchandising

BHALLA

waves-si-units

CRAWFORD JR.

web-engineering-practioners-approach

Pressman, Roger

web-engineering-practitioners-approach

PRESSMAN

web-services

KUMAR, B V

web-technologies

GODBOLE

windows-communication-foundation

HRISHIKESH DEWAN

windows-vista-brief-edition

O'Leary, Linda

wireless-communications

SINGAL

wireless-communications-network

MISHRA

wireless-mobile-nw-security

VENKATARAM

words-symbols-language-communication-in-therapy

Barden and Williams

complete-diagnosis-coding-book

Safian, Shelley

complete-procedure-coding-book

Safian, Shelley

information-systems-solutions-project-approach

Van Horn, Richard

information-tech-for-management

BHEL

information-technology-for-management-2e

BEHL, RAMESH

information-technology-for-retailing

KHURANA

information-theory-coding-cryptography

BOSE RANJAN

instrumentation-measurement-analysis-3e

NAKRA

j2ee-architecture

KUMAR

jigs-fixtures-3e

JOSHI

linux-applications-administration

HARNAL

logic-book

Bergmann, Merrie

logixpro-plc-lab-manual-for-use-w-programmable-logic-controllers

Petruzella, Frank

manual-structural-kinesiology

Floyd, R .T.

millmans-pulse-digital-switching-waveforms-3e

MILLMAN

oracle-apps-dba

BANNERJEE

25g-mobile-networks-gprs-edge

KASERA

communication-systems-analog-digital

SINGH

java-programming

C XAVIER

 

Total Number of Visitors : 4993624

Tripura University © All Rights Reseverd

Last Update : 30/06/2024 02:00:59

Designed and Developed by Dataflow System