Items where Author is "Németh, Erzsébet"
 | Up a level |
Number of items: 37.
ISI Article
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2010 | Németh, Erzsébet and Hangos, Katalin and Lakner, R. A procedure ontology for advanced diagnosis of process systems | ISI Article | |
| 2009 | Németh, Erzsébet and Bartha, Tamás and Fazekas, Csaba and Hangos, Katalin Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets | ISI Article | |
| 2006 | Lakner, Rozália and Németh, Erzsébet and Hangos, Katalin and Cameron, IT Multiagent realization of prediction-based diagnosis and loss prevention | ISI Article |
Article
Book Section
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2010 | Tóth, Attila and Németh, Erzsébet and Hangos, Katalin Coloured Petri net diagnosers for lumped process systems | Book Section | |
| 2010 | Hangos, Katalin and Németh, Erzsébet and Lakner, Rozália and Tóth, Attila Detectability and diagnosability of faults in lumped process systems | Book Section | |
| 2006 | Németh, Erzsébet and Lakner, Rozália and Hangos, Katalin Diagnostic goal-driven reduction of multiscale process models | Book Section |
Conference or Workshop Item
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2009-06-30 | Németh, Erzsébet and Lakner, Rozália and Cameron, Ian T. and Hangos, Katalin Fault diagnosis based on hazard identification results | Conference or Workshop Item | |
| 2008 | Németh, Erzsébet and Bartha, Tamás Formal verification of safety functions by reinterpretation of functional block based specifications | Conference or Workshop Item | |
| 2008 | Cameron, I. T. and Seligmann, B. and Hangos, Katalin and Németh, Erzsébet and Lakner, R. A functional systems approach to the development of improved hazard identification for advanced diagnostic systems | Conference or Workshop Item | |
| 2008 | Hangos, Katalin and Németh, Erzsébet and Lakner, Rozália A procedure ontology for advanced diagnosis of process systems | Conference or Workshop Item | |
| 2007 | Németh, Erzsébet and Varga, István and Soumelidis, Alexandros Intelligens közúti kereszteződés | Conference or Workshop Item | |
| 2007 | Németh, Erzsébet and Fazekas, Csaba and Szederkényi, Gábor and Hangos, Katalin Modeling and simulation of the primary circuit of the Paks nuclear power plant for control and diagnosis | Conference or Workshop Item | |
| 2007 | Cameron, I. T. and Seligmann, B. and Hangos, Katalin and Lakner, R. and Németh, Erzsébet The P3 formalism: a basics for improved diagnosis in complex systems | Conference or Workshop Item | |
| 2006 | Lakner, Rozália and Németh, Erzsébet and Hangos, Katalin and Cameron, IT Agent-based diagnosis for granulation processes | Conference or Workshop Item | |
| 2006 | Németh, Erzsébet and Bartha, Tamás Formal verification of function block based specifications of safety-critical software | Conference or Workshop Item | |
| 2005 | Kovács, Á. and Németh, Erzsébet and Hangos, Katalin Modeling and optimization of runway traffic flow using coloured Petri nets | Conference or Workshop Item | |
| 2005 | Németh, Erzsébet and Lakner, R. and Hangos, Katalin and Cameron, IT Prediction-based diagnosis and loss prevention using qualitative multi-scale models | Conference or Workshop Item | |
| 2005 | Németh, Erzsébet and Lakner, R. and Hangos, Katalin A multi-agent prediction-based diagnosis system | Conference or Workshop Item | |
| 2004 | Németh, Erzsébet Diagnostic goal driven modelling and simulation of multiscale process systems | Conference or Workshop Item | |
| 2000 | Rekeczky, Csaba and Roska, B. and Németh, Erzsébet and Werblin, F. Neuromorphic CNN models for spatio-temporal effects measured in the inner and outer retina of tiger salamander | Conference or Workshop Item | |
| 2000 | Bálya, Dávid and Roska, B. and Németh, Erzsébet and Roska, Tamás and Werblin, F. A qualitative model-framework for spatio-temporal effects in vertebrate retinas | Conference or Workshop Item |
Book
Thesis
| Date | Author/Title | Document Type | |
|---|---|---|---|
| 2006 | Németh, Erzsébet Predikción alapuló diagnosztika mesterséges intelligencia módszerek felhasználásával | Thesis | |
| 2002 | Németh, Erzsébet Deadlock analysis in hierarchical Petri nets | Thesis |
