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 |
2010 | Németh, Erzsébet and Hangos, Katalin and Lakner, R. A procedure ontology for advanced diagnosis of process systems | | ISI Article |
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 |
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 |
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 |
2007 | Németh, Erzsébet and Lakner, R. and Hangos, Katalin and Cameron, I. T. Prediction-based diagnosis and loss prevention using qualitative multi-scale models | | Article |
2007 | Luspay, Tamás and Németh, Erzsébet and Varga, István and Soumelidis, Alexandros A vezeték nélküli hálózattal összekapcsolt járművek irányítása intelligens közúti kereszteződésben | | Article |
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 Lakner, Rozália and Hangos, Katalin Diagnostic goal-driven reduction of multiscale process models | | Book Section |
2006 | Németh, Erzsébet and Lakner, R. and Hangos, Katalin Diagnosztikai feladatok megvalósítása ágens-alapú technikával | | Article |
2006 | Németh, Erzsébet and Bartha, Tamás Formal verification of function block based specifications of safety-critical software | | Conference or Workshop Item |
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 |
2006 | Németh, Erzsébet Predikción alapuló diagnosztika mesterséges intelligencia módszerek felhasználásával | | Thesis |
2005 | Németh, Erzsébet and Cameron, IT and Hangos, Katalin Diagnostic goal driven modelling and simulation of multiscale process systems | | Article |
2005 | Németh, Erzsébet and Lakner, R. and Hangos, Katalin Diagnostic goal-driven reduction of multiscale process models. (Research report SCL-001/2005.) | | Book |
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 model-based reasoning | | Article |
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 | Kovács, Á. and Németh, Erzsébet and Hangos, Katalin Coloured Petri Net Model of a Simple Runway. (Research report SCL-001/2004) | | Book |
2004 | Németh, Erzsébet Diagnostic goal driven modelling and simulation of multiscale process systems | | Conference or Workshop Item |
2004 | Németh, Erzsébet and Hangos, Katalin Multi-scale process model description by generalized hierarchical CPN models. (Research report SCL-002/2004) | | Book |
2003 | Németh, Erzsébet and Lakner, R. and Hangos, Katalin and Cameron, IT Hierarchical CPN model-based diagnosis using HAZOP knowledge. (Research report SCL-009/2003) | | Book |
2002 | Németh, Erzsébet Deadlock analysis in hierarchical Petri nets | | Thesis |
2001 | Rekeczky, Csaba and Roska, Tamás and Németh, Erzsébet and Werblin, FS The network behind spatio-temporal patterns: building low-complexity retinal models in CNN based on morphology, pharmacology and physiology | | Article |
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 |
1999 | Balla, K. and Kéri, Gerzson and Németh, Erzsébet and Rapcsák, Tamás and Sági, Z. and Tóth, T. and Verrasztó, Z. A Ráckevei (Soroksári) Duna-ág vízminőségi modellezése többkritériumú döntési módszerek felhasználásával. (Modelling the quality of water in the branch of the river Danube at Ráckeve by using multicriteria group decision making.) (in Hungarian) | | Book |
1999 | Balla, K. and Kéri, Gerzson and Németh, Erzsébet and Rapcsák, Tamás and Sági, Z. and Tóth, T. and Verrasztó, Z. A Ráckevei(Soroksári) Duna-ág vízminoségi modellezése többszempontú döntési módszerek felhasználásával.(Modelling of the water quality of the Ráckeve-Soroksár branch of the river Danube by applying multiple criterion decision methods.) | | Article |
1998 | Balla, K. and Kéri, Gerzson and Németh, Erzsébet and Rapcsák, Tamás and Sági, Z. and Tóth, T. and Verrasztó, Z. A Ráckevei (Soroksári) Duna-ág vízháztartási modellezé többkritériumú döntési módszerek felhasználásával. (Working paper of the Laboratory of Operations Research and Decision Systems, (LORDS) WP 98-13.) | | Book |
1998 | Rekeczky, Csaba and Roska, B. and Németh, Erzsébet and Wang, M. and Weblin, F. and Roska, Tamás The network behind dynamic spatio-temporal patterns - building low-complexity retinal models in CNN based on morphology, pharmacology and physiology.(Research report of the Analogical and Neural Computing Laboratory, DNS-7-1998.) | | Book |