Moreno Falaschi Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzman, Carlos Olarte: Simulating Signalling Pathways With BioWayS. Electr. Notes Theor. Comput. Sci. 293: 17-34 (2013)
2010
j33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra: A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411(37): 3348-3371 (2010)
j32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi: An integrated framework for the diagnosis and correction of rule-based programs. Theor. Comput. Sci. 411(47): 4055-4101 (2010)
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi: Transformation and Debugging of Functional Logic Programs. 25 Years GULP 2010: 271-299
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi: Compositional modelling of signalling pathways in timed concurrent constraint programming. BCB 2010: 414-417
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi: A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM 2010: 43-52
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis: Completeness of Unfolding for Rewriting Logic Theories. SYNASC 2010: 116-123
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michele Baggi, Demis Ballis, Moreno Falaschi: An Access Control Language Based on Term Rewriting and Description Logic. WFLP 2010: 66-83
2009
j31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 246: 1-2 (2009)
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi: Foreword. Theor. Comput. Sci. 410(46): 4601-4602 (2009)
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michele Baggi, Demis Ballis, Moreno Falaschi: Quantitative Pathway Logic for Computational Biology. CMSB 2009: 68-82
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi: A framework for abstract interpretation of timed concurrent constraint programs. PPDP 2009: 207-218
2008
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi: Semantic Verification of Web System Contents. ER Workshops 2008: 437-446
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michele Baggi, Moreno Falaschi, Demis Ballis: XML Semantic Filtering via Ontology Reasoning. ICIW 2008: 482-487
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi: An Abstract Generic Framework for Web Site Verification. SAINT 2008: 104-110
2007
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Michael J. Maher: Introduction Special Issue on Multiparadigm Languages and Constraint Programming. TPLP 7(1-2): 1-2 (2007)
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia: Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP 2007: 271-285
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero: A Fast Algebraic Web Verification Service. RR 2007: 239-248
2006
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 157(2): 1-2 (2006)
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi: Rule-based verification of Web sites. STTT 8(6): 565-585 (2006)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Alicia Villanueva: Automatic verification of timed concurrent constraint programs. TPLP 6(3): 265-300 (2006)
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero: A Semi-Automatic Methodology for Repairing FaultyWeb Sites. SEFM 2006: 31-40
2005
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi: A Rewriting-based Framework for Web Sites Verification. Electr. Notes Theor. Comput. Sci. 124(1): 41-61 (2005)
c36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Moreno Falaschi: Preface. WWV 2005
e4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Santiago Escobar, Moreno Falaschi (Eds.): First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia 2005
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Alicia Villanueva: Automatic Verification of Timed Concurrent Constraint Programs. CoRR abs/cs/0505026 (2005)
2004
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Rules + strategies for transforming lazy functional logic programs. Theor. Comput. Sci. 311(1-3): 479-525 (2004)
c35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi: Automated Verification of Web Sites Using Partial Rewriting. ISoLA (Preliminary proceedings) 2004: 81-88
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Moreno Falaschi: Verdi: An Automated Tool for Web Sites Verification. JELIA 2004: 726-729
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Alicia Villanueva: A Symbolic Model Checker for tccp Programs. RISE 2004: 45-56
2003
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana: Cost-sensitive diagnosis of declarative programs. Electr. Notes Theor. Comput. Sci. 86(3): 85-104 (2003)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract correction of first-order functional programs. Electr. Notes Theor. Comput. Sci. 86(3): 105-122 (2003)
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Uniform Lazy Narrowing. J. Log. Comput. 13(2): 287-312 (2003)
c32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi: Correction of Functional Logic Programs. ESOP 2003: 54-68
2002
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Francisco J. Correa, Moreno Falaschi: A Debugging Scheme for Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 64: 18-55 (2002)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marco Comini, Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 76: 269-270 (2002)
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas: Abstract Diagnosis of Functional Programs. LOPSTR 2002: 1-16
2001
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Alberto Policriti, Alicia Villanueva: Modeling concurrent systems specified in a temporal concurrent constraint language-I. Electr. Notes Theor. Comput. Sci. 48: 197-210 (2001)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Francisco J. Correa, Moreno Falaschi: Declarative Debugging of Functional Logic Programs. Electr. Notes Theor. Comput. Sci. 57: 17-40 (2001)
2000
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Patrick Hicks, William H. Winsborough: Demand Transformation Analysis for Concurrent Constraint Programs. J. Log. Program. 42(3): 185-215 (2000)
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: An Automatic Composition Algorithm for Functional Logic Programs. SOFSEM 2000: 289-297
c28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Using PE to Automate Program Composition. WFLP 2000: 169-183
1999
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, César Ferri, Ginés Moreno, Germán Vidal: Un Sistema de Transformación para Programas Multiparadigma. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 3(8): 27-35 (1999)
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: A Transformation System for Lazy Functional Logic Programs. Fuji International Symposium on Functional and Logic Programming 1999: 147-162
1998
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Germán Vidal: A Unifying View of Functional and Logic Program Specialization. ACM Comput. Surv. 30(3es): 9 (1998)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Germán Vidal: Partial Evaluation of Functional Logic Programs. ACM Trans. Program. Lang. Syst. 20(4): 768-844 (1998)
c26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Polygenetic Partial Evaluation of Lazy Functional Logic Programs. APPIA-GULP-PRODE 1998: 151-164
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Improving Control in Functional Logic Program Specialization. SAS 1998: 262-277
e3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro (Eds.): 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998. 1998
1997
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. Inf. Comput. 137(1): 41-67 (1997)
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough: A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs. J. Log. Program. 30(1): 53-81 (1997)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Confluence in Concurrent Constraint Programming. Theor. Comput. Sci. 183(2): 281-315 (1997)
c24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Safe Folding/Unfolding with Conditional Narrowing. APPIA-GULP-PRODE 1997: 347-358
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Safe Folding/Unfolding with Conditional Narrowing. ALP/HOA 1997: 1-15
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Specialization of Lazy Functional Logic Programs. PEPM 1997: 151-162
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Marisa Navarro, Alberto Policriti (Eds.): 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997. 1997
1996
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Germán Vidal: A Compositional Semantic Basis for the Analysis of Equational Horn Programs. Theor. Comput. Sci. 165(1): 133-169 (1996)
c21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal: Call-By Name Partial Evaluation of Functional Logic Programs. APPIA-GULP-PRODE 1996: 17-28
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Germán Vidal: Narrowing-Driven Partial Evaluation of Functional Logic Programs. ESOP 1996: 45-61
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Patrick Hicks, William H. Winsborough: Demand Transformation Analysis for Concurrent Constraint Programs. JICSLP 1996: 333-347
1995
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Unsatisfiability for Equational Logic Programming. J. Log. Program. 22(3): 223-254 (1995)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Giorgio Levi: Incremental Constraint Satisfaction for Equational Logic Programming. Theor. Comput. Sci. 142(1): 27-57 (1995)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Confluence in Concurrent Constraint Programming. AMAST 1995: 531-545
1994
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Codish, Moreno Falaschi, Kim Marriott: Suspension Analyses for Concurrent Logic Programs. ACM Trans. Program. Lang. Syst. 16(3): 649-686 (1994)
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: A Compositional Semantics for Conditional Term Rewriting Systems. GULP-PRODE (1) 1994: 62-76
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Confluence and Concurrent Constraint Programming. GULP-PRODE (1) 1994: 140-154
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Germán Vidal: Compositional Analysis for Equational Horn Programs. ALP 1994: 77-94
c14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: A Compositional Semantics for Conditional Term Rewriting Systems. ICCL 1994: 171-182
1993
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi: A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. Inf. Comput. 103(1): 86-113 (1993)
c13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: Using Narrowing Approximations to Optimize Equational Logic Programs. GULP 1993: 127-142
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough: Efficient Analysis of Concurrent Constraint Logic Programs. ICALP 1993: 633-644
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Compositional Analysis for Concurrent Constraint Programming. LICS 1993: 210-221
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: Narrowing Approximations as an Optimization for Equational Logic Programs. PLILP 1993: 391-409
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
A. Mora, J. Piris, María José Ramírez, Moreno Falaschi: A Prototype System for Equational Constructive Negation. ILPS 1993: 638
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Germán Vidal: Incremental Equational Constraint Analyses. ILPS 1993: 657
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (Eds.): Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724, Springer 1993, isbn 3-540-57264-3
1992
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María José Ramírez, Moreno Falaschi: Conditional Narrowing with Constructive Negation. ELP 1992: 59-79
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi, Ferdinando Manzo: Analyses of Inconsistency for Incremental Equational Logic Programming. PLILP 1992: 443-457
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough: Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. WSA 1992: 35-42
1991
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michael Codish, Moreno Falaschi, Kim Marriott: Suspension Analysis for Concurrent Logic Programs. ICLP 1991: 331-345
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
María Alpuente, Moreno Falaschi: Narrowing as an Incremental Constraint Satisfaction Algorithm. PLILP 1991: 111-122
1990
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Maurizio Gabbrielli, Giorgio Levi, Masaki Murakami: Nested Guarded Horn Clauses. Int. J. Found. Comput. Sci. 1(3): 249-264 (1990)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Giorgio Levi: Finite Failures and Partial Computations in Concurrent Logic Languages. Theor. Comput. Sci. 75(1&2): 45-66 (1990)
1989
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli: Declarative Modeling of the Operational Behavior of Logic Languages. Theor. Comput. Sci. 69(3): 289-318 (1989)
1988
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Giorgio Levi: Finite Failures and Partial Computations in Concurrent Logic Languages. FGCS 1988: 364-373
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi: A New Declarative Semantics for Logic Languages. ICLP/SLP 1988: 993-1005
1984
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi: A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses. Information and Control 60(1-3): 36-69 (1984)

Coauthor Index

1Elvira Albert
[c26] [c25]
2María Alpuente
[j33] [j32] [c49] [c47] [c46] [c42] [c40] [c38] [j28] [j27] [c37] [j25] [c36] [e4] [j24] [c35] [c34] [c33] [j22] [j21] [c32] [c31] [j20] [c30] [j17] [c29] [c28] [j15] [c27] [j14] [j13] [c26] [c25] [c24] [c23] [c22] [j9] [c21] [c20] [j8] [j7] [c17] [c15] [c14] [c13] [c10] [c8] [c6] [c3]
3Michele Baggi
[c47] [c46] [c45] [c44] [c42] [c41]
4Demis Ballis
[j32] [c49] [c47] [c46] [c45] [c44] [c42] [c41] [c40] [c38] [j27] [c37] [j25] [c35] [c34] [j23] [j22] [c32] [c31]
5Davide Chiarugi
[j34] [c48]
6Michael Codish
[j11] [j6] [c12] [c5] [c4]
7Marco Comini
[j33] [j19] [c30]
8Francisco J. Correa
[j32] [c31] [j20] [j17]
9Patrick Cousot
[e1]
10Santiago Escobar
[j33] [j28] [c36] [e4] [j22] [c32] [c30]
11César Ferri (Cèsar Ferri Ramirez)
[j23] [j15]
12Manuel Vilares Ferro
[e3]
13Gilberto Filé
[e1]
14José Luis Freire-Nistal (José Luis Freire)
[e3]
15Maurizio Gabbrielli
[j30] [j12] [j10] [c18] [c16] [c11] [j4]
16Michell Guzman
[j34]
17Diana Hermith
[j34]
18José Hernández-Orallo
[j23]
19Patrick Hicks
[j16] [c19]
20José Iborra
[j33]
21Pascual Julián Iranzo (Pascual Julián)
[j21] [c26] [c25] [c22] [c21]
22Giorgio Levi
[j7] [j5] [j4] [j3] [j2] [c2] [c1] [j1]
23Salvador Lucas
[j22] [c32] [c30]
24Michael J. Maher
[j29]
25Ferdinando Manzo
[j8] [c6]
26Kim Marriott
[j12] [j11] [j10] [c18] [j6] [c16] [c12] [c11] [c5] [c4]
27Maurizio Martelli
[j5] [j2] [c1]
28A. Mora
[c9]
29Ginés Moreno
[j24] [c29] [c28] [j15] [c27] [c24] [c23]
30Masaki Murakami
[j4]
31Marisa Navarro
[e2]
32Pedro Ojeda
[c40] [c38]
33Carlos Olarte (Carlos Alberto Olarte)
[j34] [c48] [c43] [c39]
34Catuscia Palamidessi
[c48] [j30] [c43] [c39] [j12] [j10] [c18] [c16] [j5] [c11] [j2] [c1] [j1]
35J. Piris
[c9]
36Alberto Policriti
[j18] [e2]
37María José Ramis
[c17] [c14] [c13] [c10]
38M. José Ramírez-Quintana (María José Ramírez)
[j23] [c9] [c7]
39Antoine Rauzy
[e1]
40Daniel Romero (Daniel Omar Romero)
[c40] [c38] [c37]
41Frank D. Valencia (Frank Valencia)
[c39]
42Germán Vidal
[j24] [j21] [c29] [c28] [j15] [c27] [j14] [j13] [c26] [c25] [c24] [c23] [c22] [j9] [c21] [c20] [c17] [c15] [c14] [c13] [c10] [c8]
43Alicia Villanueva
[j26] [i1] [c33] [j18]
44William H. Winsborough
[j16] [j11] [c19] [c12] [c5]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 10:52:51 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page