BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
2 × Canada
2 × Italy
Collaborated with:
L.W.N.v.d.Torre M.Baldoni S.Villata S.C.Tosatto G.Governatori A.Rotolo
Talks about:
powerjava (2) system (2) object (2) normat (2) understand (1) interpret (1) constitut (1) interact (1) abstract (1) program (1)

Person: Guido Boella

DBLP DBLP: Boella:Guido

Contributed to:

KR 20122012
KR 20102010
Hypertext 20092009
SAC 20062006
SAC 20062007
KR 20042004

Wrote 6 papers:

KR-2012-TosattoBTV #proving #semantics
Abstract Normative Systems: Semantics and Proof Theory (SCT, GB, LWNvdT, SV).
KR-2010-BoellaGRT #comprehension #logic
A Logical Understanding of Legal Interpretation (GB, GG, AR, LWNvdT).
HT-2009-BoellaTV #metric #network #social
Four measures for the dynamics of coalitions in social networks (GB, LWNvdT, SV), pp. 361–362.
SAC-2006-BaldoniBT #java #named #object-oriented #programming language
powerJava: ontologically founded roles in object oriented programming languages (MB, GB, LWNvdT), pp. 1414–1418.
SAC-OOPS-J-2006-BaldoniBT07 #interactive #java
Interaction between Objects in powerJava (MB, GB, LWNvdT), pp. 5–30.
KR-2004-BoellaT #multi
Regulative and Constitutive Norms in Normative Multiagent Systems (GB, LWNvdT), pp. 255–266.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.