Paulien de Wind - Concepedia

Author

Paulien de Wind

Also Known As

Paulien de Wind

Publications

Citations

H-Index

Concepts

All Affiliations

Paulien de Wind is an author at UNSW Sydney specializing in automated reasoning, computer science, and formal semantics.

#	Concept	H-Index	Publications	Citations
1	Computer Science	2	2	30
2	Engineering	1	1	11
3	Language Studies	1	1	38
4	Linguistics	1	1	38
5	Semantics	1	1	38

Paulien de Wind

Publications

Citations

H-Index

Page 1

	Year	Citations
Compositionality of Hennessy–Milner logic by structural operational semantics Wan Fokkink, Rob van Glabbeek, Paulien de Wind Theoretical Computer Science Formal SemanticsOperational SemanticsAutomated ReasoningStructural Operational SemanticsLanguage Studies	2005	38
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity Wan Fokkink, Rob van Glabbeek, Paulien de Wind Information and Computation Geometry Of NumberComputational Number TheoryModular FormModulus ProblemComputer Science	2012	19
Divide and Congruence Applied to η-Bisimulation Wan Fokkink, Rob van Glabbeek, Paulien de Wind Electronic Notes in Theoretical Computer Science Process CalculusEngineeringComputational Number TheoryOperational SemanticsFormal Modeling	2006	11

Page 1