Publications en collaboration avec des chercheurs de Universidad de Castilla-La Mancha (31)

2020

  1. Moderating effect of firm size on the influence of corporate social responsibility in the economic performance of micro-, small- and medium-sized enterprises

    Technological Forecasting and Social Change, Vol. 151

  2. Runtime Verification of Contracts with Themulus

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Themulus: A Timed Contract-calculus

    International Conference on Model-Driven Engineering and Software Development

  4. Themulus: A timed contract-calculus

    MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development

2017

  1. A Calculus Supporting Contract Reasoning and Monitoring

    IEEE Access, Vol. 5, pp. 6735-6745

  2. Timed contract compliance under event timing uncertainty

    Frontiers in Artificial Intelligence and Applications

2016

  1. A Markovian-Bayesian Network for Risk Analysis of High Speed and Conventional Railway Lines Integrating Human Errors

    Computer-Aided Civil and Infrastructure Engineering, Vol. 31, Núm. 3, pp. 193-218

  2. The simulation relation for formal E-Contracts

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2014

  1. A hierarchical optimization problem: Estimating traffic flow using Gamma random variables in a Bayesian context

    Computers and Operations Research, Vol. 41, Núm. 1, pp. 240-251

  2. Non-planar hole-generated networks and link flow observability based on link counters

    Transportation Research Part B: Methodological, Vol. 68, pp. 239-261

  3. WS-FMDS organizers' message

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2013

  1. A model for continuous dynamic network loading problem with different overtaking class users

    Journal of Intelligent Transportation Systems: Technology, Planning, and Operations, Vol. 17, Núm. 4, pp. 328-350

  2. A multiclass user equilibrium model considering overtaking across classes

    IEEE Transactions on Intelligent Transportation Systems, Vol. 14, Núm. 2, pp. 928-942