Főbb művei

F. m.: Nagyfeszültségű hálózatok zárlatvédelmének összehangolása. (Elektrotechnika, 1952)
Szimmetrikus összetevők. Tanfolyami jegyz. (Bp., 1953)
Háromfázisú, önműködő visszakapcsolás középfeszültségű hálózatokon. (Elektrotechnika, 1957)
Kettős földzárlatok szelektív védelme. (Elektrotechnika, 1960)
Kettős távvezeték védelmi kérdései. (A VEIKI kiadványa. Bp., 1961)
Nemzetközi kooperációs hálózat korszerű zárlatvédelmének megoldási lehetőségei. (A VEIKI kiadványa. Bp., 1961)
Távolsági védelmek és fejlesztési irányelvek. (A Mérnöktovábbképző Intézet előadásai. Bp., 1962)
H-kapcsolású, 120 kv-os transzformátorállomások védelmi és automatikai kérdései. (A VEIKI kiadványa. Bp., 1962)
Többfázisú hálózatok számítása. Kand. értek. is. (A VEIKI kiadványa. Bp., 1963)
Aszimmetrikus hibák helyettesítő kapcsolásai. (Elektrotechnika, 1963)
Gazdaságos kooperációs hálózat tervezése. (A VEIKI kiadványa. Bp., 1964)
Új módszer villamos hálózatok impedancia mátrixának számítására. (A VEIKI kiadványa. Bp., 1964)
Optimális gépszám megállapítása adott napi terhelésre. Hadik Zoltánnal. (A VEIKI kiadványa. Bp., 1964)
Szabadvezetékek impedanciája. – Kezelés nélküli állomások üzemzavari automatikái. (Elektrotechnika, 1964)
Többfeszültségű sugaras hálózat vizsgálata. Radó Gáborral. (A VEIKI kiadványa. Bp., 1966)
Kritikus út elemző és hurokvizsgáló program. (A VEIKI kiadványa. Bp., 1966)
Critical Path Method – CPM – elemző számológépes program. (A VEIKI kiadványa. Bp., 1966)
Szállítási feladat lineáris mellékfeltételekkel. (A VEIKI kiadványa. Bp., 1966)
A szállítási feladat számológépes algoritmusa. (A VEIKI kiadványa. Bp., 1966)
Fogyasztói adatok statisztikus feldolgozása. A számológépes programot készítette és ismertette Horváth Béláné. (A VEIKI kiadványa. Bp., 1966)
Sugaras hálózati fogyasztók statisztikus értékelése. (A VEIKI kiadványa. Bp., 1966)
Mátrixszámítás. (A Mérnöktovábbképző Intézet előadásai. Bp., 1967)
Valószínűségszámítás. (A Mérnöktovábbképző Intézet előadásai. Bp., 1967)
Optimális gépszám megállapítása adott napi terhelésre. Hadik Zoltánnal. (Elektrotechnika, 1967)
Gazdaságos erőműépítés számítása. Hadik Zoltánnal. (Elektrotechnika, 1968)
Szállítási feladat megoldása lineáris mellékfeltételekkel. – Hálózati mátrixok számológépes invertálásának a VEIKI-ben alkalmazott módszerei. Bókay Bélával. (20 éves a Villamosenergia-ipari Kutatóintézet. 1949–1969. Bp., 1969)
Villamoshálózati fogyasztók teljesítményadatainak gépi úton történő statisztikai feldolgozása. (A VEIKI kiadványa. Bp., 1969)
Megszakítók karbantartási ciklusának vizsgálata valószínűségszámítással. 1–2. Benkő Kálmánnal. (Elektrotechnika, 1969–1970)
Számítógépek programozása. Csatár Györgynével és Kónya Ilonával. Tankönyv. (Bp., 1980
2. kiad. 1982
3. kiad. 1987
4. kiad. 1989
5. kiad. 1991)
On the Concept of Ada. (ACM Ada Letters, 1982)
Unorthogonalities in the Identification Rules in Ada. (ACM Ada Letters, 1984)
A magyar nyelv elemzése számítógéppel. Tervek egy természetes nyelvű interfészhez. Farkas Ernővel és Naszódi Mátyással. (Az MTA SZTAKI kiadványa. Bp., 1987)
The Role of Context in the Identification Process in Ada. (North Holland, 1989)
Számítógépes nyelvészet. Egy. jegyz. (A BME Villamosmérnöki Kara kiadványa. Bp., 1991 és évente utánnyomás: 1992–2000)
Formális nyelvek. Monográfia és egy. tankönyv. (Az informatika elmélete. Bp., 2001
2. jav. kiad. 2002 és évente utánnyomás: 2003–2006)

ford.: Kitov, Anatolij Ivanovics–Krinyickij, Nyikolaj Andrejevics: Elektronikus számítógépek és programozás. Ford. B. I. Függelék: Szelezsán János: Az URAL-2 elektronikus számítógép ismertetése. (Bp., 1964). 

Irodalom

Irod.: Fontos emberek lexikona. (Bp., 2001). 

Megjegyzések

Lexikonok téves születési adata: dec. 12. Anyakönyvi adatok szerint dec. 4-én született!