Zum Inhalt springen

  3. Peyras, Quentin [VerfasserIn] ; Toulouse, ISAE [MitwirkendeR]; Chemouil, David [MitwirkendeR]; Brunel, Julien [MitwirkendeR]

    Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis ; Bounded domain property for first order linear temporal logic and applications to the verification of infinite-state systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-01-14

  4. Matiedje Tawa, Jeanne [VerfasserIn] ; Toulouse, ISAE [MitwirkendeR]; Chemouil, David [MitwirkendeR]; Brunel, Julien [MitwirkendeR]

    Extension événementielle d'une méthode formelle légère et application à l'analyse du protocole distribué Chord ; Event extension of a lightweight formal method and application to analyzing Chord distributed protocol

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-10-04

  5. Peyras, Quentin [VerfasserIn]; Brunel, Julien [VerfasserIn]; Chemouil, David [VerfasserIn] ; Quentin Peyras and Julien Brunel and David Chemouil [MitwirkendeR]

    A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  6. Kalmar, Daniel [VerfasserIn]; Hetényi, György [VerfasserIn]; Balazs, Attila [VerfasserIn]; Bondar, Istvan [VerfasserIn]; Abreu, Rafael [VerfasserIn]; Allegretti, Ivo [VerfasserIn]; Apoloner, Maria-Theresia [VerfasserIn]; Aubert, Coralie [VerfasserIn]; Besançon, Simon [VerfasserIn]; Bés de Berc, Maxime [VerfasserIn]; Bianchi, Irene [VerfasserIn]; Bokelmann, Götz [VerfasserIn]; Brunel, Didier [VerfasserIn]; Capello, Marco [VerfasserIn]; Čarman, Martina [VerfasserIn]; Cavaliere, Adriano [VerfasserIn]; Chéze, Jérôme [VerfasserIn]; Chiarabba, Claudio [VerfasserIn]; Clinton, John [VerfasserIn]; Cougoulat, Glenn [VerfasserIn]; C. Crawford, Wayne [VerfasserIn]; Cristiano, Luigia [VerfasserIn]; Czifra, Tibor [VerfasserIn]; D’Alema, Ezio [VerfasserIn]; [...]

    Crustal Thinning From Orogen to Back-Arc Basin: The Structure of the Pannonian Basin Region Revealed by P-to-S Converted Seismic Waves

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    AGU (American Geophysical Union); Wiley, 2021-06-07

  7. Sadeghi-Bagherabadi, Amir [VerfasserIn]; Vuan, Alessandro [VerfasserIn]; Aoudia, Abdelkrim [VerfasserIn]; Parolai, Stefano [VerfasserIn]; Hetényi, György [VerfasserIn]; Abreu, Rafael [VerfasserIn]; Allegretti, Ivo [VerfasserIn]; Apoloner, Maria-Theresia [VerfasserIn]; Aubert, Coralie [VerfasserIn]; Besançon, Simon [VerfasserIn]; Bés de Berc, Maxime [VerfasserIn]; Bokelmann, Götz [VerfasserIn]; Brunel, Didier [VerfasserIn]; Capello, Marco [VerfasserIn]; Čarman, Martina [VerfasserIn]; Cavaliere, Adriano [VerfasserIn]; Chéze, Jérôme [VerfasserIn]; Chiarabba, Claudio [VerfasserIn]; Clinton, John [VerfasserIn]; Cougoulat, Glenn [VerfasserIn]; C. Crawford, Wayne [VerfasserIn]; Cristiano, Luigia [VerfasserIn]; Czifra, Tibor [VerfasserIn]; D’Alema, Ezio [VerfasserIn]; [...]

    High-Resolution Crustal S-wave Velocity Model and Moho Geometry Beneath the Southeastern Alps: New Insights From the SWATH-D Experiment

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Frontiers, 2021-03-31

  8. Mader, Sarah [VerfasserIn]; Ritter, Joachim R. R. [VerfasserIn]; Reicherter, Klaus [VerfasserIn]; Bokelmann, Götz [VerfasserIn]; Hetényi, György [VerfasserIn]; Abreu, Rafael [VerfasserIn]; Allegretti, Ivo [VerfasserIn]; Apoloner, Maria-Theresia [VerfasserIn]; Aubert, Coralie [VerfasserIn]; Besançon, Simon [VerfasserIn]; Bés de Berc, Maxime [VerfasserIn]; Brunel, Didier [VerfasserIn]; Capello, Marco [VerfasserIn]; Čarman, Martina [VerfasserIn]; Cavaliere, Adriano [VerfasserIn]; Chéze, Jérôme [VerfasserIn]; Chiarabba, Claudio [VerfasserIn]; Clinton, John [VerfasserIn]; Cougoulat, Glenn [VerfasserIn]; C. Crawford, Wayne [VerfasserIn]; Cristiano, Luigia [VerfasserIn]; Czifra, Tibor [VerfasserIn]; D’Alema, Ezio [VerfasserIn]; Danesi, Stefania [VerfasserIn]; [...]

    Seismicity and seismotectonics of the Albstadt Shear Zone in the northern Alpine foreland

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Copernicus Publications (EGU), 2021-06-16

  9. Hein, Gerrit [VerfasserIn]; Kolínský, Petr [VerfasserIn]; Bianchi, Irene [VerfasserIn]; Bokelmann, Götz [VerfasserIn]; Hetényi, György [VerfasserIn]; Abreu, Rafael [VerfasserIn]; Allegretti, Ivo [VerfasserIn]; Apoloner, Maria-Theresia [VerfasserIn]; Aubert, Coralie [VerfasserIn]; Besançon, Simon [VerfasserIn]; Bés de Berc, Maxime [VerfasserIn]; Brunel, Didier [VerfasserIn]; Capello, Marco [VerfasserIn]; Čarman, Martina [VerfasserIn]; Cavaliere, Adriano [VerfasserIn]; Chéze, Jérôme [VerfasserIn]; Chiarabba, Claudio [VerfasserIn]; Clinton, John [VerfasserIn]; Cougoulat, Glenn [VerfasserIn]; C. Crawford, Wayne [VerfasserIn]; Cristiano, Luigia [VerfasserIn]; Czifra, Tibor [VerfasserIn]; D’Alema, Ezio [VerfasserIn]; Danesi, Stefania [VerfasserIn]; [...]

    Shear wave splitting in the Alpine region

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oxford University Press, 2021-09-10

  10. Belinic, Tena [VerfasserIn]; Kolínský, Petr [VerfasserIn]; Stipčević, Josip [VerfasserIn]; Abreu, Rafael [VerfasserIn]; Allegretti, Ivo [VerfasserIn]; Apoloner, Maria-Theresia [VerfasserIn]; Aubert, Coralie [VerfasserIn]; Besançon, Simon [VerfasserIn]; Bés de Berc, Maxime [VerfasserIn]; Bianchi, Irene [VerfasserIn]; Bokelmann, Götz [VerfasserIn]; Brunel, Didier [VerfasserIn]; Capello, Marco [VerfasserIn]; Čarman, Martina [VerfasserIn]; Cavaliere, Adriano [VerfasserIn]; Chéze, Jérôme [VerfasserIn]; Chiarabba, Claudio [VerfasserIn]; Clinton, John [VerfasserIn]; Cougoulat, Glenn [VerfasserIn]; C. Crawford, Wayne [VerfasserIn]; Cristiano, Luigia [VerfasserIn]; Czifra, Tibor [VerfasserIn]; D’Alema, Ezio [VerfasserIn]; Danesi, Stefania [VerfasserIn]; [...]

    Shear-wave velocity structure beneath the Dinarides from the inversion of Rayleigh-wave dispersion

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier, 2021-02-01

  11. Kvapil, J. [VerfasserIn]; Plomerova, J. [VerfasserIn]; Kampfova Exnerova, H. [VerfasserIn]; Babuska, V. [VerfasserIn]; Hetenyi, G. [VerfasserIn]; Abreu , Rafael [VerfasserIn]; Allegretti, Ivo [VerfasserIn]; Apoloner, Maria-Theresia [VerfasserIn]; Aubert, Coralie [VerfasserIn]; Besançon, Simon [VerfasserIn]; Bés de Berc, Maxime [VerfasserIn]; Bokelmann, Götz [VerfasserIn]; Brunel, Didier [VerfasserIn]; Capello, Marco [VerfasserIn]; Čarman, Martina [VerfasserIn]; Cavaliere, Adriano [VerfasserIn]; Chéze, Jérôme [VerfasserIn]; Chiarabba, Claudio [VerfasserIn]; Clinton, John [VerfasserIn]; Cougoulat, Glenn [VerfasserIn]; C. Crawford, Wayne [VerfasserIn]; Cristiano, Luigia [VerfasserIn]; Czifra, Tibor [VerfasserIn]; D’Alema, Ezio [VerfasserIn]; [...]

    Transversely isotropic lower crust of Variscan central Europe imaged by ambient noise tomography of the Bohemian Massif

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Copernicus Publications (EGU), 2021-05-11

  12. Kolinsky, Petr [VerfasserIn]; Bokelmann, Götz [VerfasserIn]; Hetenyi, Gyorgy [VerfasserIn]; Abreu, Rafael [VerfasserIn]; Allegretti, Ivo [VerfasserIn]; Apoloner, Maria-Theresia [VerfasserIn]; Aubert, Coralie [VerfasserIn]; Besancon, Simon [VerfasserIn]; Bes De Berc, Maxime [VerfasserIn]; Bokelmann, Goetz [VerfasserIn]; Brunel, Didier [VerfasserIn]; Capello, Marco [VerfasserIn]; Carman, Martina [VerfasserIn]; Cavaliere, Adriano [VerfasserIn]; Cheze, Jerome [VerfasserIn]; Chiarabba, Claudio [VerfasserIn]; Clinton, John [VerfasserIn]; Cougoulat, Glenn [VerfasserIn]; Grawford, Wayne C. [VerfasserIn]; Cristiano, Luigia [VerfasserIn]; Czifra, Tibor [VerfasserIn]; D'Alema, Ezio [VerfasserIn]; Danesi, Stefania [VerfasserIn]; Daniel, Romuald [VerfasserIn]; [...]

    Arrival angles of teleseismic fundamental mode Rayleigh waves across the AlpArray

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wiley, 2019-07

  13. Alder, C. [VerfasserIn]; Debayle, E. [VerfasserIn]; Bodin, T. [VerfasserIn]; Paul, A. [VerfasserIn]; Stehly, L. [VerfasserIn]; Pedersen, H. [VerfasserIn]; Allegretti, Ivo [VerfasserIn]; Apoloner, Maria-Theresia [VerfasserIn]; Aubert, Coralie [VerfasserIn]; Besançon, Simon [VerfasserIn]; Bés de Berc, Maxime [VerfasserIn]; Abreu, Rafael [VerfasserIn]; Brunel, Didier [VerfasserIn]; Capello, Marco [VerfasserIn]; Čarman, Martina [VerfasserIn]; Cavaliere, Adriano [VerfasserIn]; Chéze, Jérôme [VerfasserIn]; Chiarabba, Claudio [VerfasserIn]; Clinton, John [VerfasserIn]; Cougoulat, Glenn [VerfasserIn]; C. Crawford, Wayne [VerfasserIn]; Cristiano, Luigia [VerfasserIn]; Czifra, Tibor [VerfasserIn]; D’Alema, Ezio [VerfasserIn]; [...]

    Evidence for radial anisotropy in the lower crust of the Apennines from Bayesian ambient noise tomography in Europe

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oxford University Press, 2021-02-09

  14. Jozi Najafabadi, A. [VerfasserIn]; Haberland, Christian [VerfasserIn]; Ryberg, Trond [VerfasserIn]; Verwater, V. F. [VerfasserIn]; Le Breton, E. [VerfasserIn]; Handy, M. R. [VerfasserIn]; Weber, Michael [VerfasserIn]; Apoloner, Maria-Theresia [VerfasserIn]; Aubert, Coralie [VerfasserIn]; Besançon, Simon [VerfasserIn]; Bés de Berc, Maxime [VerfasserIn]; Bokelmann, Götz [VerfasserIn]; Brunel, Didier [VerfasserIn]; Capello, Marco [VerfasserIn]; Čarman, Martina [VerfasserIn]; Cavaliere, Adriano [VerfasserIn]; Chéze, Jérôme [VerfasserIn]; Chiarabba, Claudio [VerfasserIn]; Clinton, John [VerfasserIn]; Cougoulat, Glenn [VerfasserIn]; C. Crawford, Wayne [VerfasserIn]; Cristiano, Luigia [VerfasserIn]; Czifra, Tibor [VerfasserIn]; D’Alema, Ezio [VerfasserIn]; [...]

    Relocation of earthquakes in the southern and eastern Alps (Austria, Italy) recorded by the dense, temporary SWATH-D network using a Markov chain Monte Carlo inversion

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Copernicus Publications (EGU), 2021-05-19

  20. Kuperberg, Denis; Brunel, Julien; Chemouil, David

    Automated Technology for Verification and Analysis: On Finite Domains in First-Order Linear Temporal Logic

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2016

    Erschienen in: Automated Technology for Verification and Analysis