SpringSim 2009:
San Diego,
CA,
USA
Gabriel A. Wainer, Clifford A. Shaffer, Robert M. McGraw, Michael J. Chinni (Eds.):
Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009.
SCS/ACM 2009
Agent-Directed Simulation (ADS)
- Akira Namatame, Hiroshi Morita, Kazuyuki Matsuyama:
Agent-based modeling for the study of diffusion dynamics.
- Rachel F. Adler:
Simulation of a teleautonomous multiple robot system with a single human operator.
- Jeff Waters, James Eitelberg, Ritesh Patel, Marion G. Ceruti:
Investigation of information flow in hierarchical organizations using agent-based modeling.
- Margaret Lyell, M. Mejia-Tellez, R. Flo, L. Haynes, R. Levy:
Coordinated police agents to manage pedestrian flow in an urban crisis situation.
- Stephen Foster, Walt Potter, Jiang Wu, Bin Hu, Yu Zhang:
A history sensitive cascade model in diffusion networks.
- Vishal Singh, Andy Dong, John S. Gero:
Effects of social learning and team familiarity on team performance.
- Nancy Ruiz, Adriana Giret, Vicente J. Botti, Victor Feria:
SimIShopF: an agent-supported simulation tool for intelligent manufacturing systems.
- Jae-Woo Kim:
A tag-mediated N-person Prisoner's Dilemma game on networks with different topologies.
- Laura Temime, Yohan Pannet, Lidia Kardas, Lulla Opatowski, Didier Guillemot, Pierre-Yves Boëlle:
NOSOSIM: an agent-based model of pathogen circulation in a hospital ward.
- Kang Zhao, John Yen, Carleen F. Maitland, Andrea Hoplight Tapia, Louis-Marie Ngamassi Tchouakeu:
A formal model for emerging coalitions under network influence in humanitarian relief coordination.
- Sean H. J. Kim, Shahab Sheikh-Bahaei, C. Anthony Hunt:
Agent-based modeling of alveolar type II cyst formation in vitro.
- Ryan C. Kennedy, Kelly E. Lane, Agustín Fuentes, Hope Hollocher, Gregory R. Madey:
Spatially aware agents: an effective and efficient use of GIS data within an agent-based model.
- Shahab Sheikh-Bahaei, Sean H. J. Kim, C. Anthony Hunt:
Multi-agent based modeling of liver detoxification.
- Cynthia Nikolai, Gregory R. Madey:
Searchable taxonomies of agent based modeling toolkits.
- Philip S. Barry, Matthew T. K. Koehler, Brian F. Tivnan:
Agent-directed simulation for systems engineering.
- Emanuele Galli, Leticia Cuellar, Stephan Eidenbenz, Mary Ewers, Sue Mniszewski, Christof Teuscher:
ActivitySim: large-scale agent-based activity generation for infrastructure simulation.
- Muzhou Xiong, Wentong Cai, Suiping Zhou, Malcolm Yoke-Hean Low, Feng Tian, Dan Chen, Darren Wee Sze Ong, Benjamin D. Hamilton:
A case study of multi-resolution modeling for crowd simulation.
- Timothy W. Schoenharl, Zhi Zhai, Ryan McCune, Alec Pawling, Gregory R. Madey:
Design and implementation of an agent-based simulation for emergency response and crisis management.
- Sk. Morshed Anwar, Marco Musiani, Greg McDermid, Danielle J. Marceau:
How do human activities shape wolves' behavior in the central Rocky Mountains region, Alberta, Canada?
- Run Yu, Minling Pan, Steven F. Railsback, PingSun Leung:
Exploratory application of agent based modeling in Hawaii's longline fishery.
- Roshan D'Souza, Mikola Lysenko, Simeone Marino, Denise Kirschner:
Data-parallel algorithms for agent-based model simulation of tuberculosis on graphics processing units.
- Ingo J. Timm, René Schumann:
Performance measurement of multiagent systems: towards dependable MAS.
- Robert Siegfried, Axel Lehmann, Rachid El Abdouni Khayari, Tobias Kiesling:
A reference model for agent-based modeling and simulation.
- Tai Ning Lam, Glen E. P. Ropella, C. Anthony Hunt:
Focus on discovering mechanisms: a relativistic, agent-directed, perfused liver.
- Emre Baydogan, Saurav Mazumdar, Lee A. Belfore II:
Simulation architecture for virtual operating room training.
- Nicholas P. Radtke, Marco A. Janssen:
Consumption and production of digital public goods modeling the impact of different success metrics.
- Eugenio Dante Suarez, Manuel Castañón-Puga, Bogart Yail Márquez:
Analyzing the Mexican microfinance industry using multi-level multi-agent systems.
- Robert M. McGraw, Gary Shao, Dean Mumme:
An agent-based course of action (COA) analysis with radio effects toolbox.
- Sung-Do Chi, Yong-Jun You, Chan-Ho Jung, Jang-Se Lee, Jae-Ick Kim:
FAMES: fully agent-based modeling & emergent simulation.
42nd Annual Simulation Symposium (ANSS)
- Haidar M. Harmanani, Fouad Drouby, Steve Bou Ghosn:
A parallel genetic algorithm for the open-shop scheduling problem using deterministic and random moves.
- Hichem Boudali, A. P. Nijmeijer, Mariëlle Stoelinga:
DFTSim: a simulation tool for extended dynamic fault trees.
- Zheng Cao, Jianwei Xu, Mingyu Chen, Gui Zheng, Huiwei Lv, Ninghui Sun:
HPPNetSim: a parallel simulation of large-scale interconnection networks.
- Yongwei Wang, Wentong Cai, Malcolm Yoke-Hean Low, Suiping Zhou, Feng Tian, Linbo Luo, Darren Wee Sze Ong, Benjamin D. Hamilton:
A framework of evaluating partitioning mechanisms for agent-based simulation systems.
- Feng Gu, Xuefeng Yan, Xiaolin Hu:
State estimation using particle filters in wildfire spread simulation.
- Marios Karagiannis, Ioannis Chatzigiannakis, José D. P. Rolim:
WSNGE: a platform for simulating complex wireless sensor networks supporting rich network visualization and online interactivity.
- Aaron E. Bair, Wheyming Tina Song, Yi-chun Chen, Beth A. Morris:
The impact of inpatient boarding on emergency department crowding: a discrete-event simulation study.
- Azzedine Boukerche, Hengheng Xie, Ming Zhang:
A novel bio-inspired load balancing algorithm with QoS assurance for large-scale peer-to-peer systems.
- Rune Melberg, Reggie Davidrajuh:
Modeling Atlantic salmon fish farming industry: freshwater sub model simulation.
- Feng Zhang, Sarah Tasneem, Lester Lipsky, Steve Thompson:
Analysis of round-robin variants: favoring newly arrived jobs.
- Hoe Wai Leong, Donald P. Brutzman, Don McGregor, Curtis L. Blais:
Web services integration on the fly for service-oriented computing and simulation.
- M. A. Azadeh, Salman Nazari Shirkouhi:
Evaluating simulation software using fuzzy analytical hierarchy process.
- A. Azadeh, M. Haghnevis, Y. Khodadadegan, M. Madadi:
Modeling and improvement of the integrated business and production processes by fuzzy simulation.
- Peng Zhang, Guanghong Gong:
Atmosphere-affected flight simulation system.
- Elie El Ajaltouni, Azzedine Boukerche, Ming Zhang:
A grid-based DEVS approach to dynamic load balancing for large scale distributed simulations.
- Qishi Wu, Yi Gu, Zongmin Wang:
Simulation-based analysis of performance dynamics of distributed applications in heterogeneous network environments.
- David Taylor-Fuller, Susan J. Lincke:
The development of a graphic multidimensional Markov Chain modeler to diagram large state spaces.
- Lorenzo Capra:
(Toward) discrete-event simulation of reflective Petri nets.
- Gary Shao, Robert M. McGraw:
Service-oriented simulations for enhancing situation awareness.
- Jun Wang, Carl Tropper:
Selecting GVT interval for time-warp-based distributed simulation using reinforcement learning technique.
- Xi Guo, Shell-Ying Huang, Wen-Jing Hsu, Malcolm Yoke-Hean Low:
Simulation-based dynamic partitioning of yard crane workload for container terminal operations.
- Wei-Tek Tsai, Hessam S. Sarjoughian, Wu Li, Xin Sun:
Timing specification and analysis for service-oriented simulation.
- Marguerite Doman, Teresa Dahlberg, Jamie Payton:
Simulation environment scenarios using cellular automata for wireless sensor network analysis.
- William R. Conkling, John A. Hamilton Jr.:
Suggested improvements to the DoDAF for modeling architectural security.
- Russell Bent, Tatiana Djidjeva, Birch Hayes, Joe Holland, Hari Khalsa, Steve Linger, Mark Mathis, Sue Mniszewski, Brian Bush:
Hydra: a service oriented architecture for scientific simulation integration.
- Ulrik Franke, Waldo Rocha Flores, Pontus Johnson:
Enterprise architecture dependency analysis using fault trees and Bayesian networks.
- Ryan O'Farrell, John A. Hamilton Jr.:
Using software architecture to facilitate reuse in a product family.
- Wayne Robbins:
Achieving DoDAF-driven simulations through executable architectures.
Military Modeling and Simulation Symposium (MMS)
- Nathan A. Minami, Paul Kucik:
Developing a dynamic model of the Iraqi insurgency.
- Daniel Rice, Alicia Borgman, Adam Peloquin, Robert Auer:
Ground Soldier materiel task related encumbrance (MATRE) model creation through the use of ontology building and analysis tools.
- David W. Mason:
Design specifications for the air mobility operations simulation environment (Air MOOSE).
- Ovidiu Daescu, Anastasia Kurdia:
Polygonal chain simplification for flight simulation systems.
- Mustafa Rawat, Steven Vaccaro:
Implementing a distributed logistics simulation using Arena and HLA.
- Andrew G. Stricker, Larry Clemons:
Simulation gaming for education in MyBase: the future of air force education and training with virtual world learning.
- Benjamin Bell, Thomas Santarelli:
Game environments for non-kinetic skills: when "train as we fight" goes beyond fighting.
- Kyle E. Stewart, Jeffrey W. Humphries, Todd R. Andel:
Developing a virtualization platform for courses in networking, systems administration and cyber security education.
- Clifton M. Durham, Todd R. Andel, Kenneth M. Hopkinson, Stuart H. Kurkowski:
Evaluation of an OPNET model for unmanned aerial vehicle (UAV) networks.
- David Ezra Sidran, Alberto Maria Segre:
Algorithms for generating attribute values for the classification of tactical situations.
- Robert H. Kewley, Andreas Tolk:
A systems engineering process for development of federated simulations.
- Michael G. Wabiszewski Jr., Todd R. Andel, Barry E. Mullins, Ryan W. Thomas:
Enhancing realistic hands-on network training in a virtual environment.
- Frank Hill:
The DIS protocol - new and improved.
- Mitchell M. Rohde, Matthew A. Toschlog:
Toward the fusion of serious simulation and video games.
- Scott Gallant, Christopher J. Metevier, Keith Snively:
Systems engineering for distributed simulation within MATREX.
- Robert L. Wittman Jr.:
Defining a standard: the Military Scenario Definition Language version 1.0 standard.
12th Communications and Networking Simulation Symposium (CNS)
- Bee Lertnitiwong, Lan Yang:
Performance evaluation of the multi-source file transfer protocol in peer-to-peer network.
- P. Venkata Krishna, Sudip Misra, Mohammad S. Obaidat, V. Saritha:
A new scheme for distributed channel allocation in cellular networks.
- Juan M. Solá-Sloan, Isidoro Couvertier-Reyes:
A TCP offload engine emulator for estimating the impact of removing protocol processing from a host running Apache HTTP server.
- Yulian Wang, Mohammad S. Obaidat:
An experimental analysis study of bandwidth allocation with QoS in wireless networks.
- Saman Taghavi Zargar, M. Amir Moulavi, Rajkumar Buyya, Mahmoud Naghibzadeh, James B. D. Joshi:
RRNA: reliable soft real-time network aware grid scheduling algorithm using round trip time.
- Ehsan Allahyar, Ali Movaghar:
Weighted start-time fair queuing: a new start-time fair queuing for elastic traffic.
- Sanjay Kumar Dhurandher, Sudip Misra, Mohammad S. Obaidat, Priyedev Lochab, Varun Kumar Sharma, Siddharth Gautam:
An efficient power-aware broadcast technique for wireless ad hoc networks.
- John S. Weir, Stuart H. Kurkowski, Kenneth M. Hopkinson:
Mediated user-simulator interactive command with visualization (MUSIC-V).
- Russell Bent, Stephan Eidenbenz, Sunil Thulasidasan:
Large-scale telephone network simulation: discrete event vs. steady state.
- Yong-Jun You, Sung-Do Chi:
SIMVA: simulation-based network vulnerability analysis system.
- Yelena Rykalova, Lev B. Levitin, Richard Brower:
Multiprocessor networks with small buffers: theory and simulation.
- Lucas Nussbaum, Olivier Richard:
A comparative study of network link emulators.
- Gavin O'Gorman, Stephen Blott:
Simulating low-latency anonymous networks.
- Dirk Bradler, Lachezar Krumov, Michael Wagner, Jussi Kangasharju:
Hierarchical data access in structured P2P-networks.
- Christos Bouras, Eri Giannaka, Thrasyvoulos Tsiatsos:
Performance evaluation of a dynamic approach for networked servers distributed virtual environments.
- Ahyoung Lee, Ilkyeun Ra, HwaSung Kim:
Performance study of ad hoc routing protocols with gossip-based approach.
- Hala ElAarag, Sam Romano:
Improvement of the neural network proxy cache replacement strategy.
- Yiling Wang, Fuqiang Liu, Yusheng Ji:
Simulation based performance evaluation for subcarrier-and-bit allocation scheme with power saving in two-hop wireless relay networks.
- Alexander Pelov Pelov, Thomas Noël:
Creating advanced mobility models with LEMMA.
- Taner Dursun, Hasan Dag:
HeteroSim: heterogeneous simulation framework.
- Rachid El Abdouni Khayari, Adisa Musovic, Axel Lehmann, Peter Fellinger:
A workload based adaptive scheduling algorithm for web server.
- Cheryl V. Hinds:
Efficient detection of compromised nodes in a wireless sensor network.
- Syed Saadat Bokhari, Alexander Ferworn, Abdolreza Abhari:
Implementation of architectural model for grid resources discovery.
- Ahmad Hosseingholizadeh, Abdolreza Abhari:
A new agent-based solution for wireless sensor networks management.
Emerging M&S Applications in Industry and Academia Symposium (EAIA)
High Performance Computing & Simulation Symposium (HPCS)
- Xiongpai Qin, Wei Cao, Shan Wang:
Simulation of main memory database parallel recovery.
- Aakanksha Gagrani, Brijesh Pillai, Srikumar Krishnamoorthy:
Failure resilient real-time data federation system.
- Kamal Sharma, Sanjeev Aggarwal:
Energy aware scheduling on desktop grid environment with static performance prediction.
- Rhonda D. Phillips, Layne T. Watson, Randolph H. Wynne:
Examining the potential parallel scalability of a fuzzy semi-supervised classification algorithm.
- Zhenwei Cao, Layne T. Watson, Kirk W. Cameron, Rong Ge:
A power aware study for VTDIRECT95 using DVFS.
- Fang Liu, Masha Sosonkina, Randall Bramley:
A HPC sparse solver interface for scalable multilevel methods.
- Alicia Thorsen, Phillip Merkey, Fredrik Manne:
Maximum weighted matching using the partitioned global address space model.
- Kumaresh Singh, Paul Eller, Adrian Sandu, Daven Henze, Kevin W. Bowman, Monika Kopacz, Meemong Lee:
Towards the construction of a standard adjoint GEOS-Chem model.
- Teena P. Gulabani, Masha Sosonkina, Mark S. Gordon, Curtis L. Janssen, Joseph P. Kenny, Heather Netzloff, Theresa L. Windus:
Development of high performance scientific components for interoperability of computing packages.
- Jingwei Zhang, Masha Sosonkina, Layne T. Watson, Yang Cao:
Parallel solution of the chemical master equation.
- Tae-Hyuk Ahn, Pengyuan Wang, Layne T. Watson, Yang Cao, Clifford A. Shaffer, William T. Baumann:
Stochastic cell cycle modeling for budding yeast.
- Shih-Hsiang Lo, Cheng-An Chiu, Fang-Ping Pai, Ding-Yong Hong, Yeh-Ching Chung:
MGRID: a modifiable-grid region matching approach for DDM in the HLA RTI.
Posters
- Nicolas H. Durland:
Defining mean sea level in military simulations with DTED.
- J. Singh:
Modeling application availability.
- Kara A. Olson, C. Michael Overstreet, E. Joseph Derrick:
CS-XML and model understanding.
- Akiyoshi Wakatani, Takuya Koezuka:
Implementation of codebook generation algorithm on a campus PC Grid.
- Syed Sajjad Rizvi, Hemen Patel, Khaled M. Elleithy:
Parallel and distributed algorithms and implementations: time based mutual exclusion.
- Bevin Thomas, Syed Sajjad Rizvi, Khaled M. Elleithy:
Reducing null messages using grouping and status retrieval for a conservative discrete-event simulation system.
- Syed Sajjad Rizvi, Bevin Thomas, Khaled M. Elleithy, Aasia Riasat:
A new technique of switch & feedback job scheduling mechanism in a distributed system.
- Khashayar Habibi, Reza Ariaeinejad, Abdolerza Abhari:
Modeling and simulation of web service replica choosing algorithms.
- Yuri Boiko, Gabriel A. Wainer:
Parallel tracing of multiple trajectories in gradient descent algorithm with Cell Broadband Engine.
- Olivier Bartheye, Eric Jacopin:
A planning plug-in for Virtual Battle Space 2 a report from the trenches.
- Maryam Bashardoust, Martin Gerdzhev, Abdolreza Abhari:
Peer-to-peer simulation for improving the system of serving multimedia on the web.
- Shilpi Verma, Sonal Patel, Abdolreza Abhari:
Adaptive web navigation.
- Nigel P. A. Browne, Helia Mohammadi, Abdolreza Abhari, Marcus V. dos Santos:
An artificial immune system based sensor network for frost warning and prevention.
- Kayvan Tirdad, Fatemeh Pakzad, Abdolreza Abhari:
Cache replacement solutions by evolutionary computing technique.
- Youngshin Han, Chilgee Lee, Jason J. Jung:
Redundancy analysis simulation in semiconductor manufacturing for yield improvement.
- Changlong Zhu, Rasha Morsi:
Formal specification of FFHMIPv6 using PVS.
- Rastislav Róka, Juraj Zizák:
Perspectives of hybrid passive optical networks and the HPON configurator.
- Donald D. Girard:
Jumping egg model.
BIS
- Kun-Jung Hsu, Jonathan Shi:
A tractable time-cost tradeoff algorithm for project activity management.
- Armen Kostanyan, Vardan Matevosyan, Samvel K. Shoukourian, Anna Varosyan:
An approach for formal verification of business processes.
- John Danielsen, David B. Hoffman:
Simulation of a cold heavy oil production with sand (CHOPS) separation system.
- Francesco Costantino, Duilio Curcio, Giulio Di Gravio, Giovanni Mirabelli:
A simulation based approach for warehouse management.
- Antonio Cimino, Francesco Costantino, Giulio Di Gravio, Francesco Longo:
Reverse logistics of refillable glass bottles: a simulative approach.
- Elisa Gebennini, Sara Dallari, Giuseppe Perrica, Andrea Grassi, Bianca Rimini, Cesare Fantuzzi:
Adoption of control policies in a simulative model for the design of AGV systems.
- Dug Hee Moon, Kyeong Wook Shin, Chul Soon Park, Dong Soo Kim:
A manufacturing system simulation of semiconductor packaging substrate.
- Mark Burgin, Maurice J. Ades:
Monte Carlo methods and super-recursive algorithms.
- Agostino G. Bruzzone, Paolo Fadda, Gianfranco Fancello, Alberto Tremori, Enrico Bocca, Gianmarco D'Errico:
Measuring human factors in port activities by using simulation.
- Agostino G. Bruzzone, Enrico Bocca, Luca Pierfederici:
Multilevel forecasting models in manufacturing systems.
DEVS
- Hesham Saadawi, Gabriel A. Wainer:
Verification of real-time DEVS models.
- Patrick Castonguay, Gabriel A. Wainer:
Aircraft evacuation DEVS implementation & visualization.
- Jean François Santucci, Emmanuelle de Gentili:
Dynamic variable structure modelling and simulation of the Claude Levi-Strauss's mythical thought morphodynamics.
- Victorino Sanz, Shafagh Jafer, Gabriel A. Wainer, Gabriela Nicolescu, Alfonso Urquia, Sebastián Dormido:
Hybrid modeling of opto-electrical interfaces using DEVS and modelica.
- José Luis Risco-Martín, Alejandro Moreno, Jesús Manuel de la Cruz, Joaquín Aranda Almansa:
Interoperability between DEVS and non-DEVS models using DEVS/SOA.
- Emilie Broutin, Paul Bisgambiglia, Jean François Santucci:
Simulation of heterogeneous DEVS models; application to the study of natural systems.
- Yuri Boiko, Gabriel A. Wainer:
Modeling of neural decoder based on binary spiking neurons in DEVS.
- Chang Ho Sung, Jeong-Hee Hong, Tag Gon Kim:
Interoperation of DEVS models and differential equation models using HLA/RTI: hybrid simulation of engineering and engagement level models.
- Jong Hyuk Byun, Chang Beom Choi, Tag Gon Kim:
Verification of the DEVS model implementation using aspect embedded DEVS.
- Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte:
XML-based DEVS modeling and interpretation.
- Mohammad Moallemi, Gabriel A. Wainer:
A system-on-chip FPGA implementation of embedded CD++.
- Mohamed Wassim Trojet, Claudia S. Frydman, Maâmar El-Amine Hamri:
Practical application of "lightweight" Z in DEVS framework.
- Stéphane Garredu, Evelyne Vittori, Jean François Santucci:
A DEVS-oriented intuitive modeling language.
- Matthew R. Hosking, Ferat Sahin:
An XML based system of systems discrete event simulation communications framework.
- Chungman Seo, Bernard P. Zeigler:
Interoperability between DEVS simulators using service oriented architecture and DEVS namespace.
- Chungman Seo, Bernard P. Zeigler:
Automating the DEVS modeling and simulation interface to web services.
- Rachid Chreyh, Gabriel A. Wainer:
CD++ repository: an internet based searchable database of DEVS models and their experimental frames.
- Joe Mooney, Hessam S. Sarjoughian:
A framework for executable UML models.
- Sungung Kim, Hessam S. Sarjoughian, Vignesh Elamvazhuthi:
DEVS-suite: a simulator supporting visual experimentation design and behavior monitoring.
- Mamadou K. Traoré:
A graphical notation for DEVS.
- Luc Touraille, Mamadou K. Traoré, David R. C. Hill:
A mark-up language for the storage, retrieval, sharing and interoperability of DEVS models.
MSEng
- Andre Huthmann:
Presence-dependent performance differences between virtual simulations and miniature worlds.
- Virginia P. Sisiopiku, Abhishek Acharya, Michael Anderson, Daniel Turner:
Evaluation of traffic signal performance under oversaturated conditions using VISTA.
- Robert E. Donnelly:
Bridging live and simulated domains with a common integration approach.
- José Tavira-Mondragón, José Melgar-García, Jorge García-García, Rafael Cruz-Cruz:
Upgrade of a full-scope simulator for fossil-fuel power plants.
- Wenguang Wang, Andreas Tolk, Weiping Wang:
The levels of conceptual interoperability model: applying systems engineering principles to M&S.
- Jacob Guidosh, Darrell R. Wallace:
The use of simulation as an objective framework to conduct life cycle assessment.
- Iván F. Galindo-García, Saúl Rodríguez-Lozano:
A hardware-in-the-loop simulator to test control systems of hydroelectric plants.
- Kara A. Olson, C. Michael Overstreet, E. Joseph Derrick:
CS-XML and model understanding.
- Reza Dehghan, Fereshteh Khoramshahi, Janaka Ruwanpura:
Developing a general purpose simulation model for steel pipe-rack installation.
- Vicente Galiano Ibarra, Héctor Migallón Gomis, David Pérez-Caparrós, M. Martínez:
Distributing SystemC structures in parallel simulations.
- Helen Zhao, Robert J. Stango, Yuanming Chen, Rick Albano:
Aspects of contact force and path configuration generated during catheter navigation.
- Catherine M. Banks, John A. Sokolowski:
Circular inter-dependencies and system of systems: an inter-disciplinary approach for modeling global warming.
Last update Mon Feb 13 04:41:39 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page