Search Results - time journal

Refine Results
  1. Cover Image

    Timed Session Types

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Stochastic Timed Automata

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Adventures in time and space

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Trend analysis in academic journals in computer science using text mining

    Published 2015-04
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  5. Cover Image

    Quality time in quarantine: Buffering effects of family time on COVID‐19 outcomes

    Published in Family Relations (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Dark Times in West Belfast: The Life and Times of Brendan Hughes (1948–2008)

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Space-time pseudospectral method for the variable-order space-time fractional diffusion equation

    Published in Mathematical Sciences (2023)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    The Effect of Space, Time and Night-Time Light Intensity on Antenatal Care Coverage in Bangladesh

    Published in Spatial Demography (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Adaptive Practical Predefined-Time Formation Tracking for Multiple Quadrotors With Time-Varying Parameters

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Obesity and Cecal Intubation Time

    Published in Annals of Rehabilitation Medicine (2016)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Sonorities and Cities (in Times of Crisis)

    Published in Streetnotes (2022)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Provisions and Their Role in Time of Crisis

    Published in Land Forces Academy Review (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    History-deterministic Timed Automata

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Determinisability of register and timed automata

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Behavioural equivalences for timed systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Priced Timed Petri Nets

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    Weak Alternating Timed Automata

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Sampled Semantics of Timed Automata

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: