Academic Bibliography

Search 200 years of publications by Ghent University researchers.

ereprof. dr. Albert Hoogewijs

Faculty of Sciences > Department of Mathematics: Algebra and Geometry

Add to list
- Journal Article
- A2
- open access
Statechart normalizations

Benjamin De Leeuw and Albert Hoogewijs (UGent)

(2010) WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS. 7(11). p.1315-1334
Add to list
Statecharts disentangled

Benjamin De Leeuw and Albert Hoogewijs (UGent)

(2010) EUROPEAN COMPUTING CONFERENCE. p.39-51
Add to list
- Journal Article
- A2
- open access
Management and Object Behavior of Statecharts through Statechart DNA

Benjamin De Leeuw and Albert Hoogewijs (UGent)

(2009) WSEAS TRANSACTIONS on INFORMATION SCIENCE and APPLICATIONS. 6(5). p.859-871
Add to list
- Conference Paper
- P1
Statechart DNA

Benjamin De Leeuw and Albert Hoogewijs (UGent)

(2009) Recent advances in Electrical Engineering. p.293-299
Add to list
- Conference Paper
- P1
- open access
Formal management of object behavior with statechart DNA

Benjamin De Leeuw and Albert Hoogewijs (UGent)

(2007) IEEE Africon. p.546-551
Add to list
SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts

Sara Van Langenhove and Albert Hoogewijs (UGent)

(2007) LECTURE NOTES IN COMPUTER SCIENCE. 4409. p.142-155
Add to list
- Miscellaneous
Joint Beneluxfra Conference in Mathematics : preface

Albert Hoogewijs (UGent) and Hendrik Van Maldeghem (UGent)

(2006) BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN. 13(5). p.769-770
Add to list
- Journal Article
- A1
Extending a first order predicate calculus with partially defined iota terms

Geert Vernaeve (UGent) and Albert Hoogewijs (UGent)

(2006) BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN. 13(5). p.917-930
Add to list
- Conference Paper
- C3
- open access
Scenario-Based Analysis of Statechart Construction

Benjamin De Leeuw and Albert Hoogewijs (UGent)

(2006) Abstracts of the 18th International Workshop on Algebraic Development Techniques, 1-3 June 2006, La Roche en Ardenne, Belgium.. p.28-28
Add to list
- Conference Paper
- C3
- open access
SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts

Sara Van Langenhove and Albert Hoogewijs (UGent)

(2006) International Workshop on Algebraic Development Techniques, 18th, Abstracts. p.27-27

1
2
3
4

Next →