publicacions.bib
@MANUAL{soto94,
TITLE = {TSC V1.2 User Manual},
AUTHOR = {A. Soto and S. Vila},
ORGANIZATION = {Universitat Polit\`ecnica de Catalunya},
ADDRESS = {Dept Llenguatges i Sistemes Inform\`atics},
YEAR = {1994},
MONTH = {January}
}
@INPROCEEDINGS{joan-arinyo94,
AUTHOR = {R. Joan-Arinyo and A. Soto-Riera},
TITLE = {Generaci\'on de Formas Geom\'etricas Definidas Mediante
Restricciones},
YEAR = {1994},
PAGES = {143-161},
BOOKTITLE = {{IV} Congreso Espa\~nol de Inform\'atica Gr\'afica},
ORGANIZATION = {Eurographics},
MONTH = {June},
NOTE = {In Spanish}
}
@INPROCEEDINGS{joan-arinyo95,
AUTHOR = {R. Joan-Arinyo and A. Soto-Riera},
TITLE = {Correctness proof of a rule-constructive geometric
constraint solver},
YEAR = {1995},
PAGES = {239-254},
BOOKTITLE = {{V} Congreso Espa\~nol de Inform\'atica Gr\'afica},
ORGANIZATION = {Eurographics},
MONTH = {June}
}
@TECHREPORT{joan-arinyo95b,
AUTHOR = {R. Joan-Arinyo and A. Soto-Riera},
TITLE = {A Rule-Constructive Geometric Constraint Solver},
INSTITUTION = {Department LiSI, Universitat Polit{\`e}cnica de Catalunya},
YEAR = {1995},
NUMBER = {LSI-95-25-R}
}
@TECHREPORT{joan-arinyo95c,
AUTHOR = {R. Joan-Arinyo and A. Soto-Riera},
TITLE = {A Set of Rules for a Constructive Geometric Constraint
Solver},
INSTITUTION = {Department LiSI, Universitat Polit{\`e}cnica de Catalunya},
YEAR = {1995},
NUMBER = {LSI-95-19-R}
}
@INPROCEEDINGS{joan-arinyo95d,
AUTHOR = {R. Joan-Arinyo and A. Soto},
TITLE = {A Rule-Constructive Geometric Constraint Solver},
BOOKTITLE = {{UNIF'95} Ninth International Workshop on Unification},
YEAR = 1995,
ADDRESS = {Sitges (Barcelona)},
MONTH = {April 2--3},
PAGES = {29-32},
NOTE = {Extended abstract}
}
@TECHREPORT{joan-arinyo97,
AUTHOR = {R. Joan-Arinyo and A. Soto-Riera},
TITLE = {Combining Constructive and Equational Geometric Constraint
Solving Techniques},
INSTITUTION = {Department LiSI, Universitat Polit{\`e}cnica de Catalunya},
YEAR = {1997},
NUMBER = {LSI-97-37-R}
}
@INPROCEEDINGS{joan-arinyo97b,
AUTHOR = {R. Joan-Arinyo and A. Soto},
TITLE = {Combining Constructive and Equational Geometric Constraint
Solving Techniques},
YEAR = 1997,
PAGES = {384 - 393},
BOOKTITLE = {Congreso Espa\~nol de Inform\'atica Gr\'afica},
ORGANIZATION = {Eurographics},
MONTH = {Barcelona, June},
NOTE = {In Spanish}
}
@INPROCEEDINGS{joan-arinyo97a,
AUTHOR = {R. Joan-Arinyo and A. Soto-Riera},
TITLE = {A Ruler-and-Compass Geometric Constraint Solver},
YEAR = {1997},
PAGES = {384 - 393},
BOOKTITLE = {Product Modeling for Computer Integrated Design and
Manufacture},
PUBLISHER = {Chapman and Hall, London},
ANNOTATE = {Proceedings 5th IFIP WG5.2 Workshop on Geometric Modeling
in Computer Aided Design, 19 - 23 May 1996, Airlie,
Virginia, USA. ISBN 0 412 80980 X}
}
@ARTICLE{joan-arinyo97c,
AUTHOR = {R. Joan-Arinyo and A. Soto},
TITLE = {A Correct Rule-Based Geometric Constraint Solver},
YEAR = {1997},
JOURNAL = {Computer \& Graphics},
VOLUME = {21},
NUMBER = {5},
PAGES = {599-609}
}
@PHDTHESIS{soto-riera98,
AUTHOR = {A. Soto-Riera},
TITLE = {Geometric Constraint Solving in {2D}},
SCHOOL = {Dept. {LSI}, {U}niversitat {P}olit{\`e}cnica de
{C}atalunya},
YEAR = 1998,
ADDRESS = {Barcelona, Catalonia},
NOTE = {Written in {C}atalan},
URL = {soto-riera98.ps.gz}
}
@ARTICLE{joan-arinyo99,
AUTHOR = {R. Joan-Arinyo and A. Soto-Riera},
TITLE = {Combining Constructive and Equational Geometric Constraint
Solving Techniques},
PAGES = {35-55},
JOURNAL = {ACM Transactions on Graphics},
YEAR = {1999},
VOLUME = {18},
NUMBER = {1},
MONTH = {January}
}
@TECHREPORT{joan-arinyo00,
AUTHOR = {R. Joan-Arinyo and N. Mata and T. Soto-Riera},
TITLE = {Basic Operations and Functions in Constructible Geometric
Problems},
INSTITUTION = {Department LSI, Universitat Polit{\`e}cnica de Catalunya},
YEAR = {2000},
NUMBER = {LSI-00-23-R},
PAGES = {1--14}
}
@INPROCEEDINGS{joan-arinyo01,
AUTHOR = {R. Joan-Arinyo and N. Mata and A. Soto},
TITLE = {A Constraint Solving-Based Approach to Analyze 2{D}
geometric Problems with Interval Parameters},
YEAR = {2001},
EDITOR = {D.C. Anderson and K. Lee},
MONTH = {June 6-8},
PAGES = {11--17},
BOOKTITLE = {Sixth Symposium on Solid Modeling and Applications},
ADDRESS = {Ann Arbor, Michigan, USA},
PUBLISHER = {ACM Press}
}
@ARTICLE{joan-arinyo01b,
AUTHOR = {R. Joan-Arinyo and N. Mata, A. Soto},
TITLE = {A Constraint Solving-Based Approach to Analyze 2{D}
geometric Problems with Interval Parameters},
YEAR = {2001},
JOURNAL = {Journal of Computing \& Information Science in
Engineering},
VOLUME = {1},
NUMBER = {4},
MONTH = {December},
PAGES = {11--17},
PUBLISHER = {ACM Press}
}
@INPROCEEDINGS{joan-arinyo01c,
AUTHOR = {R. Joan-Arinyo and A. Soto-Riera and S. Vila-Marta and J.
Vilaplana},
TITLE = {On the domain of constructive geometric constraint solving
techniques},
BOOKTITLE = {Spring Conference on Computer Graphics},
PAGES = {49--54},
ADDRESS = {Budmerice, Slovakia},
MONTH = {April 25--28},
YEAR = 2001,
EDITOR = {R. \v{D}urikovi\v{c} and S. Czanner},
ORGANIZATION = {IEEE Computer Society}
}
@INPROCEEDINGS{joan-arinyo01d,
AUTHOR = {R. Joan-Arinyo and A. Soto and S. Vila and J. Vilaplana},
TITLE = {A framework to support multiple views in geometric
constraint-based models},
BOOKTITLE = {EFTA 2001 8th IEEE International Conference on Emerging
Technologies and Factory Auromation},
YEAR = {2001},
ORGANIZATION = {IEEE},
ADDRESS = {Antibes-Juan les Pines, France},
MONTH = {October 15-18},
PAGES = {575-579}
}
@INPROCEEDINGS{joan-arinyo02,
AUTHOR = {R. Joan-Arinyo and A. Soto-Riera and S. Vila-Marta and J.
Vilaplana},
TITLE = {Declarative Characterization of a General Architecture for
Constructive Geometric Constraint Solvers},
YEAR = {2002},
EDITOR = {D. Plemenos},
MONTH = {14-15 May},
PAGES = {63-76},
BOOKTITLE = {The Fifth International Conference on Computer Graphics
and Artificial Intelligence},
ADDRESS = {Limoges, France},
PUBLISHER = {Universit\'e de Limoges}
}
@INPROCEEDINGS{joan-arinyo02b,
AUTHOR = {R. Joan-Arinyo and M.V. Luz\'on and A. Soto},
TITLE = {Constructive Geometric Constraint Solving: A New
Application of Genetic Algorithms},
BOOKTITLE = {Parallel Problem Solving from Nature -- PPSN VII},
EDITOR = {J.J. Merelo and P. Adamis and H.-G. Beyer and J.-L.
Fren\'andez-Vilaca{\~n}as and H.-P. Schwefel},
SERIES = {LNCS 2439, 7th Intenational Conference},
YEAR = {2002},
MONTH = {September},
PUBLISHER = {Springer-Verlag, Berlin},
ADDRESS = {Granada, Spain},
PAGES = {759-768}
}
@INPROCEEDINGS{joan-arinyo02c,
AUTHOR = {R. Joan-Arinyo and A. Soto-Riera and S. Vila-Marta
and J. Vilaplana},
TITLE = {Revisiting Decomposition Analysis of Geometric
Constraint Graphs},
BOOKTITLE = {Seventh ACM Symposium on Solid Modeling and Applications},
PAGES = {105--115},
YEAR = 2002,
EDITOR = {K. Lee and M. Patrikalakis},
ADDRESS = {Saarbrüken, Germany},
PUBLISHER = {ACM Press}
}
@TECHREPORT{report02,
AUTHOR = {R. Joan-Arinyo and A. Soto-Riera and S. Vila-Marta
and J. Vilaplana-Past\'o},
TITLE = {Transforming an Under-constrained Geometric
Constraint Problem into a Well-constrained One},
INSTITUTION = {Dept. Llenguatges i Sistemes Inform\`atics, UPC},
YEAR = 2002,
TYPE = {Research},
NUMBER = {LSI-02-69-R},
ADDRESS = {Barcelona},
MONTH = {nov}
}
@ARTICLE{joan-arinyo03,
AUTHOR = {R. Joan-Arinyo and A. Soto-Riera and S. Vila-Marta
and J. Vilaplana},
TITLE = {Revisiting Decomposition Analysis of Geometric
Constraint Graphs},
JOURNAL = {Computer-Aided Design},
YEAR = 2003,
NOTE = {to appear}
}
This file has been generated by bibtex2html
1.52