Z. Porkoláb

Available identifiers

zbMath Open porkolab.zoltanMaRDI QIDQ596970

List of research outcomes

Publication	Date of Publication	Type
Type Inference of Simple Recursive Functions in Scala	2023-03-30	Paper
Detecting Uninitialized Variables in C++ with the Clang Static Analyzer	2023-03-30	Paper
Traquest Model	2021-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q2898762	2012-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2898801	2012-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q3077296	2011-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q5851853	2010-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5851860	2010-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5851861	2010-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5851862	2010-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5851864	2010-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5851865	2010-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5851867	2010-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q5851870	2010-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q3654070	2010-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q3654071	2010-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q3654077	2010-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q3653842	2009-12-29	Paper
https://portal.mardi4nfdi.de/entity/Q3653843	2009-12-29	Paper
https://portal.mardi4nfdi.de/entity/Q3653847	2009-12-29	Paper
https://portal.mardi4nfdi.de/entity/Q3615284	2009-03-19	Paper
The structured complexity of object-oriented programs	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4459904	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q2765665	2002-11-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Z. Porkoláb