11.
Friedler, Ferenc ; Orosz, Ákos ; Pimentel Losada, Jean
Formal Proof of Algorithm ABB
In: Friedler, Ferenc; Orosz, Ákos; Pimentel Losada, Jean P-graphs for process systems engineering: Mathematical models and algorithms
Cham, Svájc : Springer-Verlag (2022) 261 p. pp. 171-188. Paper: Chapter 13 , 18 p.
DOI Egyéb URL
Közlemény:34193352 Nyilvános Forrás Könyvrészlet (Szaktanulmány ) Tudományos
Szaktanulmány (Könyvrészlet) | Tudományos[34193352] [Nyilvános]
12.
Friedler, Ferenc ; Orosz, Ákos ; Pimentel Losada, Jean
Formal Proof of Algorithm SSG
In: Friedler, Ferenc; Orosz, Ákos; Pimentel Losada, Jean P-graphs for process systems engineering: Mathematical models and algorithms
Cham, Svájc : Springer-Verlag (2022) 261 p. pp. 159-170. Paper: Chapter 12 , 12 p.
DOI Egyéb URL
Közlemény:34193336 Nyilvános Forrás Könyvrészlet (Szaktanulmány ) Tudományos
Szaktanulmány (Könyvrészlet) | Tudományos[34193336] [Nyilvános]
13.
Friedler, Ferenc ; Orosz, Ákos ; Pimentel Losada, Jean
Simplification of the Maximal Structure
In: Friedler, Ferenc; Orosz, Ákos; Pimentel Losada, Jean P-graphs for process systems engineering: Mathematical models and algorithms
Cham, Svájc : Springer-Verlag (2022) 261 p. pp. 151-158. Paper: Chapter 11 , 8 p.
DOI Egyéb URL
Közlemény:34193325 Nyilvános Forrás Könyvrészlet (Szaktanulmány ) Tudományos
Szaktanulmány (Könyvrészlet) | Tudományos[34193325] [Nyilvános]
14.
Friedler, Ferenc ; Orosz, Ákos ; Pimentel Losada, Jean
Formal Proof of Algorithm MSG
In: Friedler, Ferenc; Orosz, Ákos; Pimentel Losada, Jean P-graphs for process systems engineering: Mathematical models and algorithms
Cham, Svájc : Springer-Verlag (2022) 261 p. pp. 145-150. Paper: Chapter 10 , 6 p.
DOI Egyéb URL
Közlemény:34193318 Nyilvános Forrás Könyvrészlet (Szaktanulmány ) Tudományos
Szaktanulmány (Könyvrészlet) | Tudományos[34193318] [Nyilvános]
15.
Friedler, Ferenc ; Orosz, Ákos ; Pimentel Losada, Jean
Enumeration-Based Properties of Processing Systems: Reliability and Resilience
In: Friedler, Ferenc; Orosz, Ákos; Pimentel Losada, Jean P-graphs for process systems engineering: Mathematical models and algorithms
Cham, Svájc : Springer-Verlag (2022) 261 p. pp. 123-142. Paper: Chapter 9 , 20 p.
DOI Egyéb URL
Közlemény:34193311 Nyilvános Forrás Könyvrészlet (Szaktanulmány ) Tudományos
Szaktanulmány (Könyvrészlet) | Tudományos[34193311] [Nyilvános]
16.
Friedler, Ferenc ; Orosz, Ákos ; Pimentel Losada, Jean
Case Study: Synthesis of a Production Process for Adipic Acid
In: Friedler, Ferenc; Orosz, Ákos; Pimentel Losada, Jean P-graphs for process systems engineering: Mathematical models and algorithms
Cham, Svájc : Springer-Verlag (2022) 261 p. pp. 103-122. Paper: Chapter 8 , 20 p.
DOI Egyéb URL
Közlemény:34193301 Nyilvános Forrás Könyvrészlet (Szaktanulmány ) Tudományos
Szaktanulmány (Könyvrészlet) | Tudományos[34193301] [Nyilvános]
17.
Friedler, Ferenc ; Orosz, Ákos ; Pimentel Losada, Jean
Literature Review on Research and Applications
In: Friedler, Ferenc; Orosz, Ákos; Pimentel Losada, Jean P-graphs for process systems engineering: Mathematical models and algorithms
Cham, Svájc : Springer-Verlag (2022) 261 p. pp. 85-102. Paper: Chapter 7 , 18 p.
DOI Egyéb URL
Közlemény:34193296 Nyilvános Forrás Könyvrészlet (Szaktanulmány ) Tudományos
Szaktanulmány (Könyvrészlet) | Tudományos[34193296] [Nyilvános]
18.
Friedler, Ferenc ; Orosz, Ákos ; Pimentel Losada, Jean
Accelerated Branch-and-Bound Algorithm of Process Network Synthesis
In: Friedler, Ferenc; Orosz, Ákos; Pimentel Losada, Jean P-graphs for process systems engineering: Mathematical models and algorithms
Cham, Svájc : Springer-Verlag (2022) 261 p. pp. 63-81. Paper: Chapter 6 , 19 p.
DOI Egyéb URL
Közlemény:34193288 Nyilvános Forrás Könyvrészlet (Szaktanulmány ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szaktanulmány (Könyvrészlet) | Tudományos[34193288] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
19.
Friedler, Ferenc ; Orosz, Ákos ; Pimentel Losada, Jean
Algorithmic Generation of all Solution-Structures
In: Friedler, Ferenc; Orosz, Ákos; Pimentel Losada, Jean P-graphs for process systems engineering: Mathematical models and algorithms
Cham, Svájc : Springer-Verlag (2022) 261 p. pp. 51-62. Paper: Chapter 5 , 12 p.
DOI Egyéb URL
Közlemény:34193284 Nyilvános Forrás Könyvrészlet (Szaktanulmány ) Tudományos
Szaktanulmány (Könyvrészlet) | Tudományos[34193284] [Nyilvános]
20.
Friedler, Ferenc ; Orosz, Ákos ; Pimentel Losada, Jean
Algorithmic Generation of the Maximal Structure
In: Friedler, Ferenc; Orosz, Ákos; Pimentel Losada, Jean P-graphs for process systems engineering: Mathematical models and algorithms
Cham, Svájc : Springer-Verlag (2022) 261 p. pp. 37-49. Paper: Chapter 4 , 13 p.
DOI Egyéb URL
Közlemény:34193282 Nyilvános Forrás Könyvrészlet (Szaktanulmány ) Tudományos
Szaktanulmány (Könyvrészlet) | Tudományos[34193282] [Nyilvános]
2024-05-02 19:23