Jan Małuszyński - Concepedia

Author

Jan Małuszyński

Also Known As

Hermenegildo, Manuel V, J. Maluszynski, J. Małuszyński, JAN MAŁUSZYŃSKI, Jan Maluszynski, Jan Maluszyński, Jan MaŁuszyński, Jan Małuszynski, Jan Małuszyński, Ma&lstrok;uszy&nacute;ski Jan

113

Publications

1.7K

Citations

H-Index

Concepts

All Affiliations

Linköping University Polish Academy of Sciences University of Warsaw Institute of Computer Science

About

Jan Małuszyński is an author at Linköping University specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	17	632
2	Computer Science	12	13	431
3	Language Studies	4	4	167
4	Computer Engineering	1	1	11
5	Data Science	1	1	39

Jan Małuszyński

Publications

751

Citations

H-Index

Page 1

	Year	Citations
Relating logic programs and attribute grammars Pierre Deransart, Jan Małuszyński The Journal of Logic Programming SyntaxEngineeringAutomated ReasoningDescription LogicGrammar	1985	106
Inductive assertion method for logic programs Włodzimierz Drabent, Jan Małuszyński Theoretical Computer Science EngineeringAutomated ReasoningVerificationFormal MethodsComputer Science	1988	74
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs Francisco Bueno, Pierre Deransart, Włodzimierz Drabent, Applied LogicComputational LogicContraint Logic ProgramsEngineeringAutomated Reasoning	1997	64
On the role of semantic approximations in validation and diagnosis of constraint logic programs Francisco Bueno Carrillo, Pierre Deransart, Wlodek Drabent, International Colloquium on Automata, Languages and Programming Constraint SolvingEngineeringConstraint SatisfactionProgram AnalysisAutomated Reasoning	1997	60
AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. Piotr Dembiński, Jan Małuszyński SLP Computational LogicEngineeringProgram AnalysisAutomated ReasoningFormal Methods	1985	57
Proceedings of the 1997 international symposium on Logic programming I. V. Ramakrishnan, Terrance Swift, Jan Małuszyński International Conference on Logic Programming Applied LogicComputational LogicEngineeringAutomated ReasoningFormal Methods	1997	48
The Use of Assertions in Algorithmic Debugging. Włodzimierz Drabent, Simin Nadjm‐Tehrani, Jan Małuszyński Future Generation Computer Systems Program CheckingEngineeringProgram AnalysisAutomated ReasoningVerification	1988	40
Modeling and Reasoning with Paraconsistent Rough Sets Aida Vitória, Jan Małuszyński, Andrzej Szałas Fundamenta Informaticae Computational LogicRough SetsFuzzy LogicEngineeringData Science	2009	39
Logical foundations and complexity of 4QL, a query language with unrestricted negation Jan Małuszyński, Andrzej Szałas Journal of Applied Non-Classical Logics	2011	30
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. Włodzimierz Drabent, Jakob Henriksson, Jan Małuszyński	2007	26

Page 1