Computer Science

College of Engineering

Works Published in 2012

Sorted by most recent date added to the index first, which may not be the same as publication date order.

2012 conference paper

Semantics and Verification of Information-Based Protocols

AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, 2, 1149–1156. Valencia, Spain: IFAAMAS.

By: M. Singh

Event: The 11th International Conference on Autonomous Agents and Multiagent Systems at Valencia, Spain on June 4-8, 2012

Sources: ORCID, NC State University Libraries
Added: December 10, 2019

2012 book

Relating goal and commitment semantics

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 22–37).

By: P. Telang, M. Singh & N. Yorke-Smith

Source: ORCID
Added: December 10, 2019

2012 conference paper

Comma: A Commitment-Based Business Modeling Methodology and its Empirical Evaluation

AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, 2, 1073–1080. Valencia, Spain: IFAAMAS.

By: P. Telang & M. Singh

Event: The 11th International Conference on Autonomous Agents and Multiagent Systems at Valencia, Spain on June 4-8, 2012

Sources: ORCID, NC State University Libraries
Added: December 10, 2019

2012 journal article

Agent-based organisational governance of services

Multiagent and Grid Systems, 8(1), 3–18.

By: F. Brazier, V. Dignum, M. Huhns, C. Derksen, F. Dignum, T. Lessner, J. Padget, T. Quillinan, M. Singh

Source: ORCID
Added: December 10, 2019

2012 chapter

Emerging Properties of Knowledge Sharing Referral Networks: Considerations of Effectiveness and Fairness

In Lecture Notes in Computer Science: Vol. 6573 LNAI (pp. 13–23).

By: P. Manavalan & M. Singh

Sources: ORCID, Crossref
Added: December 10, 2019

2012 conference paper

Collaborative assessment of functional reliability in wireless networks

2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2012), 425–433.

By: Z. Feng, K. Pelechrinis, S. Krishnamurthy, A. Swami, F. Wu & M. Singh

Event: 2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS)

Sources: ORCID, Crossref
Added: December 10, 2019

2012 conference paper

Behind the curtain: Service selection via trust in composite services

Proceedings - 2012 IEEE 19th International Conference on Web Services, ICWS 2012, 9–16.

By: C. Hang, A. Kalia & M. Singh

Source: ORCID
Added: December 10, 2019

2012 book

Argument schemes for reasoning about trust

In Frontiers in Artificial Intelligence and Applications (Vol. 245, pp. 430–441).

By: S. Parsons, K. Atkinson, K. Haigh, K. Levitt, P. McBurney, J. Rowe, M. Singh, E. Sklar

Source: ORCID
Added: December 10, 2019

2012 journal article

A heuristic for bottleneck crossing minimization and its performance on general crossing minimization: Hypothesis and experimental study

Journal of Experimental Algorithmics (JEA), 17, 1–3.

Source: ORCID
Added: December 6, 2019

2012 conference paper

UCON LEGAL

Proceedings of the 2nd ACM SIGHIT symposium on International health informatics - IHI '12, 227–236.

By: R. Gopalan, A. Antón & J. Doyle

Source: ORCID
Added: December 5, 2019

2012 article

Leveraging Multiple Mechanisms for Information Propagation

Advanced Agent Technology, pp. 1–2.

By: A. Wicker & J. Doyle

Source: ORCID
Added: December 5, 2019

2012 conference paper

Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12. Presented at the the 37th International Symposium.

By: F. Guo, E. Kaltofen & L. Zhi

Event: the 37th International Symposium

Source: Crossref
Added: July 27, 2019

2012 conference paper

Sparse polynomial interpolation and Berlekamp/Massey algorithms that correct outlier errors in input values

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12. Presented at the the 37th International Symposium.

By: M. Comer, E. Kaltofen & C. Pernet

Event: the 37th International Symposium

Source: Crossref
Added: July 27, 2019

2012 journal article

Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients

Journal of Symbolic Computation, 47(1), 1–15.

By: E. Kaltofen, B. Li, Z. Yang & L. Zhi

Source: Crossref
Added: July 27, 2019

2012 conference paper

An automated approach to assessing the quality of code reviews

Proceedings of the 2012 ASEE Annual Conference and Exposition. Presented at the 2012 ASEE Annual Conference and Exposition, San Antonio, TX.

By: L. Ramachandran & E. Gehringer

Event: 2012 ASEE Annual Conference and Exposition at San Antonio, TX on June 10-13, 2012

Source: NC State University Libraries
Added: June 8, 2019

2012 conference paper

Automatic quality assessment for peer reviews of student work

Proceedings of the 2012 ASEE Annual Conference and Exposition. Presented at the 2012 ASEE Annual Conference and Exposition, San Antonio, TX.

By: L. Ramachandran & E. Gehringer

Event: 2012 ASEE Annual Conference and Exposition at San Antonio, TX on June 10-13, 2012

Source: NC State University Libraries
Added: June 8, 2019

2012 conference paper

Scalable concurrent and parallel mark

Proceedings of the 2012 international symposium on Memory Management - ISMM '12. Presented at the the 2012 international symposium.

By: B. Iyengar, E. Gehringer, M. Wolf & K. Manivannan

Event: the 2012 international symposium

Sources: Crossref, ORCID
Added: March 23, 2019

2012 conference paper

The Collie

Proceedings of the 2012 international symposium on Memory Management - ISMM '12. Presented at the the 2012 international symposium.

By: B. Iyengar, G. Tene, M. Wolf & E. Gehringer

Event: the 2012 international symposium

Sources: Crossref, ORCID
Added: March 23, 2019

2012 conference paper

A word-order based graph representation for relevance identification

Proceedings of the 21st ACM international conference on Information and knowledge management - CIKM '12. Presented at the the 21st ACM international conference.

By: L. Ramachandran & E. Gehringer

Event: the 21st ACM international conference

Sources: Crossref, ORCID
Added: March 23, 2019

2012 journal article

The effects of construction related costs on the optimization of steel frames

Structural Engineering and Mechanics, 43(1), 31–51.

Source: ORCID
Added: December 6, 2018