bibliographies/compsci.bib

@InBook{tan2018cluster,
	pages = {487--568},
	subtitle = {Basic concepts and alogrithms},
	title = {Cluster analysis},
	crossref = {tan2018introduction}
}

@InProceedings{alur1999communicating,
	file = {Documents/reading/compsci/alur1999communicating.pdf},
	pages = {169--178},
	booktitle = {Proceedings of the 26th International Colloquium on Automata, Languages, and Programming},
	year = {1999},
	title = {Communicating Hierarchical State Machines},
	author = {Alur, Rajeev and Yannakakis, Mihalis and Kannan, Sampath}
}

@InProceedings{alur1999model,
	keywords = {hfsm},
	file = {Documents/reading/compsci/alur1999model.pdf},
	title = {Model checking of message sequence charts},
	author = {Alur, Rajeev and Yannakakis, Mihalis},
	booktitle = {International Conference on Concurrency Theory (CONCUR)},
	volume = {99},
	pages = {114--129},
	year = {1999},
	organization = {Springer}
}

@InProceedings{alur2000efficient,
	file = {Documents/reading/compsci/alur2000efficient.pdf},
	keywords = {hfsm},
	title = {Efficient Reachability Analysis of Hierarchical Reactive Machines},
	author = {Alur, Rajeev and Grosu, Radu and McDougall, Michael},
	booktitle = {CAV},
	pages = {280--295},
	year = {2000},
	organization = {Springer}
}

@Article{armoni2009concept,
	journaltitle = {Science and Education},
	title = {The concept of nondeterminism},
	subtitle = {its development and implications for teaching},
	author = {Armoni, Michal and Ben-Ari, Mordechai},
	volume = {18},
	number = {8},
	pages = {1005--1030},
	year = {2009}
}

@InProceedings{beek1994comparison,
	keywords = {hfsm},
	number = {863},
	series = {Lecture Notes in Computer Science},
	file = {Documents/reading/compsci/beeck1994comparison.pdf},
	pages = {128--148},
	publisher = {Springer},
	editor = {Langmaack, Hans},
	booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems},
	year = {1994},
	title = {A comparison of Statecharts variants},
	author = {{von der Beeck}, Michael}
}

@Book{booch1999unified,
	file = {Documents/reading/compsci/booch1999unified.pdf},
	title = {The Unified Modeling Language User Guide},
	author = {Booch, Grady and Rumbaugh, James and Jacobson, Ivar},
	isbn = {9780201571684},
	series = {Object Technology Series},
	year = {1999},
	publisher = {Addison-Wesley}
}

@InProceedings{cafezeiro2007semantic,
	file = {Documents/reading/compsci/cafezeiro2007semantic.pdf},
	volume = {83},
	title = {Semantic interoperability via category theory},
	author = {Cafezeiro, Isabel and Haeusler, Edward Hermann},
	booktitle = {Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling},
	pages = {197--202},
	year = {2007},
	organization = {Australian Computer Society, Inc.}
}

@Article{dijkstra1975guarded,
	file = {Documents/reading/compsci/dijkstra1975guarded.pdf},
	journaltitle = {Communications of the ACM},
	title = {Guarded Commands, Nondeterminacy and Formal Derivation of Programs},
	author = {Dijkstra, Edsger},
	volume = {18},
	number = {8},
	pages = {453--457},
	year = {1975}
}

@InProceedings{doczal2013constructive,
	pages = {82--97},
	booktitle = {International Conference on Certified Programs and Proof},
	year = {2013},
	title = {A constructive theory of regular languages in Coq},
	author = {Doczkal, Christian and Kaiser, Jan-Oliver and Smolka, Gert}
}

@Article{doczkal2018regular,
	pages = {521--553},
	number = {1},
	volume = {61},
	year = {2018},
	journaltitle = {Journal of Automated Reasoning},
	title = {Regular language representations in the constructive type theory of Coq},
	author = {Doczkal, Christian, and Smolka, Gert}
}

@Article{gilbert2002brewer,
	pages = {51--59},
	number = {2},
	volume = {33},
	year = {2002},
	journaltitle = {ACM Sigact News},
	title = {Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services},
	author = {Gilbert, Seth and Lynch, Nancy}
}

