P. Van Hentenryck

Accurate load and generation scheduling for linearized DC models with contingencies

R. Bent, C. Coffrin, P. Van Hentenryck, 2012, 2012 IEEE Power and Energy Society General Meeting.

Approximating line losses and apparent power in AC power flow linearizations

R. Bent, C. Coffrin, P. Van Hentenryck, 2012, 2012 IEEE Power and Energy Society General Meeting.

Experimental evaluation of a generic abstract interpretation algorithm for Prolog

P. Van Hentenryck, B. Le Charlier, 1992, Proceedings of the 1992 International Conference on Computer Languages.