Sergio Antoy
Orcid: 0000-0003-4522-7658
According to our database1,
Sergio Antoy
authored at least 68 papers
between 1983 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
0
1
2
3
4
5
6
7
1
2
1
2
1
2
1
1
2
1
1
1
2
2
1
2
2
2
2
1
1
1
4
1
4
2
2
4
4
1
3
1
4
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
2018
Proceedings of the Functional and Constraint Logic Programming, 2018
Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018
2017
Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017
Proceedings of the Practical Aspects of Declarative Languages, 2017
2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
2015
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015
2014
Proceedings of the Proceedings 8th International Workshop on Computing with Terms and Graphs, 2014
Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014
2013
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013
2012
Proceedings of the Practical Aspects of Declarative Languages, 2012
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012
2011
Proceedings of the Functional and Constraint Logic Programming, 2011
2010
2009
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
2007
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007
2006
Proceedings of the Third International Workshop on Term Graph Rewriting, 2006
Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
2005
Proceedings of the Logic Based Program Synthesis and Transformation, 2005
2004
Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, 2004
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004
Proceedings of the Implementation and Application of Functional Languages, 2004
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004
2003
Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003
2002
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002
Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002
2001
Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001
Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001
2000
IEEE Trans. Software Eng., 2000
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000
Proceedings of the Logic Based Program Synthesis and Transformation, 2000
Measuring the Effectiveness of Partial Evaluation.
Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000
Proceedings of the Frontiers of Combining Systems, 2000
1999
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999
1997
Proceedings of the Programming Languages: Implementations, 1997
Parallel Evaluation Strategies for Functional Logic Languages.
Proceedings of the Logic Programming, 1997
Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997
1996
Proceedings of the Programming Languages: Implementations, 1996
1994
1992
Self-Checking against Formal Specifications.
Proceedings of the Computing and Information, 1992
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1992
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992
1991
Proceedings of the Programming Language Implementation and Logic Programming, 1991
Proceedings of the Logic Program Synthesis and Transformation, 1991
1990
Rapid Protoryping of System Enhancements.
Proceedings of the First International Conference on Systems Integration, 1990
Proceedings of the Conditional and Typed Rewriting Systems, 1990
1989
Proceedings of the 5th International Workshop on Software Specification and Design, 1989
1987
IEEE Trans. Pattern Anal. Mach. Intell., 1987
1984
Pattern Recognit. Lett., 1984
1983
Proceedings of the 4th European Computer Graphics Conference and Exhibition, 1983