251 lines
7.4 KiB
BibTeX
251 lines
7.4 KiB
BibTeX
|
|
@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:
|
|
}
|
|
|