Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
118 | Johannes Albertsen, Niels Olof Bouvin |
User defined structural searches in mediawiki. |
Hypertext |
2008 |
DBLP DOI BibTeX RDF |
structural search, wiki, wikipedia, mediawiki |
77 | Markus Krötzsch, Denny Vrandecic, Max Völkel |
Semantic MediaWiki. |
ISWC |
2006 |
DBLP DOI BibTeX RDF |
|
66 | Nicolas Weber, Karin Schoefegger, Jenny Bimrose, Tobias Ley, Stefanie N. Lindstaedt, Alan Brown 0001, Sally-Anne Barnes |
Knowledge Maturing in the Semantic MediaWiki: A Design Study in Career Guidance. |
EC-TEL |
2009 |
DBLP DOI BibTeX RDF |
Knowledge Maturing, Semantic MediaWiki |
59 | Andreas Lund, Ole Smørdal |
Is there a space for the teacher in a WIKI? |
Int. Sym. Wikis |
2006 |
DBLP DOI BibTeX RDF |
collective cognition, design development, teachers, MediaWiki |
50 | Shawn M. Jones, Michael L. Nelson, Harihar Shankar, Herbert Van de Sompel |
Bringing Web Time Travel to MediaWiki: An Assessment of the Memento MediaWiki Extension. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
42 | Frank Dengler, Hans-Jörg Happel |
Collaborative modeling with semantic MediaWiki. |
Int. Sym. Wikis |
2010 |
DBLP DOI BibTeX RDF |
modeling, UML, process models, semantic Wikis |
42 | Kurt Luther, Matthew Flaschen, Andrea Forte, Christopher Jordan, Amy S. Bruckman |
ProveIt: a new tool for supporting citation in MediaWiki. |
Int. Sym. Wikis |
2009 |
DBLP DOI BibTeX RDF |
World Wide Web (WWW) |
42 | Libby Veng-Sam Tang, Robert P. Biuk-Aghai, Simon Fong 0001 |
A method for measuring co-authorship relationships in MediaWiki. |
Int. Sym. Wikis |
2008 |
DBLP DOI BibTeX RDF |
analysis, wiki, co-authorship |
41 | Yoshifumi Masunaga, Yoshiyuki Shoji, Kazunari Ito |
A Wiki-based collective intelligence approach to formulate a body of knowledge (BOK) for a new discipline. |
Int. Sym. Wikis |
2010 |
DBLP DOI BibTeX RDF |
BOK constructor, Semantic MediaWiki (SMW), body of knowledge (BOK), Wiki, collective intelligence, discipline |
41 | Fabrizio Orlandi, Alexandre Passant |
Semantic search on heterogeneous Wiki systems. |
Int. Sym. Wikis |
2010 |
DBLP DOI BibTeX RDF |
Dokuwiki, SIOC, social semantic web, semantic web, wikis, semantic search, linked data, MediaWiki |
41 | Carrie Arnold, Todd Fleming, David L. Largent, Chris Lüer |
DynaTable: a Wiki extension for structured data. |
Int. Sym. Wikis |
2009 |
DBLP DOI BibTeX RDF |
Wikis, tables, structured data, MediaWiki |
41 | Yoshifumi Masunaga, Yoshiyuki Shoji, Kazunari Ito |
Collective intelligence approach for formulating a BOK of social informatics, an interdisciplinary field of study. |
Int. Sym. Wikis |
2009 |
DBLP DOI BibTeX RDF |
BOK, collaborative document, semantic MediaWiki, World Wide Web (WWW), Wiki, collective intelligence, social informatics, body of knowledge |
41 | Jeff Stuckman, James Purtilo |
Measuring the wikisphere. |
Int. Sym. Wikis |
2009 |
DBLP DOI BibTeX RDF |
Gini, metrics, distribution, Wiki, power law, crawler, Mediawiki |
41 | Michael Dale, Abram Stern, Mark Deckert, Warren Sack |
System demonstration: Metavid.org: a social website and open archive of congressional video. |
D.GO |
2009 |
DBLP BibTeX RDF |
Ogg Theora, web 2.0, video, wiki, open source software, archive, social web, MediaWiki, congress |
41 | Hendry Muljadi, Hideaki Takeda 0001, Aman Shakya, Shoko Kawamoto, Satoshi Kobayashi, Asao Fujiyama, Koichi Ando |
Semantic Wiki as a Lightweight Knowledge Management System. |
ASWC |
2006 |
DBLP DOI BibTeX RDF |
metadata, Wiki, RDF, Semantic Wiki, MediaWiki |
25 | Johannes Stegmüller, Moritz Schubotz |
WikiTexVC: MediaWiki's native LaTeX to MathML converter for Wikipedia. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Bernhard Krabina |
Building a Knowledge Graph for the History of Vienna with Semantic MediaWiki. |
J. Web Semant. |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Alex Hunziker, Hasanagha Mammadov, Wahed Hemati, Alexander Mehler |
Corpus2Wiki: A MediaWiki-based Tool for Automatically Generating Wikiditions in Digital Humanities. |
GI-Jahrestagung (Workshops) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Christian Willmes, Finn Viehberg, Sarah Esteban Lopez, Georg Bareth |
CRC806-KB: A Semantic MediaWiki Based Collaborative Knowledge Base for an Interdisciplinary Research Project. |
Data |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Eleanor Rutherford, Wahed Hemati, Alexander Mehler |
Corpus2Wiki: A MediaWiki based Annotation & Visualisation Tool for the Digital Humanities. |
INF-DH |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Amine Barrak, Marc-André Laverdière, Foutse Khomh, Le An, Ettore Merlo |
Just-in-time detection of protection-impacting changes on WordPress and MediaWiki. |
CASCON |
2018 |
DBLP BibTeX RDF |
|
25 | Samuel Lampa, Egon L. Willighagen, Pekka Kohonen, Ali King, Denny Vrandecic, Roland Grafstrom, Ola Spjuth |
RDFIO: extending Semantic MediaWiki for interoperable biomedical data management. |
J. Biomed. Semant. |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Matthias Frank 0002, Stefan Zander |
Exploiting Linked Open Data for Enhancing MediaWiki-based Semantic Organizational Knowledge Bases. |
KEOD |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Ján Mojzis, Stefan Balogh, Michal Ásványi, Ivana Budinská |
Collaborative Learning Supported with Mediawiki Platform in Technical University Environment. |
ICL (1) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Imad Abugessaisa, Hisashi Shimoji, Serkan Sahin, Atsushi Kondo, Jayson Harshbarger, Marina Lizio, Yoshihide Hayashizaki, Piero Carninci, Alistair R. R. Forrest, Takeya Kasukawa, Hideya Kawaji |
FANTOM5 transcriptome catalog of cellular states based on Semantic MediaWiki. |
Database J. Biol. Databases Curation |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Maxime Lefrançois, Antoine Zimmermann |
LinkedVocabularyEditor: une extension MediaWiki pour l'édition collaborative et la publication de vocabulaires liés. |
IC |
2015 |
DBLP BibTeX RDF |
|
25 | Stefan Zander, Christian Swertz, Elena Verdú, María Jesús Verdú Pérez, Peter Henning |
A Semantic MediaWiki-Based Approach for the Collaborative Development of Pedagogically Meaningful Learning Content Annotations. |
SWCS (LNCS Volume) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Simon Walk, Markus Strohmaier |
Characterizing and Predicting Activity in Semantic MediaWiki Communities. |
SWCS@ISWC |
2014 |
DBLP BibTeX RDF |
|
25 | Daniel K. Schneider, Barbara Class, Kalliopi Benetos, Julien Da Costa, Valérie Follonier |
Learning process analytics for a self-study class in a Semantic Mediawiki. |
OpenSym |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Elvira Popescu, Cristian Maria, Anca Loredana Udristoiu |
Fostering Collaborative Learning with Wikis: Extending MediaWiki with Educational Features. |
ICWL |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Sumonta Kasemvilas, Lorne Olfman |
Improvement of MediaWiki to support mandatory collaboration. |
Interact. Technol. Smart Educ. |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Juha Villman, Einari Happonen |
R-tools: mediawiki extension for full-scale statistical computing. |
OpenSym |
2013 |
DBLP DOI BibTeX RDF |
|
25 | David Aveiro, Duarte Pinto |
Implementing Organizational Self Awareness - A Semantic Mediawiki based Enterprise Ontology Management Approach. |
KEOD |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Hailong Deng, Jinguang Gu, Xiaochun Zheng |
Publishing CLOD of Dangerous Chemicals Based on Semantic MediaWiki. |
CSWS |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Michael Jonas |
Group note taking in mediawiki, a collaborative approach. |
SIGITE Conference |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Sandhya Kode, Kaumudi Nagaraju, Lakshmi Gollapudi, Surya Kiran Reddy Karri |
Using MediaWiki to Increase Teaching Expertise in Engineering Colleges. |
T4E |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Lee Worden |
WorkingWiki: a MediaWiki-based platform for collaborative research |
CoRR |
2012 |
DBLP BibTeX RDF |
|
25 | Juha Villman, Einari Happonen |
Statistical computing and graphics in Opasnet MediaWiki. |
WikiSym |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Niels Seidel |
Collaborative hypervideo editing using MediaWiki. |
WikiSym |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Bahar Sateli, René Witte |
Natural language processing for MediaWiki: the semantic assistants approach. |
WikiSym |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Christoph Rensing, Stephan Tittel, Stefan Schäfer, Robert Burgaß |
Mobiles aktivierendes Lernen im Bauingenieurwesen: eine Semantic MediaWiki basierte Anwendung und ein Erfahrungsbericht. |
DeLFI |
2012 |
DBLP BibTeX RDF |
|
25 | Zachary Kurmas |
Zawilinski: helping beginning programmers conduct mediawiki-based research. |
ITiCSE |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Christoph Schindler 0001, Basil Ell, Marc Rittberger |
Intra-linking the Research Corpus: Using Semantic MediaWiki as a lightweight Virtual Research Environment. |
DH |
2012 |
DBLP BibTeX RDF |
|
25 | Vadim Zaytsev |
MediaWiki Grammar Recovery |
CoRR |
2011 |
DBLP BibTeX RDF |
|
25 | Markus Krötzsch, Denny Vrandecic |
Semantic MediaWiki. |
Foundations for the Web of Information and Services |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Dionysia Kontotasiou, Charalampos Bratsas, Panagiotis D. Bamidis |
Modeling medical interventions using the semantic MediaWiki for use in healthcare practice and education. |
CBMS |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Lee Worden |
WorkingWiki: a MediaWiki-based platform for collaborative research. |
MathWikis@ITP |
2011 |
DBLP BibTeX RDF |
|
25 | Andreas Bohne-Lang, Elke Lang |
A landmark in biomedical information: many ways are leading to PubMed - MediaWiki tags open remote literature access to PubMed. |
ISI |
2011 |
DBLP BibTeX RDF |
|
25 | Daniel M. Herzig, Basil Ell |
Semantic MediaWiki in Operation: Experiences with Building a Semantic Portal. |
ISWC (2) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Pradeep Dantuluri, Brian Davis 0001, Pierre Ludwick, Siegfried Handschuh |
Engineering a Controlled Natural Language into Semantic MediaWiki. |
CNL |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Hala Skaf-Molli, Gérôme Canals, Pascal Molli |
DSMW: Distributed Semantic MediaWiki. |
SemWiki@ESWC |
2010 |
DBLP BibTeX RDF |
|
25 | Manfred Schied, Anton Köstlbacher, Christian Wolff 0001 |
Connecting Semantic Mediawiki to different Triple Stores Using RDF2Go. |
SemWiki@ESWC |
2010 |
DBLP BibTeX RDF |
|
25 | Anca Dumitrache, Christoph Lange 0002, Michael Kohlhase, Nils Aschenbeck |
Prototyping a Browser for a Listed Buildings Database with Semantic MediaWiki. |
SemWiki@ESWC |
2010 |
DBLP BibTeX RDF |
|
25 | Stuart Chalmers, Norman Gray, Iadh Ounis, Alasdair J. G. Gray |
Collaborative Editing and Linking of Astronomy Vocabularies Using Semantic Mediawiki. |
SemWiki@ESWC |
2010 |
DBLP BibTeX RDF |
|
25 | Jodi Schneider, Alexandre Passant, John G. Breslin |
Enhancing MediaWiki Talk pages with Semantics for Better Coordination - A Proposal. |
SemWiki@ESWC |
2010 |
DBLP BibTeX RDF |
|
25 | Hala Skaf-Molli, Gérôme Canals, Pascal Molli |
DSMW: Distributed Semantic MediaWiki. |
ESWC (2) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Andreas Kohring |
IQ Profil: Eine MediaWiki Erweiterung zur Bewertung von Informationsqualität der Artikel. |
Informatiktage |
2010 |
DBLP BibTeX RDF |
|
25 | Brendan Tansey, Eleni Stroulia |
Annoki: a MediaWiki-based collaboration platform. |
Web2SE@ICSE |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Frank Kleiner, Andreas Abecker |
Semantic MediaWiki as an Integration Platform for IT Service Management. |
GI Jahrestagung (2) |
2010 |
DBLP BibTeX RDF |
|
25 | Daniel J. Barrett |
MediaWiki - Wikipedia and beyond. |
|
2009 |
RDF |
|
25 | Denny Vrandecic, Markus Krötzsch |
Semantic MediaWiki. |
Semantic Knowledge Management |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Paul R. Smart, Jie Bao 0001, Dave Braines, Nigel R. Shadbolt |
Development of a Controlled Natural Language Interface for Semantic MediaWiki. |
CNL |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Frank Dengler, Steffen Lamparter, Mark Hefke, Andreas Abecker |
Collaborative Process Development using Semantic MediaWiki. |
Wissensmanagement |
2009 |
DBLP BibTeX RDF |
|
25 | Daniel Hansch, Hans-Peter Schnurr, Peter Pissierssens |
Semantic MediaWiki+ als Wissensplattform für Unternehmen - Zielgruppengerechte Produktion von Trainingsmaterial am Beispiel der UNESCO. |
Wissensmanagement |
2009 |
DBLP BibTeX RDF |
|
25 | Qing Zou, Wei Fan |
A Semantic MediaWiki-Empowered Terminology Registry. |
Dublin Core Conference |
2009 |
DBLP BibTeX RDF |
|
25 | Rainer Schmidt 0001, Frank Dengler, Axel Kieninger |
Co-creation of Value in IT Service Processes Using Semantic MediaWiki. |
Business Process Management Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Ingo Blees, Anke Reinhold, Marc Rittberger |
Qualitätssicherung von Wikis - Best Practice zur Evaluierung von MediaWiki im Bildungsbereich: Usability-Testing und Systementwicklung/-erweiterungen. |
ISI |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Leons Petrazickis |
Deploying PHP applications on IBM DB2 in the cloud: MediaWiki as a case study. |
CASCON |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Gero Scholz |
Semantic MediaWiki with Property Clusters. |
SemWiki |
2008 |
DBLP BibTeX RDF |
|
25 | Claudio Eccher, Antonella Ferro, Andreas Seyfang, Marco Rospocher, Silvia Miksch |
Modeling Clinical Protocols Using Semantic MediaWiki: The Case of the Oncocure Project. |
K4HelP |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Gertrud J. Klauer, Richard J. Melamed, Alexander Tillmann, Silvan Reinhold, Lars Kandsperger |
"MediaWiki" als Werkzeug zur kooperativen Erstellung einer Vorlesungsmitschrift in der Humananatomie. |
DeLFI Workshops |
2006 |
DBLP BibTeX RDF |
|
25 | Cleo Espiritu, Eleni Stroulia, Tapanee Tirapat |
The ViskiMap Toolkit: Extending Mediawiki with Topic Maps. |
ICEIS (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
Novel E-learning interfaces and interactions, Web-based education software, Intelligent information and knowledge management systems, Intelligent visualization tools |
24 | Zachary Kurmas |
Zawilinski: a library for studying grammar in Wiktionary. |
Int. Sym. Wikis |
2010 |
DBLP DOI BibTeX RDF |
Wiktionary, wiki, language, parse, MediaWiki, inflection |
24 | Mark Deckert, Abram Stern, Warren Sack |
Enabling peer review of expert testimony within government proceedings. |
DG.O |
2010 |
DBLP BibTeX RDF |
Ogg Theora, Web 2.0, video, wiki, open source software, archive, social web, MediaWiki, online deliberation, Congress |
24 | Marija Cubric |
Wiki-based process framework for blended learning. |
Int. Sym. Wikis |
2007 |
DBLP DOI BibTeX RDF |
e-learning, blended-learning, MediaWiki |
17 | Peter Buneman, James Cheney, Sam Lindley, Heiko Müller 0001 |
DBWiki: a structured wiki for curated data and collaborative data management. |
SIGMOD Conference |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Hans-Jörg Happel |
Woogle4MediaWiki: from searchers to contributors. |
Int. Sym. Wikis |
2010 |
DBLP DOI BibTeX RDF |
Wikis, knowledge sharing, social search |
17 | Finn Årup Nielsen |
A fielded wiki for personality genetics. |
Int. Sym. Wikis |
2010 |
DBLP DOI BibTeX RDF |
bioinformatics, Wikis, tables, structured data, meta-analysis, neuroinformatics |
17 | Markus Krötzsch, Denny Vrandecic |
Semantic Wikipedia. |
Social Semantic Web |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Laurent Alquier, Keith McCormick, Ed Jaeger |
knowIT, a semantic informatics knowledge management system. |
Int. Sym. Wikis |
2009 |
DBLP DOI BibTeX RDF |
collaboration organizational memory, internal communication, semantic web, usability, knowledge management, user experiences, Wikis, repositories, knowledge transfer, intranets |
17 | Brion Vibber |
Community performance optimization: making your people run as smoothly as your site. |
Int. Sym. Wikis |
2009 |
DBLP DOI BibTeX RDF |
World Wide Web (WWW) |
17 | Luca de Alfaro, Felipe Ortega |
Measuring Wikipedia: a hands-on tutorial. |
Int. Sym. Wikis |
2009 |
DBLP DOI BibTeX RDF |
WikiTrust, WikiXRay, data mining, measurements, Wikipedia, empirical research |
17 | Natsuda Kasisopha, Pornpit Wongthongtham, Farookh Khadeer Hussain |
Semantic Wiki as a Basis for Software Engineering Ontology Evolution. |
OTM Workshops |
2009 |
DBLP DOI BibTeX RDF |
Ontology Management and Evolution, Software Engineering Ontology, Semantic Wiki |
17 | Peter Haase 0001, Daniel M. Herzig, Mark A. Musen, Thanh Tran 0001 |
Semantic Wiki Search. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Andy Webber |
Security of community developed and 3rd-party wiki plug-ins. |
Int. Sym. Wikis |
2008 |
DBLP DOI BibTeX RDF |
responsible disclosure, security, plug-in, cross site scripting |
17 | Ben Liu, Hejie Chen, Wei He |
Wiki-based collaborative learning: incorporating self-assessment tasks. |
Int. Sym. Wikis |
2008 |
DBLP DOI BibTeX RDF |
item model, wiki-based collaborative learning, formative assessment, computer assisted assessment |
17 | Ludovic Dubost, Guillaume Lerouge |
Getting started with XWiki. |
Int. Sym. Wikis |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Chrysovalanto Kousetti, David E. Millard, Yvonne Margaret Howard |
A study of ontology convergence in a semantic Wiki. |
Int. Sym. Wikis |
2008 |
DBLP DOI BibTeX RDF |
emergent ontologies, Semantic Web, Semantic Wiki |
17 | Sean A. Munson |
Motivating and enabling organizational memory with a workgroup wiki. |
Int. Sym. Wikis |
2008 |
DBLP DOI BibTeX RDF |
wikis, organizations, repositories, knowledge transfer, organizational memory, knowledge exchange |
17 | Bowei Du, Eric A. Brewer |
Dtwiki: a disconnection and intermittency tolerant wiki. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
wiki, delay-tolerant networking, developing regions |
17 | Diomidis Spinellis |
Cracking Software Reuse. |
IEEE Softw. |
2007 |
DBLP DOI BibTeX RDF |
collaboration, reuse, Wikipedia, packages, shared libraries |
17 | Laura M. Bartolo, Cathy S. Lowe, Dean B. Krafft, Robert Tandy |
NSDL MatDL: Adding Context to Bridge Materials e-Research and e-Education. |
ECDL |
2007 |
DBLP DOI BibTeX RDF |
wiki, plug-in, Materials Science |
17 | Bernhard Hoisl, Wolfgang Aigner, Silvia Miksch |
Social Rewarding in Wiki Systems - Motivating the Community. |
HCI (15) |
2007 |
DBLP DOI BibTeX RDF |
Social Rewarding, Wiki, Online Communities, Motivation, Participation, Contribution |
17 | René Witte, Thomas Gitzinger |
Connecting wikis and natural language processing systems. |
Int. Sym. Wikis |
2007 |
DBLP DOI BibTeX RDF |
Wiki/NLP integration, self-aware wiki system |
17 | Rebecca Klein, Matthew Smith 0004, David Sierkowski |
Reduce response time: get "hooked" on a wiki. |
SIGUCCS |
2007 |
DBLP DOI BibTeX RDF |
collaboration, communication, training, wiki, knowledge base, information, help desk |
17 | Michael Emmi, Rupak Majumdar, Koushik Sen |
Dynamic test input generation for database applications. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
directed random testing, automatic test generation, database applications, concolic testing |
17 | Claudia-Lavinia Ignat, Gérald Oster, Pascal Molli, Michèle Cart, Jean Ferrié, Anne-Marie Kermarrec, Pierre Sutra, Marc Shapiro 0001, Lamia Benmouffok, Jean-Michel Busca, Rachid Guerraoui |
A comparison of optimistic approaches to collaborative editing of Wiki pages. |
CollaborateCom |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Liguo Yu, Srini Ramaswamy |
Mining CVS Repositories to Understand Open-Source Project Developer Roles. |
MSR |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Markus Krötzsch, Sebastian Schaffert, Denny Vrandecic |
Reasoning in Semantic Wikis. |
Reasoning Web |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Pierre Corbineau, Cezary Kaliszyk |
Cooperative Repositories for Formal Proofs. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|