Search Results - Logothetis, G.

Refine Results
  1. 1
    Characterization of an agostic bond on the basis of the electron density

    Characterization of an agostic bond on the basis of the electron density by Popelier, P.L.A, Logothetis, G

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration

    Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration by Logothetis, G., Schneider, Klaus

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Extending synchronous languages for generating abstract real-time models

    Extending synchronous languages for generating abstract real-time models by Logothetis, G., Schneider, K.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Symbolic model checking of real-time systems

    Symbolic model checking of real-time systems by Logothetis, G., Schneider, K.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Verifying imprecisely working arithmetic circuits

    Verifying imprecisely working arithmetic circuits by Huhn, M., Schneider, K., Kropf, T., Logothetis, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Multi-scale Modeling of Structure, Dynamic and Thermodynamic Properties of Imidazolium-based Ionic Liquids: Ab initio DFT Calculations, Molecular Simulation and Equation of State Predictions

    Multi-scale Modeling of Structure, Dynamic and Thermodynamic Properties of Imidazolium-based Ionic Liquids: Ab initio DFT Calculations, Molecular Simulation and Equation of State P... by Economou, I. G., Karakatsani, E. K., Logotheti, G.-E., Ramos, J., Vanin, A. A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Brain metastasis from prostate carcinoma : Antemortem recognition and outcome after treatment

    Brain metastasis from prostate carcinoma : Antemortem recognition and outcome after treatment by MCCUTCHEON, I. E, ENG, D. Y, LOGOTHETIS, C. J

    Published in Cancer
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Exact high level WCET analysis of synchronous programs by symbolic state space exploration

    Exact high level WCET analysis of synchronous programs by symbolic state space exploration by Logothetis, G., Schneider, K.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    A new approach to the specification and verification of real-time systems

    A new approach to the specification and verification of real-time systems by Logothetis, G., Schneider, K.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Abstraction from counters: an application on real-time systems

    Abstraction from counters: an application on real-time systems by Logothetis, G., Schneider, K.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification

    Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification by Logothetis, G., Schneider, K., Metzler, C.

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Runtime analysis of synchronous programs for low-level real-time verification

    Runtime analysis of synchronous programs for low-level real-time verification by Logothetis, G., Schneider, K., Metzler, C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Exact high level WCET analysis of synchronous programs by symbolic state space exploration

    Exact high level WCET analysis of synchronous programs by symbolic state space exploration by Logothetis, G., Schneider, K.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    Forward symbolic model checking for real time systems

    Forward symbolic model checking for real time systems by Logothetis, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Extending Synchronous Languages for Generating Abstract Real-Time Models

    Extending Synchronous Languages for Generating Abstract Real-Time Models by Logothetis, G., Schneider, K.

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    A note on ambiguity in context-free grammars

    A note on ambiguity in context-free grammars by Altman, Tom, Logothetis, George

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  17. 17
    Can sliding-window correlations reveal dynamic functional connectivity in resting-state fMRI?

    Can sliding-window correlations reveal dynamic functional connectivity in resting-state fMRI? by Hindriks, R., Adhikari, M.H., Murayama, Y., Ganzetti, M., Mantini, D., Logothetis, N.K., Deco, G.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    PAPR reduction for real baseband OFDM signals

    PAPR reduction for real baseband OFDM signals by Guangyue Lu, Ping Wu, Carlemalm-Logothetis, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Probing surface chemical processes during epitaxial semiconductor crystal growth at near-atmospheric pressures using photon-based techniques

    Probing surface chemical processes during epitaxial semiconductor crystal growth at near-atmospheric pressures using photon-based techniques by Pemble, Martyn E., Armstrong, Stephen R., Curry, Suzanne M., Hoare, Richard D., Logothetis, George, Povey, Ian M., Stafford, Andrew, Taylor, Alan G.

    Published in Faraday discussions
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Relation-based algorithms for generating SLR(1) and LALR(1) parsers

    Relation-based algorithms for generating SLR(1) and LALR(1) parsers by Logothetis, G., Bermudez, M.E.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: