Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
The Pennsylvania State University CiteSeerX Archives (9)
Akhtar, Sabina (2)
Bozzelli, Laura (2)
Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP) (2)
Laboratoire d'analyse et d'architecture des systèmes (LAAS) (2)
Lubat, Eric (2)
Montanari, Angelo (2)
Peron, Adriano (2)
Sala, Pietro (2)
Université Fédérale Toulouse Midi-Pyrénées (2)
more
Year
Medium
Type
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Page:
1
2
Hits 1 – 20 of 40
1
Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis ; Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes
Lubat, Eric
. - : HAL CCSD, 2021
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩ (2021)
BASE
Show details
2
Synchronous Product of Time Petri Netsand its Applications to Fault-Diagnosis ; Produit synchrone des réseaux de Petri temporelset ses applications au diagnostic de défauts
Lubat, Eric
. - : HAL CCSD, 2021
In: https://hal.laas.fr/tel-03528121 ; Embedded Systems. INSA, 2021. English (2021)
BASE
Show details
3
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes
Bozzelli, Laura
;
Montanari, Angelo
;
Peron, Adriano
. - : LIPIcs - Leibniz International Proceedings in Informatics. 28th International Symposium on Temporal Representation and Reasoning (TIME 2021), 2021
BASE
Show details
4
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes ...
Bozzelli, Laura
;
Montanari, Angelo
;
Peron, Adriano
. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021
BASE
Show details
5
A Comprehensive Study of Declarative Modelling Languages
Bandali, Amin
. - : University of Waterloo, 2020
BASE
Show details
6
Analysis of source code quality through a logic-based technique and application to robotics ; Analyse de la qualité de code via une approche logique et application à la robotique
Come, David
. - : HAL CCSD, 2019
In: https://hal.archives-ouvertes.fr/tel-02367673 ; Sciences de l'ingénieur [physics]. UNIVERSITE DE TOULOUSE, 2019. Français (2019)
BASE
Show details
7
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
Voigt, Marco
. - : Saarländische Universitäts- und Landesbibliothek, 2019
BASE
Show details
8
A rule-based methodology to extract building model views
de Farias, T.M.
;
Roxin, A.
;
Nicolle, C.
In: Automation in Construction, vol. 92, pp. 214-229 (2018)
BASE
Show details
9
МЕТОД ПОСТРОЕНИЯ АБСТРАКТНЫХ МОДЕЛЕЙ, ИСПОЛЬЗУЕМЫХ ДЛЯ ВЕРИФИКАЦИИ ПРОТОКОЛОВ КОГЕРЕНТНОСТИ КЭШ-ПАМЯТИ МАСШТАБИРУЕМЫХ СИСТЕМ
БУРЕНКОВ В.С.
;
ИВАНОВ С.Р.
. - : Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Московский государственный технический университет имени Н.Э.Баумана», 2017
BASE
Show details
10
A first-order policy language for history-based transaction monitoring
Bauer, Andreas
;
Gore, Rajeev
;
Tiu, Alwen
In: Proceedings of The 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009) ; http://www.springerlink.com/content/978-3-642-03465-7 (2015)
BASE
Show details
11
Lambda-calculus and formal language theory
Salvati, Sylvain
. - : HAL CCSD, 2015
In: https://hal.archives-ouvertes.fr/tel-01253426 ; Computer Science [cs]. Université de Bordeaux, 2015 (2015)
BASE
Show details
12
MEReq: a tool to capture and validate multi-lingual requirements
Kamalrudin, Massila
;
Sidek, Safiah
;
Yusop, Noorrezam
. - : IOS press, 2014
BASE
Show details
13
Detection of Naming Convention Violations in Process Models for Different Languages
Henrik Leopold
;
Rami-habib Eid-sabbagh
;
Jan Mendling
...
In: http://www.mendling.com/publications/DSS13-Convention.pdf (2013)
BASE
Show details
14
A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
Allam, Diana
In: AOSD 2012 Student Research Competition (Poster) ; https://hal.inria.fr/hal-00668999 ; AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩ (2012)
BASE
Show details
15
Formal Verification of Distributed Algorithms using PlusCal-2 ; Vérification Formelle d'Algorithmes Distribués en PlusCal-2
Akhtar, Sabina
. - : HAL CCSD, 2012
In: https://tel.archives-ouvertes.fr/tel-01749162 ; Data Structures and Algorithms [cs.DS]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0014⟩ (2012)
BASE
Show details
16
Mémoire d'habilitation à diriger des recherches
Madelaine, Florent
. - : HAL CCSD, 2012
In: https://tel.archives-ouvertes.fr/tel-01096078 ; Logic in Computer Science [cs.LO]. Université Blaise Pascal (Clermont-Ferrand 2), 2012 (2012)
BASE
Show details
17
Computation Sequence Chart: ein Konzept zur anforderungsbezogenen Testfallgenerierung ...
Grosch, Vanessa
. - : Universität Ulm, 2012
BASE
Show details
18
Vérification formelle d'algorithmes distribués en PlusCal-2 ; Formal Verification of distributed algorithms using PlusCal-2
Akhtar, Sabina
. - 2012
BASE
Show details
19
The Complexity of Reversal-Bounded Model-Checking
Bersani, Marcello,
;
Demri, Stéphane
In: Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings ; 8th International Symposium on Frontiers of Combining Systems (FroCoS'11) ; https://hal.archives-ouvertes.fr/hal-03195045 ; 8th International Symposium on Frontiers of Combining Systems (FroCoS'11), Viorica Sofronie-Stokkermans; Cesare Tinelli, Oct 2011, Saarbruecken, Germany. pp.71-86, ⟨10.1007/978-3-642-24364-6_6⟩ ; https://www.springer.com/gp/book/9783642243639 (2011)
BASE
Show details
20
Towards the Integration of EAST-ADL and UPPAAL for FormalVerification of EAST-ADL Timing Constraint Specification
Qureshi, Tahir Naseer
;
Chen, De-Jiu
;
Persson, Magnus
. - : KTH, Inbyggda styrsystem, 2011
BASE
Show details
Page:
1
2
Mobile view
All
Catalogues
UB Frankfurt Linguistik
5
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
0
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
35
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern