E-LIB Suche - Ergebnisse für: Monteiro, Felipe T.

1

Active distribution network expansion planning considering ..:

, In: 2022 IEEE Power & Energy Society General Meeting (PESGM),

de Souza, Jonas V. ; Monteiro, Felipe M. dos S. ; de Godoy, Paulo T.. - p. 1-5 , 2022

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

2

Contributors:

, In: Zika Virus Biology, Transmission, and Pathology,

Abram, Quinn H. ; Addas-Carvalho, Marcelo ; Alpuche-Lazcano, Sergio P.... - p. xix-xxiii , 2021

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

3

Contributors:

, In: Assessments, Treatments and Modeling in Aging and Neurological Disease,

Adams, Michelle M. ; Albinet, Cédric ; Alicioglu, Banu... - p. xvii-xxii , 2021

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

4

Logical Modelling, Some Recent Methodological Advances Illu..:

, In: Cellular Automata and Discrete Complex Systems; Lecture Notes in Computer Science,

Chaouiya, Claudine ; Monteiro, Pedro T. ; Remy, Elisabeth - p. 3-22 , 2024

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

5

Community Structure in Transcriptional Regulatory Networks ..:

, In: Complex Networks XIV; Springer Proceedings in Complexity,

Cruz, Fábio ; Monteiro, Pedro T. ; Teixeira, Andreia Sofia - p. 38-49 , 2023

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

6

Time-Domain Analysis of Protection Systems - Assessing the ..:

, In: 2023 Workshop on Communication Networks and Power Systems (WCNPS),

Soares De Souza, Joao R. ; Monteiro, Felipe Vidotti ; Resende, Filipe B.. - p. 1-7 , 2023

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

7

Summary of Model Checking C++ Programs:

, In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST),

Monteiro, Felipe R. ; Gadelha, Mikhail R. ; Cordeiro, Lucas C. - p. 461-461 , 2022

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

8

Functional Characterization of Transcriptional Regulatory N..:

, In: Network Science; Lecture Notes in Computer Science,

Dias, Paulo ; Monteiro, Pedro T. ; Teixeira, Andreia Sofia - p. 140-154 , 2022

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

9

Minimal Perturbation in University Timetabling with Maximum..:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,

Lemos, Alexandre ; Monteiro, Pedro T. ; Lynce, Inês - p. 317-333 , 2020

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

10

ESBMC: Scalable and Precise Test Generation based on the Fl..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Gadelha, Mikhail R. ; Menezes, Rafael ; Monteiro, Felipe R... - p. 525-529 , 2020

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

11

ModRev - Model Revision Tool for Boolean Logical Models of ..:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

Gouveia, Filipe ; Lynce, Inês ; Monteiro, Pedro T. - p. 339-348 , 2020

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

12

Code-level model checking in the software development workf..:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice,

Chong, Nathan ; Cook, Byron ; Kallas, Konstantinos... - p. 11-20 , 2020

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

13

Model Revision of Boolean Regulatory Networks at Stable Sta..:

, In: Bioinformatics Research and Applications; Lecture Notes in Computer Science,

Gouveia, Filipe ; Lynce, Inês ; Monteiro, Pedro T. - p. 100-112 , 2019

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

14

Modeling and Simulation of a Stirling Engine in SCILAB:

, In: 2019 IEEE 15th Brazilian Power Electronics Conference and 5th IEEE Southern Power Electronics Conference (COBEP/SPEC),

Cordero, Raymundo ; Estrabis, Thyago ; Onofre, Joao.. - p. 1-5 , 2019

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

15

ESBMC 5.0: An Industrial-Strength C Model Checker:

, In: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE),

Gadelha, Mikhail R. ; Monteiro, Felipe R. ; Morse, Jeremy... - p. 888-891 , 2018

Link: https://doi.org/10.1145/..