Wojciech Frączak - Concepedia

Author

Wojciech Frączak

Also Known As

Fraczak, Wojciech, W. Fraczak, WOJCIECH FRACZAK, Wojciech Fraczak, Wojciech Frączak, Wojciech Rytter

Publications

278

Citations

H-Index

Concepts

All Affiliations

Wojciech Frączak is an author at Université du Québec en Outaouais specializing in automated reasoning, engineering, and formal methods.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	101
2	Computer Science	3	3	101
3	Language Studies	1	1	12
4	Computer Engineering	1	1	23
5	Linguistics	1	1	12

Wojciech Frączak

Publications

141

Citations

H-Index

Page 1

	Year	Citations
M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages Eike Best, Wojciech Frączak, Richard P. Hopkins, Acta Informatica Petri NetConcurrent Programming LanguagesEngineeringProgram AnalysisAutomated Reasoning	1998	55
Finding dominators via disjoint set union Wojciech Frączak, Loukas Georgiadis, Andrew Miller, Journal of Discrete Algorithms Partially Ordered SetExtremal Set TheoryDiscrete MathematicsCombinatorial Design	2013	28
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2 Eike Best, Hans Fleischhack, Wojciech Frączak, Applications and Theory of Petri Nets Petri NetComputational LogicFormal SpecificationEngineeringAutomated Reasoning	1995	23
LINEAR-TIME PRIME DECOMPOSITION OF REGULAR PREFIX CODES Jurek Czyzowicz, Wojciech Frączak, Andrzej Pelc, International Journal of Foundations of Computer Science Prefix CodesEngineeringString-searching AlgorithmString ProcessingFormal Methods	2003	23
Prime normal form and equivalence of simple grammars Cédric Bastien, Jurek Czyzowicz, Wojciech Frączak, Theoretical Computer Science SyntaxAutomated ReasoningGrammatical FormalismFormal SyntaxGrammar	2006	12

Page 1