default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Information Reuse and Integration 2016
- Thouraya Bouabana-Tebibel, Stuart H. Rubin:
Theoretical Information Reuse and Integration. Advances in Intelligent Systems and Computing 446, Springer 2016, ISBN 978-3-319-31309-2 - Luís Soares Barbosa
, Manuel A. Martins, Alexandre Madeira, Renato Neves:
Reuse and Integration of Specification Logics: The Hybridisation Perspective. 1-30 - Bolong Zeng, Li Tan:
Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements. 31-57 - Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem:
Capturing and Verifying Dynamic Systems Behavior Using UML and \pi π -Calculus. 59-84 - Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi:
A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet. 85-111 - Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib:
Case Indexing by Component, Context, and Encapsulation for Knowledge Reuse. 113-134 - Elham Akhond Zadeh Noughabi, Behrouz H. Far, Amir Albadvi:
Intelligent Decision Making for Customer Dynamics Management Based on Rule Mining and Contrast Set Mining - A Segmentation Analysis Perspective. 135-155 - David J. Dittman, Taghi M. Khoshgoftaar, Amri Napolitano:
Is Data Sampling Required When Using Random Forest for Classification on Imbalanced Bioinformatics Data? 157-171 - Jiawei Zhang, Qianyi Zhan, Philip S. Yu:
Concurrent Alignment of Multiple Anonymized Social Networks with Generic Stable Matching. 173-196 - Sepideh Afkhami Goli, Behrouz H. Far, Abraham O. Fapojuwo:
An Accurate Multi-sensor Multi-target Localization Method for Cooperating Vehicles. 197-217
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
