E-LIB Suche - Ergebnisse für: Pita, Isabel

1

Strategies in Conditional Narrowing Modulo SMT Plus Axioms:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,

Aguirre, Luis ; Martí-Oliet, Narciso ; Palomino, Miguel. - p. 1-20 , 2023

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

2

QMaude: Quantitative Specification and Verification in Rewr..:

, In: Formal Methods; Lecture Notes in Computer Science,

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel. - p. 240-259 , 2023

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

3

UnitJudge: a novel online automatic correction system for l..:

, In: 2023 10th International and the 16th National Conference on E-Learning and E-Teaching (ICeLeT),

Garcia-Magarino, Ivan ; Pita, Isabel ; Arroyo, Javier... - p. 1-5 , 2023

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

4

Metalevel transformation of strategies:

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel.
Journal of Logical and Algebraic Methods in Programming. 124 (2022) - p. 100728 , 2022

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

5

Simulating and model checking membrane systems using strate..:

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel.
Journal of Logical and Algebraic Methods in Programming. 124 (2022) - p. 100727 , 2022

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

6

Model checking strategy-controlled systems in rewriting log..:

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel.
Automated Software Engineering. 29 (2021) 1 - p. , 2021

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

7

Strategies, model checking and branching-time properties in..:

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel.
Journal of Logical and Algebraic Methods in Programming. 123 (2021) - p. 100700 , 2021

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

8

Strategies, Model Checking and Branching-Time Properties in..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel. - p. 156-175 , 2020

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

9

Parameterized Strategies Specification in Maude:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel. - p. 27-44 , 2019

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

10

Input coupling enhancement through antenna incorporation in..:

Pita, Isabel A. ; Kumbham, Mahendar ; Gleeson, Matthew...
Journal of the Optical Society of America B. 36 (2019) 11 - p. 2954 , 2019

Link: https://doi.org/10.1364/..

11

Surface plasmon propagation enhancement via bowtie antenna ..:

Pita, Isabel A. ; Kumbham, Mahendar ; Schmidt, Michael...
Applied Optics. 57 (2018) 22 - p. E50 , 2018

Link: https://doi.org/10.1364/..

12

Conditional narrowing modulo SMT and axioms:

, In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming,

Aguirre, Luis ; Martí-Oliet, Narciso ; Palomino, Miguel. - p. 17-28 , 2017

Link: https://dl.acm.org/doi/1..

13

Sentence-Normalized Conditional Narrowing Modulo in Rewriti..:

Aguirre, Luis ; Martí-Oliet, Narciso ; Palomino, Miguel.
Journal of Automated Reasoning. 60 (2017) 4 - p. 421-463 , 2017

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

14

Recyclable SERS substrates based on Fe2O3–Ag hybrid hollow ..:

Weng, Xuexiang ; Feng, Zhiling ; Guo, Yina...
New Journal of Chemistry. 40 (2016) 6 - p. 5238-5244 , 2016

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

15

Far-Field Subdiffraction Imaging of Semiconductors Using No..:

Liu, Ning ; Kumbham, Mahendar ; Pita, Isabel...
ACS Photonics. 3 (2016) 3 - p. 478-485 , 2016

Link: https://doi.org/10.1021/..