From 60d1cae9374d09398e12f0b6239092e4d0b3eb76 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Sat, 17 Aug 2019 17:00:45 -0400 Subject: [PATCH] add publications page --- publications.html | 71 +++++++++++++++++++++++++++++++++++++++++++++++ style.css | 19 +++++++++++++ 2 files changed, 90 insertions(+) create mode 100644 publications.html diff --git a/publications.html b/publications.html new file mode 100644 index 0000000..0970fa9 --- /dev/null +++ b/publications.html @@ -0,0 +1,71 @@ + + + + + + bandali's publications + + + + +
+
+

bandali

+

Publications

+
+
+

+ conference + | + talks +

+
+ +

Conference

+
+
+
+ A Comparison of the Declarative Modelling Languages B, + Dash, and TLA+ + (pdf, + bib, + doi, + models) +
+
+ Ali Abbassi, + Amin Bandali, + Nancy A. Day, + and Jose Serna +
+
+ 2018 IEEE 8th International Model-Driven Requirements + Engineering Workshop (MoDRE) +
+
+
+ +

Talks

+
+
+
+ The Magic of Specifications and Type Systems + (slides, + poster) +
+
+ Amin Bandali, + Simon Hudon, + Jonathan Ostroff +
+
+
+
+ + diff --git a/style.css b/style.css index 9c09240..163c9cf 100644 --- a/style.css +++ b/style.css @@ -101,3 +101,22 @@ p:first-child { p:last-child { margin-bottom: 0; } + +#publications section { + text-transform: none; +} +dl { + margin: 0; +} +/* +ol { + margin: 0; + padding: 0; +} +ol li { + margin-top: 0.5em; +} +ol li:first-child { + margin-top: 0; +} +*/ -- 2.20.1