Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Cohn, Anthony G.
1992.
Completing sort hierarchies.
Computers & Mathematics with Applications,
Vol. 23,
Issue. 6-9,
p.
477.
Desharnais, Jules
Belkhiter, Nadir
Sghaier, Salah Ben Mohamed
Tchier, Fairouz
Jaoua, Ali
Mili, Ali
and
Zaguia, Nejib
1995.
Embedding a demonic semilattice in a relation algebra.
Theoretical Computer Science,
Vol. 149,
Issue. 2,
p.
333.
Doornbos, Henk
Backhouse, Roland
and
van der Woude, Jaap
1997.
A calculational approach to mathematical induction.
Theoretical Computer Science,
Vol. 179,
Issue. 1-2,
p.
103.
Hartonas, Chrysafis
1998.
Duality for modal μ-logics.
Theoretical Computer Science,
Vol. 202,
Issue. 1-2,
p.
193.
Devillers, R.
and
Koutny, M.
1998.
Recursive nets in the box algebra.
p.
239.
Lounis, Hakim
Sahraoui, Houari A.
and
Melo, Walcélio L.
1999.
Wiley Encyclopedia of Electrical and Electronics Engineering.
Gatica-Perez, D.
Gu, C.
Sun, M.-T.
and
Ruiz-Correa, S.
2001.
Extensive partition operators, gray-level connected operators, and region merging/classification segmentation algorithms: theoretical links.
IEEE Transactions on Image Processing,
Vol. 10,
Issue. 9,
p.
1332.
Hsieh, H.
Balarin, F.
Lavagno, L.
and
Sangiovanni-Vincentelli, A.
2001.
Synchronous approach to the functional equivalence of embedded system implementations.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
Vol. 20,
Issue. 8,
p.
1016.
Samarati, P.
2001.
Protecting respondents identities in microdata release.
IEEE Transactions on Knowledge and Data Engineering,
Vol. 13,
Issue. 6,
p.
1010.
Gatica-Perez, D.
Ming-Ting Sun
and
Chuang Gu
2001.
Multiview extensive partition operators for semantic video object extraction.
IEEE Transactions on Circuits and Systems for Video Technology,
Vol. 11,
Issue. 7,
p.
788.
Jilani, L.L.
Desharnais, J.
and
Mili, A.
2001.
Defining and applying measures of distance between specifications.
IEEE Transactions on Software Engineering,
Vol. 27,
Issue. 8,
p.
673.
Stremersch, G.
and
Boel, R.K.
2001.
Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness.
IEEE Transactions on Automatic Control,
Vol. 46,
Issue. 9,
p.
1490.
Cicalese, F.
and
Vaccaro, U.
2002.
Supermodularity and subadditivity properties of the entropy on the majorization lattice.
IEEE Transactions on Information Theory,
Vol. 48,
Issue. 4,
p.
933.
Wolf, Ruben
and
Schneider, Markus
2003.
Computer Network Security.
Vol. 2776,
Issue. ,
p.
267.
Sabetzadeh, M.
and
Easterbrook, S.
2003.
Analysis of inconsistency in graph-based viewpoints: a category-theoretical approach.
p.
12.
Back, Ralph-Johan
and
Preoteasa, Viorel
2003.
Reasoning about recursive procedures with parameters.
p.
1.
Meguire, Philip
2003.
Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors.
International Journal of General Systems,
Vol. 32,
Issue. 1,
p.
25.
Thompson, J. M. T.
and
Knuth, Kevin H.
2003.
Intelligent machines in the twenty-first century: foundations of inference and inquiry.
Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences,
Vol. 361,
Issue. 1813,
p.
2859.
Hai Zhou
2003.
Timing analysis with crosstalk is a fixpoint on a complete lattice.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
Vol. 22,
Issue. 9,
p.
1261.
Gabarró, Joaquim
Stewart, Alan
Clint, Maurice
Boyle, Eamonn
and
Vallejo, Isabel
2003.
Euro-Par 2003 Parallel Processing.
Vol. 2790,
Issue. ,
p.
640.