Edit Profile Hoogewijs, Albert Compute Distance To: Compute Author ID: hoogewijs.albert Published as: Hoogewijs, Albert; Hoogewijs, A. Documents Indexed: 14 Publications since 1976, including 2 Books Reviewing Activity: 112 Reviews all top 5 Co-Authors 7 single-authored 1 De Beule, Jan 1 De Leeuw, Benjamin 1 Elnadi, Tarek Mohamed 1 Slaats, Noemie 1 Storme, Leo 1 Van Heule, Dirk 1 Van Langenhove, Sara 1 Van Maldeghem, Hendrik J. 1 Vernaeve, Geert all top 5 Serials 3 Bulletin of the Belgian Mathematical Society - Simon Stevin 2 Analele Ştiinţifice ale Universităţii Al. I. Cuza din Iaşi. (Serie Nouă.) Secţiunea Ia. Matematică-Informatică 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Acta Informatica 1 Information Sciences 1 SIGSAM Bulletin all top 5 Fields 6 Mathematical logic and foundations (03-XX) 6 Computer science (68-XX) 3 Associative rings and algebras (16-XX) 3 Group theory and generalizations (20-XX) 2 General algebraic systems (08-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Geometry (51-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 7 Publications have been cited 35 times in 26 Documents Cited by ▼ Year ▼ On a formalization of the non-definedness notion. Zbl 0415.03019Hoogewijs, Albert 12 1979 Partial-predicate logic in computer science. Zbl 0598.03018Hoogewijs, Albert 8 1987 A partial predicate calculus in a two-valued logic. Zbl 0521.03006Hoogewijs, Albert 6 1983 \(\mathcal J\)-congruences on seminearrings. Zbl 0355.16025Hoogewijs, Albert 5 1976 On the size of minimal blocking sets of \(Q(4,q)\), for \(q = 5,7\). Zbl 1341.51010De Beule, J.; Hoogewijs, A.; Storme, L. 2 2004 Free distributively generated algebras over a set. Zbl 0344.08003Hoogewijs, A. 1 1976 SV\(_{\text{t}}\)L: system verification through logic tool support for verifying sliced hierarchical statecharts. Zbl 1196.68144Van Langenhove, Sara; Hoogewijs, Albert 1 2007 SV\(_{\text{t}}\)L: system verification through logic tool support for verifying sliced hierarchical statecharts. Zbl 1196.68144Van Langenhove, Sara; Hoogewijs, Albert 1 2007 On the size of minimal blocking sets of \(Q(4,q)\), for \(q = 5,7\). Zbl 1341.51010De Beule, J.; Hoogewijs, A.; Storme, L. 2 2004 Partial-predicate logic in computer science. Zbl 0598.03018Hoogewijs, Albert 8 1987 A partial predicate calculus in a two-valued logic. Zbl 0521.03006Hoogewijs, Albert 6 1983 On a formalization of the non-definedness notion. Zbl 0415.03019Hoogewijs, Albert 12 1979 \(\mathcal J\)-congruences on seminearrings. Zbl 0355.16025Hoogewijs, Albert 5 1976 Free distributively generated algebras over a set. Zbl 0344.08003Hoogewijs, A. 1 1976 all cited Publications top 5 cited Publications all top 5 Cited by 24 Authors 4 Mukherjee, Rajlaxmi 4 Pal, Pavel 4 Sardar, Sujit Kumar 2 De Beule, Jan 2 Hoogewijs, Albert 2 Konikowska, Beata 2 Manna, Tuhin 2 Owe, Olaf 1 Avron, Arnon 1 Barringer, Howard 1 Blikle, Andrzej Jacek 1 Chakraborty, Kamalika 1 Elvang-Gøransson, Morten 1 Gavilanes-Franco, Antonio 1 Kechris, Alexander S. 1 Krynicki, Michał Marian 1 Lucio-Carrasco, Francisca 1 Metsch, Klaus 1 Slaats, Noemie 1 Storme, Leo 1 Van Heule, Dirk 1 Wainer, Stanley Scott 1 Winter, Kirsten 1 Yatapanage, Nisansala all top 5 Cited in 14 Serials 4 The Journal of Symbolic Logic 4 Semigroup Forum 3 Theoretical Computer Science 3 The Bulletin of Symbolic Logic 2 Acta Informatica 2 Studia Logica 1 Communications in Algebra 1 Discrete Mathematics 1 Information Processing Letters 1 Information Sciences 1 Notre Dame Journal of Formal Logic 1 Formal Aspects of Computing 1 Journal of Applied Non-Classical Logics 1 Finite Fields and their Applications all top 5 Cited in 9 Fields 17 Mathematical logic and foundations (03-XX) 9 Computer science (68-XX) 5 Associative rings and algebras (16-XX) 3 General and overarching topics; collections (00-XX) 2 Group theory and generalizations (20-XX) 2 Geometry (51-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) Citations by Year