Publications from 2013
-
Optimal solutions of modular supervisory control problems with indecomposable specification languages In Proceedings
January 2006 -
Control of modular and distributed discrete-event systems In Proceedings
January 2006 -
Distinct metastable atmospheric regimes despite nearly Gaussian statistics: A paradigm model Article
Proceedings of the National Academy of Sciences of the United States of America, 8309-8314.January 2006 -
Using Structural Relationships for Focused XML Retrieval In Proceedings
January 2006 -
The TIJAH XML information retrieval system In Proceedings
January 2006 -
Using small XML elements to support relevance In Proceedings
January 2006 -
TIJAH Scratches INEX 2005. Vague Element Selection, Overlap, Image Search, Relevance Feedback, and Users (Notebook paper) In Proceedings
January 2006 -
Better Approximation Schemes for Disk Graphs In Proceedings
January 2006 -
January 2006
-
January 2006
-
January 2006
-
January 2006
-
January 2006
-
A Runge-Kutta discontinuous-Galerkin level-set method for unsteady compressible two-fluid flow Tech Report
January 2006 -
January 2006
-
January 2006
-
Virtual Organizations as Normative Multi-agent Systems In Proceedings
January 2006 -
January 2006
-
January 2006
-
Observers for linear positive systems In Proceedings
January 2006 -
Towards Multi-level Optimization Tech Report
January 2006 -
Software Package For Realization and Minimization of Linear and Bilinear Switched and Hybrid Systems Software
January 2006 -
Control of rectangular multi-affine hybrid systems In Proceedings
January 2006 -
Reachability and control synthesis for piecewise-affine hybrid systems on simplices Article
IEEE Transactions on Automatic Control, 938-948.January 2006 -
January 2006
-
Efficient Optimal Design of Electromagnetic Actuators Using Space-Mapping Article
Structural and Multidisciplinary OptimizationJanuary 2006 -
January 2006
-
Generalised Hybrid Trajectory Spaces In Proceedings
January 2006 -
January 2006
-
January 2006
-
January 2006
-
Controlling a class of nonlinear systems on rectangles Article
IEEE Transactions on Automatic Control, 1749-1759.January 2006 -
January 2006
-
Robust numerical methods for boundary-layer equations for a model problem of flow over a symmetric curved surface Article
Mathematical Modelling and Analysis, 365-378.January 2006 -
January 2006
-
Global warming could destabilize plankton in oceans Article
ERCIM News, 42-43.January 2006 -
IRKC: An IMEX solver for stiff diffusion-reaction PDEs Article
Journal of Computational and Applied Mathematics, 485-497.January 2006 -
Viscous shocks in the destabilized Kuramoto- Sivashinsky equation Article
Journal of Computational and Nonlinear Dynamics, 336-347.January 2006 -
Geometric relations of absolute and essential spectra of wave trains Article
SIAM Journal on Applied Dynamical Systems, 634-649.January 2006 -
Positivity for explicit two-step methods in linear multistep and one-leg form Article
BIT : Numerical Mathematics, 875-882.January 2006 -
Reduced mixing generates oscillations and chaos in the oceanic deep chlorophyll maximum Article
Nature, 322-325.January 2006 -
Homoclinic bifurcations at the onset of pulse self-replication Article
Journal of Differential Equations, 359-423.January 2006 -
Reconstruction of diffusions using spectral data from timeseries Article
Communications in Mathematical Sciences, 651-668.January 2006 -
Fitting timeseries by continuous-time Markov chains: A quadratic programming approach Article
Journal of Computational Physics, 782-805.January 2006 -
A geometric construction of traveling waves in a bioremediation model Article
Journal of Nonlinear Science, 329-349.January 2006 -
January 2006
-
Multi-objective optimization with the naive MIDEA Book Chapter
January 2006 -
Multiagent planning: problem properties that matter In Proceedings
January 2006 -
On Inefficiencies in Multiagent Planning In Proceedings
January 2006 -
An Evolutionary Dynamical Analysis of Multi-Agent Learning in Iterated games Article
Autonomous Agents and Multi-Agent Systems, 12(1), 115-153.January 2006 -
A Scalable Method for Online Learning of Non-linear Preferences Based on Anonymous Negotiation Data In Proceedings
January 2006 -
Efficient Methods for Automated Multi-Issue Negotiation: Negotiating over a Two-Part Tariff Article
International Journal of Intelligent Systems, 99-119.January 2006 -
Automating supply chain negotiations using autonomous agents: a case study in transportation logistics In Proceedings
January 2006 -
January 2006
-
January 2006
-
January 2006
-
Learning Inventory Management Strategies for Commodity Supply Chains with customer satisfaction In Proceedings
January 2006 -
Adaptive Learning in Complex Trade Networks In Proceedings
January 2006 -
January 2006
-
Repeated Auctions with Complementarities In Proceedings
January 2006 -
January 2006
-
January 2006
-
Action-Reaction in Multi-Agent Games In Proceedings
January 2006 -
The Dynamics and Semantics of Collaborative Tagging In Proceedings
January 2006 -
January 2006
-
Bilateral Bargaining with Multiple Opportunities: Knowing your Opponent's Bargaining Position Article
IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews, 45-55.January 2006 -
The Agent reputation and Trust (ART) Testbed In Proceedings
January 2006 -
This side up! Article
ACM Transactions on Algorithms, 228-243.January 2006 -
Optimal on-line flow time with resource augmentation Article
Discrete Applied Mathematics, 611-621.January 2006 -
Online scheduling of splittable tasks Article
ACM Transactions on Algorithms, 79-94.January 2006 -
Computationally Intelligent Online Dynamic Vehicle Routing by Explicit Load Prediction in an Evolutionary Algorithm In Proceedings
January 2006 -
The Correlation-Triggered Adaptive Variance Scaling IDEA In Proceedings
January 2006 -
Combining Gradient Techniques for Numerical Multi-Objective Evolutionary Optimization In Proceedings
January 2006 -
Robust Evolutionary Algorithm Design for Socio-Economic Simulation Article
Computational Economics, 355-370.January 2006 -
January 2006
-
January 2006
-
January 2006
-
Components: From object to mobile channels Book Chapter
January 2006 -
Coordinated Composition of Software Components Book Chapter
January 2006 -
Computing and Interaction Book Chapter
January 2006 -
Composition of Interacting Computations Book Chapter
January 2006 -
Using XML Transformations for Enterprise Architectures In Proceedings
January 2006 -
January 2006
-
Strong types for relational databases In Proceedings
January 2006 -
January 2006
-
Semantics of plan revision in intelligent agents Article
Theoretical Computer Science, 240-257.January 2006 -
Goal-oriented modularity in agent programming In Proceedings
January 2006 -
Prototyping 3APL in the Maude term rewriting language In Proceedings
January 2006 -
Generic ownership for generic java In Proceedings
January 2006 -
Formal Semantics and Analysis of Component Connectors in reo Article
Electronic Notes in Theoretical Computer Science, 83-99.January 2006 -
Components as coalgebras: The refinement dimension Article
Theoretical Computer Science, 276-294.January 2006 -
A Channel Based Communication Model with a Weighted Mobility In Proceedings
January 2006 -
Interaction and Coordination of Tools for Structured Data In Proceedings
January 2006 -
Modere: the model-checking engine of Rebeca In Proceedings
January 2006 -
January 2006
-
Towards an Automated Deployment Planner for Composition of Web Services as Software Components Article
Electronic Notes in Theoretical Computer Science, 239-253.January 2006 -
Deploying Loosely Coupled, Component-based Applications into distributed environments In Proceedings
January 2006 -
A Component Coordination Model Based on Mobile Channels Article
Electronic Notes in Theoretical Computer Science, 121-138.January 2006 -
Modeling the Exogenous Coordination of Mobile Channel-based systems with petri nets Article
Electronic Notes in Theoretical Computer Science, 121-138.January 2006 -
A Component Coordination Model Based on Mobile Channels Article
Fundamenta Informaticae, 1-22.January 2006