I agree that this site is using cookies. You can find further informations here.
X
Chaïeb, Amine
12  results:
Search for persons X
?
1

Overview of Ecological Dynamics in Morocco – Biodiversity, ..:

Arabi, Mourad ; Mechkirrou, Latifa ; El Malki, Mohamed...
E3S Web of Conferences.  527 (2024)  - p. 01001 , 2024
Link: https://doi.org/10.1051/..
 
?
2

Impact assessment of the effects of the former uncontrolled..:

Arabi, Mourad ; Chaïeb, Amine ; Khattach, Driss...
E3S Web of Conferences.  527 (2024)  - p. 02018 , 2024
Link: https://doi.org/10.1051/..
 
?
3

Formal Power Series:

Chaieb, Amine
Journal of Automated Reasoning.  47 (2010)  3 - p. 291-318 , 2010
Link: https://doi.org/10.1007/..
 
?
4

Proof Synthesis and Reflection for Linear Arithmetic:

Chaieb, Amine ; Nipkow, Tobias
Journal of Automated Reasoning.  41 (2008)  1 - p. 33-59 , 2008
Link: https://doi.org/10.1007/..
 
?
5

Bytecode Analysis for Proof Carrying Code:

Wildmoser, Martin ; Chaieb, Amine ; Nipkow, Tobias
Electronic Notes in Theoretical Computer Science.  141 (2005)  1 - p. 19-34 , 2005
Link: https://doi.org/10.1016/..
 
?
6

Automated methods for formal proofs in simple arithmetics a..:

Chaieb, Amine
https://mediatum.ub.tum.de/649541.  , 2008
Link: https://mediatum.ub.tum...
 
?
7

Eradication ofHelicobacter pylori: a prospective comparativ..:

Souissi, Salma ; Makni, Cyrine ; Chaieb, Basma...
Future Science OA.  10 (2020)  1 - p. , 2020
Link: https://doi.org/10.2144/..
 
?
8

Survival of Vibrio alginolyticus in seawater and retention ..:

Ben Kahla-Nakbi, Amel ; Besbes, Amine ; Chaieb, Kamel..
Marine Environmental Research.  64 (2007)  4 - p. 469-478 , 2007
Link: https://doi.org/10.1016/..
 
?
9

Impact of Time of Day on Glycemia in Response to Postprandi..:

Chaieb, Ilyess Aouin ; Kacem, Faten Hadj ; Mnif, Mouna...
Canadian Journal of Diabetes.  , 2024
Link: https://doi.org/10.1016/..
 
?
10

A Comparative Thermal Study of Two Permanent Magnets Motors..:

Ben Hadj, Naourez ; Kaouthar Kammoun, Jalila ; Amine Fakhfakh, Mohamed..
ISBN:978-953-307-477-1.  , 2011
Link: https://mts.intechopen.c..
 
?
11

Automated methods for formal proofs in simple arithmetics a..:

Chaieb, Amine , 2008
Link: http://d-nb.info/9886915..
 
?
12

Survival of in Seawater and Retention of Virulence of Its S..:

Amel, Ben Kahla-Nakbi ; Amine, Besbes ; Kamel, Chaieb..
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.marenvres.2007.04.002.  , 2007
Link: https://hal.archives-ouv..
 
1-12