@inproceedings(arbab-santini-2013,
 author       = {Farhad Arbab and Francesco Santini},
 year         = {2012},
 title        = {{Preference and Similarity-Based Behavioral Discovery of Services}},
 booktitle    = {Proc. Web Services and Formal Methods ({WS-FM})},
 pages        = {118--133},
 url          = {http://dx.doi.org/10.1007/978-3-642-38230-7_8},
)
@inproceedings(baier-blechmann-klein-kluppelholz-leister-2010,
 author       = {Christel Baier and Tobias Blechmann and Joachim Klein and Sascha Kl{\"{u}}ppelholz and Wolfgang Leister},
 year         = {2010},
 title        = {Design and Verification of Systems with Exogenous Coordination Using {Vereofy}},
 booktitle    = {Proc. International Symposium on Leveraging Applications, ISoLA 2010},
 pages        = {97--111},
 url          = {http://dx.doi.org/10.1007/978-3-642-16561-0_15},
)
@article(baier-sirjani-arbab-rutten-2006,
 author       = {Christel Baier and Marjan Sirjani and Farhad Arbab and Jan Rutten},
 year         = {2006},
 title        = {{Modeling component connectors in {Reo} by constraint automata}},
 journal      = {Science of Computer Programming},
 volume       = {61},
 pages        = {75--113},
 url          = {http://dx.doi.org/10.1016/j.scico.2005.10.008},
)
@inproceedings(belzner-hennicker-wirsing-2015,
 author       = {Lenz Belzner and Rolf Hennicker and Martin Wirsing},
 year         = {2015},
 title        = {OnPlan: {A} Framework for Simulation-Based Online Planning},
 booktitle    = {Proc. Formal Aspects of Component Software},
 pages        = {1--30},
 url          = {http://dx.doi.org/10.1007/978-3-319-28934-2_1},
)
@book(bistarelli-2004,
 author       = {Stefano Bistarelli},
 year         = {2004},
 title        = {Semirings for Soft Constraint Solving and Programming},
 series       = {Lecture Notes in Computer Science},
 volume       = {2962},
 publisher    = {Springer},
 url          = {http://dx.doi.org/10.1007/b95712},
)
@inproceedings(bistarelli-montanari-rossi-1995,
 author       = {Stefano Bistarelli and Ugo Montanari and Francesca Rossi},
 year         = {1995},
 title        = {Constraint Solving over Semirings},
 booktitle    = {Proc. International Joint Conference on Artificial Intelligence, {IJCAI} 95},
 pages        = {624--630},
 url          = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.212.6733&rep=rep1&type=pdf},
)
@article(bistarelli-montanari-rossi-1997,
 author       = {Stefano Bistarelli and Ugo Montanari and Francesca Rossi},
 year         = {1997},
 title        = {Semiring-based constraint satisfaction and optimization},
 journal      = {J. {ACM}},
 volume       = {44},
 number       = {2},
 pages        = {201--236},
 url          = {http://dx.doi.org/10.1145/256303.256306},
)
@article(cleaveland-hennessy-1990,
 author       = {Rance Cleaveland and Matthew Hennessy},
 year         = {1990},
 title        = {Priorities in Process Algebras},
 journal      = {Inf. Comput.},
 volume       = {87},
 number       = {1/2},
 pages        = {58--77},
 url          = {http://dx.doi.org/10.1016/0890-5401(90)90059-Q},
)
@inproceedings(gadducci-holzl-monreale-wirsing-2013,
 author       = {Fabio Gadducci and Matthias M. H{\"{o}}lzl and Giacoma Valentina Monreale and Martin Wirsing},
 year         = {2013},
 title        = {Soft Constraints for Lexicographic Orders},
 booktitle    = {Advances in Artificial Intelligence and Its Applications, Mexican International Conference on Artificial Intelligence, {MICAI}},
 pages        = {68--79},
 url          = {http://dx.doi.org/10.1007/978-3-642-45114-0_6},
)
@inproceedings(jongmans-kappe-arbab-2015,
 author       = {Sung-Shik T.Q. Jongmans and Tobias Kapp{\'e} and Farhad Arbab},
 year         = {2015},
 title        = {{Composing Constraint Automata, State-by-State}},
 booktitle    = {Proc. Formal Aspects of Component Software},
 pages        = {263--280},
 url          = {http://dx.doi.org/10.1007/978-3-319-28934-2_12},
)
@techreport(techreport,
 author       = {Tobias Kapp\'e and Farhad Arbab and Carolyn Talcott},
 year         = {2016},
 title        = {A {Compositional} {Framework} {For} {Preference-}{Aware} {Agents}},
 type         = {CWI Technical Report},
 number       = {FM-1603},
 url          = {https://repository.cwi.nl/noauth/search/fullrecord.php?publnr=24625},
)
@article(li-ying-2008,
 author       = {Sanjiang Li and Mingsheng Ying},
 year         = {2008},
 title        = {Soft constraint abstraction based on semiring homomorphism},
 journal      = {Theor. Comput. Sci.},
 volume       = {403},
 number       = {2-3},
 pages        = {192--201},
 url          = {http://dx.doi.org/10.1016/j.tcs.2008.03.029},
)
@article(rutten-2005,
 author       = {Jan J. M. M. Rutten},
 year         = {2005},
 title        = {A coinductive calculus of streams},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {15},
 number       = {1},
 pages        = {93--147},
 url          = {http://dx.doi.org/10.1017/S0960129504004517},
)
@inproceedings(sachenbacher-williams-2005,
 author       = {Martin Sachenbacher and Brian C. Williams},
 year         = {2006},
 title        = {Conflict-Directed {A}* Search for Soft Constraints},
 booktitle    = {Proc. Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, {CPAIOR}},
 pages        = {182--196},
 url          = {http://dx.doi.org/10.1007/11757375_16},
)
@inproceedings(talcott-arbab-yadav-2015,
 author       = {Carolyn L. Talcott and Farhad Arbab and Maneesh Yadav},
 year         = {2015},
 title        = {Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems},
 booktitle    = {Software, Services, and Systems --- Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering},
 pages        = {273--290},
 url          = {http://dx.doi.org/10.1007/978-3-319-15545-6_18},
)
@article(wirsing-denker-talcott-poggio-briesemeister-2007,
 author       = {Martin Wirsing and Grit Denker and Carolyn L. Talcott and Andy Poggio and Linda Briesemeister},
 year         = {2007},
 title        = {A Rewriting Logic Framework for Soft Constraints},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {176},
 number       = {4},
 pages        = {181--197},
 url          = {http://dx.doi.org/10.1016/j.entcs.2007.06.015},
)