|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2461 occurrences of 1419 keywords
|
|
|
Results
Found 4385 publication records. Showing 4385 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
98 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Algebraizable Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(6), pp. 531-568, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples |
72 | Eduard Muntaner-Perich, Josep Lluís de la Rosa |
Towards a Formalisation of Dynamic Electronic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN ![In: Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007, International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4, 2007, Revised Selected Papers, pp. 97-109, 2007, Springer, 978-3-540-79002-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Open Agent Systems, Coalition Formation, Electronic Institutions |
61 | Pablo Noriega |
Fencing the Open Fields: Empirical Concerns on Electronic Institutions (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS Workshops ![In: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers, pp. 81-98, 2005, Springer, 3-540-35173-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
61 | Anton Bogdanovych, Simeon J. Simoff, Marc Esteva |
Virtual institutions prototype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1373-1374, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
electronic institutions, 3D virtual worlds |
57 | George Voutsadakis |
Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 13(3), pp. 265-280, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
equivalent deductive systems, algebraizable deductive systems, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, algebras, institutions, adjunctions, abstract algebraic logic, deductive systems |
56 | Alfio Martini, Uwe Wolter |
A Single Perspective on Arrows between Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 486-501, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
55 | Eduard Muntaner-Perich, Josep Lluís de la Rosa |
Towards Dynamic Electronic Institutions: From Agent Coalitions to Agent Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRAC ![In: Innovative Concepts for Autonomic and Agent-Based Systems, Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers, pp. 109-121, 2005, Springer, 978-3-540-69265-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Owen Cliffe, Marina De Vos, Julian A. Padget |
Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS Workshops ![In: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers, pp. 99-113, 2005, Springer, 3-540-35173-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Giacomo Cabri, Luca Ferrari 0002, Rossella Rubino |
Building computational institutions for agents with RoleX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 16(1), pp. 129-145, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Agents, Roles, Institutions, E-Democracy |
54 | Francesco Viganò, Marco Colombetti |
Symbolic model checking of institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 9th International Conference on Electronic Commerce: The Wireless World of Electronic Commerce, 2007, University of Minnesota, Minneapolis, MN, USA, August 19-22, 2007, pp. 35-44, 2007, ACM, 978-1-59593-700-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
model checking, norms, institutions |
54 | Razvan Diaconescu |
Grothendieck Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(4), pp. 383-402, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
indexed categories, Grothendieck construction, algebraic specification, institutions, fibrations |
51 | George Voutsadakis |
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(4), pp. 473-491, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples |
50 | Joseph A. Goguen, Rod M. Burstall |
Institutions: Abstract Model Theory for Specification and Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 39(1), pp. 95-146, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
48 | Lee A. Bygrave, Susan Schiavetta, Hilde Thunem, Annebeth B. Lange, Edward Phillips |
The Naming Game: Governance of the Domain Name System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Governance - Infrastructure and Institutions ![In: Internet Governance - Infrastructure and Institutions., pp. 147-212, 2009, Oxford University Press, 978-0-19-956113-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
48 | Lawrence B. Solum |
Models of Internet Governance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Governance - Infrastructure and Institutions ![In: Internet Governance - Infrastructure and Institutions., pp. 48-91, 2009, Oxford University Press, 978-0-19-956113-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
48 | Jon Bing |
Building Cyberspace: A Brief History of Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Governance - Infrastructure and Institutions ![In: Internet Governance - Infrastructure and Institutions., pp. 8-47, 2009, Oxford University Press, 978-0-19-956113-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
48 | Harald Alvestrand, Håkon Wium Lie |
Development of Core Internet Standards: The Work of IETF and W3C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Governance - Infrastructure and Institutions ![In: Internet Governance - Infrastructure and Institutions., pp. 126-146, 2009, Oxford University Press, 978-0-19-956113-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
48 | Amanda Hubbard, Lee A. Bygrave |
Internet Governance Goes Global. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Governance - Infrastructure and Institutions ![In: Internet Governance - Infrastructure and Institutions., pp. 213-, 2009, Oxford University Press, 978-0-19-956113-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
48 | Lee A. Bygrave, Terje Michaelsen |
Governors of Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internet Governance - Infrastructure and Institutions ![In: Internet Governance - Infrastructure and Institutions., pp. 92-125, 2009, Oxford University Press, 978-0-19-956113-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
48 | Francesco Viganò, Nicoletta Fornara, Marco Colombetti |
An Event Driven Approach to Norms in Artificial Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS Workshops ![In: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers, pp. 142-154, 2005, Springer, 3-540-35173-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Rossella Rubino, Andrea Omicini, Enrico Denti |
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS Workshops ![In: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers, pp. 127-141, 2005, Springer, 3-540-35173-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Rossella Rubino, Giovanni Sartor |
Source Norms and Self-regulated Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computable Models of the Law, Languages, Dialogues, Games, Ontologies ![In: Computable Models of the Law, Languages, Dialogues, Games, Ontologies, pp. 263-274, 2008, Springer, 978-3-540-85568-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
self-regulated institutions, source-norms, recognition rules, normative production |
48 | Peter Dalsgård, Christian Dindler, Eva Eriksson |
Designing for participation in public knowledge institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NordiCHI ![In: Proceedings of the 5th Nordic Conference on Human-Computer Interaction 2008, Lund, Sweden, October 20-22, 2008, pp. 93-102, 2008, ACM, 978-1-59593-704-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
design cases, public institutions, interaction design, theory, knowledge, libraries, museums, pragmatism |
48 | Manolis Sardis, George A. Vouros |
Electronic Institutions Infrastructure for e-Chartering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World VIII, 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers, pp. 90-107, 2007, Springer, 978-3-540-87653-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Maritime e-Chartering, Multi agent systems, Electronic Institutions |
48 | Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer |
Designing protocols for agent institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 31, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
norms, electronic institutions, normative systems |
48 | Virginia Dignum, Frank Dignum |
Modelling Agent Societies: Co-ordination Frameworks and Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, pp. 191-204, 2001, Springer, 3-540-43030-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
institutions, virtual organisations, co-ordination, Agent societies |
45 | Robert Law |
Using student blogs for documentation in software development projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 366, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
45 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 85(2), pp. 215-249, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
2000 AMS Subject Classification Primary: 03G99, Secondary: 18C15, Secondary: 68N30 |
43 | Francesco Viganò, Marco Colombetti |
Model Checking Norms and Sanctions in Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN ![In: Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007, International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4, 2007, Revised Selected Papers, pp. 316-329, 2007, Springer, 978-3-540-79002-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Nicoletta Fornara, Francesco Viganò, Marco Colombetti |
Agent communication and artificial institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 14(2), pp. 121-142, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Artificial institutions, Commitments, Norms, Agent communication language |
41 | Anton Bogdanovych, Marc Esteva, Simeon J. Simoff, Carles Sierra, Helmut Berger |
A methodology for 3D electronic institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 57, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
multi agent systems, electronic institutions, 3D virtual worlds |
41 | Huib Aldewereld, Frank Dignum, Andrés García-Camino, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra |
Operationalisation of norms for usage in electronic institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 223-225, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
norms, electronic institutions, normative systems |
41 | Anton Bogdanovych, Helmut Berger, Carles Sierra, Simeon J. Simoff |
Humans and agents in 3D electronic institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 1093-1094, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
electronic institutions, 3D virtual worlds |
40 | Javier Vázquez-Salceda, Sergio Álvarez-Napagao |
Using SOA Provenance to Implement Norm Enforcement in e-Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN@AAMAS&AAAI ![In: Coordination, Organizations, Institutions and Norms in Agent Systems IV, COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers, pp. 188-203, 2008, Springer, 978-3-642-00442-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
norm enforcement, web services, MAS, SOA, architecture, monitoring, provenance, electronic institutions, SOA Governance |
37 | Stephan Strodl, Florian Motlik, Andreas Rauber |
Hoppla - Digital Preservation Support for Small Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 13th European Conference, ECDL 2009, Corfu, Greece, September 27 - October 2, 2009. Proceedings, pp. 493-494, 2009, Springer, 978-3-642-04345-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata 0001 |
Constructor-Based Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 398-412, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Katy Börner, Shashikant Penumarthy, Mark R. Meiss, Weimao Ke |
Mapping the diffusion of scholarly knowledge among major U.S. research institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 68(3), pp. 415-426, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Takashi Hashimoto, Susumu Egashira |
Multi-agent-based Simulation for Formation of Institutions on Socially Constructed Facts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings, pp. 675-684, 2005, Springer, 3-540-28848-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Anton Bogdanovych, Helmut Berger, Simeon J. Simoff, Carles Sierra |
Narrowing the Gap Between Humans and Agents in e-Commerce: 3D Electronic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies: 6th International Conference, EC-Web 2005, Copenhagen, Denmark, August 23-26, 2005, Proceedings, pp. 128-137, 2005, Springer, 3-540-28467-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Sándor Dominich, Júlia Góth, Adrienn Skrop |
A Study of the Usefulness of Institutions' Acronyms as Web Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval, 25th European Conference on IR Research, ECIR 2003, Pisa, Italy, April 14-16, 2003, Proceedings, pp. 580-587, 2003, Springer, 3-540-01274-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
37 | José Félix Costa, Hugo Lourenço |
Canonical Institutions of Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers, pp. 71-84, 2001, Springer, 3-540-43159-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
37 | J. R. Holt |
Assessing the Efficacy of Information Technology Systems at Academic Medical Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: Thirty-First Annual Hawaii International Conference on System Sciences, Kohala Coast, Hawaii, USA, January 6-9, 1998, pp. 604-612, 1998, IEEE Computer Society, 0-8186-8255-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Eva Bou, Maite López-Sánchez, Juan A. Rodríguez-Aguilar |
Using Case-Based Reasoning in Autonomic Electronic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN ![In: Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007, International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4, 2007, Revised Selected Papers, pp. 125-138, 2007, Springer, 978-3-540-79002-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Mario Gómez, Enric Plaza |
Dynamic Composition of Electronic Institutions for Teamwork. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN ![In: Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007, International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4, 2007, Revised Selected Papers, pp. 155-170, 2007, Springer, 978-3-540-79002-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Owen Cliffe, Marina De Vos, Julian A. Padget |
Embedding Landmarks and Scenes in a Computational Model of Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN ![In: Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007, International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4, 2007, Revised Selected Papers, pp. 41-57, 2007, Springer, 978-3-540-79002-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Andrés García-Camino |
Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN ![In: Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007, International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4, 2007, Revised Selected Papers, pp. 15-26, 2007, Springer, 978-3-540-79002-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Javier Vázquez-Salceda, Huib Aldewereld, Davide Grossi, Frank Dignum |
From human regulations to regulated software agents' behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 16(1), pp. 73-87, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Norm enforcement, Multi agent systems, Norms, Electronic institutions |
36 | Davide Grossi, Frank Dignum, John-Jules Ch. Meyer |
A formal road from institutional norms to organizational structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 89, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
logic, norms, institutions, organizational structures |
35 | Thomas Christopher King, Tingting Li 0001, Marina De Vos, Catholijn M. Jonker, Julian A. Padget, M. Birna van Riemsdijk |
Revising Institutions Governed by Institutions for Compliant Regulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN@AAMAS/IJCAI ![In: Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers, pp. 191-208, 2015, Springer, 978-3-319-42690-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos |
Constraint rule-based programming of norms for electronic institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 18(1), pp. 186-217, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Constraints, Rules, Norms, Electronic institutions |
35 | Ismel Brito, Isaac Pinyol, Daniel Villatoro, Jordi Sabater-Mir |
HIHEREI: human interaction within hybrid environments regulated through electronic institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1417-1418, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
web interface, electronic institutions, experimental platform |
35 | Nicoletta Fornara, Francesco Viganò, Mario Verdicchio, Marco Colombetti |
Artificial institutions: a model of institutional reality for open multiagent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 16(1), pp. 89-105, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Artificial institutions, Open systems, Commitments, Norms, Conventions |
35 | Guido Boella, Leendert W. N. van der Torre |
Institutions with a hierarchy of authorities in distributed dynamic environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 16(1), pp. 53-71, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Institutions, Permissions, Normative systems |
35 | Yathiraj B. Udupi, Munindar P. Singh |
Dynamics of contracts-based organizations: a formal approach based on institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 19, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
contracts, organizations, commitments, institutions |
35 | Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos |
A rule-based approach to norm-oriented programming of electronic institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGecom Exch. ![In: SIGecom Exch. 5(5), pp. 33-40, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
programming, languages, auctions, norms, electronic institutions |
35 | Anton Bogdanovych, Sara Drago |
Euclidean representation of 3D electronic institutions: automatic generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2006, Venezia, Italy, May 23-26, 2006, pp. 449-452, 2006, ACM Press, 1-59593-353-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
3D electronic institutions, rectangular dualization |
35 | Eva Bou, Maite López-Sánchez, Juan A. Rodríguez-Aguilar |
Adaptation of Autonomic Electronic Institutions Through Norms and Institutional Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World VII, 7th International Workshop, ESAW 2006, Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers, pp. 300-319, 2006, Springer, 978-3-540-75522-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Autonomic Electronic Institutions, Adaptation, Multiagent Systems |
35 | Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos |
Norm-oriented programming of electronic institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 670-672, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multi-agent system programming, norms, electronic institutions |
35 | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong |
Soundness proof of Z semantics of OWL using institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Special interest tracks and posters) ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, pp. 1048-1049, 2005, ACM, 1-59593-051-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
comorphism of institutions, OWL, Z, institution |
35 | Andrés García-Camino, Pablo Noriega, Juan A. Rodríguez-Aguilar |
Implementing norms in electronic institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 667-673, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
expert system, implementation, norms, electronic institutions |
35 | Francesco Viganò, Nicoletta Fornara, Marco Colombetti |
An operational approach to norms in artificial institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 1289-1290, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
artificial institutions, commitments, norms, ACLs |
35 | Morten P. Lindegaard, Anne E. Haxthausen |
Proof Support for RAISE by a Reuse Approach Based on Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 319-333, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
proof support, Institutions, algebraic semantics, HOL, RSL |
35 | Marielle Doche, Virginie Wiels |
Extended Institutions for Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 514-528, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
formal specification, category theory, institutions, Functional test generation |
34 | George Voutsadakis |
Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 14(1), pp. 81-98, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
quasi-varieties, order homomorphisms, order isomorphisms, polarity translations, order translations, algebraic systems, protoalgebraic -institutions, institutions, polarities, varieties, algebraizable logics, protoalgebraic logics |
32 | Terry Reese |
Building lite-weight EAD repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2005, Denver, CO, USA, June 7-11, 2005, Proceedings, pp. 395, 2005, ACM, 1-58113-876-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | S. Britto R. Kumar, S. Albert Rabara, J. Ronald Martin |
MPCS: a secure Mobile Payment Consortia System for higher educational institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human (ICIS 2009), Seoul, Korea, 24-26 November 2009, pp. 571-579, 2009, ACM, 978-1-60558-710-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mobile payment consortia, secured transactions, software architecture, framework, mobile payment |
31 | Inmaculada Rodríguez, Anna Puig, Marc Esteva, Carles Sierra, Anton Bogdanovych, Simeon J. Simoff |
Intelligent Objects to Facilitate Human Participation in Virtual Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2008 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference Proceedings, pp. 196-199, 2008, IEEE Computer Society, 978-0-7695-3496-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Anton Bogdanovych, Marc Esteva, Simeon J. Simoff, Carles Sierra, Helmut Berger |
A Methodology for Developing Multiagent Systems as 3D Electronic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSE ![In: Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers, pp. 103-117, 2007, Springer, 978-3-540-79487-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Josep Lluís Arcos, Pablo Noriega, Juan A. Rodríguez-Aguilar, Carles Sierra |
E4MAS Through Electronic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
E4MAS ![In: Environments for Multi-Agent Systems III, Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers, pp. 184-202, 2006, Springer, 978-3-540-71102-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Francesco Viganò |
A Framework for Model Checking Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt ![In: Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers, pp. 129-145, 2006, Springer, 978-3-540-74127-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Ela Zur, Lilly Irani, Lecia Jane Barker, Mark Guzdial |
Contrasting women's experiences in computer science at different institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005, St. Louis, Missouri, USA, February 23-27, 2005, pp. 63-64, 2005, ACM, 1-58113-997-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
CS1, gender issues, success rates |
31 | Jabiri Kuwe Bakari, Charles N. Tarimo, Louise Yngström, Christer Magnusson |
State of ICT Security Management in the Institutions of Higher Learning in Developing Countries: Tanzania Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, ICALT 2005, Kaohsiung, Taiwan, July 5-8, 2005, pp. 1007-1011, 2005, IEEE Computer Society, 0-7695-2338-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Deima Elnatour |
Functional-driven heuristic evaluation of administrative portal systems used in institutions of higher education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 6th Conference on Information Technology Education, SIGITE 2005, Newark, NJ, USA, October 20-22, 2005, pp. 373-374, 2005, ACM, 1-59593-252-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
administrative portals, usability evaluation methods (UEM), usability testing, heuristic evaluation, cognitive walkthrough, functional evaluation |
31 | Davide Grossi, Frank Dignum |
From Abstract to Concrete Norms in Agent Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAABS ![In: Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers, pp. 12-29, 2004, Springer, 3-540-24422-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Carles Sierra |
Electronics Institutions: Methodology of Multi-agent Systems Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings, pp. 2, 2004, Springer, 3-540-22817-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Marc Esteva, Bruno Rosell, Juan A. Rodríguez-Aguilar, Josep Lluís Arcos |
AMELI: An Agent-Based Middleware for Electronic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 236-243, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Wamberto Weber Vasconcelos |
Logic-Based Electronic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers, pp. 221-242, 2003, Springer, 3-540-22124-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Marc Esteva, Juan A. Rodríguez-Aguilar, Carles Sierra, Pere Garcia, Josep Lluís Arcos |
On the Formal Specifications of Electronic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AgentLink ![In: Agent Mediated Electronic Commerce, The European AgentLink Perspective., pp. 126-147, 2001, Springer, 3-540-41671-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Julius A. Archibald, M. Katzper |
On the preparation of computer science professionals in academic institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1974 National Computer Conference, 6-10 May 1974, Chicago, Illinois, USA, pp. 313-319, 1974, AFIPS Press, 978-1-4503-7920-5. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
30 | Jordi Campos Miralles, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Marc Esteva |
Formalising Situatedness and Adaptation in Electronic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN@AAMAS&AAAI ![In: Coordination, Organizations, Institutions and Norms in Agent Systems IV, COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised Selected Papers, pp. 126-139, 2008, Springer, 978-3-642-00442-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Henrique Lopes Cardoso, Eugénio C. Oliveira |
A Contract Model for Electronic Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN ![In: Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007, International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4, 2007, Revised Selected Papers, pp. 27-40, 2007, Springer, 978-3-540-79002-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Parthasarathi Banerjee |
A sketch of blissful actions and democracy based upon rasa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 21(1-2), pp. 93-120, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Indian drama, Rasa, Folk life, Emotion, Language, Dialogue, Action, Institutions, Democracy |
30 | Frank Guerin, Wamberto Weber Vasconcelos |
A component-based approach to standardising agent communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 35, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
norms, institutions, artificial social systems, agent communication languages and protocols, conventions |
30 | Yongqing Ma, Warwick Clegg, Ann O'Brien |
Digital library education: the current status. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2006, Chapel Hill, NC, USA, June 11-15, 2006, Proceedings, pp. 165-174, 2006, ACM, 1-59593-354-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
curriculum design and development, demands and needs, education institutions, library information specialist, digital libraries |
29 | Carl Hewitt |
Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COIN ![In: Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007, International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4, 2007, Revised Selected Papers, pp. 110-124, 2007, Springer, 978-3-540-79002-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Direct Logic, Mental Agents, Organizational Computing, ORGs (Organizations of Restricted Generality), Concurrency, Policies, Reflection, Norms, Norms, Inconsistency, Practices, Institutions, Co-ordination, Paraconsistency |
26 | Ashraf Saad, Andy Wang |
Adopting threads for computing education: lessons learned to date from an nsf cpath project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 10th Conference on Information Technology Education, SIGITE 2009, Fairfax, Virginia, USA, October 22-24, 2009, pp. 203-204, 2009, ACM, 978-1-60558-765-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
nsf cpath project, computing education |
26 | Lilac A. E. Al-Safadi |
Semantic-based exchanger of electronic medical records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoMM ![In: MoMM'2008 - The 6th International Conference on Advances in Mobile Computing and Multimedia, 24 - 26 November 2008, Linz, Austria, pp. 418-421, 2008, ACM, 978-1-60558-269-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
medical record exchanger, ontology, semantic web, electronic medical record, clinical decision support |
26 | André Zúquete, Helder Gomes, João Paulo da Silva Cunha |
Authentication Architecture for Region-Wide e-Health System with Smartcards and a PKI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOSTEC (Selected Papers) ![In: Biomedical Engineering Systems and Technologies, International Joint Conference, BIOSTEC 2008, Funchal, Madeira, Portugal, January 28-31, 2008, Revised Selected Papers, pp. 479-492, 2008, Springer, 978-3-540-92218-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Helder Gomes, João Paulo da Silva Cunha, André Zúquete |
Authentication Architecture for eHealth Professionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II, pp. 1583-1600, 2007, Springer, 978-3-540-76835-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
role-based authorization, Authentication, certificates, PKI, eHealth |
26 | Girish R. Ranganathan, J. Anthony Brown |
The Use of Ontologies and Rules to Assist in Academic Advising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Advances in Rule Interchange and Applications, International Symposium, RuleML 2007, Orlando, Florida, USA, October 25-26, 2007, Proceedings, pp. 207-214, 2007, Springer, 978-3-540-75974-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Art Gowan, Bryan MacDonald, Han Reichgelt |
A configurable assessment information system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 7th Conference on Information Technology Education, SIGITE 2006, Minneapolis, Minnesota, USA, October 19-21, 2006, pp. 77-82, 2006, ACM, 1-59593-521-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
assessment, accreditation |
26 | Steven A. Brown, Hilmi A. Lahoud |
An examination of innovative online lab technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 6th Conference on Information Technology Education, SIGITE 2005, Newark, NJ, USA, October 20-22, 2005, pp. 65-70, 2005, ACM, 1-59593-252-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
online labs, simulators, virtual learning environment |
26 | Salvador Báez-Franceschi, Karen Le, Diana Velez |
Web-based technologies: reaching their ultimate potential on restricted budgets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 32nd Annual ACM SIGUCCS Conference on User Services 2004, Baltimore, MD, USA, October 10-13, 2004, pp. 336-339, 2004, ACM, 1-58113-869-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
University of Houston, VNet, restricted budgets, web operating system, web-based technologies, web services, model, management, information technology |
26 | Joseph A. Goguen, Grigore Rosu |
Institution Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(3-5), pp. 274-307, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Abstract model theory, Kan extension, Specification, Logic, Category theory, Institution |
25 | J. A. Drew Hamilton Jr., Robert Steven Owor, Khalil Dajani |
Building information assurance education partnerships with minority institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Richard Tapia Celebration of Diversity in Computing Conference ![In: Proceedings of the Richard Tapia Celebration of Diversity in Computing Conference 2009: Intellect, Initiatives, Insight, and Innovations, Portland, Oregon, USA, April 1-4, 2009, pp. 58-63, 2009, ACM, 978-1-60558-217-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
information assurance education, minority partnerships, national CAEIAE, security, human factors, management, diversity |
25 | Rajasvaran Logeswaran, Li-Choo Chen |
Node Status Algorithm for Load Balancing in Distributed Service Architectures at Paperless Medical Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Medical Syst. ![In: J. Medical Syst. 32(6), pp. 453-461, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Distributed Service Architecture (DSA), Hospital Information System (HIS), Load balancing, TINA, Communications traffic |
25 | Anton Bogdanovych, Simeon J. Simoff, Marc Esteva, John K. Debenham |
Teaching Autonomous Agents to Move in a Believable Manner within Virtual Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP AI ![In: Artificial Intelligence in Theory and Practice II, IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy, pp. 55-64, 2008, Springer, 978-0-387-09694-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Eva Bou, Maite López-Sánchez, Juan A. Rodríguez-Aguilar, Jaime Simão Sichman |
Adapting Autonomic Electronic Institutions to Heterogeneous Agent Societies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS-OAMAS ![In: Organized Adaption in Multi-Agent Systems, First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers, pp. 18-35, 2008, Springer, 978-3-642-02376-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Jie Ren 0001, Richard N. Taylor |
Automatic and versatile publications ranking for research institutions and scholars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 50(6), pp. 81-85, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Jerry Watkins, Angelina Russo |
Cultural Institutions, Co-creativity and Communities of Interest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (15) ![In: Online Communities and Social Computing, Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 212-221, 2007, Springer, 978-3-540-73256-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
co-creativity, digital cultural communication, human-computer interaction, social media |
Displaying result #1 - #100 of 4385 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|