by Reisner, Elnatan, Song, Charles, Ma, Kin-Keung, Foster, Jeffrey S., Porter, Adam
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)

by Gupta, Gaurav, Bogdan, Paul
Published in 2017 ACM IEEE 8th International Conference on Cyber Physical Systems (ICCPS) (18.04.2017)

by Heybrock, Simon, Joó, Bálint, Kalamkar, Dhiraj D., Smelyanskiy, Mikhail, Vaidyanathan, Karthikeyan, Wettig, Tilo, Dubey, Pradeep
Published in Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (16.11.2014)

Published in ACM transactions on mathematical software (01.12.2000)

by Wu, Haisang, Ravindran, Binoy, Jensen, E. Douglas
Published in Design, Automation and Test in Europe (07.03.2005)

Published in Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Published in Proceedings of the 2001 international symposium on Symbolic and algebraic computation

Published in Proceedings of the 36th international symposium on Symbolic and algebraic computation

Published in Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Published in Proceedings of the 12th International Conference on Artificial Intelligence and Law

Published in Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

by Liu, Xun, Papaefthymiou, Marios C.
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (10.11.2002)

by Damiani, Maurizio, Selchenko, Andrei Y.
Published in 16th Brazilian Symposium on Integrated Circuit Design (SBCCI 2003) (08.09.2003)

Published in Proceedings of the international symposium on Symbolic and algebraic computation

Published in Proceedings of the 2000 international symposium on Symbolic and algebraic computation

Published in Proceedings of the international conference on APL

by Li, Jianmin, Lillis, John, Cheng, Chung-Kuan
Published in Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design (01.12.1995)

Published in Proceedings of the annual conference on - ACM 76

Published in Proceedings of the 1990 ACM annual conference on Cooperation - CSC '90