@Article{harel1987statecharts,
	keywords = {hfsm},
	file = {Documents/reading/compsci/harel1987statecharts.pdf},
	journaltitle = {Science of computer programming},
	title = {Statecharts: A visual formalism for complex systems},
	author = {Harel, David},
	volume = {8},
	number = {3},
	pages = {231--274},
	year = {1987}
}

@InProceedings{healy2000category,
	file = {Documents/reading/compsci/healy2000category.pdf},
	author = {Healy, Michael J.},
	title = {Category Theory Applied to Neural Modeling and Graphical Representations},
	booktitle = {Proceedings of the International Joint Conference on Neural Networks (IJCNN 2000), IEEE},
	year = {2000}
}

@InProceedings{hitzler2005what,
	file = {Documents/reading/compsci/hitzler2005what.pdf},
	title = {What is ontology merging?},
	author = {Hitzler, Pascal and Krötzsch, Markus and Ehrig, Marc and Sure, York},
	booktitle = {American Association for Artificial Intelligence},
	year = {2005}
}

@Article{lin1990modelling,
	journaltitle = {Formal Aspects of Computing},
	title = {Modelling multiple inheritance with colimits},
	author = {Lin, Huimin and Pong, Man-chi},
	journal = {Formal Aspects of Computing},
	volume = {2},
	number = {1},
	pages = {301--311},
	year = {1990},
	publisher = {Springer}
}

@Article{martin1997java,
	title = {Java and C++ A critical comparison},
	author = {Martin, Robert C},
	journal = {Technical Note, Object Mentor},
	year = {1997}
}

@Thesis{norell2007towards,
	type = {PhD},
	institution = {Department of Computer Science and Engineering, Chalmers University of Technology},
	author = {Norell, Ulf},
	title = {Towards a practical programming language based on dependent type theory},
	year = {2007},
	month = {September}
}

@Article{olson2012rules,
	pages = {647},
	journaltitle = {Alabama Law Review},
	number = {3},
	year = {2012},
	volume = {64},
	subtitle = {Competing notions of inconsistency robustness in patent law},
	title = {Rules versus standards},
	author = {Olson, David and Fusco, Stefania}
}

@Article{rabin1959finite,
	file = {Documents/reading/compsci/rabin1959finite.pdf},
	journaltitle = {IBM journal of research and development},
	title = {Finite automata and their decision problems},
	author = {Rabin, Michael O. and Scott, Dana},
	volume = {3},
	number = {2},
	pages = {634--644},
	year = {1959}
}

@Book{sipser1996introduction,
	title = {Introduction to the Theory of Computation},
	author = {Sipser, Michael},
	year = {1996},
	publisher = {PWS Publishing}
}

@InCollection{solomon2007pushout,
	file = {Documents/reading/compsci/solomon2007pushout.pdf},
	title = {Pushout: A mathematical model of architectural merger},
	author = {Solomon, Andrew},
	booktitle = {Perspectives of Systems Informatics},
	pages = {389--399},
	year = {2007},
	publisher = {Springer}
}

@Book{tan2018introduction,
	edition = {2},
	publisher = {Peason},
	year = {2018},
	booktitle = {Introduction to Data Mining},
	author = {Tan, Pang-Ning and Steinbach, Michael and Karpatne, Anuj and Kumar, Vipin}
}

@InProceedings{ungar2011inconsistency,
	url = {https://pdfs.semanticscholar.org/4b39/fbcaa871dc5f297c3ec3ff5d15113da6fa97.pdf},
	booktitle = {Inconsistency Robustness 201},
	year = {2011},
	title = {Inconsistency robustness for scalability in interactive concurrent-update in-memory MOLAP cubes},
	author = {Ungar, David and Kimelman, Doug and Adams, Sam}
}

@InProceedings{yannakakis2000hierarchical,
	pages = {315--330},
	booktitle = {IFIP International Conference on Theoretical Computer Science},
	year = {2000},
	title = {Hierarchical state machines},
	author = {Yannakakis, Mihalis}
}

@Comment{
Local Variables:
bibtex-dialect: biblatex
End:
}