.
Nature Communications , 15 (1) , 2024.
.
GigaScience , 13 , giae022 , 2024.
.
mSystems , 8 (6) , e01037-23 , 2023.
.
Microlife , 4 , uqad012 , 2023.
.
Microlife , 4 , uqad001 , 2023.
.
Genome Res , 33 (2) , 261-268 , 2023.
.
Briefings in Bioinformatics , 2022.
.
Front Immunol , 13 , 1066456 , 2022.
.
Molecular Cell , 82 (14) , 2714-2726.e4 , 2022.
.
Bioinformatics , 38 (4) , 1139-1140 , 2022.
.
NAR , 50 (W1) , W345-W351 , 2022.
.
PLoS Pathog , 18 (12) , e1010781 , 2022.
.
Dendrochronologia , 74 , 125978 , 2022.
.
J Proteome Res , 21 (6) , 1558-1565 , 2022.
.
Front Pediatr , 10 , 974840 , 2022.
.
Nat Neurosci , 25 (3) , 295-305 , 2022.
.
Bioinformatics , 38 (Suppl_2) , ii42-ii48 , 2022.
.
Blood Cancer J , 12 (8) , 122 , 2022.
.
Nat Microbiol , 7 (4) , 530-541 , 2022.
.
Gigascience , 12 , 2022.
.
Sci Adv , 8 (39) , eabo5578 , 2022.
.
Nature Communications , 13 (1) , 788 , 2022.
.
J Cheminform , 14 (1) , 22 , 2022.
.
PLoS Comput Biol , 18 (3) , e1009823 , 2022.
.
Front Genet , 13 , 861236 , 2022.
.
Bioinformatics , 37 (22) , 4006-4013 , 2021.
.
Molecular Neurodegeneration , 16 (80) , 2021.
.
Gigascience , 10 (2) , 2021.
.
Gigascience , 10 (8) , 2021.
.
RNA Biol , 18 (sup1) , 268-277 , 2021.
.
RNA Biology , 18 (sup1) , 268-277 , 2021.
.
PLOS Computational Biology , 17 (6) , 1-11 , 2021.
.
Frontiers in Microbiology , 2021.
.
J Exp Med , 218 (2) , 2021.
.
mBio , 12 (4) , e0141621 , 2021.
.
Gigascience , 10 (6) , 2021.
.
Nat Cell Biol , 23 (7) , 704-717 , 2021.
.
Nucleic Acids Research , 48 (W1) , W177-W184 , 2020.
.
microLife , 1 (1) , 2020.
.
BMC genomics , 21 (1) , 1--8 , 2020.
.
Stem Cell Res. , 49 , 102046 , 2020.
.
Glia , 68 (9) , 1859--1873 , 2020.
.
Bioinformatics , 36 (9) , 2649-2656 , 2020.
.
GigaScience , 9 (10) , 2020.
.
JBC , 295 (39) , 13502-13515 , 2020.
.
Dendrochronologia , 60 , 125679 , 2020.
.
BMC Bioinformatics , 21 , 15 , 2020.
.
International Journal of Molecular Sciences , 21 (11) , 3852 , 2020.
.
Gigascience , 9 (6) , 2020.
.
Nucleic Acids Research , 2020.
.
Scientific reports , 10 (1) , 1--14 , 2020.
.
Nat Rev Microbiol , 18 (2) , 67-83 , 2020.
.
Bioinformatics , 36 (2) , 462-469 , 2020.
.
Journal of Cheminformatics , 12 (1) , 2020.
.
Journal of Cheminformatics , 12 (1) , 2020.
.
PLOS ONE , 14 , e0222459 , 2019.
.
2019 International Joint Conference on Neural Networks (IJCNN) , 1--7 , 2019.
.
ESANN 2019 - Proceedings , 2019.
.
Nature , 571 (7763) , 107--111 , 2019.
.
RNA Biol , 16 (4) , 530-542 , 2019.
.
RNA Biol , 16 (4) , 492-503 , 2019.
.
19th International Workshop on Algorithms in Bioinformatics (WABI 2019) , 143 , 14:1--14:13 , 2019.
.
GigaScience , 8 (12) , 2019.
.
Bioinformatics , 35 (16) , 2862-2864 , 2019.
.
Nucleic Acids Research , 48 (3) , e15-e15 , 2019.
.
Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS , 131-140 , 2019.
.
Journal of Bioinformatics and Computational Biology , 17 (5) , 1940009 , 2019.
.
Bioinformatics , 35 (18) , 3508-3509 , 2019.
.
Nucleic Acids Research , 47 (1) , 168-183 , 2018.
.
Nucleic Acids Research , 47 (1) , 168-183 , 2018.
.
Nat Genet , 50 (6) , 814-824 , 2018.
.
Methods Mol Biol , 1737 , 3-30 , 2018.
.
Microbiol Spectrum , 6 (2) , 2018.
.
Molecular Neurobiology , 2018.
.
2018 IEEE Symposium Series on Computational Intelligence (SSCI) , 1534--1541 , 2018.
.
Mol Cell Proteomics , 17 (4) , 565-579 , 2018.
.
Nat Commun , 9 (1) , 1235 , 2018.
.
Nucleic Acids Research , 46 (W1) , W25-W29 , 2018.
.
PLOS Comput. Biol , 14 (8) , e1006341 , 2018.
.
Nat Commun , 9 (1) , 1142 , 2018.
.
Nature Methods , 15 (7) , 475-476 , 2018.
.
Nat Commun , 9 (1) , 391 , 2018.
.
Frontiers in Genetics , 9 , 124 , 2018.
.
Bioinformatics , 2018.
.
Bioinformatics , 2018.
.
Nat Commun , 9 (1) , 3685 , 2018.
.
PNAS , 115 (12) , E2859-E2868 , 2018.
.
NAR , 45 (2) , 915-925 , 2017.
.
RNA Biol , 13 (11) , 1544-58 , 2017.
.
Bioinformatics , 33 (14) , 2089-2096 , 2017.
.
NAR , 45 (W1) , W435-W439 , 2017.
.
RNA Metabolism and Gene Expression in Archaea , 243--269 , 2017.
.
Methods Mol Biol , 1555 , 83-97 , 2017.
.
Genes Dev , 31 (19) , 1973-1987 , 2017.
.
PLoS Comput Biol , 13 (5) , e1005425 , 2017.
.
NAR , 45 (W1) , W560-W566 , 2017.
.
NAR , 45 (15) , 8745-8757 , 2017.
.
J Biotechnol , 261 , 76-84 , 2017.
.
Nature , 544 (7648) , 115-119 , 2017.
.
BMC Bioinformatics , 17 (Suppl 18) , 464 , 2016.
.
Invest Ophthalmol Vis Sci , 57 (4) , 1706-13 , 2016.
.
Environ Microbiol , 19 (1) , 119-129 , 2016.
.
Dendrochronologia , 37 , 33-45 , 2016.
.
Nat Commun , 7 , 12791 , 2016.
.
PLoS One , 11 (9) , e0162466 , 2016.
.
Sci Rep , 6 , 34589 , 2016.
.
EMBO J , 35 (9) , 991-1011 , 2016.
.
RNA , 22 (10) , 1510-21 , 2016.
.
Bioinformatics , 31 (15) , 2489-2496 , 2015.
.
PLoS Genet , 11 (4) , e1005153 , 2015.
.
RNA Biology , 12 (9) , 998-1009 , 2015.
.
Nat Commun , 6 , 7367 , 2015.
.
Nat Rev Microbiol , 13 (11) , 722-736 , 2015.
.
JBC , 290 (7) , 4192-201 , 2015.
.
Oncotarget , 6 (2) , 1302-14 , 2015.
.
Poster Proceedings of ISMB'15 , 2015.
.
BMC Bioinformatics , 16 (1) , 1-7 , 2015.
.
Environ Microbiol , 18 (8) , 2319-2325 , 2015.
.
Poster, CRISPR Conference'15 , 2015.
.
IEEE/ACM Trans. Comput. Biology Bioinform. , 11 (1) , 219-230 , 2014.
.
NAR , 42 (Web Server issue) , W119-23 , 2014.
.
Bioinformatics , 30 (12) , i274-i282 , 2014.
.
Nat Med , 20 (12) , 1410-1416 , 2014.
.
Algorithms Mol Biol , 9 , 19 , 2014.
.
RNA Biol , 11 (5) , 624-40 , 2014.
.
BMC Bioinformatics , 15 (1) , 6602 , 2014.
.
Genome Biol , 15 (1) , R17 , 2014.
.
BMC Algorithms for Molecular Biology , 9 (1) , 23 , 2014.
.
Bio-Algorithms and Med-Systems , 10 (4) , 213-225 , 2014.
.
JBC , 290 (7) , 4192-4201 , 2014.
.
J Mol Endocrinol , 52 (3) , 373-82 , 2014.
.
Bioinformatics , 2014.
.
Bioinformatics , 30 (18) , 2668-2669 , 2014.
.
Nat Commun , 5 , 5288 , 2014.
.
J Clin Invest , 124 (7) , 2861-2876 , 2014.
.
JBC , 289 (10) , 7164-77 , 2014.
.
Cell Tissue Res , 356 (3) , 507-26 , 2014.
.
Bioinformatics , 30 (17) , i489-i496 , 2014.
.
Algorithms in Bioinformatics , 8126 , 112-125 , 2013.
.
PNAS , 110 (37) , E3487-96 , 2013.
.
Proceedings of the 17th International Conference on Research in Computational Molecular Biology (RECOMB 2013) , 7821 , 289-290 , 2013.
.
Genome Res , [Epub ahead of print] , 2013.
.
Algorithms Mol Biol , 8 (1) , 14 , 2013.
.
Biochem Soc Trans , 41 (6) , 1444-8 , 2013.
.
RNA Biology , 10 (5) , 700-707 , 2013.
.
PLoS One , 8 (10) , e75185 , 2013.
.
J Biomed Semantics , 4 (1) , 28 , 2013.
.
Drug Discov Today , 19 (7) , 882–889 , 2013.
.
Biochem Soc Trans , 41 (1) , 344-9 , 2013.
.
RNA Biol , 10 (5) , 779-791 , 2013.
.
Proceedings of the Workshop on Constraint Based Methods for Bioinformatics (WCB 2013) , 1-9 , 2013.
.
Proc. of the 19th International Conference on Principles and Practice of Constraint Programming (CP'13) , 8124 , 805-822 , 2013.
.
Theory and Practice of Model Transformations, Proc. of ICMT 2013 , 7909 , 52-53 , 2013.
.
RNA Biology , 10 (5) , 865-874 , 2013.
.
NAR , 41 (17) , 8034-44 , 2013.
.
PLoS One , 8 (5) , e62732 , 2013.
.
Bioinformatics , 29 (13) , i335-i343 , 2013.
.
Mol Cell , 51 (2) , 156-73 , 2013.
.
Chemistry , 19 (28) , 9319-24 , 2013.
.
Combinatorial Pattern Matching - 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings , 321--333 , 2012.
.
RNA , 18 (5) , 900-14 , 2012.
.
Proceedings of the 16th International Conference on Research in Computational Molecular Biology (RECOMB 2012) , 7262 , 341 , 2012.
.
Proceedings of the 16th International Conference on Research in Computational Molecular Biology (RECOMB 2012) , 7262 , 245-260 , 2012.
.
NAR , 40 (19) , 9887-96 , 2012.
.
RNA Biol , 9 (7) , 954-65 , 2012.
.
Frontiers in Genetics , 3 (42) , 2012.
.
Biochim Biophys Acta , 1823 (2) , 206-14 , 2012.
.
Bioinformatics , 28 (23) , 3034-41 , 2012.
.
Bioinformatics , 2012.
.
Proceedings of the Workshop on Constraint Based Methods for Bioinformatics (WCB 2012) , 23-29 , 2012.
.
Advances in Bioinformatics , 2012 (Article ID 148045) , 6 , 2012.
.
NAR , 40 (12) , 5215-26 , 2012.
.
NAR , 40 (21) , 10964-79 , 2012.
.
Bioinformatics , 28 (12) , i224-i232 , 2012.
.
Trees - Structure and Function , 26 (4) , 1267-1274 , 2012.
.
Proceedings of the 23th Annual Symposium on Combinatorial Pattern Matching (CPM 2012) , 7354 , 306-320 , 2012.
.
Journal of Discrete Algorithms , 9 (1) , 2-11 , 2011.
.
J. Discrete Algorithms , 9 (1) , 12-31 , 2011.
.
Regulatory RNAs in Prokaryotes , 221-239 , 2011.
.
Mol Microbiol , 80 (4) , 868-85 , 2011.
.
Bioinformatics , 27 (2) , 211-219 , 2011.
.
NAR , 39 , W107-11 , 2011.
.
Biotechnology Journal, Special issue: Protein folding in vivo , 6 (6) , 742-751 , 2011.
.
Front Genet , 2 , 69 , 2011.
.
Bioinformatics , 27 (14) , 1894-900 , 2011.
.
Frontiers in Genetics , 2 (0) , 2011.
.
Bioinformatics , 2011.
.
Proceedings of the German Conference on Bioinformatics (GCB 2011) , 2011.
.
Proceedings of the German Conference on Bioinformatics (GCB 2011) , 2011.
.
BMC Bioinformatics , 12 (1) , 214 , 2011.
.
Adv Bioinformatics , 9 , 2011.
.
Poster Proceedings of the 62th Mosbach Colloquium , 2011.
.
Poster Proceedings of ISMB'11 , 2011.
.
J Pharm Biomed Anal , 56 (5) , 944-9 , 2011.
.
Proceedings of the Workshop on Constraint Based Methods for Bioinformatics (WCB 2010) , 7 , 2010.
.
Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (CP-2010) , 8 , 2010.
.
Proc. of the 10th Workshop on Algorithms in Bioinformatics (WABI) , 6293 , 40-51 , 2010.
.
Laborwelt , 11 (1) , 29-30 , 2010.
.
NAR , 38 Suppl , W373-7 , 2010.
.
BMC Plant Biol , 10 , 76 , 2010.
.
BMC Bioinformatics , 11 , 216 , 2010.
.
Algorithms Mol Biol , 5 , 22 , 2010.
.
Arch Microbiol , 192 (9) , 691-702 , 2010.
.
Proc. of RECOMB 2010 , 6044 , 473-490 , 2010.
.
Science , 330 (6012) , 1787-97 , 2010.
.
Bioinformatics , 26 (1) , 1-5 , 2010.
.
Algorithms Mol Biol , 5 (1) , 39 , 2010.
.
Proceedings of the Workshop on Constraint Based Methods for Bioinformatics (WCB 2010) , 7 , 2010.
.
Poster Proceedings of ISMB'10 , 2010.
.
Poster Proceedings of ISMB'10 , 2010.
.
Poster Proceedings of SBMC'10, (conference for system biology in mammalian cells) , 2010.
.
Journal of Systems Chemistry , 1 (1) , 4 , 2010.
.
In Proceedings of German Conference on Bioinformatics GCB'10 , 173 , 42-51 , 2010.
.
Proc. of the 9th Workshop on Algorithms in Bioinformatics (WABI) , 5724 , 261-272 , 2009.
.
International Journal of Pattern Recognition and Artificial Intelligence , 23 (2) , 191 -- 207 , 2009.
.
Proc. of the 9th Workshop on Algorithms in Bioinformatics (WABI) , 5724 , 25-36 , 2009.
.
Proc. 20th Symp. Combinatorial Pattern Matching , 5577 , 249-262 , 2009.
.
Proc. 20th Symp. Combinatorial Pattern Matching , 5577 , 236-248 , 2009.
.
Proceedings of the Fifth Workshop on Constraint Based Methods for Bioinformatics (WCB09) , 2009.
.
Proceedings of the Fifth Workshop on Constraint Based Methods for Bioinformatics (WCB09) , 2009.
.
Genome Res , 19 (7) , 1289-300 , 2009.
.
Bioinformatics , 25 (16) , 2095-2102 , 2009.
.
BMC Genomics , 10 , 464 , 2009.
.
Bioinformatics , 25 (12) , i365-73 , 2009.
.
Bioinformatics , 25 (23) , 3128-3134 , 2009.
.
Proc. of the 4th Journées Francophones de Programmation par Contraintes (JFPC'08) , 2008.
.
Constraints Journal , 13 (1) , 110-129 , 2008.
.
BMC Bioinformatics , 9 (1) , 477 , 2008.
.
NAR , 36 (20) , 6355-62 , 2008.
.
BMC Genomics , 9 , 159 , 2008.
.
Genomics , 92 (1) , 65-74 , 2008.
.
Proceedings of the European Conference on Metallobiolomics (HMI Berlin, Germany, 2007) , 27-38 , 2008.
.
Proceedings of German Conference on Bioinformatics (GCB'2008) , P-136 , 178-188 , 2008.
.
Proceedings of the 19th Annual Symposium on Combinatorial Pattern Matching (CPM 2008) , 69-81 , 2008.
.
HFSP Journal , 2 (6) , 396-404 , 2008.
.
BMC Bioinformatics , 9 , 230 , 2008.
.
Tumour Biol , 29 (2) , 83-92 , 2008.
.
TIG , 24 (5) , 246-55 , 2008.
.
BMC Evolutionary Biology , 8 , 89 , 2008.
.
RNA , 14 , 616-29 , 2008.
.
Proceedings of the German Conference on Bioinformatics (GCB'2008) , P-136 , 189-198 , 2008.
.
Bioinformatics , 24 (24) , 2849-56 , 2008.
.
Journal of Mathematical Biology , 56 (1-2) , 129-144 , 2008.
.
BMC Bioinformatics , 9 , 474 , 2008.
.
Twelfth Conference on Formal Grammar (FG) , 2007.
.
45th Annual Meeting of the Association for Computational Linguistics (ACL) , 2007.
.
NAR , 35 (Web Server issue) , W688-93 , 2007.
.
PLoS Comput Biol , 3 (4) , e65 , 2007.
.
Genome Biol , 8 (8) , R154 , 2007.
.
Methods Mol Biol , 395 , 489-502 , 2007.
.
Methods Mol Biol , 395 , 75-96 , 2007.
.
BIRD'07 - 1st international Conference on Bioinformatics Research and Development , 217 , 83-86 , 2007.
.
BIRD'07 - 1st international Conference on Bioinformatics Research and Development , 217 , 83-86 , 2007.
.
NAR , 35 (Web Server issue) , W310-3 , 2007.
.
J Exp Zoolog B Mol Dev Evol , 308B (1) , 1-25 , 2007.
.
Journal of Integrative Bioinformatics , 4 (3) , 75 , 2007.
.
Journal of Discrete Algorithms , 5 (2) , 212-228 , 2007.
.
Eighth International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+8) , 2006.
.
PIK , 29 (2) , 81-87 , 2006.
.
Europhysics Letters , 74 (4) , 725-732 , 2006.
.
Proc. of the Workshop on Constraint Based Methods for Bioinformatics. http://www.dimi.uniud.it/dovier/WCB06/WCB06_proceedings.pdf , 83-90 , 2006.
.
14th Annual International conference on Intelligent Systems for Molecular Biology (ISMB'06) , 2006.
.
Nat Biotechnol , 24 (9) , 1068-70 , 2006.
.
J Exp Zool B Mol Dev Evol , 306 (4) , 379-92 , 2006.
.
PLoS Genet , 2 (11) , e207 , 2006.
.
NAR , 34 (17) , e117 , 2006.
.
Genome Biol , 7 (7) , R65 , 2006.
.
Am J Hum Genet , 78 (2) , 291-302 , 2006.
.
BMC Bioinformatics , 7 , 389 , 2006.
.
Journal of Constraints , 11 (1) , 5--30 , 2006.
.
Bioinformatics , 21 (14) , 3082-8 , 2005.
.
Second International Workshop on Constraint Solving and Language Processing (CSLP 2005) , 2005.
.
10th Conference on Formal Grammar and 9th Meeting on Mathematics of Language , 2005.
.
Proceedings of the Workshop on Constraint Based Methods in Bioinformatics (WCB05) , 66-74 , 2005.
.
IEEE 2005 Symposium on Computational Intelligence in Bioinformatics and Computational Biology , 150-157 , 2005.
.
Bioinformatics , 21 (16) , 3352-9 , 2005.
.
BMC Genomics , 6 (123) , 2005.
.
Comparative Biochemistry and Physiology. Abstracts of the Society for Experimental Biology Annual Main Meeting , 141 , 2005.
.
NAR , 33 (17) , 5611-21 , 2005.
.
Genome Biology , 6 (7) , R58 , 2005.
.
Bioinformatics , 21 (15) , 3312-3 , 2005.
.
Proc. 12th Symposium on String Processing and Information Retrieval (SPIRE 2005) , 3772 , 360-369 , 2005.
.
GCB , 53 , 43-52 , 2004.
.
Symposium on String Processing and Information Retrieval (SPIRE 2004) , 3246 , 79-92 , 2004.
.
Journal of Discrete Algorithms , 2 (2) , 161-206 , 2004.
.
Proceedings of the German Conference on Bioinformatics (GCB). Discovery Notes , P-53 , 6-7 , 2004.
.
Nat Genet , 36 (12) , 1255-7 , 2004.
.
In Silico Biol , 4 (2) , 0017 , 2004.
.
Convegno Italiano di Logica Computazionale 2004 (CILC 2004) , 16-17 , 2004.
.
Journal of Bioinformatics and Computational Biology (JBCB) , 2 (4) , 681-698 , 2004.
.
Proc. of the 15th Annual Symposium on Combinatorial Pattern Matching (CPM2004) , 3109 , 270-284 , 2004.
.
Proc. of the German Conference on Bioinformatics , P-53 , 53-64 , 2004.
.
Proc. of the German Conference on Bioinformatics , P-53 , 2004.
.
Yearbook Bioinformatics , 79-94 , 2004.
.
Journal of Integrative Bioinformatics , 1 (8) , 2004.
.
Proceedings of the Third International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon 2003) , 187--194 , 2003.
.
Proceedings of the 19th International Conference on Logic Programming (ICLP 2003) , 2916 , 49--71 , 2003.
.
Proceedings of the Pacific Symposium on Biocomputing 2002 (PSB 2002) , 661--672 , 2002.
.
European Conference on Computational Biology 2002 , 2002.
.
European Conference on Computational Biology 2002 , 2002.
.
In Silico Biology , 2 (3) , 275-90 , 2002.
.
Proc. of 19th International Symposium on Theoretical Aspects of Computer Science (STACS2002) , 2285 , 274--286 , 2002.
.
Companion Volume to the Proceedings of the 39th Annual Meeting of the Association for Computational Linguistic (ACL) , 2001.
.
Proc. of the Fourth International Symposium on Intelligent Data Analysis , 2189 , 187--197 , 2001.
.
Constraints , 6 , 223-255 , 2001.
.
Proc. of the 12th Annual Symposium on Combinatorial Pattern Matching (CPM2001) , 2089 , 257--272 , 2001.
.
Proc. of the 7th International Conference on Principle and Practice of Constraint Programming (CP'2001) , 2239 , 494--508 , 2001.
.
Proc. of German Conference on Bioinformatics (GCB2001) , 135-140 , 2001.
.
Proceedings of the 11th Annual Symposium on Combinatorial Pattern Matching (CPM 2000) , 1848 , 277--292 , 2000.
.
Proceedings of the Pacific Symposium on Biocomputing (PSB 2000) , 5 , 92--103 , 2000.
.
Proceedings of the Second International Conference and Exhibition on The Practical Application of Constraint Technologies and Logic Programming (PACLP 2000) , 2000.
.
Proceedings of the German Conference on Bioinformatics (GCB'99) , 93-106 , 1999.
.
Proceedings of 5th International Conference on Principle and Practice of Constraint Programming (CP'99) , 1713 , 73-87 , 1999.
.
Bioinformatics , 15 (3) , 234-242 , 1999.
.
Proceedings of the Pacific Symposium on Biocomputing (PSB'98) , 3 , 387-398 , 1998.
.
Proceedings of 4th International Conference on Principle and Practice of Constraint Programming (CP'98) , 1520 , 72-86 , 1998.
.
Workshop on Modeling and Computing with Concurrent Constraint Programming , 1998.
.
Proc of German Conference on Bioinformatics (GCB'98) , 1998.
.
Workshop on Constraints and Bioinformatics/Biocomputing , 1997.
.
Proc. of Annual Conference of the European Association for Computer Science Logic (CSL'97) , 1414 , 35--55 , 1997.
.
Proceedings of 12th European Conference on Artificial Intelligence , 557--561 , 1996.
.
Journal of Logic Programming , 24 , 37-72 , 1995.
.
Journal of Logic, Language and Information , 4 (1) , 5-39 , 1995.
.
Proceedings of the 15th International Conference on Computational Linguistics (COLING'94) , 436--440 , 1994.
.
1st International Conference on Constraints in Computational Logics , 845 , 320--335 , 1994.
.
Report of the EAGLES Workshop on Implemented Formalisms at DFKI, Saarbrücken , 67--74 , 1993.
.
Proc. of the Inter. Workshop on Processing Declarative Knowledge (PDK'91) , 567 , 161-170 , 1991.
.
Proceedings of the GI Congress, Knowledge-Based Systems 1991 , 291 , 375-384 , 1991.
.
Proc. of the 14th German Workshop on Artificial Intelligence , 251 , 297--306 , 1990.