Personensuche
X
?
2022 IEEE Power & Energy Society General Meeting (PESGM) ,
1
Active distribution network expansion planning considering ..:
, In:
?
Cellular Automata and Discrete Complex Systems; Lecture Notes in Computer Science ,
4
Logical Modelling, Some Recent Methodological Advances Illu..:
, In:
?
Complex Networks XIV; Springer Proceedings in Complexity ,
5
Community Structure in Transcriptional Regulatory Networks ..:
, In:
?
2023 Workshop on Communication Networks and Power Systems (WCNPS) ,
6
Time-Domain Analysis of Protection Systems - Assessing the ..:
, In:
?
2022 IEEE Conference on Software Testing, Verification and Validation (ICST) ,
7
Summary of Model Checking C++ Programs:
, In:
?
Network Science; Lecture Notes in Computer Science ,
8
Functional Characterization of Transcriptional Regulatory N..:
, In:
?
Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science ,
9
Minimal Perturbation in University Timetabling with Maximum..:
, In:
?
Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science ,
10
ESBMC: Scalable and Precise Test Generation based on the Fl..:
, In:
?
Computational Methods in Systems Biology; Lecture Notes in Computer Science ,
11
ModRev - Model Revision Tool for Boolean Logical Models of ..:
, In:
?
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice ,
12
Code-level model checking in the software development workf..:
, In:
?
Bioinformatics Research and Applications; Lecture Notes in Computer Science ,
13
Model Revision of Boolean Regulatory Networks at Stable Sta..:
, In:
?
2019 IEEE 15th Brazilian Power Electronics Conference and 5th IEEE Southern Power Electronics Conference (COBEP/SPEC) ,
14
Modeling and Simulation of a Stirling Engine in SCILAB:
, In:
?
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) ,
15