Biblio

Export 91 results:
Sort by: Author Keyword Title Type [ Year  (Desc)]
Filters: First Letter Of Last Name is M  [Clear All Filters]
2014
Lochau, M., S. Mennicke, H. Baller, and L. Ribbeck, "DeltaCCS: A Core Calculus for Behavioral Change", Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium (ISoLA 2014), Corfu, Greece, Springer Berlin Heidelberg, 09/2014. Abstract
Lofi, C., and K. E. Maarry, "Design Patterns for Hybrid Algorithmic-Crowdsourcing Workflows", 16th IEEE Conf. on Business Informatics (CBI), Geneva, Switzerland, 07/2014. Abstract  Download: CBI2014 Fulltext (753.19 KB)
Maarry, K. E., W. - T. Balke, H. Cho, S. -won Hwang, and Y. Baba, "Skill ontology-based model for Quality Assurance in Crowdsourcing", Workshop on Uncertain and Crowdsourced Data (UnCrowd), DASFAA, Bali, Indonesia, 04/2014. Abstract  Download: DASFAA14_UnCrowd_2.pdf (100.82 KB)
Mennicke, S., J. - W. Schicke-Uffmann, and U. Goltz, "On the Step Branching Time Closure of Free-Choice Petri Nets", Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2014), Berlin, Germany, Springer Berlin Heidelberg, 02/2014. Abstract
He, J., K. Kunze, C. Lofi, S. Madria, and S. Sigg, "Towards Mobile Sensor-Aware Crowdsourcing: Architecture, Opportunities and Challenges", Workshop on Uncertain and Crowdsourced Data (UnCrowd), Bali, Indonesia, 2014. Abstract  Download: hybridcrowd.pdf (1.14 MB)
2013
Lofi, C., K. E. Maarry, and W. - T. Balke, "Skyline Queries over Incomplete Data - Error Models for Focused Crowd-Sourcing", 32th Int. Conf. on Conceptual Modeling (ER), Hong Kong, China, 11/2013. Abstract  Download: paper_118.pdf (977.04 KB)
Lofi, C., K. E. Maarry, and W. - T. Balke, "Skyline Queries in Crowd-Enabled Databases", Int. Conf. on Extending Database Technology (EDBT), Genoa, Italy, 03/2013. Abstract  Download: 13_edbt_final2.pdf (1.31 MB)
2012
Mennicke, S., "An Operational Petri Net Semantics for the Join-Calculus", Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, Electronic Proceedings in Theoretical Computer Science, 09/2012. Abstract
Balke, W. - T., H. Handels, I. J. Kalet, M. Kimura, C. A. Kulikowski, L. A. Moura, A. Pommert, and S. Schulz, "Discussion of "Spatial-Symbolic Query Engine in Anatomy"", Methods of Information in Medicine (METHODS), vol. 51, no. 6: Schattauer, 2012.  Download: METHODS 2012.pdf (301.83 KB)
Goltz, U., M. Magnor, H. - J. Appelrath, H. Matthies, W. - T. Balke, and L. Wolf, "INFORMATIK 2012", Lecture Notes in Informatics, vol. 208: Gesellschaft für Informik e.V., 2012.
2010
Afzal, M. T., H. Maurer, W. - T. Balke, and N. Kulathuramaiyer, "Rule based Autonomous Citation Mining with TIERL", Journal of Digital Information Management (JDIM), vol. 8, no. 3, 06/2010.  Download: JDIM 8(3) 2010 camera-ready.pdf (1.17 MB)
2009
Neumann, K., S. Tauscher, and I. Melching, "Basis und Funktionalitäten eines universitären geographischen Informationssystems", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, vol. 43, pp. 89-96, 2009. Abstract  Download: NTM09.pdf (1009.8 KB)
Afzal, M. T., H. Maurer, W. - T. Balke, and N. Kulathuramaiyer, "Improving Citation Mining", 1st International Conference on Networked Digital Technologies (NDT 2009) , Ostrava, Czech Republic, IEEE, 2009. Abstract  Download: NDT09.pdf (741.51 KB)
2008
Zaka, B., N. Kulathuramaiyer, W. - T. Balke, and H. Maurer, "Topic-Centered Aggregation of Presentations for Learning Object Repurposing", World Conference on E-Learning in Corporate, Government, Healthcare, & Higher Education (E-Learn), Las Vegas, NV, USA, 2008. Abstract  Download: elearn08.pdf (410.94 KB)
2007
Ehrich, H. - D., S. Eckstein, B. Mathiak, A. Kupfer, and C. Täubner, "Bioinformatik - Erkenntnisse aus der Datenflut?", Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. LVII: J. Cramer Verlag, pp. 9-34, 2007. Abstract  Download: 2007BWG.pdf (491.15 KB)
Kupfer, A., S. Eckstein, B. Störmann, and B. Mathiak, "A database ontology for signal transduction pathways", Int. J. of Bioinformatics Research and Applications, vol. 3, pp. 326-340, 09/2007.
Mathiak, B., A. Kupfer, C. Rio Bartulos, T. Scope, J. Weiland, and S. Eckstein, "Discovering gene expression data from the tables of full text publications", ICDM Workshop on Mining and Management of Biological Data, Omaha, Nebraska, USA, IEEE Computer Society, pp. 113-118, 2007. Abstract
Kupfer, A., S. Eckstein, B. Störmann, K. Neumann, and B. Mathiak, "Methods for a Synchronised Evolution of Databases and Associated Ontologies", Frontiers in Artificial Intelligence and Applications, vol. 155: IOS Press, pp. 89-102, 2007. Abstract
Täubner, C., B. Mathiak, and S. Eckstein, "Modeling and management of signal transduction pathways with life sequence charts", ICDM Workshop on Mining and Management of Biological Data, Omaha, Nebraska, USA, IEEE Computer Society, pp. 119-126, 2007. Abstract
2006
Kupfer, A., S. Eckstein, K. Neumann, and B. Mathiak, "Handling Changes of Database Schemas and Corresponding Ontologies", Advances in Conceptual Modeling - Theory and Practice - ER Workshops 2006: Springer, pp. 227-236, Nov, 2006. Abstract
Ehrich, H. - D., S. Eckstein, B. Mathiak, A. Kupfer, and C. Täubner, "Bioinformatik: Erkenntnisse aus der Datenflut?", 18. Workshop Grundlagen von Datenbanken, pp. 13-32, June, 2006. Abstract  Download: 2006GrdlDB-Bio.pdf (538.74 KB)
Kupfer, A., S. Eckstein, K. Neumann, and B. Mathiak, "A Coevolution Approach for Database Schemas and Related Ontologies", 19. IEEE Int. Symposium on Computer-Based Medical Systems: IEEE CS, pp. 605-610, June, 2006. Abstract
Kupfer, A., S. Eckstein, K. Neumann, and B. Mathiak, "Keeping Track of Changes in Database Schemas and Related Ontologies", 7. Int. Baltic Conference on Databases and Information Systems: IEEE, pp. 63-68, July, 2006. Abstract
Mathiak, B., A. Kupfer, R. Münch, C. Täubner, and S. Eckstein, "Improving Literature Preselection by Searching for Images", Knowledge Discovery in Life Science Literature: Springer LNBI 3886, pp. 18-28, April, 2006. Abstract
Täubner, C., B. Mathiak, A. Kupfer, N. Fleischer, and S. Eckstein, "Modelling and Simulation of the TLR4 Pathway with Coloured Petri Nets", 28th Annual International Conference of IEEE Engineering in Medicine and Biology Society: IEEE, pp. 221, 30. August - 3. , 2006. Abstract
2005
Täubner, C., and T. Merker, "Modelling of the Signaling Pathway of Arabidopsis thaliana", In IADIS International Conference Applied Computing, vol. 2: IADIS Press, pp. 295-300, February 22- 25, 2005. Abstract
Täubner, C., and T. Merker, "Discrete Modelling of the Ethylene-Pathway", Proceeding of the International Workshop on Biomedical Data Engineering (BMDE 2005): IEEE, pp. 7-13, April 03-04, 2005. Abstract
Balke, W. - T., and K. Mainzer, "Knowledge Representation and the Embodied Mind: Towards a Philosophy and Technology of Personalized Informatics", 3rd International Conference on Professional Knowledge Management (WM 2005), Kaiserslautern, Germany, Springer , 2005. Abstract  Download: wm05.pdf (272.76 KB)
Balke, W. - T., and K. Mainzer, "Knowledge Representation and the Embodied Mind: Towards a Philosophy and Technology of Personalized Informatics", 2nd International Workshop on Philosophy and Informatics (WSPI 2005), Kaiserslautern, Germany, 2005. Abstract  Download: wspi05.pdf (56.28 KB)
Neumann, K., A. Kupfer, and B. Mathiak, "Umsetzung des Signaturenkataloges SK25 bei der XML-basierten Erzeugung kartenähnlicher Graphiken", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 34, pp. 107-118, 2005. Abstract  Download: NKM05.pdf (189.94 KB)