E-LIB Suche - Ergebnisse für: Marín, Sonia

1

A Simple Loopcheck for Intuitionistic K:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia.. - p. 47-63 , 2024

Link: https://doi.org/10.1007/..

2

Aflatoxin B1 production: A time–water activity–temperature ..:

Marín, Sonia ; Aldars-García, Laila ; Molino, Francisco..
Fungal Biology. , 2024

Link: https://doi.org/10.1016/..

3

NIR‐HSI as a tool to predict deoxynivalenol and fumonisins ..:

Borràs‐Vallverdú, Bernat ; Marín, Sonia ; Sanchis, Vicente..
Journal of the Science of Food and Agriculture. 104 (2024) 9 - p. 5495-5503 , 2024

Link: https://doi.org/10.1002/..

4

Quantification and classification of deoxynivalenol-contami..:

Teixido-Orries, Irene ; Molino, Francisco ; Femenias, Antoni..
Food Chemistry. 417 (2023) - p. 135924 , 2023

Link: https://doi.org/10.1016/..

5

A Logical Interpretation of Asynchronous Multiparty Compati..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Carbone, Marco ; Marin, Sonia ; Schürmann, Carsten - p. 99-117 , 2023

Link: https://doi.org/10.1007/..

6

On Intuitionistic Diamonds (and Lack Thereof):

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Das, Anupam ; Marin, Sonia - p. 283-301 , 2023

Link: https://doi.org/10.1007/..

7

Near-infrared hyperspectral imaging as a novel approach for..:

Teixido-Orries, Irene ; Molino, Francisco ; Gatius, Ferran..
Food Control. 153 (2023) - p. 109952 , 2023

Link: https://doi.org/10.1016/..

8

Intuitionistic S4 is decidable:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia.. - p. 1-13 , 2023

Link: https://doi.org/10.1109/..

9

Optimizing extraction solvents for deoxynivalenol analysis ..:

Femenias, Antoni ; Fomina, Polina ; Tafintseva, Valeria...
Analytical Methods. 15 (2023) 1 - p. 36-47 , 2023

Link: https://doi.org/10.1039/..

10

Detection and quantification of zearalenone and its modifie..:

Pascari, Xenia ; Weigel, Stefan ; Marin, Sonia..
Journal of Food Science and Technology. 60 (2023) 4 - p. 1367-1375 , 2023

Link: https://doi.org/10.1007/..

11

Near-infrared hyperspectral imaging evaluation of Fusarium ..:

Femenias, Antoni ; Llorens-Serentill, Enric ; Ramos, Antonio J...
Food Control. 142 (2022) - p. 109239 , 2022

Link: https://doi.org/10.1016/..

12

From axioms to synthetic inference rules via focusing:

Marin, Sonia ; Miller, Dale ; Pimentel, Elaine.
Annals of Pure and Applied Logic. 173 (2022) 5 - p. 103091 , 2022

Link: https://doi.org/10.1016/..

13

Relevant Fusarium Mycotoxins in Malt and Beer:

Pascari, Xenia ; Marin, Sonia ; Ramos, Antonio J..
Foods. 11 (2022) 2 - p. 246 , 2022

Link: https://doi.org/10.3390/..

14

Hyperspectral imaging for the classification of individual ..:

Femenias, Antoni ; Gatius, Ferran ; Ramos, Antonio J...
Food Research International. 155 (2022) - p. 111102 , 2022

Link: https://doi.org/10.1016/..

15

Influence of Agronomic Factors on Mycotoxin Contamination i..:

Borràs-Vallverdú, Bernat ; Ramos, Antonio J. ; Cantero-Martínez, Carlos...
Toxins. 14 (2022) 9 - p. 620 , 2022

Link: https://doi.org/10.3390/..