Biblio

Export 15 results:
Sort by: Author Keyword Title [ Type  (Desc)] Year
Filters: First Letter Of Title is L  [Clear All Filters]
Technical Report
Miscellaneous
Journal Article
Conference Proceedings
Ahlbrecht, P., S. Eckstein, and K. Neumann, "Language Constructs for Conceptual Modelling of Mobile Object System s", Proc. 4th Int. Symp. on Collaborative Technologies and Systems, pp. 121-126, 2003. Abstract
Denker, G., J. Ramos, C. Caleiro, and A. Sernadas, "A Linear Temporal Logic Approach to Objects with Transactions", Sixth Int1 Conf1 on Algebraic Methodology and Software Technology, AMAST'97, 13-17 December 1997, Sydney, Australia: Springer, pp. 170-184, 1997. Abstract
Conference Paper
Barthel, S., S. Tönnies, and W. - T. Balke, "Large-Scale Experiments for Mathematical Document Classification", 15th International Conference on Asia-Pacific Digital Libraries (ICADL), Bangalore, India, Springer, 12/2013. Abstract  Download: icadl13.pdf (346.56 KB)
Pinto, J. M. G., S. Celik, and W. - T. Balke, "Learning to Rank Claim-Evidence Pairs to Assist Scientific-Based Argumentation", 23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019. Abstract
Wawrzinek, J., J. M. G. Pinto, and W. - T. Balke, "Linking Semantic Fingerprints of Literature – from Simple Neural Embeddings Towards Contextualized Pharmaceutical Networks", 23rd International Conference on Theory and Practice of Digital Libraries (TPDL), Oslo, Norway, Springer, 09/2019. Abstract  Download: paper_20.pdf (408.4 KB)
Ehrich, H. - D., and A. Sernadas, "Local Specification of Distributed Families of Sequential Objects", Recent Trends in Data Types Specification, Proc1 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers: Springer, Berlin, LNCS 906, pp. 219-235, 1995. Abstract  Download: 1995LocSpecDistr.pdf (350.23 KB)
Book Chapter
Ehrich, H. - D., and A. Sernadas, "Local Specification of Distributed Families of Sequential Objects", Logic and Computation, vol. 33, London, College Publications, pp. 1-22, 2018.  Download: 2017adt94.pdf (189.66 KB)
Ehrich, H. - D., C. Caleiro, A. Sernadas, and G. Denker, "Logics for Specifying Concurrent Information Systems", Logics for Databases and Information Systems: Kluwer Academic Publishers, pp. 167-198, 1998. Abstract  Download: 1998ECSD.pdf (255.81 KB)