FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Jürjens, Jan
A domain-specific language for cryptographic protocols based on streamsThe Journal of Logic and Algebraic Programming. Bd. 78. H. 2. Amsterdam: Elsevier 2009 S. 54 - 73
Becker, Jörg; Delfmann, Patrick; Herwig, Sebastian et al.
A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual ModelsAlberto H. F. Laender; Silvana Castano; Umeshwar Dayal; Fabio Casati; José Palazzo M. de Oliveira (Hrsg). Conceptual Modeling - ER 2009; 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings. Berlin: Springer 2009 S. 41 - 54 (LNCS 5829)
Martinez-Yelmo, Isaías; Guerrero, Carmen; Rumín, Rubén Cuevas et al.
A Hierarchical P2PSIP Architecture to Support Skype- like ServicesDidier El Baz; François Spies; Tom Gross (Hrsg). Proceedings of the 17th Euromicro Conference on Parallel, Distributed and Network-based Processing PDP 2009: 8-20 February 2009; Weimar, Germany. Los Alamitos, CA: IEEE Computer Society 2009 S. 316 - 322
Furbach, Ulrich; Günther, Heiko; Schon, Claudia
A Knowledge Compilation Technique for ALC TBoxesH. Chad Lane; Hans W. Guesgen (Hrsg). Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference: FLAIRS; 19 - 21 May 2009, Sanibel Island, Florida, USA. Menlo Park, CA: AAAI Press 2009 S. 39 - 44
Kumar, Chandan; Pingali, Prasad; Varma, Vasudeva
A light-weight summarizer based on language model with relative entropySung Y. Shin; Sascha Ossowski; Paulo Martins; Ronaldo Menezes; Mirko Viroli; Jiman Hong; Dongwan Shin (Hrsg). Proceedings of the 24th Annual ACM Symposium on Applied Computing SCA 2009: Honolulu, Hawaii, USA; March 8-12, 2009. New York, NY: ACM Association for Computing Machinery 2009 S. 1752 - 1753
Kschischo, Maik
A mathematical model of potassium homeostasis in Saccharomyce Cerevisiae2009
Stein, Stefan; Hampe, J. Felix
A Mobile Accident Report SystemAndreja Pucihar (Hrsg). Proceedings of the 22nd Bled eConference 2009; eEnablement - Facilitating an Open, Effective and Representative eSociety: June 14 - 17, 2009; Bled, Slovenia. Atlanta, GA: Association for Information Systems/AIS eLibrary 2009 S. 10
Sadi, Muhammad Sheikh; Myers, D.G.; Ortega, Cesar et al.
A Model-Based Soft Errors Risks Minimization ApproachYu Hen Hu;Chun Jason Xue;Sang-Soo Yeo (Hrsg). Proceedings of the Fourth International Conference on Embedded and Multimedia Computing EM‐Com 2009: 10-12 December 2009; Jeju, Korea (South). Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2009 S. 1 - 6
Harbusch, Karin; Kempen, Gerard; Vosse, Theo
A natural-language paraphrase generator for on-line monitoring and commenting incremental sentence construction by L2 learners of GermanToshiko Koyama; Judy Noguchi; Yuichiro Yoshinari; Akio Iwasaki (Hrsg). Proceedings of the WorldCALL 2008 Conference - CALL Bridges the World: August 5 - 8, 2008; Fukuoka International Congress Center; Fukuoka University, Seinan Gakuin University. Fukuoka: Japan Association for Language Education and Technology 2009 S. 190 - 193